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 |