We propose a methodology to revise a Description Logic knowledge base when detecting exceptions. Our approach relies on the methodology for debugging a Description Logic terminology, addressing the problem of diagnosing incoherent ontologies by identifying a minimal subset of axioms responsible for an inconsistency. In the approach we propose, once the source of the inconsistency has been localized, the identied axioms are revised in order to obtain a consistent knowledge base including the detected exception. To this aim, we make use of a nonmonotonic extension of the Description Logic ALC based on the combination of a typicality operator and the well established nonmonotonic mechanism of rational closure, which allows to deal with prototypical properties and defeasible inheritance.

Revising Description Logic Terminologies to Handle Exceptions: a First Step

MICALIZIO, ROBERTO;POZZATO, GIAN LUCA
2014-01-01

Abstract

We propose a methodology to revise a Description Logic knowledge base when detecting exceptions. Our approach relies on the methodology for debugging a Description Logic terminology, addressing the problem of diagnosing incoherent ontologies by identifying a minimal subset of axioms responsible for an inconsistency. In the approach we propose, once the source of the inconsistency has been localized, the identied axioms are revised in order to obtain a consistent knowledge base including the detected exception. To this aim, we make use of a nonmonotonic extension of the Description Logic ALC based on the combination of a typicality operator and the well established nonmonotonic mechanism of rational closure, which allows to deal with prototypical properties and defeasible inheritance.
2014
CILC 2014 - 29o convegno italiano di logica computazionale
Torino
16-18 giugno 2014
CILC 2014 - 29o convegno italiano di logica computazionale
CEUR Workshop Proceedings
1195
225
240
http://cilc2014.di.unipmn.it
Description Logics; Nonmonotonic reasoning; belief revision
Roberto Micalizio; Gian Luca Pozzato
File in questo prodotto:
File Dimensione Formato  
cilc2014conRobi.pdf

Accesso aperto

Tipo di file: PDF EDITORIALE
Dimensione 308.85 kB
Formato Adobe PDF
308.85 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/153795
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? ND
social impact