Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions
From MaRDI portal
Publication:4558797
Recommendations
- Consequence-based and fixed-parameter tractable reasoning in description logics
- Expressive number restrictions in description logics
- scientific article; zbMATH DE number 1980927
- Reasoning in description logics by a reduction to disjunctive datalog
- Description logics with contraries, contradictories, and subcontraries
- Conjunctive query containment and answering under description logic constraints
- Reasoning in Description Logics: Basics, Extensions, and Relatives
- Disjunction in modal description logics
- scientific article; zbMATH DE number 1755626
- scientific article; zbMATH DE number 1448975
Cited in
(11)- Automated reasoning in \(\mathcal{ALCQ}\) via SMT
- Indirect disjunctive belief rule base modeling using limited conjunctive rules: two possible means
- Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \)
- Hypertableau reasoning for description logics
- OWL reasoning: subsumption test hardness and modularity
- Reasoning in description logics by a reduction to disjunctive datalog
- Consequence-based and fixed-parameter tractable reasoning in description logics
- 15 years of consequence-based reasoning
- Type-elimination-based reasoning for the description logic \(\mathcal {SHIQ}b_s\) using decision diagrams and disjunctive Datalog
- Practical reasoning with qualified number restrictions: a hybrid Abox calculus for the description logic \({\mathcal{SHQ}}\).
- Classical algorithms for reasoning and explanation in description logics
This page was built for publication: Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4558797)
