{"id":"https://openalex.org/W2953712093","doi":"https://doi.org/10.3233/ao-190214","title":"Representing a reference foundational ontology of events in SROIQ","display_name":"Representing a reference foundational ontology of events in SROIQ","publication_year":2019,"publication_date":"2019-07-01","ids":{"openalex":"https://openalex.org/W2953712093","doi":"https://doi.org/10.3233/ao-190214","mag":"2953712093"},"language":"en","primary_location":{"id":"doi:10.3233/ao-190214","is_oa":false,"landing_page_url":"https://doi.org/10.3233/ao-190214","pdf_url":null,"source":{"id":"https://openalex.org/S31619775","display_name":"Applied Ontology","issn_l":"1570-5838","issn":["1570-5838","1875-8533"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Applied Ontology","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5085878919","display_name":"Alessander Botti Benevides","orcid":null},"institutions":[{"id":"https://openalex.org/I51235708","display_name":"Universidade Federal do Esp\u00edrito Santo","ror":"https://ror.org/05sxf4h28","country_code":"BR","type":"education","lineage":["https://openalex.org/I51235708"]}],"countries":["BR"],"is_corresponding":true,"raw_author_name":"Alessander Botti Benevides","raw_affiliation_strings":["Federal University of Esp\u00edrito Santo","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"],"affiliations":[{"raw_affiliation_string":"Federal University of Esp\u00edrito Santo","institution_ids":["https://openalex.org/I51235708"]},{"raw_affiliation_string":"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","institution_ids":["https://openalex.org/I51235708"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076623041","display_name":"Jean-R\u00e9mi Bourguet","orcid":"https://orcid.org/0000-0003-3686-1104"},"institutions":[{"id":"https://openalex.org/I51235708","display_name":"Universidade Federal do Esp\u00edrito Santo","ror":"https://ror.org/05sxf4h28","country_code":"BR","type":"education","lineage":["https://openalex.org/I51235708"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Jean-R\u00e9mi Bourguet","raw_affiliation_strings":["Federal University of Esp\u00edrito Santo","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"],"affiliations":[{"raw_affiliation_string":"Federal University of Esp\u00edrito Santo","institution_ids":["https://openalex.org/I51235708"]},{"raw_affiliation_string":"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","institution_ids":["https://openalex.org/I51235708"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065297243","display_name":"Giancarlo Guizzardi","orcid":"https://orcid.org/0000-0002-3452-553X"},"institutions":[{"id":"https://openalex.org/I171543936","display_name":"Free University of Bozen-Bolzano","ror":"https://ror.org/012ajp527","country_code":"IT","type":"education","lineage":["https://openalex.org/I171543936"]},{"id":"https://openalex.org/I51235708","display_name":"Universidade Federal do Esp\u00edrito Santo","ror":"https://ror.org/05sxf4h28","country_code":"BR","type":"education","lineage":["https://openalex.org/I51235708"]}],"countries":["BR","IT"],"is_corresponding":false,"raw_author_name":"Giancarlo Guizzardi","raw_affiliation_strings":["Federal University of Esp\u00edrito Santo","Free University of Bozen-Bolzano","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","Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. E-mails:\u00a0giancarlo.guizzardi@unibz.it,\u00a0rafael.penaloza@unibz.it"],"affiliations":[{"raw_affiliation_string":"Federal University of Esp\u00edrito Santo","institution_ids":["https://openalex.org/I51235708"]},{"raw_affiliation_string":"Free University of Bozen-Bolzano","institution_ids":["https://openalex.org/I171543936"]},{"raw_affiliation_string":"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","institution_ids":["https://openalex.org/I51235708"]},{"raw_affiliation_string":"Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. E-mails:\u00a0giancarlo.guizzardi@unibz.it,\u00a0rafael.penaloza@unibz.it","institution_ids":["https://openalex.org/I171543936"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087109002","display_name":"Rafael Pe\u00f1aloza","orcid":"https://orcid.org/0000-0002-2693-5790"},"institutions":[{"id":"https://openalex.org/I171543936","display_name":"Free University of Bozen-Bolzano","ror":"https://ror.org/012ajp527","country_code":"IT","type":"education","lineage":["https://openalex.org/I171543936"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Rafael Pe\u00f1aloza","raw_affiliation_strings":["Free University of Bozen-Bolzano","Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. E-mails:\u00a0giancarlo.guizzardi@unibz.it,\u00a0rafael.penaloza@unibz.it"],"affiliations":[{"raw_affiliation_string":"Free University of Bozen-Bolzano","institution_ids":["https://openalex.org/I171543936"]},{"raw_affiliation_string":"Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. E-mails:\u00a0giancarlo.guizzardi@unibz.it,\u00a0rafael.penaloza@unibz.it","institution_ids":["https://openalex.org/I171543936"]}]},{"author_position":"last","author":{"id":null,"display_name":"Jo\u00e3o Paulo A. Almeida","orcid":null},"institutions":[{"id":"https://openalex.org/I51235708","display_name":"Universidade Federal do Esp\u00edrito Santo","ror":"https://ror.org/05sxf4h28","country_code":"BR","type":"education","lineage":["https://openalex.org/I51235708"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Jo\u00e3o Paulo A. Almeida","raw_affiliation_strings":["Federal University of Esp\u00edrito Santo","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"],"affiliations":[{"raw_affiliation_string":"Federal University of Esp\u00edrito Santo","institution_ids":["https://openalex.org/I51235708"]},{"raw_affiliation_string":"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","institution_ids":["https://openalex.org/I51235708"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5085878919"],"corresponding_institution_ids":["https://openalex.org/I51235708"],"apc_list":null,"apc_paid":null,"fwci":2.8903,"has_fulltext":false,"cited_by_count":37,"citation_normalized_percentile":{"value":0.92924463,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":99},"biblio":{"volume":"14","issue":"3","first_page":"293","last_page":"334"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9937999844551086,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9921000003814697,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7825462818145752},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.7133539915084839},{"id":"https://openalex.org/keywords/ontology","display_name":"Ontology","score":0.5662810802459717},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.5527328252792358},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5108275413513184},{"id":"https://openalex.org/keywords/knowledge-representation-and-reasoning","display_name":"Knowledge representation and reasoning","score":0.47297683358192444},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.45687758922576904},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.37133386731147766},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3506489396095276},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3231929540634155},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.26136574149131775},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.23802295327186584}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7825462818145752},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.7133539915084839},{"id":"https://openalex.org/C25810664","wikidata":"https://www.wikidata.org/wiki/Q44325","display_name":"Ontology","level":2,"score":0.5662810802459717},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.5527328252792358},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5108275413513184},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.47297683358192444},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.45687758922576904},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.37133386731147766},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3506489396095276},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3231929540634155},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.26136574149131775},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.23802295327186584},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.3233/ao-190214","is_oa":false,"landing_page_url":"https://doi.org/10.3233/ao-190214","pdf_url":null,"source":{"id":"https://openalex.org/S31619775","display_name":"Applied Ontology","issn_l":"1570-5838","issn":["1570-5838","1875-8533"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Applied Ontology","raw_type":"journal-article"},{"id":"pmh:oai:alma.39UBZ_INST:11252684530001241","is_oa":false,"landing_page_url":"https://content.iospress.com/articles/applied-ontology/ao190214","pdf_url":null,"source":{"id":"https://openalex.org/S4210197018","display_name":"View","issn_l":"2688-268X","issn":["2688-268X","2688-3988"],"is_oa":false,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},{"id":"pmh:oai:boa.unimib.it:10281/268054","is_oa":false,"landing_page_url":"http://hdl.handle.net/10281/268054","pdf_url":null,"source":{"id":"https://openalex.org/S4306401259","display_name":"BOA (University of Milano-Bicocca)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I66752286","host_organization_name":"University of Milano-Bicocca","host_organization_lineage":["https://openalex.org/I66752286"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":42,"referenced_works":["https://openalex.org/W5077532","https://openalex.org/W42907978","https://openalex.org/W114271288","https://openalex.org/W158858167","https://openalex.org/W182170734","https://openalex.org/W331566380","https://openalex.org/W586754679","https://openalex.org/W606831423","https://openalex.org/W620387456","https://openalex.org/W1097233047","https://openalex.org/W1488412441","https://openalex.org/W1586677474","https://openalex.org/W1678959094","https://openalex.org/W1853239675","https://openalex.org/W1895387792","https://openalex.org/W1974946984","https://openalex.org/W2020169768","https://openalex.org/W2067145053","https://openalex.org/W2081752276","https://openalex.org/W2107315187","https://openalex.org/W2108234081","https://openalex.org/W2121939662","https://openalex.org/W2124627092","https://openalex.org/W2149805949","https://openalex.org/W2159873096","https://openalex.org/W2161484642","https://openalex.org/W2171453216","https://openalex.org/W2180300954","https://openalex.org/W2406713467","https://openalex.org/W2467538262","https://openalex.org/W2577463778","https://openalex.org/W2593303116","https://openalex.org/W2786083590","https://openalex.org/W2787650869","https://openalex.org/W4243071958","https://openalex.org/W4407811868","https://openalex.org/W6604591624","https://openalex.org/W6607413800","https://openalex.org/W6634978047","https://openalex.org/W6672618670","https://openalex.org/W6678289719","https://openalex.org/W6826064476"],"related_works":["https://openalex.org/W2749819226","https://openalex.org/W1862275504","https://openalex.org/W2383939861","https://openalex.org/W2195401719","https://openalex.org/W2378768198","https://openalex.org/W1867395701","https://openalex.org/W2036815240","https://openalex.org/W862246466","https://openalex.org/W4234046996","https://openalex.org/W2406299241"],"abstract_inverted_index":{"In":[0,199],"recent":[1],"years,":[2],"there":[3,82],"has":[4,53],"been":[5,54],"a":[6,25,58,90,111,200,253],"growing":[7],"interest":[8],"in":[9,19,76,89,124,188,204,209,239],"the":[10,20,31,125,130,142,176,185,202,207,213,218,227,233,264,269],"application":[11],"of":[12,35,48,74,87,113,145,179,184,256,263,266,271],"foundational":[13,46,273],"ontologies,":[14],"i.e.,":[15],"formal":[16,127,143],"ontological":[17],"theories":[18,163],"philosophical":[21],"sense,":[22,201],"to":[23,129,150,164,243,251],"provide":[24],"theoretically":[26],"sound":[27],"foundation":[28],"for":[29,61,232,268],"improving":[30],"theory":[32,47],"and":[33,38,72,102,123,241],"practice":[34],"conceptual":[36],"modeling":[37,73],"knowledge":[39,92],"representation.":[40],"This":[41],"paper":[42],"addresses":[43],"one":[44],"particular":[45],"events":[49,75,101],"termed":[50],"UFO-B,":[51],"which":[52,140,169],"successfully":[55],"employed":[56],"as":[57],"reference":[59],"model":[60],"addressing":[62],"problems":[63],"from":[64,116,235],"complex":[65,100],"media":[66],"management,":[67],"enterprise":[68],"architecture,":[69],"software":[70],"engineering,":[71],"petroleum":[77],"exploration.":[78],"Despite":[79],"its":[80],"success,":[81],"is":[83,141],"still":[84],"no":[85],"formalization":[86],"UFO-B":[88,180,186,197],"decidable":[91],"representation":[93],"language":[94],"that":[95,174,190,229],"could":[96],"support":[97,151],"reasoning":[98],"about":[99],"event":[103],"relations.":[104],"We":[105],"address":[106],"this":[107,257],"gap":[108],"by":[109,172,259],"proposing":[110],"number":[112],"alternative":[114],"translations":[115],"UFO-B\u2019s":[117,236],"original":[118,237],"axiomatization":[119,238],"(in":[120],"first-order":[121,210],"logic":[122,132],"Alloy":[126,205,242],"language)":[128],"description":[131],"<mml:math":[133,157,219,244],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[134,158,220,245],"overflow=\"scroll\">":[135,159,221,246],"<mml:mi":[136,160,222,247],"mathvariant=\"script\">SROIQ</mml:mi>":[137,161,223,248],"</mml:math>":[138,162,224,249],",":[139],"underpinning":[144],"OWL":[146,165,214],"2":[147,166,215],"DL.":[148],"Additionally,":[149],"practical":[152],"applications,":[153],"we":[154,191,230],"translated":[155],"these":[156,196],"DL":[167],"TBoxes,":[168],"were":[170],"validated":[171],"showing":[173],"all":[175],"intended":[177],"models":[178,183],"(the":[181],"logical":[182],"specification":[187,203,208,270],"Alloy)":[189],"generated":[192],"are":[193],"consistent":[194],"with":[195],"TBoxes.":[198],"implements":[206],"logic,":[211],"while":[212],"TBoxes":[216],"implement":[217],"specifications.":[225],"Incidentally,":[226],"methodology":[228],"designed":[231],"translation":[234],"FOL":[240],"came":[250],"be":[252],"key":[254],"contribution":[255],"work":[258],"providing":[260],"us":[261],"evidence":[262],"inadequacy":[265],"DLs":[267],"comprehensive":[272],"ontologies.":[274]},"counts_by_year":[{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":5},{"year":2023,"cited_by_count":7},{"year":2022,"cited_by_count":8},{"year":2021,"cited_by_count":6},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":3}],"updated_date":"2026-04-16T08:26:57.006410","created_date":"2019-07-12T00:00:00"}
