A tableau decision procedure for SHOIQ
From MaRDI portal
Publication:2462647
DOI10.1007/S10817-007-9079-9zbMATH Open1132.68734OpenAlexW1978912716WikidataQ56988749 ScholiaQ56988749MaRDI QIDQ2462647FDOQ2462647
Publication date: 3 December 2007
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10817-007-9079-9
Cites Work
- Title not available (Why is that?)
- Propositional dynamic logic of regular programs
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Hybrid languages
- PSpace reasoning for graded modal logics
- Title not available (Why is that?)
- Optimizing description logic subsumption
- Title not available (Why is that?)
- An overview of tableau algorithms for description logics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Complexity Results for First-Order Two-Variable Logic with Counting
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (40)
- Blocking and other enhancements for bottom-up model generation methods
- HermiT: an OWL 2 reasoner
- Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach
- Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics
- A Tableau Decision Procedure for <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi mathvariant="script">ALC</mml:mi></mml:math> With Monotonic Modal Operators and Constant Domains
- Extending Description Logics with Uncertainty Reasoning in Possibilistic Logic
- Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse
- Extracting Modules from Ontologies: A Logic-Based Approach
- Data complexity of query answering in expressive description logics via tableaux
- Extending soft sets with description logics
- Hybrid logics and ontology languages
- Reasoning with nominal schemas through absorption
- Terminating Tableaux for Hybrid Logic with Eventualities
- Semantic web
- A Resolution-Based Decision Procedure for $\mathcal{SHOIQ}$
- Combining Description Logics, Description Graphs, and Rules
- Plans, actions and dialogues using linear logic
- Ontology Integration Using ε-Connections
- Package-Based Description Logics
- Query answering with DBoxes is hard
- The two‐variable fragment with counting and equivalence
- Reasoning with rough description logics: An approximate concepts approach
- Reasoning over Vague Concepts
- A short introduction to SHACL for logicians
- Algebraic tableau reasoning for the description logic \(\mathcal{SHOQ}\)
- Answering regular path queries in expressive description logics via alternating tree-automata
- Optimizing terminological reasoning for expressive description logics
- Ontologies and Databases: The DL-Lite Approach
- Expressive probabilistic description logics
- A resolution-based decision procedure for \({\mathcal{SHOIQ}}\).
- Query Answering in the Description Logic Horn- $\mathcal{SHIQ}$
- A goal-directed decision procedure for hybrid PDL
- A family of dynamic description logics for representing and reasoning about actions
- Coalition Description Logic with Individuals
- Terminating tableau systems for hybrid logic with difference and converse
- A prover dealing with nominals, binders, transitivity and relation hierarchies
- ExpTime tableaux with global caching for hybrid PDL
- Extended decision procedure for a fragment of HL with binders
- Composing Modular Ontologies with Distributed Description Logics
- An efficient approach to nominal equalities in hybrid logic tableaux
Uses Software
Recommendations
- A Resolution-Based Decision Procedure for $\mathcal{SHOIQ}$ 👍 👎
- A resolution-based decision procedure for \({\mathcal{SHOIQ}}\). 👍 👎
- Tableaux with Global Caching for Checking Satisfiability of a Knowledge Base in the Description Logic $\mathcal{SH}$ 👍 👎
- Deciding expressive description logics in the framework of resolution 👍 👎
- A decidable extension of \(\mathcal{SROIQ}\) with complex role chains and unions 👍 👎
This page was built for publication: A tableau decision procedure for \(\mathcal{SHOIQ}\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2462647)
