Representing ontologies using description logics, description graphs, and rules

DOI10.1016/J.ARTINT.2009.06.003MaRDI QIDQ840831zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler

Publication date 14 September 2009

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.artint.2009.06.003

zbMATH Keywords

description logicsknowledge representationontologiesstructured objects

Mathematics Subject Classification ID

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

Recommendations

• Combining description logics, description graphs, and rules
• Automated Reasoning with Analytic Tableaux and Related Methods
• Description logics for ontologies
• Description Logics
• scientific article; zbMATH DE number 1531967

Cites work

• A principle for incorporating axioms into the first-order translation of modal formulae.
• A structure-preserving clause form translation
• An overview of tableau algorithms for description logics
• Combining Horn rules and description logics in CARIN
• Decidability of SHIQ with complex role inclusion axioms
• Deciding regular grammar logics with converse through first-order logic
• scientific article; zbMATH DE number 1059246 (Why is no real title available?)
• scientific article; zbMATH DE number 1753135 (Why is no real title available?)
• scientific article; zbMATH DE number 839556 (Why is no real title available?)
• Hyper tableaux
• Hypertableau reasoning for description logics
• Logical foundations of object-oriented and frame-based languages
• Modal languages and bounded fragments of predicate logic
• On the relative expressiveness of description logics and predicate logics
• Optimized Reasoning in Description Logics Using Hypertableaux
• Taming the infinite chase: query answering under expressive relational constraints
• The Description Logic Handbook

Cited in

(8)

• HermiT: an OWL 2 reasoner
• scientific article; zbMATH DE number 5316045 (Why is no real title available?)
• Combining description logics, description graphs, and rules
• scientific article; zbMATH DE number 1163474 (Why is no real title available?)
• Managing Change in Graph-Structured Data Using Description Logics
• Description logic on image graphs
• scientific article; zbMATH DE number 5251111 (Why is no real title available?)
• scientific article; zbMATH DE number 2230857 (Why is no real title available?)

Describes a project that uses

Uses Software

• KL-ONE

This page was built for publication: Representing ontologies using 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 Q840831)