Related Communities:

Using of an interactive proving system for ontology mapping

Using of an interactive proving system for ontology mapping.

Author(s): Skvortsov N.A.
Published:Proc. of the Eighth Russian Conference on Digital Libraries RCDL'2006, Suzdal. -- Yaroslavl: P. G. Demidov Yaroslavl State University, 2006. -- P. 65--69. (In Russian)
Complexity of ontological models varies from simple taxonomies to first order logic. Optimal complexity is chosen with respect to necessary expressive power on one hand and ability to solve tasks of logical inference on the other hand. To verify mapping of two ontologies, proof of subsumption relation between ontological concepts required. This task is solvable automatically in description logics. OWL DL language is based on one of such logics. However this task emerges in more complex models too. The paper shows how the system of interactive proving of specification refinement B-Toolkit based on the first order logic may be used for verification of ontological concept mapping.
Download: [ Adobe PDF ]

Supported by Synthesis Group