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
     restrictions). 
   2.DAML+OIL (March 2001) reference description 
   3.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 
         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 
         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

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