Re: Ontologies with Python - only vs some

Posted by Jiba on
URL: http://owlready.306.s1.nabble.com/Ontologies-with-Python-subclass-of-vs-equivalent-to-tp3247p3251.html

Hi Jordon,

Thank you for your feedback about the book!

The three restrictions are considered as parent classes in OWL, and they are related by intersections.

You can also write it as: SubClassOf (has_grouping some (InPair or Isolated)) AND (has_shape only Rod) AND (has_shape some Rod).

However, it is different from an equivalency, because equivalencies are bidirectonal while subclassOf is unidirectional. Here, the subclassOf means that all Pseudomonas are grouped in pair or isolated, and have rod shape.
The equivalency also means that everything that is grouped in pair or isolated, and has rod shape is a Pseudomonas, which is not the case here (there are other species of bacteria that are isolated or paired, and have a rod shape, not only Pseudomonas).

You can think to SubclassOf as an imply relation (=>) and equivalency as an equivalency relation (<=>).

Jiba