On the Integration of Recursive ALN-Theories

9 years 8 months ago
On the Integration of Recursive ALN-Theories
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.
Aida Vitória, Margarida Mamede
Added 01 Aug 2010
Updated 01 Aug 2010
Type Conference
Year 2000
Where AI
Authors Aida Vitória, Margarida Mamede
Comments (0)