Representing ontologies using description logics, description graphs, and rules

DOI10.1016/j.artint.2009.06.003zbMath1180.68262OpenAlexW2156226590WikidataQ56988721 ScholiaQ56988721MaRDI QIDQ840831

Bernardo Cuenca Grau, Boris Motik, 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

knowledge representationdescription logicsontologiesstructured objects

Mathematics Subject Classification ID

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

Related Items (2)

Combining Description Logics, Description Graphs, and Rules ⋮ HermiT: an OWL 2 reasoner

Uses Software

• KL-ONE

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Decidability of SHIQ with complex role inclusion axioms
• A structure-preserving clause form translation
• Modal languages and bounded fragments of predicate logic
• Combining Horn rules and description logics in CARIN
• Deciding regular grammar logics with converse through first-order logic
• On the relative expressiveness of description logics and predicate logics
• Taming the Infinite Chase: Query Answering under Expressive Relational Constraints
• Optimized Reasoning in Description Logics Using Hypertableaux
• Hypertableau Reasoning for Description Logics
• Logical foundations of object-oriented and frame-based languages
• Hyper tableaux
• The Description Logic Handbook
• Automated Deduction – CADE-19
• An overview of tableau algorithms for description logics

This page was built for publication: Representing ontologies using description logics, description graphs, and rules