乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,9]],"date-time":"2024-12-09T09:10:03Z","timestamp":1733735403881,"version":"3.30.1"},"reference-count":35,"publisher":"SAGE Publications","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["AO"],"published-print":{"date-parts":[[2019,8,19]]},"DOI":"10.3233\/ao-190214","type":"journal-article","created":{"date-parts":[[2019,7,2]],"date-time":"2019-07-02T14:38:46Z","timestamp":1562078326000},"page":"293-334","source":"Crossref","is-referenced-by-count":21,"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":"NEMO, Computer Science Department, Federal University of Esp\u00edrito Santo, Av. Fernando Ferrari, 514, Goiabeiras\/Vit\u00f3ria, Brazil. E-mails:\u00a0abbenevides@inf.ufes.br,\u00a0jean-remi.bourguet@ufes.br,\u00a0gguizzardi@inf.ufes.br,\u00a0jpalmeida@ieee.org"}]},{"given":"Jean-R\u00e9mi","family":"Bourguet","sequence":"additional","affiliation":[{"name":"NEMO, Computer Science Department, Federal University of Esp\u00edrito Santo, Av. Fernando Ferrari, 514, Goiabeiras\/Vit\u00f3ria, Brazil. E-mails:\u00a0abbenevides@inf.ufes.br,\u00a0jean-remi.bourguet@ufes.br,\u00a0gguizzardi@inf.ufes.br,\u00a0jpalmeida@ieee.org"}]},{"given":"Giancarlo","family":"Guizzardi","sequence":"additional","affiliation":[{"name":"NEMO, Computer Science Department, Federal University of Esp\u00edrito Santo, Av. Fernando Ferrari, 514, Goiabeiras\/Vit\u00f3ria, Brazil. E-mails:\u00a0abbenevides@inf.ufes.br,\u00a0jean-remi.bourguet@ufes.br,\u00a0gguizzardi@inf.ufes.br,\u00a0jpalmeida@ieee.org"},{"name":"Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. E-mails:\u00a0giancarlo.guizzardi@unibz.it,\u00a0rafael.penaloza@unibz.it"}]},{"given":"Rafael","family":"Pe\u00f1aloza","sequence":"additional","affiliation":[{"name":"Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. E-mails:\u00a0giancarlo.guizzardi@unibz.it,\u00a0rafael.penaloza@unibz.it"}]},{"given":"Jo\u00e3o Paulo A.","family":"Almeida","sequence":"additional","affiliation":[{"name":"NEMO, Computer Science Department, Federal University of Esp\u00edrito Santo, Av. Fernando Ferrari, 514, Goiabeiras\/Vit\u00f3ria, Brazil. E-mails:\u00a0abbenevides@inf.ufes.br,\u00a0jean-remi.bourguet@ufes.br,\u00a0gguizzardi@inf.ufes.br,\u00a0jpalmeida@ieee.org"}]}],"member":"179","reference":[{"issue":"11","key":"10.3233\/AO-190214_ref1","doi-asserted-by":"publisher","first-page":"832","DOI":"10.1145\/182.358434","article-title":"Maintaining knowledge about temporal intervals","volume":"26","author":"Allen","year":"1983","journal-title":"Commun. ACM"},{"key":"10.3233\/AO-190214_ref2","unstructured":"Armstrong, D.M. (1989). Universals: An Opinionated Introduction. Focus Series. Westview Press. https:\/\/books.google.com.br\/books?id=MJzmAAAAIAAJ."},{"key":"10.3233\/AO-190214_ref3","doi-asserted-by":"crossref","unstructured":"Armstrong, D.M. (2004). Truth and Truthmakers. Cambridge University Press.","DOI":"10.1017\/CBO9780511487552"},{"key":"10.3233\/AO-190214_ref4","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1016\/j.is.2015.04.008","article-title":"Modeling resources and capabilities in enterprise architecture: A well-founded ontology-based proposal for ArchiMate","volume":"54","author":"Azevedo","year":"2015","journal-title":"Inf. Syst."},{"issue":"6","key":"10.3233\/AO-190214_ref5","doi-asserted-by":"publisher","first-page":"981","DOI":"10.3233\/SW-160248","article-title":"Temporal representation and reasoning in OWL 2","volume":"8","author":"Batsakis","year":"2017","journal-title":"Semantic Web"},{"key":"10.3233\/AO-190214_ref6","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":"10.3233\/AO-190214_ref7","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":"10.3233\/AO-190214_ref8","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":"10.3233\/AO-190214_ref10","unstructured":"Carolo, F. & Burlamaqui, L. (2011). Improving web content management with semantic technologies. In Semantic Technology Conference (SemTech), San Francisco."},{"key":"10.3233\/AO-190214_ref11","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":"10.3233\/AO-190214_ref12","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":"10.3233\/AO-190214_ref13","doi-asserted-by":"publisher","DOI":"10.1007\/11805618_2"},{"key":"10.3233\/AO-190214_ref14","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."},{"issue":"1","key":"10.3233\/AO-190214_ref15","doi-asserted-by":"publisher","first-page":"59","DOI":"10.3233\/AO-170177","article-title":"ROoST: Reference ontology on software testing","volume":"12","author":"de\u00a0Souza","year":"2017","journal-title":"Applied Ontology"},{"key":"10.3233\/AO-190214_ref16","doi-asserted-by":"publisher","DOI":"10.3233\/978-1-61499-660-6-255"},{"key":"10.3233\/AO-190214_ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-92673-3_19"},{"key":"10.3233\/AO-190214_ref19","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":"10.3233\/AO-190214_ref20","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":"10.3233\/AO-190214_ref21","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":"10.3233\/AO-190214_ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-41924-9_27"},{"key":"10.3233\/AO-190214_ref23","doi-asserted-by":"publisher","DOI":"10.3233\/978-1-61499-438-1-344"},{"key":"10.3233\/AO-190214_ref25","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":"10.3233\/AO-190214_ref27","unstructured":"Jackson, D. (2012). Software Abstractions: Logic, Language, and Analysis. MIT Press."},{"key":"10.3233\/AO-190214_ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21542-6_15"},{"key":"10.3233\/AO-190214_ref29","doi-asserted-by":"publisher","DOI":"10.1145\/1963405.1963496"},{"issue":"1","key":"10.3233\/AO-190214_ref31","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10817-007-9084-z","article-title":"Algorithms for computing minimal unsatisfiable subsets of constraints","volume":"40","author":"Liffiton","year":"2008","journal-title":"J. Autom. Reasoning"},{"issue":"2","key":"10.3233\/AO-190214_ref33","first-page":"127","article-title":"Abstract vs. social roles \u2013 towards a general theoretical account of roles","volume":"2","author":"Loebe","year":"2007","journal-title":"Applied Ontology"},{"key":"10.3233\/AO-190214_ref35","doi-asserted-by":"publisher","DOI":"10.1109\/EDOC.2014.22"},{"key":"10.3233\/AO-190214_ref37","doi-asserted-by":"publisher","DOI":"10.17771\/PUCRio.acad.20235"},{"key":"10.3233\/AO-190214_ref40","doi-asserted-by":"publisher","DOI":"10.1145\/1774088.1774114"},{"key":"10.3233\/AO-190214_ref41","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":"10.3233\/AO-190214_ref42","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-10871-6_11"},{"issue":"2","key":"10.3233\/AO-190214_ref43","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1016\/j.websem.2011.03.003","article-title":"Design and use of the Simple Event Model (SEM)","volume":"9","author":"van Hage","year":"2011","journal-title":"J. Web Semant."},{"key":"10.3233\/AO-190214_ref45","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":"10.3233\/AO-190214_ref46","doi-asserted-by":"publisher","DOI":"10.1109\/EDOCW.2010.50"}],"container-title":["Applied Ontology"],"original-title":[],"link":[{"URL":"https:\/\/content.iospress.com\/download?id=10.3233\/AO-190214","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,9]],"date-time":"2024-12-09T08:39:11Z","timestamp":1733733551000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/full\/10.3233\/AO-190214"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,8,19]]},"references-count":35,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.3233\/ao-190214","relation":{},"ISSN":["1875-8533","1570-5838"],"issn-type":[{"type":"electronic","value":"1875-8533"},{"type":"print","value":"1570-5838"}],"subject":[],"published":{"date-parts":[[2019,8,19]]}}}