Abstract
Ontologies are supposed to address the problem of making information systems’ conceptual models shareable and understandable. Most often, however, ontologies are nothing but structured lexical resources, which bring with them the classic problem behind natural language meanings: how to make sure that names and predicates are consistently interpreted all through the information sphere? Here is where formal ontology comes to play. In fact, the ‘ontological level’ [1, 3] is where, thanks to formal constraints (meaning axioms), unintended models (spurious interpretations) should be cut off. Yet, interpreting well-founded, highly formalized ontologies is far from trivial, and does not come for free. What makes ontology so difficult in practice? How to make concepts understandable and alleviate the burden of mapping strict ontological specifications with business data? This short paper will provide a brief overview on common issues when working with formal ontology and how to address them in practice, and will give some hint on effective usages of highly formalized shared conceptual models for business information systems.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
- 2.
- 3.
- 4.
- 5.
- 6.
Aristotle. Metaphysics. I.8.
References
Guarino, N.: The ontological level. In: Casati, R., Smith, B., White, G. (eds.) Philosophy and the Cognitive Science, pp. 443–456. Hölder-Pichler-Tempsky, Vienna (1994)
Vetere, G., Lenzerini, M.: Models for semantic interoperability in service-oriented architectures. IBM Syst. J. 44(4), 887–903 (2005)
Guarino, N.: The ontological level: revisiting 30 years of knowledge representation. In: Borgida, A.T., Chaudhri, V.K., Giorgini, P., Yu, E.S. (eds.) Conceptual Modeling: Foundations and Applications. LNCS, vol. 5600, pp. 52–67. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-02463-4_4
Dejnozka, J.: The Ontology of the Analytic Tradition and its Origins: Realism and Identity in Frege, Russell, Wittgenstein, and Quine. Rowman and Littlefield Publishers, Lanham (1996)
Guarino, N., Welty, C.: Evaluating ontological decisions with ontoclean. Commun. ACM. 45(2), 61–65 (2002)
Vetere, G.: Formal ontology to the proof of facts. In: Ontology Makes Sense - Essays in honor of Nicola Guarino, PP. 152–164. IOS Press (2019). https://doi.org/10.3233/978-1-61499-955-3-152
Alexopoulos, P., Villazon-Terrazas, B., Pan, J.Z.: Towards vagueness-aware semantic data. In: Bobillo, F., et al. (eds.), CEUR Workshop Proceedings : 9th International Workshop on Uncertainty Reasoning for the Semantic Web, URSW 2013 (2013)
van Orman Quine, W.: Ontological Relativity and other Essays. Columbia University Press, New York City (1969)
Gangemi, A., Guarino, N., Masolo, C., Oltramari, A., Schneider, L.: Sweetening ontologies with DOLCE. In: Gómez-Pérez, A., Benjamins, V.R. (eds.) EKAW 2002. LNCS (LNAI), vol. 2473, pp. 166–181. Springer, Heidelberg (2002). https://doi.org/10.1007/3-540-45810-7_18
Pustejovsky, J.: The Generative Lexicon. MIT Press, Cambridge (1995)
Bezerra, C., Freitas, F., Santana da Silva, F.: Evaluating ontologies with competency questions, pp. 284–285. https://doi.org/10.1109/WI-IAT.2013.199 (2013)
Noy, N.F., McGuinness, D.L.: Ontology Development 101: A Guide to Creating Your First Ontology. Stanford Knowledge Systems Laboratory Technical Report KSL-01-05 and Stanford Medical Informatics Technical Report SMI-2001-0880 (2001)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Vetere, G. (2019). Formal Ontology in a Relativistic Setting. In: Garoufallou, E., Fallucchi, F., William De Luca, E. (eds) Metadata and Semantic Research. MTSR 2019. Communications in Computer and Information Science, vol 1057. Springer, Cham. https://doi.org/10.1007/978-3-030-36599-8_34
Download citation
DOI: https://doi.org/10.1007/978-3-030-36599-8_34
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-36598-1
Online ISBN: 978-3-030-36599-8
eBook Packages: Computer ScienceComputer Science (R0)