Ontology reconciliation in terms of type refinement
Leonid A. Kalinichenko, Nikolay A. Skvortsov · 2004
General principles of ontology integration and reconciliation independent on ontological representation models are described. Type refinement calculus over ontological concepts is used to detect correlation between them and reconcile cross-ontology relationships. The principles of ontology integration and reconciliation are applied for particular ontological model. Inference capabilities of description logics are used for ontology integration in frame of ontological models reduced to DAML+OIL model. Type refinement reasoning for more general ontological models requires full power of predicate logics. 1