Conjunctive Query Answering in Finitely-valued Fuzzy Description Logics

Theofilos Mailis; R Penaloza; Anni-Yasmin Turhan

doi:10.1007/978-3-319-11113-1_9

Back

Conjunctive Query Answering in Finitely-valued Fuzzy Description Logics

Conference proceeding

Peer reviewed

Conjunctive Query Answering in Finitely-valued Fuzzy Description Logics

Theofilos Mailis, R Penaloza and Anni-Yasmin Turhan

Web Reasoning and Rule Systems: 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings, Vol.8741, pp.124-139

Lecture Notes in Computer Science, 8741

RR 2014 - 8th International Conference on Web Reasoning and Rule Systems (Athens, 15/09/2014 - 17/09/2014)

2014

DOI: https://doi.org/10.1007/978-3-319-11113-1_9

Handle:

https://hdl.handle.net/10863/32976

Abstract

Fuzzy Description Logics (DLs) generalize crisp ones by providing membership degree semantics for concepts and roles. A popular technique for reasoning in fuzzy DL ontologies is by providing a reduction to crisp DLs and then employ reasoning in the crisp DL. In this paper we adopt this approach to solve conjunctive query (CQ) answering problems for fuzzy DLs. We give reductions for Gödel, and Łukasiewicz variants of fuzzy SROIQ and two kinds of fuzzy CQs. The correctness of the proposed reduction is proved and its complexity is studied for different fuzzy variants of SROIQ.

Files and links (1)

url

http://link.springer.com/chapter/10.1007/978-3-319-11113-1_9View

Details

Title: Conjunctive Query Answering in Finitely-valued Fuzzy Description Logics
Creators: Theofilos Mailis - TU Dresden
R Penaloza - TU Dresden
Anni-Yasmin Turhan - TU Dresden
Publication Details: Web Reasoning and Rule Systems: 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings, Vol.8741, pp.124-139
Editor(s): Kontchakov R, Mugnier M
ISBN: 9783319111124
EISBN: 9783319111131
ISSN: 0302-9743
EISSN: 1611-3349
Conference: RR 2014 - 8th International Conference on Web Reasoning and Rule Systems (Athens, 15/09/2014 - 17/09/2014)
Series / Volume: Lecture Notes in Computer Science
8741
Publisher: Springer
Berlin, Heidelberg
Identifiers: 978-3-319-11112-4
(UNIBZ)20601
991006493890001241
Scopus ID: 2-s2.0-84921645354
Academic Unit: Faculty of Computer Science
Language: English
Resource Type: Conference proceeding
Author Names String: Mailis T, Penaloza R, Turhan AY
Additional Description: Editors/Supervisors: Kontchakov R, Mugnier M

Metrics

2 Record Views