| AlignmentODPSolution
|
The patterns "Subclass of an external Clas … The patterns "Subclass of an external Class" and "Sub property of an external Property" allow the extension of external classes or properties. Instances, however, can not be easily instances of the external vocabularies.
But the use of instances of the external classes, is an essential aim of vocabulary alignments.
So it should be possible, to use instances of the classes foaf:Agent or its subclass foaf:Person describe an instance of a class own:Person in the own ontology. The concepts foaf:Person and own:Person are not
equivalent, but there is an intersection of instances. The set of intersection is even larger if the domain and range of properties of the own class are sub properties of properties of the external vocabulary.
As used herein, the description logic models a equivalence
between class B and class D, for such instances of both
classes, defined on an object property like p1.
The external class is from the perspective of their own domain typically in the range
of an defined object property. Therefore, this pattern is used on
an inverse object property. rn is used on
an inverse object property.
|
