Implement rules for checking the use of punning

[lcbarcellos]

The framework provided by gUFO defines higher order types to guide ontology development, as well as types of object properties. This feature is implemented in OWL by using punning.

Thus, rules can be implemented to warn the user about unexpected scenarios regarding punning:

• Let iri be the IRI identifying named individual X
  • If X is instance of gufo:RelationshipType, then:
  • an object property identified by iri is expected to exist;
  • If X is instance of gufo:Type, and it is not instance of gufo:RelationshipType, then:
  • a class identified by iri is expected to exist ;
  • If any of the rules above applies to X, then:
  • no other entity identified by iri, except the one stated by the applyable rule, is expected to exist;

The set of rules above states that instances of gufo:RelationshipType are object properties and instances of gufo:Type that are not instances of gufo:RelationshipType are classes. Therefore subclasses of gufo:Type (which are not subclasses of gufo:RelationshipType) are higher order classes.