ABSTRACT

Thoroughly covering basic introductions and intuitions, technical details, and formal foundations, this text focuses on the established foundations in this area that have become relatively stable over time. It presents the latest developments in Semantic Web standards, including RDF, RDF Schema, OWL 2, RIF, and SPARQL. It also explores formal semantics, OWL querying, the relationship between rules and OWL, and ontology engineering and applications.

chapter 1|18 pages

The Quest for Semantics

chapter 2|54 pages

Simple Ontologies in RDF and RDF Schema

chapter 3|38 pages

RDF Formal Semantics

chapter 4|48 pages

Ontologies in OWL

chapter 5|54 pages

OWL Formal Semantics

chapter 6|48 pages

Ontologies and Rules

chapter 7|46 pages

Query Languages

chapter 8|28 pages

Ontology Engineering

chapter 9|18 pages

Applications

chapter |10 pages

A Extensible Markup Language XML

chapter |4 pages

B Set Theory

chapter 100|8 pages

Appendix C: Logic

chapter |28 pages

D Solutions to the Exercises