Fuzzy Description Logics (DLs) with t-norm semantics have been studied as a means for representing and reasoning with vague knowledge. Recent work has shown that even fairly inexpressive fuzzy DLs become undecidable for a wide variety of t-norms. We complement those results by providing a class of t-norms and an expressive fuzzy DL for which ontology consistency is linearly reducible to crisp reasoning, and thus has its same complexity. Surprisingly, in these same logics crisp models are insufficient for deciding fuzzy subsumption.

Borgwardt, S., Distel, F., Penaloza, R. (2012). How Fuzzy is my Fuzzy Description Logic?. In Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings (pp.82-96). Springer-Verlag [10.1007/978-3-642-31365-3_9].

How Fuzzy is my Fuzzy Description Logic?

Penaloza R
2012

Abstract

Fuzzy Description Logics (DLs) with t-norm semantics have been studied as a means for representing and reasoning with vague knowledge. Recent work has shown that even fairly inexpressive fuzzy DLs become undecidable for a wide variety of t-norms. We complement those results by providing a class of t-norms and an expressive fuzzy DL for which ontology consistency is linearly reducible to crisp reasoning, and thus has its same complexity. Surprisingly, in these same logics crisp models are insufficient for deciding fuzzy subsumption.
paper
fuzzy logic, description logics, reasoning
English
International Joint Conference on Automated Reasoning (IJCAR'12)
2012
Gramlich, B; Miller, D; Sattler, U
Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings
978-364231364-6
2012
7364
82
96
open
Borgwardt, S., Distel, F., Penaloza, R. (2012). How Fuzzy is my Fuzzy Description Logic?. In Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings (pp.82-96). Springer-Verlag [10.1007/978-3-642-31365-3_9].
File in questo prodotto:
File Dimensione Formato  
Borgwardt-2012-Lect Notes Comput Sci-AAM.pdf

accesso aperto

Descrizione: Conference Paper
Tipologia di allegato: Author’s Accepted Manuscript, AAM (Post-print)
Licenza: Altro
Dimensione 511.92 kB
Formato Adobe PDF
511.92 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/257243
Citazioni
  • Scopus 27
  • ???jsp.display-item.citation.isi??? ND
Social impact