An inference engine for the semantic web

Case study

The layers of the semantic web

SGML and HTML

 XML Properties

XML Example

DTD Example

XML Schema example

The layers of the semantic web

Basics of RDF

RDF Properties

A Simple Example

RDF Graph

Translated to (simplified) RDF:

Namespaces added:

RDF Schema

RDF Schema example

The layers of the semantic web

Ontology

The layers of the semantic web

Closed world assumption

Open world assumption

The layers of the semantic web

Proof

The layers of the semantic web

Trust

Structure of the project

Thesis questions 1

Thesis questions 2

Metalogical frameworks

Optimisation and consistency

N3 example part 1

N3 example part 2

N3 example part 3