Vortrag Baader: Unterschied zwischen den Versionen
Dhe (Diskussion | Beiträge) K |
Ne2260 (Diskussion | Beiträge) K (Textersetzung - „Forschungsgruppe=Wissensmanagement“ durch „Forschungsgruppe=Web Science und Wissensmanagement“) |
||
(2 dazwischenliegende Versionen von einem anderen Benutzer werden nicht angezeigt) | |||
Zeile 1: | Zeile 1: | ||
{{Veranstaltung | {{Veranstaltung | ||
− | |Titel DE= | + | |Titel DE=Small is Again Beautiful in Description Logics |
− | |Titel EN= | + | |Titel EN=Small is Again Beautiful in Description Logics |
− | |Beschreibung DE=.. | + | |Beschreibung DE=Description Logics (DLs) are a popular family of logic-based |
− | |Beschreibung EN=.. | + | knowledge representation languages, which have been used |
+ | in various application domains such as natural language | ||
+ | processing, databases, configuration of technical systems, | ||
+ | biomedical ontologies, and the Semantic Web. 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, | ||
+ | EL and DL-Lite, which recently have been accepted as profiles of | ||
+ | OWL 2, the next version of the OWL standard. In this talk, I | ||
+ | will give an introduction to these new families of logics and explain | ||
+ | the rationales underlying their design. | ||
+ | |Beschreibung EN=Description Logics (DLs) are a popular family of logic-based | ||
+ | knowledge representation languages, which have been used | ||
+ | in various application domains such as natural language | ||
+ | processing, databases, configuration of technical systems, | ||
+ | biomedical ontologies, and the Semantic Web. 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, | ||
+ | EL and DL-Lite, which recently have been accepted as profiles of | ||
+ | OWL 2, the next version of the OWL standard. In this talk, I | ||
+ | will give an introduction to these new families of logics and explain | ||
+ | the rationales underlying their design. | ||
|Veranstaltungsart=Kolloquium Angewandte Informatik | |Veranstaltungsart=Kolloquium Angewandte Informatik | ||
|Start=2011/05/13 14:00:00 | |Start=2011/05/13 14:00:00 | ||
Zeile 9: | Zeile 51: | ||
|Gebäude=11.40 | |Gebäude=11.40 | ||
|Raum=231 | |Raum=231 | ||
− | |Vortragender=Prof. Franz Baader | + | |Vortragender=Prof. Franz Baader, Tu Dresden |
|Eingeladen durch=Rudi Studer | |Eingeladen durch=Rudi Studer | ||
− | |Forschungsgruppe=Wissensmanagement | + | |PDF=Kolloquium Baader 13 5 11.pdf |
+ | |Forschungsgruppe=Web Science und Wissensmanagement | ||
|In News anzeigen=False | |In News anzeigen=False | ||
}} | }} |
Aktuelle Version vom 15. Oktober 2015, 11:45 Uhr
Small is Again Beautiful in Description Logics
Veranstaltungsart:
Kolloquium Angewandte Informatik
Description Logics (DLs) are a popular family of logic-based
knowledge representation languages, which have been used
in various application domains such as natural language
processing, databases, configuration of technical systems,
biomedical ontologies, and the Semantic Web. 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,
EL and DL-Lite, which recently have been accepted as profiles of
OWL 2, the next version of the OWL standard. In this talk, I
will give an introduction to these new families of logics and explain
the rationales underlying their design.
(Prof. Franz Baader, Tu Dresden)
Start: 13. Mai 2011 um 14:00
Ende: 13. Mai 2011 um 15:00
Im Gebäude 11.40, Raum: 231
Veranstaltung vormerken: (iCal)
Veranstalter: Forschungsgruppe(n) Web Science und Wissensmanagement
Information: Media:Kolloquium Baader 13 5 11.pdf