 |
|
Related Communities:
|
 |
|
 |
Ontology reconciliation in terms of type refinement.
| Author(s): | Kalinichenko L.A., Skvortsov N.A. |
| Created: | 2004/09/29 |
| Published: | Proc. of the Sixth Russian Conference on Digital Libraries RCDL'2004, Pushchino. -- Moscow: Multiprint, 2004. -- P. 69--74. |
| Abstract: | |
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. |
| Download: |
[ Adobe PDF ]
|
|
|
