From Semantic Web Technologies

Jump to: navigation, search
(Created page with 'Logic and Computation foundational course: Ontology Modelling Languages. Teachers * Markus Krötzsch (mak@aifb.uni-karlsruhe.de) * Sebastian Rudolph (sru@aifb.uni-karlsr…')
Line 1: Line 1:
-
Logic and Computation foundational course:
+
==Logic and Computation foundational course: Ontology Modelling Languages==
-
Ontology Modelling Languages.
+
-
Teachers
+
-
    * Markus Krötzsch (mak@aifb.uni-karlsruhe.de)
+
Teachers:
-
    * Sebastian Rudolph (sru@aifb.uni-karlsruhe.de)
+
* Markus Krötzsch (mak@aifb.uni-karlsruhe.de)
 +
* Sebastian Rudolph (sru@aifb.uni-karlsruhe.de)
Room: amphithéâtre Gintrac
Room: amphithéâtre Gintrac
 +
Abstract:
Abstract:
-
 
Ontologies are currently becoming the major paradigm for knowledge representation and reasoning. Their success is driven by the Semantic Web effort, but there is also considerable use outside the Web context, e.g. in information integration or life sciences. In this course, we will present an in-depth treatment of the ontology representation languages RDF and OWL, which are recommended standards by the World Wide Web consortium. We will thoroughly examine their logical underpinnings and discuss current research topics and applications. The outline of the course will be as follows:
Ontologies are currently becoming the major paradigm for knowledge representation and reasoning. Their success is driven by the Semantic Web effort, but there is also considerable use outside the Web context, e.g. in information integration or life sciences. In this course, we will present an in-depth treatment of the ontology representation languages RDF and OWL, which are recommended standards by the World Wide Web consortium. We will thoroughly examine their logical underpinnings and discuss current research topics and applications. The outline of the course will be as follows:
* RDF and RDF Schema
* RDF and RDF Schema
-
 
+
* OWL: Syntax, Semantics and Reasoning
-
* OWL and Description Logics
+
-
 
+
-
* Tableaux algorithms for OWL
+
-
 
+
* Query languages
* Query languages
-
 
+
* Rules
-
* Applications.
+

Revision as of 22:02, 19 July 2009

Logic and Computation foundational course: Ontology Modelling Languages

Teachers:

  • Markus Krötzsch (mak@aifb.uni-karlsruhe.de)
  • Sebastian Rudolph (sru@aifb.uni-karlsruhe.de)

Room: amphithéâtre Gintrac

Abstract: Ontologies are currently becoming the major paradigm for knowledge representation and reasoning. Their success is driven by the Semantic Web effort, but there is also considerable use outside the Web context, e.g. in information integration or life sciences. In this course, we will present an in-depth treatment of the ontology representation languages RDF and OWL, which are recommended standards by the World Wide Web consortium. We will thoroughly examine their logical underpinnings and discuss current research topics and applications. The outline of the course will be as follows:

  • RDF and RDF Schema
  • OWL: Syntax, Semantics and Reasoning
  • Query languages
  • Rules