Gödel FL0 with Greatest Fixed-Point Semantics

Stefan Borgwardt; Jose A. Leyva Galano; R Peñaloza

Back

Gödel FL0 with Greatest Fixed-Point Semantics

Conference proceeding

Open access

Peer reviewed

Gödel FL0 with Greatest Fixed-Point Semantics

Stefan Borgwardt, Jose A. Leyva Galano and R Peñaloza

27th International Workshop on Description Logics, DL 2014: July 17–20, 2014, Vienna, Austria, Vol.1193, pp.71-82

CEUR Workshop Proceedings, 1193

27th International Workshop on Description Logics (DL 2014) (Vienna, 17/07/2014 - 20/07/2014)

2014

Handle:

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

Abstract

We study the fuzzy extension of FL0 with semantics based on the Gödel t-norm. We show that gfp-subsumption w.r.t. a nite set of primitive denitions can be characterized by a relation on weighted automata, and use this result to provide tight complexity bounds for reasoning in this logic.

Files and links (2)

pdf

paper_3321.88 kBDownload View

Open Access

url

http://ceur-ws.org/Vol-1193View

Details

Title: Gödel FL0 with Greatest Fixed-Point Semantics
Creators: Stefan Borgwardt
Jose A. Leyva Galano
R Peñaloza
Publication Details: 27th International Workshop on Description Logics, DL 2014: July 17–20, 2014, Vienna, Austria, Vol.1193, pp.71-82
Editor(s): Bienvenu M, Ortiz M, Rosati R, Simkus M
ISSN: 1613-0073
Conference: 27th International Workshop on Description Logics (DL 2014) (Vienna, 17/07/2014 - 20/07/2014)
Series / Volume: CEUR Workshop Proceedings
1193
Publisher: CEUR
Format: Online
Identifiers: (UNIBZ)1803220
991006493894101241
Scopus ID: 2-s2.0-84992663987
Academic Unit: Faculty of Computer Science
Language: English
Resource Type: Conference proceeding
Author Names String: Borgwardt S, Leyva Galano JA, Peñaloza R
Additional Description: Editors/Supervisors: Bienvenu M, Ortiz M, Rosati R, Simkus M

Metrics

3 Record Views