A tableau decision procedure for SHOIQ
From MaRDI portal
Publication:2462647
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
Cites work
- An overview of tableau algorithms for description logics
- Complexity Results for First-Order Two-Variable Logic with Counting
- scientific article; zbMATH DE number 1614719 (Why is no real title available?)
- scientific article; zbMATH DE number 67501 (Why is no real title available?)
- scientific article; zbMATH DE number 67503 (Why is no real title available?)
- scientific article; zbMATH DE number 1059246 (Why is no real title available?)
- scientific article; zbMATH DE number 1149405 (Why is no real title available?)
- scientific article; zbMATH DE number 1936671 (Why is no real title available?)
- scientific article; zbMATH DE number 1765660 (Why is no real title available?)
- scientific article; zbMATH DE number 1765711 (Why is no real title available?)
- scientific article; zbMATH DE number 1860675 (Why is no real title available?)
- scientific article; zbMATH DE number 1405450 (Why is no real title available?)
- scientific article; zbMATH DE number 1448975 (Why is no real title available?)
- Hybrid languages
- Optimizing description logic subsumption
- Propositional dynamic logic of regular programs
- PSpace reasoning for graded modal logics
Cited in
(43)- Reasoning with rough description logics: An approximate concepts approach
- Plans, actions and dialogues using linear logic
- Terminating tableau systems for hybrid logic with difference and converse
- Answering regular path queries in expressive description logics via alternating tree-automata
- ExpTime tableaux with global caching for hybrid PDL
- A prover dealing with nominals, binders, transitivity and relation hierarchies
- Blocking and other enhancements for bottom-up model generation methods
- A goal-directed decision procedure for hybrid PDL
- HermiT: an OWL 2 reasoner
- Extended decision procedure for a fragment of HL with binders
- Reasoning with nominal schemas through absorption
- Expressive probabilistic description logics
- A family of dynamic description logics for representing and reasoning about actions
- Optimizing terminological reasoning for expressive description logics
- Reasoning over vague concepts
- Query answering with DBoxes is hard
- A decidable extension of \(\mathcal{SROIQ}\) with complex role chains and unions
- Hybrid logics and ontology languages
- An efficient approach to nominal equalities in hybrid logic tableaux
- Coalition description logic with individuals
- The two-variable fragment with counting and equivalence
- Extending Description Logics with Uncertainty Reasoning in Possibilistic Logic
- Query Answering in the Description Logic Horn- $\mathcal{SHIQ}$
- Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse
- A Resolution-Based Decision Procedure for $\mathcal{SHOIQ}$
- Extracting Modules from Ontologies: A Logic-Based Approach
- Ontology Integration Using ε-Connections
- Composing Modular Ontologies with Distributed Description Logics
- Package-Based Description Logics
- Ontologies and Databases: The DL-Lite Approach
- Combining description logics, description graphs, and rules
- Probabilistic DL reasoning with pinpointing formulas: a Prolog-based approach
- A tableau decision procedure for \(\mathcal{ALC}\) with monotonic modal operators and constant domains
- Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics
- Terminating Tableaux for Hybrid Logic with Eventualities
- On the saturation of YAGO
- A short introduction to SHACL for logicians
- Algebraic tableau reasoning for the description logic \(\mathcal{SHOQ}\)
- Semantic web
- Exploiting uncertainty for querying inconsistent description logics knowledge bases
- A resolution-based decision procedure for \({\mathcal{SHOIQ}}\).
- Data complexity of query answering in expressive description logics via tableaux
- Extending soft sets with description logics
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)
