While carrying out my research I’ve had to produce a number of ontologies or contribute to existing ones. Find here some of those that I’ve managed to collect quickly. A good deal of these ontologies are in OCML for it is the language used internally by the Internet Reasoning Service. It is a pretty powerful language and quite easy to understand so don’t be scared by the name. I include in some cases translations into other languages such as OWL if I’ve had the time to do so. Hopefully I will be able to update this section frequently as I get ahold of old work or produce new stuff.
COBRA provides a core terminology for supporting Business Process Analysis where analysts can map knowledge about some particular domain of interest in order to carry out their analyses. It is worth noting that COBRA does not aim to provide a fully-comprehensive conceptualisation for supporting each and every kind of analysis since the scope would simply be too big to be tackled appropriately in one ontology. Instead COBRA provides a pluggable framework based on the core conceptualisations required for supporting Business Process Analysis and deﬁnes the appropriate hooks for further extensions in order to cope with the wide-range of aspects involved in analysing business processes. COBRA and its extensions have mostly been developed in the context of SUPER as part of an ontological framework aimed at providing an extensive conceptualisation of the Business Process Management domain ranging from process modelling to the deﬁnition of business strategies.COBRA in OCML - Core Ontology for Business pRocess Analysis
COBRA in OWL (translation by Dong Liu)
We have extended COBRA with a reference Events Ontology (EVO) that provides a set of definitions suitable for monitoring and a large variety of systems and ready to be integrated within our core ontology for analysing business processes. EVO is based on previously devised formats for monitoring Business Process Management Systems such as MXML, since they provide general purpose solutions that have shown to be suitable to capture logs generated by a plethora of systems. As prescribed by COBRA, EVO is centred around a state model that accounts for the status of processes and activities and it allows to keep track of the evolution of the execution of processes and their internal activities through transitions within the state model. EVO shared many aspects with other provenance models although it has been essentially inspired by previous work on BPM rather than provenance analysis.Events Ontology in OCML - The Events Ontology provides definitions for the monitoring events that can be generated during the execution of Business Processes. This ontology in based on MXML and the Audit Trail format from the WFMC in order to accommodate a wide range of BPM systems. Explained in some detail in: C. Pedrinaci, J. Domingue, and A. K. Alves de Medeiros. A Core Ontology for Business Process Analysis. In 5th European Semantic Web Conference, 2008.
Events Analysis Ontology
In order to derive information upon reception of monitoring events we have defined in Events Analysis Ontology, a set of generic forward-chaining rules which are independent from the domain and the specific Monitoring Events defined. The goal is to provide reusable rules which can then be enhanced with domain specific ones to derive a richer knowledge-base. Additionally we have implemented a set of relations which are of most use when analysing processes. Some of these relations have been defined for COBRA in a generic manner, whereas others have been bundled with EVO for they are EVO-specific.Events Analysis Ontology in OCML - The Events Analysis Ontology provides definitions for the analysis of monitoring events. It brings Events Manipulation to the level of Processes Analysis
Time Ontology provides a temporal reference by means of which one can determine temporal relations between entities. The ontology defines three top-level concepts, namely Time Instant, Time Interval, and Temporal Entity. Time Instant is the main primitive element and it provides the means for identifying a point in time with precision up to the microsecond for we aim to support monitoring automated systems. Time Intervals are defined by means of the start and end instants and have therefore an associated duration which can be computed by means of a function that substracts the limiting instants. Temporal Entity, as opposed to the conceptualisation proposed at W3C, represents entities that have a temporal occurrence, and are therefore different from Time Instant and Time Interval which are the base constructs that represent a particular point or period in time. Using these core concepts we have implemented the interval relations defined by James Allen, the additional instant-interval relations defined by Marc Vilain, and useful functions for computing the duration of intervals or for obtaining the current Time Instant.Time Ontology - Time Ontology brings support for reasoning about time. It is based on Allen's Interval Temporal Algebra and has been extended with Marc Vilain's instant-interval relations and polimorphism in the relations.