Abstract
Traceability in food and medicine supply chains has to handle stuffs—entities such as milk and starch indicated with mass nouns—and their portions and parts that get separated and put together to make the final product. Implementations have underspecified ‘links’, if at all, and theoretical accounts from philosophy and in domain ontologies are incomplete as regards the relations involved. To solve this issue, we define seven relations for portions and stuff-parts, which are temporal where needed. The resulting theory distinguishes between the extensional and intensional level, and between amount of stuff and quantity. With application trade-offs, this has been implemented as an extension to the Stuff Ontology core ontology that now also imports a special purpose module of the Ontology of units of Measure for quantities. Although atemporal, some automated reasoning for traceability is still possible thanks to using property chains to approximate the relevant temporal aspects.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
- 2.
Colloids are homogeneous mixtures where one phase is evenly dispersed in another; e.g., whipped cream (air in gaseous phase dispersed in cream in liquid phase).
- 3.
pieces and portions as objects do differ, which we will discuss in the next subsection.
- 4.
- 5.
References
Artale, A., Parent, C., Spaccapietra, S.: Evolving objects in temporal information systems. Ann. Math. Artif. Intell. 50(1–2), 5–38 (2007)
Artale, A., Guarino, N., Keet, C.M.: Formalising temporal constraints on part-whole relations. In: Proceedings of KR 2008, pp. 673–683. AAAI Press, Sydney, Australia, 16–19 September 2008 (2008)
Artale, A., Kontchakov, R., Wolter, F., Zakharyaschev, M.: Temporal description logic for ontology-based data access. In: Proceedings of IJCAI 2013 (2013)
Barnett, D.: Some stuffs are not sums of stuff. Philos. Rev. 113(1), 89–100 (2004)
Beisswanger, E., Schulz, S., Stenzhorn, H., Hahn, U.: BioTop: an upper domain ontology for the life sciences - a description of its current structure, contents, and interfaces to OBO ontologies. Appl. Ontol. 3(4), 205–212 (2008)
Bhattacharjee, P.S., Solanki, M., Bhattacharyya, R., Ehrenberg, I., Sarma, S.: VacSeen: a linked data-based information architecture to track vaccines using barcode scan authentication. In: Proceedings of SWAT4LS 2015, CEUR-WS, vol. 1546, Cambridge, UK, 7–10 December 2015 (2015)
Bittner, T., Donnelly, M.: A temporal mereology for distinguishing between integral objects and portions of stuff. In: Proceedings of AAAI 2007, pp. 287–292. Vancouver, Canada (2007)
van Brakel, J.: The chemistry of substances and the philosophy of mass terms. Synthese 69, 291–324 (1986)
Donnelly, K.A.-M.: A short communication - meta data and semantics the industry interface: what does the food industry think are necessary elements for exchange? In: Sánchez-Alonso, S., Athanasiadis, I.N. (eds.) MTSR 2010. CCIS, vol. 108, pp. 131–136. Springer, Heidelberg (2010)
Donnelly, M., Bittner, T.: Summation relations and portions of stuff. Philos. Stud. 143, 167–185 (2009)
Dumontier, M., et al.: The semanticscience integrated ontology (SIO) for biomedical research and knowledge discovery. J. Biomed. Semant. 5(1), 14 (2014)
Gerstl, P., Pribbenow, S.: Midwinters, end games, and body parts: a classification of part-whole relations. Int. J. Hum.-Comput. Stud. 43, 865–889 (1995)
Gruber, T.R., Olsen, G.R.: An ontology for engineering mathematics. In: Doyle, J., Torasso, P., Sandewall, E. (eds.) Proceedings of KR 1994. Morgan Kaufmann (1994)
Guizzardi, G.: On the representation of quantities and their parts in conceptual modeling. In: Proceedings of FOIS 2010, IOS Press, Toronto, Canada (2010)
Herre, H., Heller, B.: Semantic foundations of medical information systems based on top-level ontologies. Knowl.-Based Syst. 19, 107–115 (2006)
Höfling, B., Liebig, T., Rösner, D., Webel, L.: Towards an ontology for substances and related actions. In: Fensel, D., Studer, R. (eds.) EKAW 1999. LNCS (LNAI), vol. 1621, pp. 191–206. Springer, Heidelberg (1999)
Keet, C.M.: A core ontology of macroscopic stuff. In: Janowicz, K., Schlobach, S., Lambrix, P., Hyvönen, E. (eds.) EKAW 2014. LNCS, vol. 8876, pp. 209–224. Springer, Heidelberg (2014)
Keet, C.M., Artale, A.: Representing and reasoning over a taxonomy of part-whole relations. Appl. Ontol. 3(1–2), 91–110 (2008)
Keet, C.M., Khan, M.T., Ghidini, C.: Ontology authoring with FORZA. In: Proceedings of CIKM 2013, pp. 569–578. ACM Proceedings, October 27–November 1, 2013, San Francisco, USA (2013)
Masolo, C., Borgo, S., Gangemi, A., Guarino, N., Oltramari, A.: Ontology library. WonderWeb Deliverable D18 (ver. 1.0, 31–12-2003) (2003)
Milea, V., Frasincar, F., Kaymak, U.: tOWL: a temporal web ontology language. IEEE Trans. Syst. Man Cybern. 42(1), 268–281 (2012)
Mossakowski, T., Kutz, O., Codescu, M., Lange, C.: The distributed ontology, modeling and specification language. In: Proceedings of WoMo 2013, CEUR-WS, vol. 1081, Corunna, Spain, 15 September 2013 (2013)
Mossakowski, T., Maeder, C., Lüttich, K.: The heterogeneous tool set. In: Beckert, B. (ed.) Proceedings of VERIFY 2007. CEUR-WS, vol. 259, pp. 119–135, Bremen, Germany, July 15–16, 2007(2007)
Needham, P.: Macroscopic mixtures. J. Philos. 104, 26–52 (2007)
Odell, J.: Advanced Object-Oriented Analysis & Design using UML. Cambridge University Press, Cambridge (1998)
Rijgersberg, H., van Assem, M., Top, J.: Ontology of units of measure and related concepts. Semant. Web 4(1), 3–13 (2013)
Snomed, C.T.: Online (version 31-1-2014). http://www.ihtsdo.org/snomed-ct/
Solanki, M., Brewster, C.: OntoPedigree: modelling pedigrees for traceability in supply chains. Semant. Web J. 7(5), 483–491 (2016)
Varzi, A.C.: Mereology. In: Zalta, E.N. (ed.) Stanford Encyclopedia of Philosophy. Stanford, fall 2004 edn. (2004). http://plato.stanford.edu/archives/fall2004/entries/mereology/
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing AG
About this paper
Cite this paper
Keet, C.M. (2016). Relating Some Stuff to Other Stuff. In: Blomqvist, E., Ciancarini, P., Poggi, F., Vitali, F. (eds) Knowledge Engineering and Knowledge Management. EKAW 2016. Lecture Notes in Computer Science(), vol 10024. Springer, Cham. https://doi.org/10.1007/978-3-319-49004-5_24
Download citation
DOI: https://doi.org/10.1007/978-3-319-49004-5_24
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-49003-8
Online ISBN: 978-3-319-49004-5
eBook Packages: Computer ScienceComputer Science (R0)