Reasoning in fuzzy description logics using automata

DOI10.1016/J.FSS.2015.07.013zbMATH Open1374.68551OpenAlexW945404250MaRDI QIDQ1677933FDOQ1677933

Authors: Stefan Borgwardt, Rafael Peñaloza 

Publication date: 14 November 2017

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10281/258629

Recommendations

• The complexity of fuzzy \(\mathcal{EL}\) under the Łukasiewicz t-norm
• Reasoning in expressive description logics under infinitely valued Gödel semantics
• How fuzzy is my fuzzy description logic?
• Reasoning Technique for Extended Fuzzy $\cal{ALCQ}$
• The limits of decidability in fuzzy description logics with general concept inclusions

zbMATH Keywords

tree automatareasoningweighted automatafuzzy description logics

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Reasoning under uncertainty in the context of artificial intelligence (68T37) Logic in artificial intelligence (68T27)

Cites Work

• A new polynomial-time algorithm for linear programming
• Fuzzy sets
• Triangular norms
• Title not available (Why is that?)
• A lattice-theoretical fixpoint theorem and its applications
• The Description Logic Handbook
• Title not available (Why is that?)
• Title not available (Why is that?)
• Automata-theoretic techniques for modal logics of programs
• Fuzzy description logics with general t-norms and datatypes
• Making fuzzy description logic more general
• Reasoning within fuzzy description logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Automata can show PSpace results for description logics
• Using automata theory for characterizing the semantics of terminological cycles
• Title not available (Why is that?)
• Logics in Artificial Intelligence
• DESCRIPTION LOGICS OVER LATTICES
• Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic \(\mathcal {SROIQ}\)
• Fuzzy description logics under Gödel semantics
• A formal framework for description logics with uncertainty
• Consistency checking reduced to satisfiability of concepts in terminological systems
• On the (un)decidability of fuzzy description logics under Łukasiewicz t-norm
• How fuzzy is my fuzzy description logic?
• Joining Gödel and Zadeh fuzzy logics in fuzzy description logics
• The limits of decidability in fuzzy description logics with general concept inclusions
• On the undecidability of fuzzy description logics with GCIs and product t-norm
• Finite fuzzy description logics and crisp representations
• First-order satisfiability in Gödel logics: an NP-complete fragment
• The fuzzy description logic \(\mathsf{G}\)-\({\mathcal{FL}_0}\) with greatest fixed-point semantics

Cited In (4)

• A logic-based computational method for the automated induction of fuzzy ontology axioms
• Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics
• Synthesizing fuzzy tree automata
• Fuzzy autoepistemic logic and its relation to fuzzy answer set programming

Uses Software

• Fuzzydl

This page was built for publication: Reasoning in fuzzy description logics using automata

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1677933)