UNIVERSITY OF JYVÄSKYLÄ
Lecture 4: Ontology Alignment (Part 2)
TIES4371 Interface of Things Spring 2019
University of Jyväskylä Khriyenko Oleksiy UNIVERSITY OF JYVÄSKYLÄ Ontology Alignment
¢ Alignment formats
First-order logic:
∀ , ≡ ∧ , ∧ ≥
∀ , ≡ ∧ (∀ , , ⟹ ( ))
∀ , ∧ ( , ) ≡ ( )
∀ , ⟸ ∃ , ( , )
Picture is taken from [1] 10/04/2019 TIES4371 - Lecture 4 2 UNIVERSITY OF JYVÄSKYLÄ Ontology Alignment
¢ Alignment formats
o MAFRA Semantic Bridge Ontology (SBO) does not define a real exchange format for ontology alignment. Rather, it provides an ontology, called the Semantic Bridge Ontology . The instantiation of this ontology is an ontology mapping document. ° The main concepts in this ontology are SemanticBridges and Services .A SemanticBridge is tied to the Services that are able to implement the bridge as a data transformation. ° Service can be thought of as a function: f: ⟶ that maps tuples of arguments into tuples of arguments. ° SemanticBridges , which in turn can be ConceptBridges or PropertyBridges , express a relation between two sets of entities by composing elementary services that are applied to them.