[protege-discussion] Not on Properties

[mar]

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?

http://protege-ontology-editor-knowledge-acquisition-system.136.n4.nabble.com/file/n4261482/Ontologytest.owl
Ontologytest.owl 

--
View this message in context: http://protege-ontology-editor-knowledge-acquisition-system.136.n4.nabble.com/Not-on-Properties-tp4257918p4261482.html
Sent from the Protege Discussion mailing list archive at Nabble.com.