This is a repository for source code and data concerning the article: Alessander Botti Benevides, Jean-Rémi Bourguet, Giancarlo Guizzardi, Rafael Peñaloza, João Paulo A. Almeida: ["Representing a Reference Foundational Ontology of Events in 𝓢𝓡𝓞𝓘𝓠"]. [Applied Ontology 14(3)]: 293-334 (2019) The keywords are: Ontology of Events, Description Logics, 𝓢𝓡𝓞𝓘𝓠, OWL, SAT. We used the tool `fmt` to find maximal subsets of 𝓢𝓡𝓞𝓘𝓠 axioms that obey the syntactic constraints of regularity and simplicity. You can find instructions on how to compile and run [here]. In order to automatically generate Alloy models, we used `BatchModelFinder`. You can find instructions on how to compile and run [here]. The haskell tool `set` and the R script `indMtThsMaxModelsFigs.R` were used to produce the Figure 4 of the document. You can find their sources in this project. Concerning the performance data in folder OWL2/Performances, the file Performances-UFOB.csv presents the execution times of five executions of satisfiability tests for each TBox and each Alloy model. The structure of the file Performances-UFOB.csv is: CharInt-Int ;Float;Float;Float;Float;Float;Bool ;Float 'K'TheoryId-AlloyModelID;time0;time1;time2;time3;time4;Consistent?;Median of times The structure of the file Performances-Alloyfor-N.txt (25 ≤ N ≤ 35) is: CharInt : Float 'T'TheoryId: the median of the five executions of the satisfiability test for the current theory and Alloy model N The structure of the file Performances-SubTboxes.txt is: CharInt : Float 'T'TheoryId: sum of all the medians for all the Alloy models : https://content.iospress.com/articles/applied-ontology/ao190214 : https://content.iospress.com/journals/applied-ontology/14/3 : https://osf.io/kmvna/wiki/fmt/ : https://osf.io/kmvna/wiki/BatchModelFinder/
OSF does not support the use of Internet Explorer. For optimal performance, please switch to another browser.