Reasoning in fuzzy description logics using automata
type: Item
instance of: scholarly article
title: Reasoning in fuzzy description logics using automata
zbMATH Open document ID: 1374.68551
author: Stefan Borgwardt
author: Rafael Peñaloza
published in: Fuzzy Sets and Systems
publication date: 2017-11-14T00:00:00Z
full work available at URL: http://hdl.handle.net/10281/258629
Mathematics Subject Classification ID: 68T37
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 6806609
zbMATH Keywords: fuzzy description logics
zbMATH Keywords: reasoning
zbMATH Keywords: tree automata
zbMATH Keywords: weighted automata
describes a project that uses: Fuzzydl
MaRDI profile type: Publication
OpenAlex ID: W945404250
cites work: The Description Logic Handbook
cites work: Fuzzy sets
cites work: Q5406033
cites work: On the Undecidability of Fuzzy Description Logics with GCIs and Product T-norm
cites work: On the (un)decidability of fuzzy description logics under Łukasiewicz t-norm
cites work: The limits of decidability in fuzzy description logics with general concept inclusions
cites work: Using automata theory for characterizing the semantics of terminological cycles
cites work: Automata-theoretic techniques for modal logics of programs
cites work: Automata can show PSpace results for description logics
cites work: The Fuzzy Description Logic $\mathsf{G}\text{-}{\mathcal{F\!L}_0} $ with Greatest Fixed-Point Semantics
cites work: Triangular norms
cites work: Making fuzzy description logic more general
cites work: Reasoning within fuzzy description logics
cites work: A lattice-theoretical fixpoint theorem and its applications
cites work: Q4198056
cites work: Q4012244
cites work: JOINING GÖDEL AND ZADEH FUZZY LOGICS IN FUZZY DESCRIPTION LOGICS
cites work: Finite Fuzzy Description Logics and Crisp Representations
cites work: Fuzzy description logics under Gödel semantics
cites work: Q3624094
cites work: Q3533554
cites work: First-order satisfiability in Gödel logics: an NP-complete fragment
cites work: Consistency checking reduced to satisfiability of concepts in terminological systems
cites work: Q4197641
cites work: A new polynomial-time algorithm for linear programming
cites work: How Fuzzy Is My Fuzzy Description Logic?
cites work: Fuzzy description logics with general t-norms and datatypes
cites work: A formal framework for description logics with uncertainty
cites work: DESCRIPTION LOGICS OVER LATTICES
cites work: Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic \(\mathcal {SROIQ}\)
cites work: Logics in Artificial Intelligence
DOI: 10.1016/J.FSS.2015.07.013
description: scientific article; zbMATH DE number 6806609