A Resolution-Based Decision Procedure for $\mathcal{SHOIQ}$
From MaRDI portal
Publication:3613440
DOI10.1007/11814771_53zbMath1222.68383OpenAlexW1553192229MaRDI QIDQ3613440
Publication date: 12 March 2009
Published in: Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11814771_53
Related Items (6)
A resolution-based decision procedure for \({\mathcal{SHOIQ}}\). ⋮ Optimizing terminological reasoning for expressive description logics ⋮ Reasoning in description logics by a reduction to disjunctive datalog ⋮ Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \) ⋮ Description Logics ⋮ Hybrid Logics and Ontology Languages
This page was built for publication: A Resolution-Based Decision Procedure for $\mathcal{SHOIQ}$
