From Semantic Web Technologies

Jump to: navigation, search
(Created page with '__notoc__ == Knowledge Representation and Reasoning for the Semantic Web - OWL 2 Rules == a tutorial at [http://ki2009.uni-paderborn.de/index.php?id=35 KI 2009], Paderborn, Ger…')
(References)
Line 21: Line 21:
* [[Pascal Hitzler]], [[Markus Krötzsch]], Bijan Parsia, Peter Patel-Schneider, [[Sebastian Rudolph]], [http://www.w3.org/TR/2009/WD-owl2-primer-20090611/ OWL 2 Web Ontology Language: Primer. W3C Working Draft 11 June 2009]. [http://www.w3.org/TR/owl2-primer/ Latest version].
* [[Pascal Hitzler]], [[Markus Krötzsch]], Bijan Parsia, Peter Patel-Schneider, [[Sebastian Rudolph]], [http://www.w3.org/TR/2009/WD-owl2-primer-20090611/ OWL 2 Web Ontology Language: Primer. W3C Working Draft 11 June 2009]. [http://www.w3.org/TR/owl2-primer/ Latest version].
-
* [[Pascal Hitzler]], [[Markus Krötzsch]], [[Sebastian Rudolph]], [[FOST|Foundations of Semantic Web Technologies]]. Chapman & Hall / CRC Textbooks in Computing, 2009.
+
* [[Pascal Hitzler]], [[Markus Krötzsch]], [[Sebastian Rudolph]], [[Foundations of Semantic Web Technologies]]. Chapman & Hall / CRC Textbooks in Computing, 2009.
* [[Pascal Hitzler]], [[Markus Krötzsch]], [[Sebastian Rudolph]], [http://korrekt.org/page/Description_Logic_Rules Description Logic Rules]. In Malik Ghallab, Constantine D. Spyropoulos, Nikos Fakotakis, Nikos Avouris, eds.: Proceedings of the 18th European Conference on Artificial Intelligence (ECAI-08), pp. 80–84. IOS Press 2008.  
* [[Pascal Hitzler]], [[Markus Krötzsch]], [[Sebastian Rudolph]], [http://korrekt.org/page/Description_Logic_Rules Description Logic Rules]. In Malik Ghallab, Constantine D. Spyropoulos, Nikos Fakotakis, Nikos Avouris, eds.: Proceedings of the 18th European Conference on Artificial Intelligence (ECAI-08), pp. 80–84. IOS Press 2008.  

Revision as of 22:58, 12 June 2009


Knowledge Representation and Reasoning for the Semantic Web - OWL 2 Rules

a tutorial at KI 2009, Paderborn, Germany, September 2009.

Speakers: Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph

Abstract

The revision 2 of the Web Ontology Language OWL is much richer than its predecessor OWL 1.0 with respect to modelling with rules. In particular, a significant portion of OWL 2 DL is already expressible using rules (called SROIQ Rules). The tractable profile OWL 2 EL can be extended by rules - within OWL 2 DL - while retaining tractability. Further rules lying outside OWL 2 DL, in particular a generalization of DL-safe Datalog rules, can further be added while still retaining tractability, resulting in a language called ELP, which covers all three tractable profiles of OWL 2. ELP in turn can be extended by local closed-world reasoning such that data complexity still remains polynomial.

This tutorial introduces OWL 2 and the abovementioned rules fragments and extensions in detail. It is aimed for the theoretician as well as the ontology engineer who would like to learn about the intimate relationship between OWL 2 and rules.

Slides

forthcoming

References

Speaker Biographies

PD Dr. Pascal Hitzler is assistant professor at the University of Karlsruhe (TH), Germany. His research interests comprise Semantic Web, neural-symbolic integration, knowledge representation and reasoning, and mathematical foundations of artificial intelligence. For further information please see http://www.pascal-hitzler.de.

M.Sc. Markus Krötzsch is a researcher at the University of Karlsruhe (TH), Germany, where he is currently working on his PhD thesis. His research interests involve knowledge representation on the Semantic Web, the logical foundations thereof, and the efficient processing of such knowledge. He is also the lead developer of Semantic MediaWiki and maintainer of the website semanticweb.org. Fur further information, please see http://korrekt.org.

Dr. Sebastian Rudolph is assistant professor at the University of Karlsruhe (TH), Germany. His research interests include knowledge specification and reasoning, logic, algebra, complexity theory as well as semantic search and NLP aspects of knowledge acquisition. He is program chair of the International Conference on Conceptual Structures 2009 and of the International Conference on Formal Concept Analysis 2009. For further information, please see http://www.sebastian-rudolph.de.