Developing and maintaining ontologies is an expensive and error-prone task. After an error is detected, users may have to wait for a long time before a corrected version of the ontology is available. In the meantime, one might still want to derive meaningful knowledge from the ontology, while avoiding the known errors. We introduce brave and cautious reasoning and show that it is hard for EL. We then propose methods for improving the reasoning times by precompiling information about the known errors and using proof-theoretic techniques for computing justifications. A prototypical implementation shows that our approach is feasible for large ontologies used in practice.

Ludwig, M., Peñaloza, R. (2014). Brave and Cautious Reasoning in EL. In DL 2014: Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014 (pp.274-286). CEUR.

Brave and Cautious Reasoning in EL

Peñaloza R
2014

Abstract

Developing and maintaining ontologies is an expensive and error-prone task. After an error is detected, users may have to wait for a long time before a corrected version of the ontology is available. In the meantime, one might still want to derive meaningful knowledge from the ontology, while avoiding the known errors. We introduce brave and cautious reasoning and show that it is hard for EL. We then propose methods for improving the reasoning times by precompiling information about the known errors and using proof-theoretic techniques for computing justifications. A prototypical implementation shows that our approach is feasible for large ontologies used in practice.
paper
error-tolerant reasoning, description logics
English
27th International Workshop on Description Logics (DL 2014)
2014
Bienvenu M;Ortiz M;Rosati R;Simkus M
DL 2014: Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014
2014
1193
274
286
open
Ludwig, M., Peñaloza, R. (2014). Brave and Cautious Reasoning in EL. In DL 2014: Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014 (pp.274-286). CEUR.
File in questo prodotto:
File Dimensione Formato  
LuPe-DL14.pdf

accesso aperto

Tipologia di allegato: Author’s Accepted Manuscript, AAM (Post-print)
Dimensione 396.06 kB
Formato Adobe PDF
396.06 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/10281/258348
Citazioni
  • Scopus 1
  • ???jsp.display-item.citation.isi??? ND
Social impact