Face-to-Face: DAML+OIL Technical Detail
A detailed review of DAML+OIL language and
presentation of advanced features
Prioritised Reading List
The DAML+OIL
Web Ontology Language submission (obviously). In particular (and in
order of priority):
-
The Annotated
DAML+OIL Ontology Markup (better know as the walkthru). In particular
review Sections 4 (Defining
classes), 5 (Defining
Properties) and 6 (Defining
property restrictions).
-
DAML+OIL
(March 2001) reference description
-
A
Model-Theoretic Semantics for DAML+OIL (March 2001)
Outline
-
Overview of language design and motivation
-
class constructors
-
axioms
-
datatypes
-
decidability
-
Not so advanced features
-
Advanced features
-
details not (sufficiently) covered in
the walkthru
-
Very advanced features
-
getting the most out of DAML+OIL
-
tricks of the trade
-
advanced use of role hierarchy
-
advanced use of axioms
-
Non-existent features
-
Implementation challenges
-
oneOf
-
scalability
-
non-standard inferences
Ian
Horrocks
Department of Computer Science
University of Manchester
Oxford Road, Manchester, M13 9PL, UK
http://www.cs.man.ac.uk/~horrocks