
Chapter 7
Query Languages
In previous chapters, we learned about a number of possibilities for specifying
information in a machine-readable way. RDF allows us to structure and relate
pieces of information, and RDFS and OWL introduced further expressive
means for describing more complex logical relations. The latter was further
extended by means of logical rules that could be combined with OWL. For
each of those description languages, we also introduced a notion of logical
entailment: RDF(S) documents may entail other documents (Chapter 3),
and OWL knowledge bases – possibly augmented with rules – can imply new
axioms (Chapters 4, 5, 6).
But how exactly ...