ESSLLI'03
15th European Summer School in Logic Language and Information
Introductory Course: Logical Foundations for the Semantic Web
Welcome and News
Host Institutions
List of Courses
Workshops
Student Sessions
(Current) Schedule of the Courses
Social Program
Registration
Grants
General Information
Accommodation
Committees/Contact
Lecturer
Colocated Events
Bulletin Board
Football Match
Print current pagePrint this page

 General Information

Lecturer(s): Ian Horrocks and Uli Sattler (University of Machester)
Title: Logical Foundations for the Semantic Web
Type: Introductory Course
Section: Logic and Computation
Week/Slot: 2/1 (8:30-10:00)
Duration: One Week

 Description

 The World Wide Web has been made possible through a set of widely
established standards which guarantee interoperability at various
levels: the TCP/IP protocol has ensured that nobody has to worry about
transporting bits over the wire anymore; similarly, HTTP and HTML have
provided a standard way of retrieving and presenting hyperlinked text
documents. Applications were able to use this common infrastructure
and this has led to the WWW as we know it now.

Currently, work is underway to develop a standard ontology language
for use on the WWW. This language, called OWL, is intended to be used
in meta-data annotations that describe the content and functionality
of web accessible resources, making them more accessible to automated
processes, and thus providing a basic building block for the so called
"Semantic Web". OWL is based on DAML+OIL, a web ontology language that
is itself based on a very expressive Description Logic, but which also
tries to maintain maximal syntactic and semantic compatibility with
RDF, an existing standard annotation language. The attempt to maintain
compatibility with RDF has caused some serious problems as RDF has a
non-standard model theory based on ideas from KIF.

In this course we will introduce the semantic web and the role played
by ontology languages. We will motivate the use of a (description)
logic based language and study DAML+OIL/OWL in detail. We will also
discuss the relationship of DAML+OIL/OWL with existing standards, in
particular RDF, and the problems caused by this so called "semantic
layering".

In more detail, the topics covered in the course will include:

* Introduction to the Semantic Web and the use of ontologies

* Existing web languages, in particular RDF
- syntax and semantics

* OIL, DAML+OIL and OWL
- syntax and semantics
- relationship to RDF
- relationship to description logics

* Reasoning with OIL, DAML+OIL and OWL
- useful standard reasoning services in SW context
- reasoning problems, algorithms, and their implementation
- tool demonstrations

* Challenges and problems
- supporting full OWL
- scalability
- further (non-standard) reasoning services to fully support
design, usage, evolution, integration, and interoperation
of ontologies


 Further Information

   - Slides from 1st part of course (PPT or PDF)
- Slides from 2nd part of course (PDF)
- Additional transparencies from 2nd part of course (PS or PDF)
- Example ontologies
- Description Logics for Ontologies
- Reviewing the Design of DAML+OIL: an Ontology Language for the Semantic Web
 - http://www.cs.man.ac.uk/~horrocks/
- http://www.cs.man.ac.uk/~sattler/
 - http://wonderweb.semanticweb.org/
- http://oiled.man.ac.uk/
- http://www.w3.org/2001/sw/WebOnt/
- Description Logic Handbook


© 2002 Kurt Gödel Society, Norbert Preining. 2003-03-05 Valid HTML 4.01! Valid CSS! Debian