Skip to main content

Table 2 Examples of ontology update rules with respect to invalidated elements used for ontology validation

From: Towards natural language question generation for the validation of ontologies and mappings

NOT A rdfs:subClassOf B NOT A rdfs:subClassOf C s.t. C rdfs:subClassOf B
NOT P rdfs:domain A NOT P rdf:subPropertyOf Q s.t. Q rdfs:domain A
NOT I rdf:type A NOT <I, P, J > s.t. P rdfs:domain A
   NOT <J, P, I > s.t. P rdfs:range A