This is a general rule of the logic, and not OWL API specific: if you want “Apple is equivalent to Pear”, and “GreenPear is a subclass of Pear”, then unavoidably GreenPear is a subclass of Apple. If you do not want this consequence, you need to change the design of your classes.
----- Original Message -----
From: Xichuan Wu
Sent: 04/04/13 02:03 PM
Subject: [OWLAPI-developer] compute a minimal set of entailments
I am defining concepts using a set of properties. For example,
Apple = (hasCategory some Fruit) and (hasTaste some Sweet) and (hasShape some Ball-like) .
Now other concept concepts that have the same definitions would be classified as equivalent class to Apple, Pear for instance.
Another concept, GreenPear is defined as follows:
GreenPear = (hasCategory some Fruit) and (hasTaste some Sweet) and (hasShape some Ball-like) and (hasColor some Green).
It is already given that GreenPear is a subclass of Pear.
The axiom "GreenPear is subclass of Apple" is implicitly there. But I don't want to output this axiom. I want only the axiom that "Apple is equivalent to Pear", the minimal set of entailments.
Is there a way to do that using OWL API? What is the output result of classification?