LATPub427: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Marcel Lippmann (Diskussion | Beiträge) KKeine Bearbeitungszusammenfassung |
Marcel Lippmann (Diskussion | Beiträge) KKeine Bearbeitungszusammenfassung |
||
| Zeile 21: | Zeile 21: | ||
}} | }} | ||
{{Publikation Details | {{Publikation Details | ||
|Abstract=Description Logics (DLs) are a well-investigated family of logic-based | |Abstract=Description Logics (DLs) are a well-investigated family of logic-based knowledge representation formalisms, which can be used to represent the conceptual knowledge of an application domain in a structured and formally well-understood way. They are employed in various application domains, such as natural language processing, configuration, and databases, but their most notable success so far is the adoption of the DL-based language OWL as standard ontology language for the semantic web. | ||
knowledge representation formalisms, which can be used to represent | This article concentrates on the problem of designing reasoning procedures for DLs. After a short introduction and a brief overview of the research in this area of the last 20 years, it will on the one hand present approaches for reasoning in expressive DLs, which are the foundation for reasoning in the Web ontology language OWL DL. On the other hand, it will consider tractable reasoning in the more light-weight DL EL, which is employed in bio-medical ontologies, and which is the foundation for the OWL 2 profile OWL 2 EL. | ||
the conceptual knowledge of an application domain in a structured | |||
and formally well-understood way. They are employed in various application | |||
domains, such as natural language processing, configuration, and | |||
databases, but their most notable success so far is the adoption | |||
of the DL-based language OWL as standard ontology language for the | |||
semantic web. | |||
This article concentrates on the problem of designing reasoning | |||
procedures for DLs. After a short introduction and a brief overview | |||
of the research in this area of the last 20 years, it will on the one | |||
hand present approaches for reasoning in expressive DLs, which are the | |||
foundation for reasoning in the Web ontology language OWL DL. On the | |||
other hand, it will consider tractable reasoning in the more light-weight | |||
DL EL, which is employed in bio-medical ontologies, and which is the | |||
foundation for the OWL 2 profile OWL 2 EL. | |||
|ISBN= | |ISBN= | ||
|ISSN= | |ISSN= | ||
| Zeile 57: | Zeile 41: | ||
year = {2009}, | year = {2009}, | ||
} | } | ||
}} | }} | ||
Version vom 23. März 2015, 13:24 Uhr
Description Logics
Franz BaaderFranz Baader
Franz Baader
Description Logics
In Reasoning Web: Semantic Technologies for Information Systems, 5th International Summer School 2009, volume 5689 of Lecture Notes in Computer Science, 1-39. Springer, 2009
Description Logics
In Reasoning Web: Semantic Technologies for Information Systems, 5th International Summer School 2009, volume 5689 of Lecture Notes in Computer Science, 1-39. Springer, 2009
- KurzfassungAbstract
Description Logics (DLs) are a well-investigated family of logic-based knowledge representation formalisms, which can be used to represent the conceptual knowledge of an application domain in a structured and formally well-understood way. They are employed in various application domains, such as natural language processing, configuration, and databases, but their most notable success so far is the adoption of the DL-based language OWL as standard ontology language for the semantic web. This article concentrates on the problem of designing reasoning procedures for DLs. After a short introduction and a brief overview of the research in this area of the last 20 years, it will on the one hand present approaches for reasoning in expressive DLs, which are the foundation for reasoning in the Web ontology language OWL DL. On the other hand, it will consider tractable reasoning in the more light-weight DL EL, which is employed in bio-medical ontologies, and which is the foundation for the OWL 2 profile OWL 2 EL. - Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@incollection{ Baader09,
author = {Franz {Baader}},
booktitle = {Reasoning Web: Semantic Technologies for Information Systems, 5th International Summer School 2009},
pages = {1--39},
publisher = {Springer--Verlag},
series = {Lecture Notes in Computer Science},
title = {Description Logics},
volume = {5689},
year = {2009},
}
