Abstract
Aßmann et al. (2006, p. 253), quoting Gruber (1993), state that an ontology is a formal specification of a shared conceptualisation. Since it is both an abstraction and a simplification of some reality (domain of interest), an ontology is also a model (e.g. Nirenburg 2004; Guizzardi 2005, p. 6; Aßmann et al. 2006, p. 256) but one that is descriptive, domain-relevant and static as opposed to a system-focussed model, which does not require any shared understanding nor does it model the whole of the domain (Fig. 5.1). It is widely stated that, while an ontology uses an open-world assumption, a model uses a closed-world assumption (e.g. Aßmann et al. 2006; Atkinson et al. 2006) although some ontologies are based on a closed-world assumption (e.g. Wang et al. 2006).
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsNotes
- 1.
Note that the modes of depiction of a high-level ontology are the same as noted above for a domain ontology: as a class diagram, an indented list or plain text.
- 2.
In software engineering, this is referred to as a powertype, based on Odell’s (1994) original nomenclature plus the observed consistent usage of this terminology, even if marginally inaccurate, in the decades since.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2012 The Author(S)
About this chapter
Cite this chapter
Henderson-Sellers, B. (2012). Ontologies. In: On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages. SpringerBriefs in Computer Science. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-29825-7_5
Download citation
DOI: https://doi.org/10.1007/978-3-642-29825-7_5
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-29824-0
Online ISBN: 978-3-642-29825-7
eBook Packages: Computer ScienceComputer Science (R0)