On the Satisfiability of Quasi-Classical Description Logics

No abstract is available for this paper.

• Publication year

  2017

• Venue

  Computing and informatics

• Publication date

  Unknown publication date

• Fields of study

  Philosophy, Computer Science

• Identifiers
  DOI 10.4149/cai_2017_6_1415
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• An Approach to Generating Arguments over DL-Lite Ontologies

  2013cited by this paper
• Paraconsistent OWL and related logics

  2013influential reference
• Reasoning with inconsistencies in hybrid MKNF knowledge bases

  2013cited by this paper
• Embedding-based approaches to paraconsistent and temporal description logics

  2012cited by this paper
• Ontology Merging and Reasoning Using Paraconsistent Logics

  2012cited by this paper
• Quasi-Classical Description Logic

  2012influential reference
• Query Rewriting for Inconsistent DL-Lite Ontologies

  2011cited by this paper
• The Semantic Web

  2011cited by this paper
• The OWL API: A Java API for OWL ontologies

  2011influential reference
• Description Logics over Lattices with Multi-Valued Ontologies

  2011cited by this paper
• Quasi-classical Semantics and Tableau Calculus of Description Logics for Paraconsistent Reasoning in the Semantic Web

  2009cited by this paper
• Model-based Revision Operators for Terminologies in Description Logics

  2009cited by this paper
• Pellet: A practical OWL-DL reasoner

  2007cited by this paper
• Finding All Justifications of OWL DL Entailments

  2007cited by this paper
• Inconsistencies, Negations and Changes in Ontologies

  2006cited by this paper
• Debugging OWL ontologies

  2005cited by this paper
• The Description Logic Handbook: Theory, Implementation, and Applications

  2003influential reference
• Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies

  2003cited by this paper
• Reasoning with contradictory information using quasi-classical logic

  2000cited by this paper
• A Sequent Calculus for Reasoning in Four-Valued Description Logics

  1997cited by this paper
• A Four-Valued Semantics for Terminological Logics

  1989cited by this paper
• A Useful Four-Valued Logic

  1977cited by this paper
• Logic Journal of the IGPL

  year unknowncited by this paper

• PROSE: A Plugin-Based Framework for Paraconsistent Reasoning on Semantic Web

  2018cites this paper
• Optimizing Inconsistency-tolerant Description Logic Reasoning

  2016influential citation