Languages on the Semantic WebFrank van Harmelen

Vrije Universiteit Amsterdam

Ian HorrocksUniversity of Manchester

Currently in place:XML:

interchange syntax, no semanticsRDF:

datamodel, some semantics & inference (recent!)

RDF Schema: concept modelling, more semantics &

inferenceDAML+OIL:

more expressive ontology language; quite expressive; expensive inference

Stack of languages:

Extensions (by popular request)Query language

(RQL, DQL, RDQL, XQL)

Rule language (RuleML initiative, DAML+OIL)

Modularity concept (more than namespaces)

Human readable syntax ( RDF)

Non-logical structure ( logical equivalence)

Higher levels in the stackLanguage for writing down proofsNotions of trust

Current dangersplit between XML & RDF

ConclusionRoadmap cleardanger of split