Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions

DOI10.1613/JAIR.1.11257zbMATH Open1451.68253OpenAlexW2903010679WikidataQ128847994 ScholiaQ128847994MaRDI QIDQ4558797FDOQ4558797

Authors: Andrew M. Bate, Boris Motik, Bernardo Cuenca Grau, David Tena Cucala, František Simančík, Ian Horrocks 

Publication date: 30 November 2018

Published in: Journal of Artificial Intelligence Research (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1613/jair.1.11257

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

zbMATH Keywords

data managementclassification of description logicreasoner

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27)

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)