Combining description logics, description graphs, and rules

DOI10.1007/978-3-642-04222-5_3MaRDI QIDQ3655191zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Representing ontologies using description logics, description graphs, and rules
• scientific article; zbMATH DE number 1531967
• An introduction to description logic
• Reconciling description logics and rules
• scientific article; zbMATH DE number 1980927

Cites work

• A principle for incorporating axioms into the first-order translation of modal formulae.
• A structure-preserving clause form translation
• A tableau decision procedure for \(\mathcal{SHOIQ}\)
• An overview of tableau algorithms for description logics
• Combining answer set programming with description logics for the semantic web
• Combining Horn rules and description logics in CARIN
• scientific article; zbMATH DE number 839556 (Why is no real title available?)
• Hypertableau reasoning for description logics
• Logical foundations of object-oriented and frame-based languages
• Modal languages and bounded fragments of predicate logic
• Representing ontologies using description logics, description graphs, and rules
• Taming the infinite chase: query answering under expressive relational constraints
• The classical decision problem.
• The Description Logic Handbook

Cited in

(6)

• scientific article; zbMATH DE number 1696722 (Why is no real title available?)
• scientific article; zbMATH DE number 1163474 (Why is no real title available?)
• scientific article; zbMATH DE number 1753135 (Why is no real title available?)
• Conceptual modeling in a document management environment using part-of reasoning in description logics
• Description logic on image graphs
• Representing ontologies using description logics, description graphs, and rules

Describes a project that uses

Uses Software

• KL-ONE

This page was built for publication: Combining description logics, description graphs, and rules

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