Search Mailing List Archives
[protege-discussion] Nothing class (newbie question)
mdebellis at pacbell.net
Wed Mar 6 12:32:28 PST 2013
As a fellow newbie one thing I find very useful is the "?" icon on any information the inferencer has inferred about your ontology. You can click on that and see why it thinks some of your classes are subclasses of Nothing.
--- On Wed, 3/6/13, Csongor Nyulas <csongor.nyulas at stanford.edu> wrote:
From: Csongor Nyulas <csongor.nyulas at stanford.edu>
Subject: Re: [protege-discussion] Nothing class (newbie question)
To: protege-discussion at lists.stanford.edu
Date: Wednesday, March 6, 2013, 11:55 AM
Also, if the reasoner classifies some classes as subclass of owl:Nothing
it means that those classes are unsatisfiable, or as Matthew said, they
cannot have any instances. This may be due to some modelling errors in
On 03/06/2013 11:24 AM, Matthew Horridge wrote:
> owl:Nothing is interpreted as the empty set. It does not have any instances. Because it is interpreted as the empty set, it is a subclass of every other class (since the empty set is a subset of every set). owl:Thing appears at the top of the class hierarchy, whilst owl:Nothing appears at the bottom of the class hierarchy. Hope this helps.
> On 6 Mar 2013, at 11:12, André Luiz Tietböhl Ramos wrote:
>> What does the Nothing class mean actually? Assuming its superclasses are inferred, I have many in it and do not know what this aspect means for sure.
>> Thanks in advance.
>> André Luiz Tietböhl Ramos
>> protege-discussion mailing list
>> protege-discussion at lists.stanford.edu
>> Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03
> protege-discussion mailing list
> protege-discussion at lists.stanford.edu
> Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03
protege-discussion mailing list
protege-discussion at lists.stanford.edu
Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the protege-discussion