Combining Description Logics, Description Graphs, and Rules
From MaRDI portal
Publication:3655191
DOI10.1007/978-3-642-04222-5_3zbMath1193.68244MaRDI QIDQ3655191
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
Uses Software
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