Hypertableau Reasoning for Description Logics
From MaRDI portal
Publication:3651485
DOI10.1613/jair.2811zbMath1192.68664arXiv1401.3485WikidataQ56988707 ScholiaQ56988707MaRDI QIDQ3651485
Rob Shearer, Boris Motik, Ian Horrocks
Publication date: 10 December 2009
Published in: Journal of Artificial Intelligence Research (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1401.3485
68T27: Logic in artificial intelligence
Related Items
First-Order Resolution Methods for Modal Logics, Using tableau to decide description logics with full role negation and identity, Optimized Description Logic Reasoning via Core Blocking, Tractable approximate deduction for OWL, Consequence-based and fixed-parameter tractable reasoning in description logics, Semantic decision making using ontology-based soft sets, Semantic operations of multiple soft sets under conflict, Representing ontologies using description logics, description graphs, and rules, Similarity-based relaxed instance queries, The Fusemate logic programming system, Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \), Absorption for ABoxes, HermiT: an OWL 2 reasoner, The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies, Reasoning with nominal schemas through absorption, The limits of decidability in fuzzy description logics with general concept inclusions, Craig interpolation with clausal first-order tableaux, Individual Reuse in Description Logic Reasoning, Combining Description Logics, Description Graphs, and Rules