Finite Lattices Do Not Make Reasoning in ALCI Harder

Stefan Borgwardt; R Peñaloza

Back

Finite Lattices Do Not Make Reasoning in ALCI Harder

Conference proceeding

Open access

Peer reviewed

Finite Lattices Do Not Make Reasoning in ALCI Harder

Stefan Borgwardt and R Peñaloza

Proceedings of the 7th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2011), collocated with the 10th International Semantic Web Conference (ISWC 2011): Bonn, Germany, October 23, 2011, pp.51-62

CEUR Workshop Proceedings

7th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2011) (Bonn, 23/10/2011 - 23/10/2011)

2011

Handle:

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

Abstract

We consider the fuzzy logic ALCI with semantics based on a finite residuated lattice. We show that the problems of satisfiability and subsumption of concepts in this logic are ExpTime-complete w.r.t. general TBoxes and PSpace-complete w.r.t. acyclic TBoxes. This matches the known complexity bounds for reasoning in crisp ALCI.

Files and links (3)

pdf

proceedings2.38 MBDownload View

Open Access

url

https://ceur-ws.org/Vol-778/View

url

http://ceur-ws.org/Vol-778/paper5.pdfView

Details

Title: Finite Lattices Do Not Make Reasoning in ALCI Harder
Creators: Stefan Borgwardt
R Peñaloza
Publication Details: Proceedings of the 7th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2011), collocated with the 10th International Semantic Web Conference (ISWC 2011): Bonn, Germany, October 23, 2011, pp.51-62
Editor(s): Bobillo F, Carvalho R, da Costa PCG, d'Amato C, Fanizzi N, Laskey KB, Laskey KJ, Lukasiewicz T, Martin T, Nickles M, Pool M
ISSN: 1613-0073
Conference: 7th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2011) (Bonn, 23/10/2011 - 23/10/2011)
Series / Volume: CEUR Workshop Proceedings
Publisher: CEUR-WS.org
Format: Online
Number of pages: 10
Identifiers: (UNIBZ)622460
991006458594601241
Scopus ID: 2-s2.0-84891052396
Academic Unit: Faculty of Computer Science
Language: English
Resource Type: Conference proceeding
Author Names String: Borgwardt S, Peñaloza R
Additional Description: Editors/Supervisors: Bobillo F, Carvalho R, da Costa PCG, d'Amato C, Fanizzi N, Laskey KB, Laskey KJ, Lukasiewicz T, Martin T, Nickles M, Pool M

Metrics

22 File views/ downloads

3 Record Views