Optimizing terminological reasoning for expressive description logics

DOI10.1007/s10817-007-9077-yzbMath1132.68742DBLPjournals/jar/TsarkovHP07OpenAlexW2049677513WikidataQ56988783 ScholiaQ56988783MaRDI QIDQ2462645

Ian Horrocks, Dmitry Tsarkov, Peter F. Patel-Schneider

Publication date: 3 December 2007

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10817-007-9077-y

zbMATH Keywords

Description logicOptimizationsReasoning systems

Mathematics Subject Classification ID

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

Related Items (13)

Tractable approximate deduction for OWL ⋮ Human rationality challenges universal logic ⋮ Extending the description logic \(\mathcal{EL}\) with threshold concepts induced by concept measures ⋮ Optimising fuzzy description logic reasoners with general concept inclusion absorption ⋮ Lightweight hybrid tableaux ⋮ An Experimental Evaluation of Global Caching for $\mathcal {ALC}$ (System Description) ⋮ Correctness and Worst-Case Optimality of Pratt-Style Decision Procedures for Modal and Hybrid Logics ⋮ A prover dealing with nominals, binders, transitivity and relation hierarchies ⋮ Optimizing the computation of overriding in \(\mathcal{DL}^{\mathsf{N}}\) ⋮ A goal-directed decision procedure for hybrid PDL ⋮ HermiT: an OWL 2 reasoner ⋮ The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies ⋮ Reasoning with nominal schemas through absorption

Uses Software

• DAML+OIL
• Pellet
• FaCT++
• Protege
• MSPASS
• HARP
• KL-ONE

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Attributive concept descriptions with complements
• Building decision procedures for modal logics from propositional decision procedures: The case study of modal \(K(m)\).
• A tableau decision procedure for \(\mathcal{SHOIQ}\)
• A Resolution-Based Decision Procedure for $\mathcal{SHOIQ}$
• Optimizing description logic subsumption
• A description logic with transitive and inverse roles and role hierarchies
• A Computing Procedure for Quantification Theory
• A machine program for theorem-proving
• An overview of tableau algorithms for description logics

This page was built for publication: Optimizing terminological reasoning for expressive description logics