Submissions:Vocabulary Alignment Pattern: Conjoint Instances of an external Class
|Name||Vocabulary Alignment Pattern: Conjoint Instances of an external Class|
|Also known as|
|Domain (if applicable)||General|
|Alignment problem addressed||Use of an already defined external concept and instances of this external concept.|
|Alignment solution|| 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.
B owl:equivalentClass [ a owl:Class ; owl:intersectionOf ( D [ a owl:Restriction ; owl:onProperty [ owl:inverseOf p1 ]; owl:someValuesFrom A ] ) ]. ].