Ontologies and Conceptual Graphs

In the previous chapter, we have presented Description Logics. In this chapter, we turn to ontologies, i.e., “ ‘implementation versions’ of description logics with rich tooling support” [17, p. 67]. The specific kind of ontologies we are going to present are ontologies OWL (Web Ontology Language) format, and the “tooling support” is an extensive framework called the Semantic Web.