Abstract
In scientific communication, we usually resort to formal theories – like algebra or first-order logic – to express our thoughts and intuitions in such a way they can be understood by our colleagues. I will argue that the tools of formal ontology (such as the notions of parthood, unity, dependence, identity) can play a similar role in ordinary communication, for instance during e-commerce transactions. I will briefly present what these tools are, and I will give examples concerning their role in facilitating mutual agreement, as well as recognizing and explaining disagreement.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Guarino, N. (2004). Helping People (and Machines) Understanding Each Other: The Role of Formal Ontology. In: Meersman, R., Tari, Z. (eds) On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE. OTM 2004. Lecture Notes in Computer Science, vol 3290. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30468-5_38
Download citation
DOI: https://doi.org/10.1007/978-3-540-30468-5_38
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23663-4
Online ISBN: 978-3-540-30468-5
eBook Packages: Springer Book Archive