Coupling tableau algorithms for expressive description logics with completion-based saturation procedures

DOI10.1007/978-3-319-08587-6_35MaRDI QIDQ3192211zbMATH OpenOpenAlexFDO

Authors Andreas Steigmiller, Birte Glimm, Thorsten Liebig

Publication date 26 September 2014

Published in Automated Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-08587-6_35

Mathematics Subject Classification ID

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

Recommendations

• Pay-as-you-go description logic reasoning by coupling tableau and saturation procedures
• The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies
• An Optimized KE-Tableau-Based System for Reasoning in the Description Logic $${\mathcal {DL}}_{{\mathbf {D}}}^{4,\!\times }$$
• Optimizing terminological reasoning for expressive description logics
• An overview of tableau algorithms for description logics

Cited in

(7)

• OWL reasoning: subsumption test hardness and modularity
• The OWL reasoner evaluation (ORE) 2015 competition report
• Reasoning with nominal schemas through absorption
• Tableaux with Global Caching for Checking Satisfiability of a Knowledge Base in the Description Logic $\mathcal{SH}$
• Pay-as-you-go description logic reasoning by coupling tableau and saturation procedures
• Probabilistic DL reasoning with pinpointing formulas: a Prolog-based approach
• On combining ontologies and rules

Describes a project that uses

Uses Software

• Konclude

This page was built for publication: Coupling tableau algorithms for expressive description logics with completion-based saturation procedures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3192211)