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