Languages on the Semantic Web

1
Languages on the Semantic Web

• Frank van Harmelen
• Vrije Universiteit Amsterdam
• Ian Horrocks
• University of Manchester

2
Currently in place

• XML
• interchange syntax, no semantics
• RDF
• datamodel, some semantics inference (recent!)
• RDF Schema
• concept modelling, more semantics inference
• DAMLOIL
• more expressive ontology language
• quite expressive expensive inference

3
Stack of languages
4
Extensions (by popular request)

• Query language
• (RQL, DQL, RDQL, XQL)
• Rule language
• (RuleML initiative, DAMLOIL)
• Modularity concept
• (more than namespaces)
• Human readable syntax
• (? RDF)
• Non-logical structure
• (? logical equivalence)

5
Higher levels in the stack

• Language for writing down proofs
• Notions of trust
• Current danger
• split between XML RDF
• Conclusion
• Roadmap clear
• danger of split