{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,6]],"date-time":"2026-01-06T05:05:59Z","timestamp":1767675959050,"version":"3.48.0"},"reference-count":46,"publisher":"SAGE Publications","issue":"3","license":[{"start":{"date-parts":[[2019,7,1]],"date-time":"2019-07-01T00:00:00Z","timestamp":1561939200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"content-domain":{"domain":["journals.sagepub.com"],"crossmark-restriction":true},"short-container-title":["Applied Ontology"],"published-print":{"date-parts":[[2019,8,19]]},"abstract":"<jats:p>\n                    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\u2019s original axiomatization (in first-order logic and in the Alloy formal language) to the description logic\n                    <jats:inline-formula>\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" overflow=\"scroll\">\n                        <mml:mi mathvariant=\"script\">SROIQ<\/mml:mi>\n                      <\/mml:math>\n                    <\/jats:inline-formula>\n                    , which is the formal underpinning of OWL 2 DL. Additionally, to support practical applications, we translated these\n                    <jats:inline-formula>\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" overflow=\"scroll\">\n                        <mml:mi mathvariant=\"script\">SROIQ<\/mml:mi>\n                      <\/mml:math>\n                    <\/jats:inline-formula>\n                    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\n                    <jats:italic toggle=\"yes\">implements<\/jats:italic>\n                    the specification in first-order logic, while the OWL 2 TBoxes implement the\n                    <jats:inline-formula>\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" overflow=\"scroll\">\n                        <mml:mi mathvariant=\"script\">SROIQ<\/mml:mi>\n                      <\/mml:math>\n                    <\/jats:inline-formula>\n                    specifications. Incidentally, the methodology that we designed for the translation from UFO-B\u2019s original axiomatization in FOL and Alloy to\n                    <jats:inline-formula>\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" overflow=\"scroll\">\n                        <mml:mi mathvariant=\"script\">SROIQ<\/mml:mi>\n                      <\/mml:math>\n                    <\/jats:inline-formula>\n                    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.\n                  <\/jats:p>","DOI":"10.3233\/ao-190214","type":"journal-article","created":{"date-parts":[[2019,7,2]],"date-time":"2019-07-02T10:38:46Z","timestamp":1562063926000},"page":"293-334","update-policy":"https:\/\/doi.org\/10.1177\/sage-journals-update-policy","source":"Crossref","is-referenced-by-count":29,"title":["Representing a reference foundational ontology of events in SROIQ"],"prefix":"10.1177","volume":"14","author":[{"given":"Alessander","family":"Botti Benevides","sequence":"first","affiliation":[{"name":"Federal University of Esp\u00edrito Santo","place":["Brazil"]}]},{"given":"Jean-R\u00e9mi","family":"Bourguet","sequence":"additional","affiliation":[{"name":"Federal University of Esp\u00edrito Santo","place":["Brazil"]}]},{"given":"Giancarlo","family":"Guizzardi","sequence":"additional","affiliation":[{"name":"Federal University of Esp\u00edrito Santo","place":["Brazil"]},{"name":"Free University of Bozen-Bolzano","place":["Italy"]}]},{"given":"Rafael","family":"Pe\u00f1aloza","sequence":"additional","affiliation":[{"name":"Free University of Bozen-Bolzano","place":["Italy"]}]},{"given":"Jo\u00e3o Paulo A.","family":"Almeida","sequence":"additional","affiliation":[{"name":"Federal University of Esp\u00edrito Santo","place":["Brazil"]}]}],"member":"179","published-online":{"date-parts":[[2019,7]]},"reference":[{"key":"e_1_3_3_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/182.358434"},{"key":"e_1_3_3_3_1","unstructured":"Armstrong D.M. (1989). Universals: An Opinionated Introduction. Focus Series. Westview Press. https:\/\/books.google.com.br\/books?id=MJzmAAAAIAAJ."},{"key":"e_1_3_3_4_1","doi-asserted-by":"crossref","unstructured":"Armstrong D.M. (2004). Truth and Truthmakers. Cambridge University Press.","DOI":"10.1017\/CBO9780511487552"},{"key":"e_1_3_3_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2015.04.008"},{"key":"e_1_3_3_6_1","doi-asserted-by":"publisher","DOI":"10.3233\/SW-160248"},{"key":"e_1_3_3_7_1","unstructured":"Benevides A.B. Bourguet J. Guizzardi G. & Pe\u00f1aloza 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\u201323 2017. http:\/\/ceur-ws.org\/Vol-2050\/FOUST_paper_7.pdf."},{"key":"e_1_3_3_8_1","unstructured":"Biere A. Heule M. van Maaren H. & Walsh T. (Eds.) (2009). Handbook of Satisfiability. Frontiers in Artificial Intelligence and Applications (Vol.\u00a0185). IOS Press."},{"key":"e_1_3_3_9_1","unstructured":"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\u201323 2017. http:\/\/ceur-ws.org\/Vol-2050\/DEW_paper_4.pdf."},{"key":"e_1_3_3_10_1","unstructured":"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\/."},{"key":"e_1_3_3_11_1","unstructured":"Carolo F. & Burlamaqui L. (2011). Improving web content management with semantic technologies. In Semantic Technology Conference (SemTech) San Francisco."},{"key":"e_1_3_3_12_1","unstructured":"Casati R. & Varzi A. (2015). Events. In E.N.Zalta (Ed.) The Stanford Encyclopedia of Philosophy (Winter 2015 ed.). Metaphysics Research Lab Stanford University."},{"key":"e_1_3_3_13_1","doi-asserted-by":"crossref","unstructured":"Casati R. & Varzi A.C. (1999). Parts and Places: The Structures of Spatial Representation. MIT Press.","DOI":"10.7551\/mitpress\/5253.001.0001"},{"key":"e_1_3_3_14_1","doi-asserted-by":"publisher","unstructured":"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\u201314 2006. Lecture Notes in Computer Science (Vol.\u00a04098 pp. 4\u201318). Springer. doi:10.1007\/11805618_2.","DOI":"10.1007\/11805618_2"},{"key":"e_1_3_3_15_1","doi-asserted-by":"crossref","unstructured":"Daly C. (1994). Tropes. In Proceedings of the Aristotelian Society. New Series (Vol.\u00a094 pp. 253\u2013261). Wiley. JSTOR. http:\/\/www.jstor.org\/stable\/4545197.","DOI":"10.1093\/aristotelian\/94.1.253"},{"key":"e_1_3_3_16_1","doi-asserted-by":"publisher","DOI":"10.3233\/AO-170177"},{"key":"e_1_3_3_17_1","doi-asserted-by":"publisher","unstructured":"Duarte B.B. Souza V.E.S. de\u00a0Castro Leal A.L. de\u00a0Almeida 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 \u2013 Proceedings of the 9th International Conference FOIS 2016 Annecy France July 6\u20139 2016 Frontiers in Artificial Intelligence and Applications (Vol. 283 pp. 255\u2013268). IOS Press. doi:10.3233\/978-1-61499-660-6-255.","DOI":"10.3233\/978-1-61499-660-6-255"},{"key":"e_1_3_3_18_1","doi-asserted-by":"publisher","unstructured":"Gr\u00fcninger M. (2009). Using the PSL ontology. In S.Staab and R.Studer (Eds.) Handbook on Ontologies. International Handbooks on Information Systems (pp. 423\u2013443). Springer. doi:10.1007\/978-3-540-92673-3_19.","DOI":"10.1007\/978-3-540-92673-3_19"},{"key":"e_1_3_3_19_1","unstructured":"Guizzardi G. (2005). Ontological foundations for structural conceptual models. PhD Thesis. Enschede The Netherlands Enschede."},{"key":"e_1_3_3_20_1","unstructured":"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 \u2013 Selected Papers from the Seventh International Baltic Conference DB&IS Vilnius Lithuania July 3\u20136 2006 Frontiers in Artificial Intelligence and Applications (Vol. 155 pp. 18\u201339). IOS Press. http:\/\/www.booksonline.iospress.nl\/Content\/View.aspx?piid=5421."},{"key":"e_1_3_3_21_1","unstructured":"Guizzardi G. de\u00a0Almeida 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 Brasil February 13\u201317 2008 (pp. 127\u2013140)."},{"key":"e_1_3_3_22_1","unstructured":"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\u201904 Workshops in Connection with the 16th Conference on Advanced Information Systems Engineering. Riga Latvia 7\u201311 June 2004 Knowledge and Model Driven Information Systems Engineering for Networked Organisations Proceedings (Vol. 3 pp. 129\u2013143). Faculty of Computer Science and Information Technology Riga Technical University. Riga Latvia."},{"key":"e_1_3_3_23_1","doi-asserted-by":"publisher","unstructured":"Guizzardi G. Wagner G. de\u00a0Almeida 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 \u2013 32th International Conference ER 2013 Proceedings Hong-Kong China November 11\u201313 2013 Lecture Notes in Computer Science (Vol. 8217 pp. 327\u2013341). Springer. doi:10.1007\/978-3-642-41924-9_27.","DOI":"10.1007\/978-3-642-41924-9_27"},{"key":"e_1_3_3_24_1","doi-asserted-by":"publisher","unstructured":"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 \u2013 Proceedings of the Eighth International Conference FOIS 2014 Rio de Janeiro Brazil September 22\u201325 2014 Frontiers in Artificial Intelligence and Applications (Vol. 267 pp. 344\u2013357). IOS Press. doi:10.3233\/978-1-61499-438-1-344.","DOI":"10.3233\/978-1-61499-438-1-344"},{"key":"e_1_3_3_25_1","unstructured":"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\/."},{"key":"e_1_3_3_26_1","unstructured":"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\u201312 2005 CEUR Workshop Proceedings. CEUR-WS.org http:\/\/ceur-ws.org\/Vol-188\/sub20.pdf."},{"key":"e_1_3_3_27_1","unstructured":"Horrocks I. Kutz O. & Sattler U. (2006). The Even More Irresistible SROIQ. In Proceedings Tenth International Conference on Principles of Knowledge Representation and Reasoning Lake District of the United Kingdom June 2\u20135 2006 (pp. 57\u201367). http:\/\/www.aaai.org\/Library\/KR\/2006\/kr06-009.php."},{"key":"e_1_3_3_28_1","unstructured":"Jackson D. (2012). Software Abstractions: Logic Language and Analysis. MIT Press."},{"key":"e_1_3_3_29_1","doi-asserted-by":"publisher","unstructured":"Katsumi M. & Gr\u00fcninger 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 \u2013 9th International Symposium RuleML 2015 Proceedings Berlin Germany August 2\u20135 2015 Lecture Notes in Computer Science (Vol.\u00a09202 pp. 225\u2013240). Springer. doi:10.1007\/978-3-319-21542-6_15.","DOI":"10.1007\/978-3-319-21542-6_15"},{"key":"e_1_3_3_30_1","doi-asserted-by":"publisher","unstructured":"Kr\u00f6tzsch 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\u2013April 1 2011 (pp. 645\u2013654). ACM. doi:10.1145\/1963405.1963496.","DOI":"10.1145\/1963405.1963496"},{"key":"e_1_3_3_31_1","unstructured":"Kr\u00f6tzsch M. Simancik F. & Horrocks I. (2012). A description logic primer. CoRR. http:\/\/arxiv.org\/abs\/1201.4089v3."},{"key":"e_1_3_3_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-007-9084-z"},{"key":"e_1_3_3_33_1","unstructured":"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."},{"key":"e_1_3_3_34_1","doi-asserted-by":"publisher","DOI":"10.3233\/APO-2007-031"},{"key":"e_1_3_3_35_1","unstructured":"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."},{"key":"e_1_3_3_36_1","doi-asserted-by":"publisher","unstructured":"Nardi J.C. de\u00a0Almeida Falbo R. & Almeida J.P.A. (2014). An ontological analysis of service modeling at ArchiMate\u2019s 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\u20135 2014 (pp. 92\u2013100). IEEE Computer Society. doi:10.1109\/EDOC.2014.22.","DOI":"10.1109\/EDOC.2014.22"},{"key":"e_1_3_3_37_1","unstructured":"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."},{"key":"e_1_3_3_38_1","doi-asserted-by":"publisher","unstructured":"Pena R.A.P. (2012). Suporte sem\u00e2ntico \u00e0 publica\u00e7\u00e3o de conte\u00fado jornal\u00edstico na Web. Mathesis. Programa de P\u00f3s-gradua\u00e7\u00e3o em Inform\u00e1tica do Departamento de Inform\u00e1tica do Centro T\u00e9cnico e Cient\u00edfico da PUC-Rio. Rio de Janeiro. doi:10.17771\/PUCRio.acad.20235.","DOI":"10.17771\/PUCRio.acad.20235"},{"key":"e_1_3_3_39_1","unstructured":"Raimond Y. & Abdallah S. (2007a). The event ontology. Online. Last accessed at 1st. July 2019 http:\/\/motools.sf.net\/event\/event.html."},{"key":"e_1_3_3_40_1","unstructured":"Raimond Y. & Abdallah S. (2007b). The Timeline Ontology. Online. Last accessed at 1st. July 2019 http:\/\/motools.sf.net\/timeline\/timeline.html."},{"key":"e_1_3_3_41_1","doi-asserted-by":"publisher","unstructured":"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\u201326 2010 (pp. 124\u2013130). ACM. doi:10.1145\/1774088.1774114.","DOI":"10.1145\/1774088.1774114"},{"key":"e_1_3_3_42_1","unstructured":"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\u201310 June 2007 CEUR Workshop Proceedings. CEUR-WS.org Italy. http:\/\/ceur-ws.org\/Vol-250\/paper_75.pdf."},{"key":"e_1_3_3_43_1","doi-asserted-by":"publisher","unstructured":"Shaw R. Troncy R. & Hardman L. (2009). LODE: Linking open descriptions of events. In A.G\u00f3mez-P\u00e9rez Y.Yu and Y.Ding (Eds.) The Semantic Web Fourth Asian Conference ASWC 2009 Proceedings Shanghai China December 6\u20139 2009 Lecture Notes in Computer Science (Vol.\u00a05926 pp. 153\u2013167). Springer. doi:10.1007\/978-3-642-10871-6_11.","DOI":"10.1007\/978-3-642-10871-6_11"},{"key":"e_1_3_3_44_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2011.03.003"},{"key":"e_1_3_3_45_1","unstructured":"W3C (2012). OWL 2 Web Ontology Language Document Overview (2nd ed.). Last accessed at 1st. July 2019 https:\/\/www.w3.org\/TR\/owl2-overview\/."},{"key":"e_1_3_3_46_1","unstructured":"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\u00e1tica. Programa de P\u00f3s-Gradua\u00e7\u00e3o em Computa\u00e7\u00e3o. Porto Alegre. http:\/\/hdl.handle.net\/10183\/115196."},{"key":"e_1_3_3_47_1","doi-asserted-by":"publisher","unstructured":"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\u201329 October 2010 (pp. 283\u2013292). Vit\u00f3ria Brazil: IEEE Computer Society. doi:10.1109\/EDOCW.2010.50.","DOI":"10.1109\/EDOCW.2010.50"}],"container-title":["Applied Ontology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/AO-190214","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/full-xml\/10.3233\/AO-190214","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/AO-190214","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,6]],"date-time":"2026-01-06T04:08:26Z","timestamp":1767672506000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.3233\/AO-190214"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,7]]},"references-count":46,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2019,8,19]]}},"alternative-id":["10.3233\/AO-190214"],"URL":"https:\/\/doi.org\/10.3233\/ao-190214","relation":{},"ISSN":["1570-5838","1875-8533"],"issn-type":[{"type":"print","value":"1570-5838"},{"type":"electronic","value":"1875-8533"}],"subject":[],"published":{"date-parts":[[2019,7]]}}}