Lightweight description logics are knowledge representation formalisms characterised by the low complexity of their standard reasoning tasks. They have been successfully employed for constructing large ontologies that model domain knowledge in several different practical applications. In order to maintain these ontologies, it is often necessary to detect the axioms that cause a given consequence. This task is commonly known as axiom pinpointing. In this paper, we provide a thorough analysis of the complexity of several decision, counting, and enumeration problems associated to axiom pinpointing in lightweight description logics

Peñaloza, R., Sertkaya, B. (2017). Understanding the complexity of axiom pinpointing in lightweight description logics. ARTIFICIAL INTELLIGENCE, 250, 80-104 [10.1016/j.artint.2017.06.002].

Understanding the complexity of axiom pinpointing in lightweight description logics

Peñaloza, R
;
2017

Abstract

Lightweight description logics are knowledge representation formalisms characterised by the low complexity of their standard reasoning tasks. They have been successfully employed for constructing large ontologies that model domain knowledge in several different practical applications. In order to maintain these ontologies, it is often necessary to detect the axioms that cause a given consequence. This task is commonly known as axiom pinpointing. In this paper, we provide a thorough analysis of the complexity of several decision, counting, and enumeration problems associated to axiom pinpointing in lightweight description logics
Articolo in rivista - Articolo scientifico
axiom pinpointing, explanation, description logics
English
2017
250
80
104
reserved
Peñaloza, R., Sertkaya, B. (2017). Understanding the complexity of axiom pinpointing in lightweight description logics. ARTIFICIAL INTELLIGENCE, 250, 80-104 [10.1016/j.artint.2017.06.002].
File in questo prodotto:
File Dimensione Formato  
1-s2.0-S0004370217300711-main.pdf

Solo gestori archivio

Tipologia di allegato: Publisher’s Version (Version of Record, VoR)
Dimensione 737.54 kB
Formato Adobe PDF
737.54 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

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/10281/233792
Citazioni
  • Scopus 35
  • ???jsp.display-item.citation.isi??? 20
Social impact