Home |  DEUTSCH |  Contact |  Imprint |  Data Protection |  Login |  KIT

WeDeL-R/en

Aus Aifbportal

Wechseln zu: Navigation, Suche
WeDeL-R.png

Webizing Description Logic Rules


Contact: Sebastian Rudolph




Project Status: completed


Description

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.


Involved Persons
Markus Krötzsch, Sebastian Rudolph


Information

from: 1 Juli 2009
until: 30 Juni 2011
Funding: DAAD



Research Group

Web Science


Area of Research

Semantic Web, Logic, Logic Programming, Description Logics


Publications Belonging to the Project
article
 - book
 - incollection
 - booklet
 - proceedings
 - phdthesis
 - deliverable
 - manual
 - misc
 - unpublished





inproceedings
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, pages: 257-272, Springer, LNCS, 6496, November, 2010
(Details)

↑ top

techreport
Markus Krötzsch, Sebastian Rudolph
Revisiting Acyclicity and Guardedness Criteria for Decidability of Existential Rules
Institut AIFB, KIT, archiv number: 3011 Karlsruhe, Januar, 2011
(Details)

↑ top