Representing ontologies using description logics, description graphs, and rules

DOI10.1016/J.ARTINT.2009.06.003zbMATH Open1180.68262DBLPjournals/ai/MotikGHS09OpenAlexW2156226590WikidataQ56988721 ScholiaQ56988721MaRDI QIDQ840831FDOQ840831

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

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

zbMATH Keywords

description logicsknowledge representationontologiesstructured objects

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (7)

• Combining description logics, description graphs, and rules
• Title not available (Why is that?)
• HermiT: an OWL 2 reasoner
• Title not available (Why is that?)
• Title not available (Why is that?)
• Managing Change in Graph-Structured Data Using Description Logics
• Title not available (Why is that?)

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)