Abstract
EMMO release 1.0.0 provides a stable version for the modules from the Top Level down to the Reference Level of the EMMO ontological framework.
EMMO 1.0.0 Reference Level is compliant with OWL2 DL and supports HermiT and FaCT++ reasoners. The axioms have been optimised to reduce reasoning time, facilitating usage and development. Developers of EMMO based ontologies are encouraged to use a reasoner to ensure consistency with the overall framework. However, all relevant inferred axioms have been already included in the ontology, so that the EMMO 1.0.0 can also be used as-is with reasoning based on less expressive rules than OWL2 DL, or without reasoning at all, according to users' needs.
EMMO 1.0.0 modules below Reference Level (i.e., Discipline and Domain Levels) still require the use of a reasoner for the taxomony generation. Future releases will reduce the need for use of reasoners for the rest of EMMO modules.
Besides the basic modules dealing with foundational mereocausality concepts and perspectives, the EMMO 1.0.0 provides reference level modules covering besides other things:
physical entities and their structure, with a multi-scale representation of materials from continuum to standard model of elementary particles, aligned with current physical-mathematical approaches
object and process concepts and their relations, in a mereocausality framework, providing sub-concepts such as behaviour, constitutive process, constituent, sub-process
workflows, with a representation of generic workflows and procedures in a rigorous causal framework
agency, with a representation of the ways intentionality is expressed by agents
semiosis, as the framework to represent how e.g., modelling and characterisation generate information about entities
data, with a comprehensive ab-initio definition of data up to the representation of formal languages in the symbolic module
information, by merging data and semiotics concepts following the definition of information as data with meaning
Future releases will provide finalised and stable versions for the Discipline Level modules, already aligned with 1.0.0 Reference Level but still incomplete in terms of concepts. Finalisation of Discipline Level is foreseen within the 1.1.0 release.
From now on, the EMMO releases will follow strictly Semantic Versioning rules, with a list of changes for each release, to facilitate maintenance of existing EMMO-based domain and application ontologies.
EMMO 1.0.0 Reference Level is compliant with OWL2 DL and supports HermiT and FaCT++ reasoners. The axioms have been optimised to reduce reasoning time, facilitating usage and development. Developers of EMMO based ontologies are encouraged to use a reasoner to ensure consistency with the overall framework. However, all relevant inferred axioms have been already included in the ontology, so that the EMMO 1.0.0 can also be used as-is with reasoning based on less expressive rules than OWL2 DL, or without reasoning at all, according to users' needs.
EMMO 1.0.0 modules below Reference Level (i.e., Discipline and Domain Levels) still require the use of a reasoner for the taxomony generation. Future releases will reduce the need for use of reasoners for the rest of EMMO modules.
Besides the basic modules dealing with foundational mereocausality concepts and perspectives, the EMMO 1.0.0 provides reference level modules covering besides other things:
physical entities and their structure, with a multi-scale representation of materials from continuum to standard model of elementary particles, aligned with current physical-mathematical approaches
object and process concepts and their relations, in a mereocausality framework, providing sub-concepts such as behaviour, constitutive process, constituent, sub-process
workflows, with a representation of generic workflows and procedures in a rigorous causal framework
agency, with a representation of the ways intentionality is expressed by agents
semiosis, as the framework to represent how e.g., modelling and characterisation generate information about entities
data, with a comprehensive ab-initio definition of data up to the representation of formal languages in the symbolic module
information, by merging data and semiotics concepts following the definition of information as data with meaning
Future releases will provide finalised and stable versions for the Discipline Level modules, already aligned with 1.0.0 Reference Level but still incomplete in terms of concepts. Finalisation of Discipline Level is foreseen within the 1.1.0 release.
From now on, the EMMO releases will follow strictly Semantic Versioning rules, with a list of changes for each release, to facilitate maintenance of existing EMMO-based domain and application ontologies.