Search Mailing List Archives
[protege-discussion] Nothing class (newbie question)
csongor.nyulas at stanford.edu
Wed Mar 6 11:55:56 PST 2013
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
More information about the protege-discussion