I am curious about ontology compression techniques. Suppose I have the following ontology:
:Lawyer rdf:type owl:Class ; rdfs:subClassOf :Person .
:LivingThing rdf:type owl:Class .
:Person rdf:type owl:Class ;
rdfs:subClassOf :LivingThing .
:sophia rdf:type :Lawyer ,
I realize that we actually can compress the ontology (ABox), to only contain:
:sophia rdf:type :Lawyer
Since it is the minimal ABox that could infer other facts (Sophia is a Person, etc). I know this is a very basic example. However, I don't know what this technique is called. It seems like I do the usual ontology inference but in backward direction. Any references? Thanks a lot!