Combining Description Logics, Description Graphs, and Rules

DOI10.1007/978-3-642-04222-5_3zbMath1193.68244OpenAlexW1682069835MaRDI QIDQ3655191

Boris Motik

Publication date: 7 January 2010

Published in: Frontiers of Combining Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-04222-5_3

Mathematics Subject Classification ID

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

Uses Software

• KL-ONE

Cites Work

• Unnamed Item
• Representing ontologies using description logics, description graphs, and rules
• A structure-preserving clause form translation
• Modal languages and bounded fragments of predicate logic
• Combining Horn rules and description logics in CARIN
• Combining answer set programming with description logics for the semantic web
• A tableau decision procedure for \(\mathcal{SHOIQ}\)
• Taming the Infinite Chase: Query Answering under Expressive Relational Constraints
• Hypertableau Reasoning for Description Logics
• Logical foundations of object-oriented and frame-based languages
• The Description Logic Handbook
• Automated Deduction – CADE-19
• The classical decision problem.
• An overview of tableau algorithms for description logics

This page was built for publication: Combining Description Logics, Description Graphs, and Rules