Face-to-Face: Reading and Outline for "DAML+OIL Technical Detail"

See http://www.cs.man.ac.uk/~horrocks/f2f.html, or text version below:

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): 

   1.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
   2.DAML+OIL (March 2001) reference description 
   3.A Model-Theoretic Semantics for DAML+OIL (March 2001) 


     Overview of language design and motivation 
         class constructors 
     Not so advanced features 
         quick review of walkthru 
     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 
         what it can't do 
     Implementation challenges 
         non-standard inferences 

Ian Horrocks
Department of Computer Science
University of Manchester
Oxford Road, Manchester, M13 9PL, UK

Received on Friday, 4 January 2002 14:44:57 UTC