A modularity approach for a fragment of ALC - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2006

A modularity approach for a fragment of ALC

Résumé

In this paper we address the principle of modularity of ontologies in description logics. It turns out that with existing accounts of modularity of ontologies we do not completely avoid unforeseen interactions between module components, and modules designed in those ways may be as complex as whole theories. We here give a more fine-grained paradigm for modularizing descriptions. We propose algorithms that check whether a given terminology is modular and that also help the designer making it modular, if needed. Completeness, correctness and termination results are demonstrated for a fragment of ALC. We also present the properties that ontologies that are modular in our sense satisfy w.r.t. reasoning services.

Dates et versions

hal-03537161 , version 1 (20-01-2022)

Identifiants

Citer

Andreas Herzig, Ivan Varzinczak. A modularity approach for a fragment of ALC. 10th European Conference on Logics in Artificial Intelligence (JELIA 2006), Sep 2006, Liverpool, United Kingdom. pp.216-228, ⟨10.1007/11853886_19⟩. ⟨hal-03537161⟩
24 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More