A modularity approach for a fragment of ALC

Authors:
Andreas Herzig;Ivan Varzinczak
Affiliations:
IRIT, Toulouse, France;IRIT, Toulouse, France
Venue:
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Year:
2006

Citing 7
Cited 5

A Structure-preserving Clause Form Translation

Journal of Symbolic Computation
Minimizing the number of clauses by renaming

CADE-10 Proceedings of the tenth international conference on Automated deduction
An optimality result for clause form translation

Journal of Symbolic Computation
Basic description logics

The description logic handbook
Elaborating domain descriptions

Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Integrity and change in modular ontologies

IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Cohesion, coupling and the meta-theory of actions

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence

Metatheory of actions: Beyond consistency

Artificial Intelligence
On Importing Knowledge from Ontologies.

Modular Ontologies
Non-conservative extension of a peer in a P2P inference system

AI Communications
On action theory change

Journal of Artificial Intelligence Research
Preferential Reasoning for Modal Logics

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.02

Visualization

Abstract

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 ${\mathcal{ALC}}$. We also present the properties that ontologies that are modular in our sense satisfy w.r.t. reasoning services.