WeDeL-R: Unterschied zwischen den Versionen

Aus Aifbportal
Wechseln zu:Navigation, Suche
(Die Seite wurde neu angelegt: „{{Projekt |Kurzname=WeDeL-R |Name=Webizing Description Logic Rules |Name EN=Webizing Description Logic Rules |Beschreibung DE=Knowledge representation formalisms …“)
K (Textersetzung - „Forschungsgruppe=Wissensmanagement“ durch „Forschungsgruppe=Web Science und Wissensmanagement“)
(3 dazwischenliegende Versionen von 2 Benutzern werden nicht angezeigt)
Zeile 9: Zeile 9:
|Finanziert von=DAAD
|Finanziert von=DAAD
|Person=Markus Krötzsch, Sebastian Rudolph,  
|Person=Markus Krötzsch, Sebastian Rudolph,
|Forschungsgruppe=Web Science und Wissensmanagement
{{Forschungsgebiet Auswahl
{{Forschungsgebiet Auswahl

Aktuelle Version vom 8. Oktober 2015, 07:22 Uhr


Webizing Description Logic Rules

Kontaktperson: Sebastian Rudolph

Projektstatus: abgeschlossen


Knowledge representation formalisms based on description logics and on rules are of central importance for the next generation of the World Wide Web. In this project, we build on recent work in our group on integrating description logics and rules, which resulted in knowledge representation languages called Description Logic Rules and ELP, which bear high potential for use on the Semantic Web. We will develop web-enabled syntaxes for these languages and provide corresponding tool support.

Involvierte Personen
Markus KrötzschSebastian Rudolph


von: 1 Juli 2009
bis: 30 Juni 2011
Finanzierung: DAAD


Web Science und Wissensmanagement


WeDeL-R (Beschreibungslogik, Logik, Logikprogrammierung, Semantic Web)

Publikationen zum Projekt
 - book
 - incollection
 - booklet
 - proceedings
 - phdthesis
 - deliverable
 - manual
 - misc
 - unpublished

Birte Glimm, Sebastian Rudolph, Johanna Völker
Integrated Metamodeling and Diagnosis in OWL 2
In Peter F. Patel-Schneider, Yue Pan, Pascal Hitzler, Peter Mika, Lei Zhang, Jeff Z. Pan, Ian Horrocks, Birte Glimm, Proceedings of the 9th International Semantic Web Conference, Seiten: 257-272, Springer, LNCS, 6496, November, 2010

↑ top

Markus Krötzsch, Sebastian Rudolph
Revisiting Acyclicity and Guardedness Criteria for Decidability of Existential Rules
Institut AIFB, KIT, Archiv Nummer: 3011 Karlsruhe, Januar, 2011

↑ top