Gödel Description Logics with General Models

No abstract is available for this paper.

• Publication year

  2014

• Venue

  Description Logics

• Publication date

  Unknown publication date

• Fields of study

  Mathematics, Computer Science

• Identifiers

  No identifiers available.

• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Decidable Gödel Description Logics without the Finitely-Valued Model Property

  2014influential reference
• Consistency reasoning in lattice-based fuzzy Description Logics

  2014cited by this paper
• Gödel Description Logics: Decidability in the Absence of the Finitely-Valued Model Property

  2013cited by this paper
• The Complexity of Lattice-Based Fuzzy Description Logics

  2013cited by this paper
• On the (un)decidability of fuzzy description logics under Łukasiewicz t-norm

  2013cited by this paper
• Undecidability of Fuzzy Description Logics

  2012cited by this paper
• How Fuzzy Is My Fuzzy Description Logic?

  2012cited by this paper
• Joining Gödel and Zadeh Fuzzy Logics in Fuzzy Description Logics

  2012cited by this paper
• Handbook of mathematical fuzzy logic

  2011cited by this paper
• Are fuzzy description logics with general concept inclusion axioms decidable?

  2011cited by this paper
• On the Undecidability of Fuzzy Description Logics with GCIs and Product T-norm

  2011cited by this paper
• Reasoning within Fuzzy Description Logics

  2011influential reference
• Reasoning with the finitely many-valued Lukasiewicz fuzzy Description Logic SROIQ

  2011cited by this paper
• Finite Fuzzy Description Logics and Crisp Representations

  2010cited by this paper
• On the Satisfiability and Validity Problems in the Propositional Gödel Logic

  2010cited by this paper
• Uncertainty Reasoning for the Semantic Web

  2009cited by this paper
• Fuzzy description logics under Gödel semantics

  2009cited by this paper
• SI! Automata Can Show PSPACE Results for Description Logics

  2008cited by this paper
• A Family of Fuzzy Description Logics with Comparison Expressions

  2008cited by this paper
• Mixed Integer Programming, General Concept Inclusions and Fuzzy Description Logics

  2007cited by this paper
• On witnessed models in fuzzy logic

  2007cited by this paper
• A Crisp Representation for Fuzzy SHOIN with Fuzzy Nominals and General Concept Inclusions

  2006cited by this paper
• Description Logics over Lattices

  2006cited by this paper
• Making fuzzy description logic more general

  2005cited by this paper
• Description Logics with Concrete Domains-A Survey

  2002cited by this paper
• Metamathematics of Fuzzy Logic

  1998cited by this paper
• A Correspondence Theory for Terminological Logics: Preliminary Report

  1991influential reference
• Automata theoretic techniques for modal logics of programs: (Extended abstract)

  1984cited by this paper
• Journal of Artificial Intelligence Research? (????)?-? Submitted 10/05; published?/?? Reasoning with Very Expressive Fuzzy Description Logics

  year unknowncited by this paper

• Modal Logic for Reasoning About Uncertainty and Confusion

  2025cites this paper
• Tableaux for Epistemic Gödel Logic

  2025cites this paper
• Complexity of Abduction in Łukasiewicz Logic

  2025cites this paper
• Differentiable Fuzzy $\mathcal{ALC}$: A Neural-Symbolic Representation Language for Symbol Grounding

  2022cites this paper
• Finding Small Proofs for Description Logic Entailments: Theory and Practice (Extended Technical Report)

  2020cites this paper
• Fuzzy Description Logics - A Survey

  2017cites this paper
• The limits of decidability in fuzzy description logics with general concept inclusions

  2015cites this paper
• Decidable Gödel Description Logics without the Finitely-Valued Model Property

  2014cites this paper