Introduction to Description Logics and OWL. Nick Gotts & Gary Polhill. What is an ontology?. “…a formal, explicit specification of a shared conceptualisation” [Gruber, 1993; Fensel, 2001] Formal: machine readable Explicit: types of concepts and constraints on their use
Nick Gotts & Gary Polhill
Gruber, T. R. (1993) Knowledge Acquisition 5, pp. 199-220.
Fensel, D. (2001) Ontologies: A Silver Bullet for Knowledge Management and Electronic Commerce. Springer