Contracting TBoxes: the importance of being modular - Archive ouverte HAL Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2006

Contracting TBoxes: the importance of being modular

Résumé

In this work we address the problem of contracting terminological axioms in description logics. We present the semantics of ontology change for a fragment of ALC, and also de ne the corresp onding syntactical op erators for contracting TBoxes. We then take pro t of a concept of mo dularity of TBoxes in order to establish soundness and completeness results for mo dular ontologies.
Fichier principal
Vignette du fichier
herpervar-techrep06-2.pdf (265.1 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Identifiants

  • HAL Id : hal-03537177 , version 1

Citer

Andreas Herzig, Laurent Perrussel, Ivan Varzinczak. Contracting TBoxes: the importance of being modular. [Research Report] IRIT : Institut de Recherche Informatique de Toulouse. 2006. ⟨hal-03537177⟩
11 Consultations
8 Téléchargements

Partager

Gmail Facebook X LinkedIn More