Search Mailing List Archives

Limit search to: Subject & Body Subject Author
Sort by: Reverse Sort
Limit to: All This Week Last Week This Month Last Month
Select Date Range     through    

[protege-discussion] Not on Properties

mar ma.yarandi at
Wed Jan 4 06:42:59 PST 2012

Thanks for the post.

I have defined two classes A and B in an OWL file (attached). Both are
subclasses of class 'Topic' and B is the complement of A. The reasoner can
successfully infer the individuals of A but not B.

My intention for B is to get all the individuals of 'Topic' which are NOT
individuals of A.

How can it be done?

View this message in context:
Sent from the Protege Discussion mailing list archive at

More information about the protege-discussion mailing list