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.
Domaines
Intelligence artificielle [cs.AI]
Origine : Fichiers produits par l'(les) auteur(s)