Coupling Tableau Algorithms for Expressive Description Logics with Completion-Based Saturation Procedures

DOI10.1007/978-3-319-08587-6_35zbMath1423.68486OpenAlexW176201254MaRDI QIDQ3192211

Thorsten Liebig, Birte Glimm, Andreas Steigmiller

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)

Related Items (5)

OWL reasoning: subsumption test hardness and modularity ⋮ The OWL reasoner evaluation (ORE) 2015 competition report ⋮ On combining ontologies and rules ⋮ Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach ⋮ Reasoning with nominal schemas through absorption

Uses Software

• Konclude

This page was built for publication: Coupling Tableau Algorithms for Expressive Description Logics with Completion-Based Saturation Procedures