ABSTRACT

In Chapter 4, we have introduced the Web Ontology Language OWL [338] and its successor OWL 2 [101, 340], which together with RDFS (see Chapter 3) have become the most popular Semantic Web representation formalisms. We have also shown their relationship with the Description Logics family of logics.