Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

Info
titleImporting and Exporting

The modeling tool supports importing and exporting Aristotelian definitions.

An Aristotelian definition can have only a single sufficient property constraint or generalization attached to it.

In a CCM model, given a class that has one or more sufficient property constraints and/or generalizations, when that class is exported the OWL will specify that the class is owl:equivalent to a owl:Class that is owl:intersectionOf all the restrictions and/or superclasses corresponding to those sufficient property constraints and/or generalizations, respectively.  In the case that a CCM class has only a single sufficient property constraint of generalizations, during export CCM creates the equivalent intersection of that single sufficient property constraint or generalization.  As it is an intersection containing only a single element that means that the class is equivalent to that single restriction or the superclass.  Due to this, OWLAPI removes the intersection axiom to simplify the OWL.


Example

The diagram below shows that when an instance with the property “has contract with” satisfies specific multiplicity (“1..*”) and type constraints (of type ‘Steering Wheel Manufacturer” or “Windshield Manufacturer”) for the property’s values, the instance meets a necessary and sufficient condition to be a member of the class “Car Manufacturer”. Therefore, an inferencing engine would classify this as an instance of the class “Car Manufacturer”. As discussed above, an instance meeting any one of these necessary and sufficient conditions is enough to classify the instance regardless of conditions on the values of any other properties with the {sufficient} constraint owned by the class “Car Manufacturer”. The conditions on the values of these properties become necessary conditions on an instance for it to be a valid member of class “Car Manufacturer.” Also, an instance meeting any one of these necessary and sufficient conditions is enough to distinguish instances of the class “Car Manufacturer’ from its parent class “Manufacturer.”

...