In recent years, there has been a growing interest in the application of foundational ontologies, i.e., formal ontological theories in the philosophical sense, to provide a theoretically sound foundation for improving the theory and practice of conceptual modeling and knowledge representation. This paper addresses one particular foundational theory of events termed UFO-B, which has been successfully employed as a reference model for addressing problems from complex media management, enterprise architecture, software engineering, and modeling of events in petroleum exploration. Despite its success, there is still no formalization of UFO-B in a decidable knowledge representation language that could support reasoning about complex events and event relations. We address this gap by proposing a number of alternative translations from UFO-B’s original axiomatization (in first-order logic and in the Alloy formal language) to the description logic , which is the formal underpinning of OWL 2 DL. Additionally, to support practical applications, we translated these theories to OWL 2 DL TBoxes, which were validated by showing that all the intended models of UFO-B (the logical models of the UFO-B specification in Alloy) that we generated are consistent with these UFO-B TBoxes. In a sense, the specification in Alloy implements the specification in first-order logic, while the OWL 2 TBoxes implement the specifications. Incidentally, the methodology that we designed for the translation from UFO-B’s original axiomatization in FOL and Alloy to came to be a key contribution of this work by providing us evidence of the inadequacy of DLs for the specification of comprehensive foundational ontologies.
Armstrong, D.M. (2004). Truth and Truthmakers. Cambridge University Press.
4.
Azevedo, C.L.B., Iacob, M., Almeida, J.P.A., van Sinderen, M., Pires, L.F. & Guizzardi, G. (2015). Modeling resources and capabilities in enterprise architecture: A well-founded ontology-based proposal for ArchiMate. Inf. Syst., 54, 235–262. doi:10.1016/j.is.2015.04.008.
5.
Batsakis, S., Petrakis, E.G.M., Tachmazidis, I. & Antoniou, G. (2017). Temporal representation and reasoning in OWL 2. Semantic Web, 8(6), 981–1000. doi:10.3233/SW-160248.
6.
Benevides, A.B., Bourguet, J., Guizzardi, G. & Peñaloza, R. (2017). Representing the UFO-B foundational ontology of events in SROIQ. In Proceedings of the Joint Ontology Workshops 2017 Episode 3: The Tyrolean Autumn of Ontology, Bozen-Bolzano, Italy, September 21–23, 2017. http://ceur-ws.org/Vol-2050/FOUST_paper_7.pdf.
7.
Biere, A., Heule, M., van Maaren, H. & Walsh, T. (Eds.) (2009). Handbook of Satisfiability. Frontiers in Artificial Intelligence and Applications (Vol. 185). IOS Press.
8.
Bourguet, J., Guizzardi, G., Benevides, A.B. & Zamborlini, V. (2017). Empirically evaluating three proposals for representing changes in OWL2. In Proceedings of the Joint Ontology Workshops 2017 Episode 3: The Tyrolean Autumn of Ontology, Bozen-Bolzano, Italy, September 21–23, 2017. http://ceur-ws.org/Vol-2050/DEW_paper_4.pdf.
9.
Brickley, D. (2006). W3C Semantic Web Interest Group: Basic Geo (WGS84 lat/long) Vocabulary. Online. Last accessed at 1st. July 2019, https://www.w3.org/2003/01/geo/.
10.
Carolo, F. & Burlamaqui, L. (2011). Improving web content management with semantic technologies. In Semantic Technology Conference (SemTech), San Francisco.
11.
Casati, R. & Varzi, A. (2015). Events. In E.N.Zalta (Ed.), The Stanford Encyclopedia of Philosophy(Winter 2015 ed.). Metaphysics Research Lab, Stanford University.
12.
Casati, R. & Varzi, A.C. (1999). Parts and Places: The Structures of Spatial Representation. MIT Press.
13.
Codish, M., Lagoon, V. & Stuckey, P.J. (2006). Solving partial order constraints for LPO termination. In F.Pfenning (Ed.), Term Rewriting and Applications, 17th International Conference, RTA 2006, Proceedings, Seattle, WA, USA, August 12–14, 2006. Lecture Notes in Computer Science (Vol. 4098, pp. 4–18). Springer. doi:10.1007/11805618_2.
14.
Daly, C. (1994). Tropes. In Proceedings of the Aristotelian Society. New Series (Vol. 94, pp. 253–261). Wiley. JSTOR. http://www.jstor.org/stable/4545197.
15.
de Souza, É.F., de Almeida Falbo, R. & Vijaykumar, N.L. (2017). ROoST: Reference ontology on software testing. Applied Ontology, 12(1), 59–90. doi:10.3233/AO-170177.
16.
Duarte, B.B., Souza, V.E.S., de Castro Leal, A.L., de Almeida Falbo, R., Guizzardi, G. & Guizzardi, R.S.S. (2016). Towards an ontology of requirements at runtime. In R.Ferrario and W.Kuhn (Eds.), Formal Ontology in Information Systems – Proceedings of the 9th International Conference, FOIS 2016, Annecy, France, July 6–9, 2016, Frontiers in Artificial Intelligence and Applications (Vol. 283, pp. 255–268). IOS Press. doi:10.3233/978-1-61499-660-6-255.
17.
Grüninger, M. (2009). Using the PSL ontology. In S.Staab and R.Studer (Eds.), Handbook on Ontologies. International Handbooks on Information Systems (pp. 423–443). Springer. doi:10.1007/978-3-540-92673-3_19.
18.
Guizzardi, G. (2005). Ontological foundations for structural conceptual models. PhD Thesis. Enschede, The Netherlands, Enschede.
19.
Guizzardi, G. (2006). On ontology, ontologies, conceptualizations, modeling languages, and (meta) models. In O.Vasilecas, J.Eder and A.Caplinskas (Eds.), Databases and Information Systems IV – Selected Papers from the Seventh International Baltic Conference, DB&IS, Vilnius, Lithuania, July 3–6, 2006, Frontiers in Artificial Intelligence and Applications (Vol. 155, pp. 18–39). IOS Press. http://www.booksonline.iospress.nl/Content/View.aspx?piid=5421.
20.
Guizzardi, G., de Almeida Falbo, R. & Guizzardi, R.S.S. (2008). Grounding software domain ontologies in the unified foundational ontology (UFO): the case of the ODE software process ontology. In M.Lencastre, J.F.E.Cunha and A.Valecillo (Eds.), Memorias de la XI Conferencia Iberoamericana de Software Engineering (CIbSE 2008), Recife, Pernambuco, BrasilFebruary 13–17, 2008, (pp. 127–140).
21.
Guizzardi, G. & Wagner, G. (2004). A unified foundational ontology and some applications of it in business modeling. In J.Grundspenkis and M.Kirikova (Eds.), CAiSE’04 Workshops in Connection with the 16th Conference on Advanced Information Systems Engineering. Riga, Latvia, 7–11 June, 2004, Knowledge and Model Driven Information Systems Engineering for Networked Organisations, Proceedings (Vol. 3, pp. 129–143). Faculty of Computer Science and Information Technology, Riga Technical University. Riga, Latvia.
22.
Guizzardi, G., Wagner, G., de Almeida Falbo, R., Guizzardi, R.S.S. & Almeida, J.P.A. (2013). Towards ontological foundations for the conceptual modeling of events. In W.Ng, V.C.Storey and J.Trujillo (Eds.), Conceptual Modeling – 32th International Conference, ER 2013, Proceedings, Hong-Kong, China, November 11–13, 2013, Lecture Notes in Computer Science (Vol. 8217, pp. 327–341). Springer. doi:10.1007/978-3-642-41924-9_27.
23.
Guizzardi, R.S.S., Li, F., Borgida, A., Guizzardi, G., Horkoff, J. & Mylopoulos, J. (2014). An ontological interpretation of non-functional requirements. In P.Garbacz and O.Kutz (Eds.), Formal Ontology in Information Systems – Proceedings of the Eighth International Conference, FOIS 2014, Rio de Janeiro, Brazil, September, 22–25, 2014, Frontiers in Artificial Intelligence and Applications (Vol. 267, pp. 344–357). IOS Press. doi:10.3233/978-1-61499-438-1-344.
24.
Hobbs, J.R. & Pan, F. (2017). Time ontology in OWL. Technical report OGC 16-071r2, W3C/OGC. Last accessed at 1st. July 2019. https://www.w3.org/TR/owl-time/.
25.
Horrocks, I., Kutz, O. & Sattler, U. (2005). The irresistible SRIQ. In B.C.Grau, I.Horrocks, B.Parsia and P.F.Patel-Schneider (Eds.), Proceedings of the OWLED*05 Workshop on OWL: Experiences and Directions. Galway, Ireland, November 11–12, 2005, CEUR Workshop Proceedings. CEUR-WS.orghttp://ceur-ws.org/Vol-188/sub20.pdf.
26.
Horrocks, I., Kutz, O. & Sattler, U. (2006). The Even More Irresistible . In Proceedings, Tenth International Conference on Principles of Knowledge Representation and Reasoning, Lake District of the United Kingdom, June 2–5, 2006 (pp. 57–67). http://www.aaai.org/Library/KR/2006/kr06-009.php.
27.
Jackson, D. (2012). Software Abstractions: Logic, Language, and Analysis. MIT Press.
28.
Katsumi, M. & Grüninger, M. (2015). Using PSL to extend and evaluate event ontologies. In N.Bassiliades, G.Gottlob, F.Sadri, A.Paschke and D.Roman (Eds.), Rule Technologies: Foundations, Tools, and Applications – 9th International Symposium, RuleML 2015, Proceedings, Berlin, Germany, August 2–5, 2015, Lecture Notes in Computer Science (Vol. 9202, pp. 225–240). Springer. doi:10.1007/978-3-319-21542-6_15.
29.
Krötzsch, M., Maier, F., Krisnadhi, A. & Hitzler, P. (2011). A better uncle for OWL: Nominal schemas for integrating rules and ontologies. In S.Srinivasan, K.Ramamritham, A.Kumar, M.P.Ravindra, E.Bertino and R.Kumar (Eds.), Proceedings of the 20th International Conference on World Wide Web, WWW 2011, Hyderabad, India, March 28–April 1, 2011, (pp. 645–654). ACM. doi:10.1145/1963405.1963496.
30.
Krötzsch, M., Simancik, F. & Horrocks, I. (2012). A description logic primer. CoRR. http://arxiv.org/abs/1201.4089v3.
31.
Liffiton, M.H. & Sakallah, K.A. (2008). Algorithms for computing minimal unsatisfiable subsets of constraints. J. Autom. Reasoning, 40(1), 1–33. doi:10.1007/s10817-007-9084-z.
32.
Loebe, F. (2003). An analysis of roles: Towards ontology-based modelling. Onto-Med Report No. 6, University of Leipzig, Germany. http://www.onto-med.de/publications/2003/loebe-f-2003-a.pdf.
33.
Loebe, F. (2007). Abstract vs. social roles – towards a general theoretical account of roles. Applied Ontology, 2(2), 127–158. http://content.iospress.com/articles/applied-ontology/ao031.
34.
Masolo, C., Borgo, S., Gangemi, A., Guarino, N. & Oltramari, A. (2003). WonderWeb Deliverable D18. Resreport Del 18, ISTC-CNR. Last accessed at 1st. July 2019, http://wonderweb.man.ac.uk/deliverables/documents/D18.pdf.
35.
Nardi, J.C., de Almeida Falbo, R. & Almeida, J.P.A. (2014). An ontological analysis of service modeling at ArchiMate’s business layer. In M.Reichert, S.Rinderle-Ma and G.Grossmann (Eds.), 18th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2014, Ulm, Germany, September 1–5, 2014 (pp. 92–100). IEEE Computer Society. doi:10.1109/EDOC.2014.22.
36.
Object Management Group (2018). The Distributed Ontology, Modeling, and Specification Language. Technical report formal/18-09-02, OMG Headquarters, 109 Highland Avenue, Needham, MA 02494, USA. Last accessed at 1st. July 2019, https://www.omg.org/spec/DOL/1.0/PDF.
37.
Pena, R.A.P. (2012). Suporte semântico à publicação de conteúdo jornalístico na Web. Mathesis. Programa de Pós-graduação em Informática do Departamento de Informática do Centro Técnico e Científico da PUC-Rio., Rio de Janeiro. doi:10.17771/PUCRio.acad.20235.
38.
Raimond, Y. & Abdallah, S. (2007a). The event ontology. Online. Last accessed at 1st. July 2019, http://motools.sf.net/event/event.html.
39.
Raimond, Y. & Abdallah, S. (2007b). The Timeline Ontology. Online. Last accessed at 1st. July 2019, http://motools.sf.net/timeline/timeline.html.
40.
Santos, P.S.Jr., Almeida, J.P.A. & Guizzardi, G. (2010). An ontology-based semantic foundation for ARIS EPCs. In S.Y.Shin, S.Ossowski, M.Schumacher, M.J.Palakal and C.Hung (Eds.), Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22–26, 2010 (pp. 124–130). ACM. doi:10.1145/1774088.1774114.
41.
Schmidt, R.A. & Tishkovsky, D. (2007). Deciding ALBO with Tableau. In D.Calvanese, E.Franconi, V.Haarslev, D.Lembo, B.Motik, A.Turhan and S.Tessaris (Eds.), Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, Near Bozen-Bolzano, Italy, 8–10 June, 2007, CEUR Workshop Proceedings. CEUR-WS.org, Italy. http://ceur-ws.org/Vol-250/paper_75.pdf.
42.
Shaw, R., Troncy, R. & Hardman, L. (2009). LODE: Linking open descriptions of events. In A.Gómez-Pérez, Y.Yu and Y.Ding (Eds.), The Semantic Web, Fourth Asian Conference, ASWC 2009, Proceedings, Shanghai, China, December 6–9, 2009, Lecture Notes in Computer Science (Vol. 5926, pp. 153–167). Springer. doi:10.1007/978-3-642-10871-6_11.
43.
van Hage, W.R., Malaisé, V., Segers, R., Hollink, L. & Schreiber, G. (2011). Design and use of the Simple Event Model (SEM). J. Web Semant., 9(2), 128–136. doi:10.1016/j.websem.2011.03.003.
44.
W3C (2012). OWL 2 Web Ontology Language Document Overview (2nd ed.). Last accessed at 1st. July 2019, https://www.w3.org/TR/owl2-overview/.
45.
Werlang, R. (2015). Ontology-based approach for standard formats integration in reservoir modeling. In Mathesis, Universidade Federal do Rio Grande do Sul. Instituto de Informática. Programa de Pós-Graduação em Computação., Porto Alegre. http://hdl.handle.net/10183/115196.
46.
Zamborlini, V. & Guizzardi, G. (2010). On the representation of temporally changing information in OWL. In Workshops Proceedings of the 14th IEEE International Enterprise Distributed Object Computing Conference, EDOCW 2010, 25–29 October, 2010 (pp. 283–292). Vitória, Brazil: IEEE Computer Society. doi:10.1109/EDOCW.2010.50.
