Small is Again Beautiful in Description Logics

Research output: Contribution to journalResearch articleContributedpeer-review

Contributors

Abstract

The Description Logic (DL) research of the last 20 years was mainly concerned with increasing the expressive power of the employed description language without losing the ability of implementing highly-optimized reasoning systems that behave well in practice, in spite of the ever increasing worst-case complexity of the underlying inference problems. OWL DL, the standard ontology language for the Semantic Web, is based on such an expressive DL for which reasoning is highly intractable. Its sublanguage OWL Lite was intended to provide a tractable version of OWL, but turned out to be only of a slightly lower worst-case complexity than OWL DL. This and other reasons have led to the development of two new families of light-weight DLs, $\mathcal{EL}$ and DL-Lite, which recently have been proposed as profiles of OWL 2, the new version of the OWL standard. In this paper, we give an introduction to these new logics, explaining the rationales behind their design.

Details

Original languageEnglish
Pages (from-to)25-33
Number of pages9
JournalKI - Kunstliche Intelligenz
Volume24
Issue number1
Publication statusPublished - 2010
Peer-reviewedYes

External IDs

Scopus 83455219032
ORCID /0000-0002-4049-221X/work/142247899

Keywords

Keywords

  • Knowledge representation, Description logics, Automated reasoning

Library keywords