Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site
You are here:

CENTRIA seminar: OWL Rules

Main informationBy: Pascal Hitzler (University of Karlsruhe, Germany)

Date: Wednesday, 24th of September 2008, 14h30

Location: FCT/UNL, Computer Science Department, Seminars room
AbstractFavorable bridges between ontologies and rule paradigms are currently
being sought by researchers and practitioners in Semantic Web. We
introduce a new rule-based formalism - OWL 2 Rules - for knowledge
representation and reasoning for the Semantic Web. OWL 2 Rules have
the following features:
  1. They are a decidable fragment of the Semantic Web Rules Language (SWRL);
  2. They can be internalised into OWL 2 (aka SROIQ);
  3. Extending the description logic EL++ with these rules is tractable (i.e. in P);
  4. Extending Description Logic Programs (DLP) with these rules is tractable (i.e. in P)
Short-bioDr. habil. Pascal Hitzler is assistant professor at the Institute for Applied Informatics and Formal Description Methods (AIFB) at the University of Karlsruhe in Germany since 2004. His research record lists over 100 publications in such diverse areas as semantic web, neural-symbolic integration, knowledge representation and reasoning, lattice and domain theory, denotational semantics, and set-theoretic topology.

He is a teacher at the Semantic Web Akademie Karlsruhe. He leads AIFB's activities in the SmartWeb project funded by the German Ministry for Education and Research (BMBF) and in the ReaSem project on Practical Reasoning Support for Semantic Technologies funded by the Deutsche Forschungsgemeinschaft, and contributes to reasoning research within the projects NeOn, X-Media and KnowledgeWeb, funded by the European Union. He is co-organizer of the workshops Reasoning on the Web at WWW2006 in Edinburgh, UK, and of OWL - Experiences and Directions (OWLED2006) in Athens, GA, and was programme chair at the 14th International Conference on Conceptual Structures (ICCS2006) in Aalborg, Denmark, in July 2006. He is a member of the steering committee of ICCS and of OWLED. He serves as a member of the W3C Rule Interchange Format working group.
Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541

Fundacao_FCT