On the Integration of Recursive ALN-Theories

Authors:
Aida Vitória;Margarida Mamede
Affiliations:
-;-
Venue:
AI '00 Proceedings of the 13th Biennial Conference of the Canadian Society on Computational Studies of Intelligence: Advances in Artificial Intelligence
Year:
2000

Citing 6
Cited 0

Reasoning and revision in hybrid representation systems

Reasoning and revision in hybrid representation systems
Modular logic programming

ACM Transactions on Programming Languages and Systems (TOPLAS)
The complexity of concept languages

Information and Computation
Matching in Description Logics: Preliminary Results

ICCS '98 Proceedings of the 6th International Conference on Conceptual Structures: Theory, Tools and Applications
Composing General Logic Programs

LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
Computing the least common subsumer and the most specific concept in the presence of cyclic ALN concept descriptions

Computing the least common subsumer and the most specific concept in the presence of cyclic ALN concept descriptions

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we focus on the problem of integrating knowledge bases expressed in a description logic. To this end, we propose three basic operations: union, intersection and renaming. First, the semantics of these compositional operations is studied abstracting away from implementation details. Then, we present an implementation of the proposed operations, for knowledge bases expressed in the language ALN extended with recursive definitions of concepts, which transforms compositions of knowledge bases into knowledge bases. This transformation is sound and complete with respect to the semantics referred before.