4
Sycara and Paolucci
The basis of OWL
*From RDF/RDFS
*XML Syntax
*Concepts of rdfs:subclassOf, rdfs:Property etc…
*From Description Logics
*Axiomatic description
*Proof theory: inference mechanism
*Constraints on the language to maintain inference computable
OWL
Description Logics
RDF/RDFS
XML