Main content



Loading wiki pages...

Wiki Version:
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 π“’π“‘π“žπ“˜π“ "][1]. [Applied Ontology 14(3)][2]: 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][3]. In order to automatically generate Alloy models, we used `BatchModelFinder`. You can find instructions on how to compile and run [here][4]. 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 [1]: [2]: [3]: [4]:
OSF does not support the use of Internet Explorer. For optimal performance, please switch to another browser.
This website relies on cookies to help provide a better user experience. By clicking Accept or continuing to use the site, you agree. For more information, see our Privacy Policy and information on cookie use.

Start managing your projects on the OSF today.

Free and easy to use, the Open Science Framework supports the entire research lifecycle: planning, execution, reporting, archiving, and discovery.