Hypertableau Reasoning for Description Logics

DOI10.1613/jair.2811zbMath1192.68664DBLPjournals/jair/MotikSH09arXiv1401.3485OpenAlexW3101974058WikidataQ56988707 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

zbMATH Keywords

reasoning calculus

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (19)

Tractable approximate deduction for OWL ⋮ Representing ontologies using description logics, description graphs, and rules ⋮ Craig interpolation with clausal first-order tableaux ⋮ Similarity-based relaxed instance queries ⋮ Individual Reuse in Description Logic Reasoning ⋮ Semantic operations of multiple soft sets under conflict ⋮ Consequence-based and fixed-parameter tractable reasoning in description logics ⋮ Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \) ⋮ Using tableau to decide description logics with full role negation and identity ⋮ First-Order Resolution Methods for Modal Logics ⋮ Semantic decision making using ontology-based soft sets ⋮ Optimized Description Logic Reasoning via Core Blocking ⋮ The limits of decidability in fuzzy description logics with general concept inclusions ⋮ The Fusemate logic programming system ⋮ Combining Description Logics, Description Graphs, and Rules ⋮ 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

This page was built for publication: Hypertableau Reasoning for Description Logics