Pages that link to "Item:Q2462647"

The following pages link to A tableau decision procedure for \(\mathcal{SHOIQ}\) (Q2462647):

Displaying 37 items.

• Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics (Q518606) (← links)
• Algebraic tableau reasoning for the description logic \(\mathcal{SHOQ}\) (Q631080) (← links)
• A resolution-based decision procedure for \({\mathcal{SHOIQ}}\). (Q928657) (← links)
• Data complexity of query answering in expressive description logics via tableaux (Q945056) (← links)
• Extending soft sets with description logics (Q980132) (← links)
• Reasoning with rough description logics: An approximate concepts approach (Q1010135) (← links)
• Plans, actions and dialogues using linear logic (Q1016033) (← links)
• Terminating tableau systems for hybrid logic with difference and converse (Q1047795) (← links)
• Answering regular path queries in expressive description logics via alternating tree-automata (Q2252521) (← links)
• ExpTime tableaux with global caching for hybrid PDL (Q2303231) (← links)
• A prover dealing with nominals, binders, transitivity and relation hierarchies (Q2303237) (← links)
• Blocking and other enhancements for bottom-up model generation methods (Q2303239) (← links)
• A goal-directed decision procedure for hybrid PDL (Q2351150) (← links)
• HermiT: an OWL 2 reasoner (Q2351420) (← links)
• Extended decision procedure for a fragment of HL with binders (Q2351423) (← links)
• Reasoning with nominal schemas through absorption (Q2352498) (← links)
• Expressive probabilistic description logics (Q2389639) (← links)
• A family of dynamic description logics for representing and reasoning about actions (Q2392414) (← links)
• Optimizing terminological reasoning for expressive description logics (Q2462645) (← links)
• Reasoning over Vague Concepts (Q2814378) (← links)
• Query Answering with DBoxes is Hard (Q2825409) (← links)
• Hybrid Logics and Ontology Languages (Q2867944) (← links)
• An efficient approach to nominal equalities in hybrid logic tableaux (Q2901189) (← links)
• Coalition Description Logic with Individuals (Q3185771) (← links)
• The two‐variable fragment with counting and equivalence (Q3460527) (← links)
• Extending Description Logics with Uncertainty Reasoning in Possibilistic Logic (Q3524995) (← links)
• Query Answering in the Description Logic Horn- $\mathcal{SHIQ}$ (Q3532465) (← links)
• Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse (Q3541703) (← links)
• Extracting Modules from Ontologies: A Logic-Based Approach (Q3631357) (← links)
• Ontology Integration Using ε-Connections (Q3631364) (← links)
• Composing Modular Ontologies with Distributed Description Logics (Q3631365) (← links)
• Package-Based Description Logics (Q3631366) (← links)
• Ontologies and Databases: The DL-Lite Approach (Q3639004) (← links)
• Combining Description Logics, Description Graphs, and Rules (Q3655191) (← links)
• Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach (Q4957185) (← links)
• 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 (Q4982117) (← links)
• Terminating Tableaux for Hybrid Logic with Eventualities (Q5747764) (← links)