diff --git a/catalog-v001.xml b/catalog-v001.xml
index 4e18f9b..542c619 100644
--- a/catalog-v001.xml
+++ b/catalog-v001.xml
@@ -1,54 +1,68 @@
-
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/chemical-substance-inferred.ttl b/chemical-substance-inferred.ttl
index 8be259b..ff7853a 100644
--- a/chemical-substance-inferred.ttl
+++ b/chemical-substance-inferred.ttl
@@ -7,8 +7,9 @@
@base .
rdf:type owl:Ontology ;
- owl:versionIRI ;
+ owl:versionIRI ;
""@en ,
+ "A collection of all the EMMO reference level ontology modules"@en ,
"""Defines physical quantities in the International System of Quantities (ISQ). ISQ was made an official ISO standard in 2009 and is defined in the ISO/IEC 80000 standard.
ISQ underlines the SI system and defines physical quanties that are measured with SI units.
@@ -16,25 +17,26 @@ ISQ underlines the SI system and defines physical quanties that are measured wit
ISQ has 7 base quantities and many derived quantities defined in terms of the 7 base quantities.
The number of derived quantities not closed and may increase based on the need by domain ontologies."""@en ,
- """Defines properties as the result of an observation process. Observation is a semiotic process that stimulate an interpretant within the interpreter who communicates the perception result to other interpreters through a sign, which is the property.
+ """Defines properties as the result of an observation process. Observation is a semiotic process that stimulate an interpretant within the interpreter who communicates the observed result to other interpreters through a sign, which is the property.
-Hence, properties creates a link between the holistic and the perceptual perspectives.
+Hence, properties creates a link between the holistic and the symbolic perspectives.
Subclasses of property are subclasses that spesialise the type of observation process."""@en ,
"""Defines the formal language of metrology, including theoretical and practical aspects of measurements.
This module is based on the International vocabulary of metrology (VIM) as well as the ISO/IEC 80000 standard."""@en ,
- """Defines the holistic perspective which include process and the role of its participants.
+ """Defines the holistic perspective which includes process and the role of its participants.
-Processes are 4D object's that unfolds in time in a way that has a meaning to the ontologist with participants who's role is assigned by the ontologist."""@en ,
- """Defines the perceptual perspective, which categorises real world objects according to how they are percieved by an user as a recognisable pattern in space or time.
-
-The perceptual module includes formal languages, pictures, geometry, mathematics and sounds. Phenomenic objects can be used in a semiotic process as signs."""@en ,
+Processes are 4D objects that unfolds in time in a way that has a meaning to the ontologist with participants whose role is assigned by the ontologist."""@en ,
"""Defines the reductionistic perspective, which uses the fundamental non-transitive parthood relation, called direct parthood, to provide a powerful granularity description of multiscale real world objects. EMMO can in principle represents the Universe with direct parthood relations as a direct rooted tree up to its elementary constituents.
-In addition to direct parthood, the reductionistic module defines 'State' as a tesselation of spatial direct parts with no change of granularity or cardinality and 'Existent' as a tesselation of temporal direct parts."""@en ,
+In addition to direct parthood, the reductionistic module defines 'State' as a tessellation of spatial direct parts with no change of granularity or cardinality and 'Existent' as a tessellation of temporal direct parts."""@en ,
"Defines the root of the physicalistic perspective that introduces the concept of real world objects that have a meaning for the ontologist under an applied physics perspective."@en ,
+ "Defines the structural perspective which defines an entity according to its type and the types of other entities mereological relations with it."@en ,
"Describes manufacturing processes with engineered participants. The module also provides a root for engineered materials."@en ,
+ """EMMO disciplines is a container for the EMMO discipline level ontologies.
+
+Discipline level ontologies are reference ontologies that does not cover the whole world."""@en ,
"""Elementary Multiperspective Material Ontology (EMMO)
EMMO is a multidisciplinary effort to develop a standard representational framework (the ontology) based on current materials modelling knowledge, including physical sciences, analytical philosophy and information and communication technologies.
@@ -43,109 +45,112 @@ It provides the connection between the physical world, materials characterisatio
EMMO is released under a Creative Commons license Attribution 4.0 International (CC BY 4.0)."""@en ,
"""Introduces the fundamental mereocausal (and mereotopological) concepts of EMMO and their relations with the real world entities that they represent. EMMO uses mereocausality as the ground for all the subsequent ontology modules.
-The concept of causal connection is used to define the first distinction between ontology entities namely the item and collections. Items are causally self-connected objects, while collections are causally disconnected.
-Quantum mereology is based on the concept of quantum entity. This module introduces also the fundamental mereotopological relations used to distinguish between space and time dimensions, making spacetime emerge from underlying network of causal relations between quantum entities."""@en ,
+The concept of causal connection is used to distinguish between ontology entities: items are causally self-connected objects, while collections are causally disconnected.
+Quantum mereology is based on the concept of quantum entity.
+This module introduces also the fundamental mereotopological relations used to distinguish between space and time dimensions, making spacetime emerge from underlying network of causal relations between quantum entities."""@en ,
"Key concepts from the domain of computer science."@en ,
- "The 'noncoherentsiunits' module contains non-coherent SI derived units. This include ."@en ,
+ "People and organisations who has contributed to the development of EMMO."@en ,
+ "The 'noncoherentsiunits' module contains non-coherent derived SI units (and SI-accepted units) that are not prefixed units (units made of a metric prefix followed by a unit symbol). Examples: km/h, A/g."@en ,
"""The EMMO perspectives level ontology is a container for the EMMO perspectives level ontologies.
-
The perspectives level ontologies act as roots for extending the EMMO towards specific application domains. They describe the world from different perspectives, including
- - physicalistic
+ - contrast (data)
- holistic
+ - persistence
- reductionistic
- - perceptual
- - data
- semiotic
- - persistence"""@en ,
+ - structural"""@en ,
"The chemistry module populates the physicalistic perspective with materials subclasses categorised according to modern applied chemistry."@en ,
+ "The graphical module provides classes for the representation of geometrical concepts."@en ,
"The materials module populates the physicalistic perspective with materials subclasses categorised according to modern applied physical sciences."@en ,
"The math module defines the formal language of mathematics. Mathematical objects represents graphical objects based on graphical symbols arranged according the rules of math."@en ,
"The models module defines models as semiotic signs that stands for an object by resembling or imitating it, in shape or by sharing a similar logical structure."@en ,
- "The module 'coherentsiunits' contain coherent derived SI units. For each physical dimensionality there exists one and only one coherent derived SI unit. Examples of such units are m/s, Pa·m, etc..."@en ,
- "The module 'prefixedsiunits' contains prefixed SI units, like km, ms, MPa, etc..."@en ,
- "The module 'siacceptedunits' include non-SI units that are accepted for use with the SI units as well as derived units constructed from SI and SI-accepted units."@en ,
+ """The module 'coherentsiunits' contain coherent derived SI units.
+
+A coherent SI unit is the product of powers of the 7 base and 22 derived SI units. It can always be written as a product of powers of the 7 base SI units with a numerical factor in front of the product that is equal to one. Examples: m/s, Pa·m, etc...
+
+Note that this module is not complete and may be extended with more coherent SI units over time."""@en ,
+ """The module 'prefixedsiunits' contains prefixed SI units that are made of a metrix prefix and a unit symbol for a base or derived SI unit. Examples: km, ms, MPa, mg, etc...
+
+Note that this module is not complete and may be extended with more prefixed SI units over time."""@en ,
+ "The module 'siacceptedspecialunits' include the 15 non-SI special units that are accepted for use with the SI units."@en ,
"""The module 'sidimensionalunits' defines SI dimensional unit classes. These classes provide a categorisation of all units according to their SI physical dimensions.
This module provides a connection between physical quantities defined in the 'isq' modules and the units defined in the 'siunits' and 'unitsextension' modules."""@en ,
"""The module 'siunits' defines the 7 base units and 22 derived units as well as the metric prefixes specified in the SI system.
-All additional derived units, SI-based or not, goes into the 'units-extension' module."""@en ,
+All other SI units goes into one of the following modules:
+- prefixedsiunits: SI units made of a metric prefix and a SI base, derived or accepted unit. Examples: km, mg...
+- coherentsiunits: Coherent SI-units. Products of integer powers of the base and derived SI units. Examples: A/J, Nm, m³, ...
+- noncoherentsiunits: Non-coherent SI-units whos numerical factor in front of the product of base SI units is NOT equal to one. This include all SI-units not included in the modules above. Examples: g, mg/s..."""@en ,
+ "The perceptual module provides classes for the representation of human perceptions."@en ,
"The periodic table domain ontology provide a simple reference implementation of all atoms in the periodic table with a few selected conventional properties. It is ment as both an example for other domain ontologies as well as a useful assert by itself. Periodic table is released under the Creative Commons Attribution 4.0 International license (CC BY 4.0)."@en ,
"""The perspective module provides the practical implementation of the EMMO pluralistic approach for which the only objective categorization is provided by the Universe individual and all the Quantum individuals.
-
Between these two extremes, there are several subjective ways to categorize real world objects, each one provide under a 'Perspective' subclass."""@en ,
- """The semiotics module is based on the semiotic theory by Charles S. Peirce. It introduces the triadic semiotic process, called semiosis, with its participants an 'object' that is represented by a 'sign' producing another sign, the 'interpretant' and finally the 'interpreter' who connects the 'object', 'sign' and 'interpretant'.
-
+ """The semiotics module is inspired by the semiotic theory by Charles S. Peirce. It introduces the triadic semiotic process, called semiosis, with its participants an 'object' that is represented by a 'sign' producing another sign, the 'interpretant' and finally the 'interpreter' who connects the 'object', 'sign' and 'interpretant'.
The role of abstract objects are in EMMO fulfilled by semiotic objects, i.e. real world objects (e.g. symbol or sign) that stand for other real world objects that are to be interpreted by an agent. These symbols appear in actions (semiotic processes) meant to communicate meaning by establishing relationships between symbols (signs)."""@en ,
- """The symbolic multi-perspective combines the data and reductionistic perspectives to describe symbolic entities.
+ """The symbolic multi-perspective combines the contrast and reductionistic perspectives to describe symbolic entities.
-A symbolic entity is a descrite data that pocess a reductionistic structure, who's elements can be decoded to tokens from one or more alphabets.
+A symbolic entity is a discrete data that pocess a reductionistic structure, who's elements can be decoded to tokens from one or more alphabets.
The symbolic module includes symbols, symbolic constructs and formal languages."""@en ,
- "This ontology provides terms for chemical substances that can be referenced and re-used other resources."@en ;
- "https://zenodo.org/doi/10.5281/zenodo.10254978" ;
+ """The workflow multi-perspective combines the persistence and holistic perspectives to describe workflows as a process built up of a set of temporal tasks.
+
+Workflows may also be extended reductionistically into serial and parallel workflows."""@en ,
+ """This EMMO module deals with the representation of 'agency', meaning the manifestation of the capacity of an entity to act, the so called 'agent'. Moreover, based on philosophical motivations, the module provide a distinction between intentional and unintentional acts.
+The represeantion is part of the EMMO framework and makes use of mereocausality to represent the agency act."""@en ,
+ "This ontology provides terms for chemical substances that can be referenced and re-used other resources."@en ,
+ "Workflow"@en ;
+ "EMMO"@en ;
+ "F. A. Zaccarini, C. Masolo, E. Ghedini, and S. Borgo. From Causation (and Parthood) to Time: The Case of EMMO (2023) doi: 10.3233/FAIA231120" ,
+ "https://zenodo.org/doi/10.5281/zenodo.10254978" ;
,
- "Access, DE" ,
- "Adham Hashibon, University College of London, UK" ,
- "Adham Hashibon, University College of London, UK"@en ,
- "Anne de Baas, Goldbeck Consulting Ltd, UK"@en ,
- "Francesca L. Bleken, SINTEF, NO" ,
- "Francesca Lønstad Bleken, SINTEF, NO"@en ,
- "Francesco A. Zaccarini, University of Bologna, IT" ,
- "Francesco Zaccarini, University of Bologna, IT"@en ,
- "Fraunhofer IWM, DE" ,
- "Georg Schmitz, Access, DE" ,
- "Georg Schmitz, Access, DE"@en ,
- "Gerhard Goldbeck, Goldbeck Consulting Ltd, UK" ,
- "Gerhard Goldbeck, Goldbeck Consulting Ltd, UK"@en ,
- "Goldbeck Consulting Ltd (UK)" ,
- "Goldbeck Consulting Ltd, UK" ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
"Ilaria Maria Paponetti, University of Bologna, IT" ,
- "Jesper Friis, SINTEF, NO" ,
- "Jesper Friis, SINTEF, NO"@en ,
"Michael Noeske, FRAUNHOFER IFAM, DE"@en ,
- "SINTEF, NO" ,
- "Sebastiano Moruzzi, University of Bologna, IT"@en ,
- "Simon Clark, SINTEF, NO" ,
- "University of Bologna, IT" ;
- "2023-09-28"^^xsd:date ;
+ "https://w3id.org/emmo#JesperFriis" ;
+ "2023-09-28"^^xsd:date ,
+ "2024-03" ;
,
- "Adham Hashibon" ,
- "Emanuele Ghedini" ,
- "Emanuele Ghedini, University of Bologna, IT" ,
- "Emanuele Ghedini, University of Bologna, IT"@en ,
- "Francesca L. Bleken, SINTEF, NO" ,
- "Francesca Lønstad Bleken, SINTEF, NO"@en ,
- "Georg Schmitz" ,
- "Gerhard Goldbeck" ,
- "Gerhard Goldbeck, Goldbeck Consulting Ltd, UK" ,
- "Jesper Friis" ,
- "Jesper Friis (SINTEF, NO)" ,
- "Jesper Friis, SINTEF, NO" ,
- "Jesper Friis, SINTEF, NO"@en ,
- "Otello M. Roscioni, Goldbeck Consulting Ltd, UK" ;
- "2025-01-16"^^xsd:date ;
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ;
+ ;
+ "2018-05-03" ,
+ "2025-01-28"^^xsd:date ;
"https://creativecommons.org/licenses/by/4.0/legalcode" ,
"https://creativecommons.org/licenses/by/4.0/legalcode"@en ;
- "2025-01-16"^^xsd:date ;
- "EMMC ASBL" ,
- "EMMC ASBL"@en ,
- """EMMC ASBL
-European Materials Modelling Council
-Silversquare Stéphanie
-Avenue Louise 54
-1050 Brussels
-CBE no: 0731 621 312
-contact@emmc.eu"""@en ,
+ "2024-03" ,
+ "2025-01-28"^^xsd:date ;
+ ,
"EMMO" ;
- " " ;
- "Chemical Substance Domain Ontology"@en ,
+ " " ,
+ "CWA 17815, Materials characterisation - Terminology, metadata and classification. Led by EMMC. 2017. https://www.cencenelec.eu/media/CEN-CENELEC/CWAs/ICT/cwa17815.pdf" ,
+ "European Commission, Directorate-General for Research and Innovation, Baas, A., What makes a material function? - Let me compute the ways - Modelling in H2020 LEIT-NMBP programme materials and nanotechnology projects -Sixth version - Short version, Baas, A.(editor), Publications Office of the European Union, 2017, https://data.europa.eu/doi/10.2777/404734"@en ;
+ "Agency"@en ,
+ "Chemical Substance Domain Ontology"@en ,
"Chemistry"@en ,
+ "Coherent SI units"@en ,
"Computer science"@en ,
- "Distinctional"@en ,
+ "Contributors"@en ,
+ "Data"@en ,
+ "EMMO discipline-level ontology"@en ,
"EMMO perspectives-level ontology"@en ,
"Elementary Multiperspective Material Ontology"@en ,
"Elementary Multiperspective Material Ontology (EMMO)"@en ,
+ "Geometrical"@en ,
"Holistic"@en ,
"Information"@en ,
"International System of Quantities (ISQ)"@en ,
@@ -155,32 +160,33 @@ contact@emmc.eu"""@en ,
"Mereocausality"@en ,
"Metrology"@en ,
"Models"@en ,
+ "Non-coherent SI units"@en ,
"Perceptual"@en ,
"Periodic table"@en ,
"Persholistic"@en ,
"Persistence"@en ,
"Perspective"@en ,
"Physicalistic"@en ,
+ "Prefixed SI units"@en ,
"Properties"@en ,
"Reductionistic"@en ,
+ "Reference"@en ,
+ "SI accepted special units"@en ,
"SI dimensional units"@en ,
"SI units"@en ,
"Semiotics"@en ,
+ "Standard model"@en ,
+ "Structural"@en ,
"Symbolic"@en ,
- "Units extension"@en ;
- "10.5281/zenodo.10254978" ;
- "chems" ;
- "https://w3id.org/emmo/domain/chemical-substance" ;
- rdfs:comment """Contacts:
-Gerhard Goldbeck
-Goldbeck Consulting Ltd (UK)
-email: gerhard@goldbeck-consulting.com
-
-Emanuele Ghedini
-University of Bologna (IT)
-email: emanuele.ghedini@unibo.it"""@en ,
- "Contacts: emmo@emmc.eu" ,
- "Contacts: emmo@emmc.eu"@en ,
+ "Workflow"@en ;
+ "10.5281/zenodo.10254978" ,
+ "10.5281/zenodo.6528495" ;
+ "First release candidate for v1.0.0 of the top-level ontology." ;
+ "chems" ,
+ "emmo" ;
+ "https://w3id.org/emmo" ,
+ "https://w3id.org/emmo/domain/chemical-substance" ;
+ rdfs:comment ,
"""Note: this file has automatically been populated with dimensional units from QUDT.
We kindly acknowledge NIST for reusing their content, including the physical dimensionality of units."""@en ,
@@ -192,24 +198,21 @@ We kindly acknowledge NIST for reusing their content, including the selection of
We kindly acknowledge NIST for reusing their content, including the selection of units, their elucidations and conversion multiplier."""@en ,
"The EMMO requires FacT++ reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ,
"The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ,
- "The EMMO should be reasoned in order to visualize all inferences and class hierarchy in Protege (ctrl+R hotkey). It is tested with both the HermiT (preferred) and HermiT reasoners."@en ,
+ "The EMMO should be reasoned in order to visualize all inferences and class hierarchy in Protege (ctrl+R hotkey). It is tested with both the HermiT (preferred) and HermiT reasoners."@en ,
"The EMMO should be reasoned with HermiT to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ,
"This ontology is generated with EMMOntoPy using data from the ASE Python package."@en ,
"You can contact EMMO Authors via emmo@emmc.eu"@en ;
owl:backwardCompatibleWith " " ;
- owl:priorVersion "0.8.0-beta" ;
- owl:versionInfo "0.9.0-beta" ,
- "1.0.0-beta7" ;
+ owl:priorVersion "0.9.0-beta" ,
+ "1.0.0-beta7" ;
+ owl:versionInfo "0.10.0-beta" ,
+ "1.0.0" ;
+ ;
" " ,
"https://github.com/emmo-repo/EMMO/raw/master/doc/emmo-logo.png" ;
- """Emanuele Ghedini
-University of Bologna (IT)
-email: emanuele.ghedini@unibo.it"""@en ,
- """Gerhard Goldbeck
-Goldbeck Consulting Ltd (UK)
-email: gerhard@goldbeck-consulting.com"""@en ,
- "emmo@emmc.eu" ,
- "emmo@emmc.info"^^xsd:anyURI .
+ ;
+ "emmo@emmc.eu" ,
+ "emmo@emmc.eu"^^xsd:anyURI .
#################################################################
# Annotation properties
@@ -219,6 +222,10 @@ email: gerhard@goldbeck-consulting.com"""@en ,
rdf:type owl:AnnotationProperty .
+### http://purl.org/dc/terms/alternative
+ rdf:type owl:AnnotationProperty .
+
+
### http://purl.org/dc/terms/bibliographicCitation
rdf:type owl:AnnotationProperty .
@@ -235,6 +242,10 @@ email: gerhard@goldbeck-consulting.com"""@en ,
rdf:type owl:AnnotationProperty .
+### http://purl.org/dc/terms/hasFormat
+ rdf:type owl:AnnotationProperty .
+
+
### http://purl.org/dc/terms/issued
rdf:type owl:AnnotationProperty .
@@ -263,6 +274,10 @@ email: gerhard@goldbeck-consulting.com"""@en ,
rdf:type owl:AnnotationProperty .
+### http://purl.org/ontology/bibo/status
+ rdf:type owl:AnnotationProperty .
+
+
### http://purl.org/vocab/vann/preferredNamespacePrefix
rdf:type owl:AnnotationProperty .
@@ -291,14 +306,38 @@ owl:qualifiedCardinality rdf:type owl:AnnotationProperty .
rdf:type owl:AnnotationProperty .
+### http://www.w3.org/2004/02/skos/core#example
+ rdf:type owl:AnnotationProperty .
+
+
### http://www.w3.org/2004/02/skos/core#prefLabel
rdf:type owl:AnnotationProperty .
+### http://www.w3.org/ns/locn#fullAddress
+ rdf:type owl:AnnotationProperty .
+
+
+### http://xmlns.com/foaf/0.1/homepage
+ rdf:type owl:AnnotationProperty .
+
+
### http://xmlns.com/foaf/0.1/logo
rdf:type owl:AnnotationProperty .
+### http://xmlns.com/foaf/0.1/mbox
+ rdf:type owl:AnnotationProperty .
+
+
+### http://xmlns.com/foaf/0.1/name
+ rdf:type owl:AnnotationProperty .
+
+
+### http://xmlns.com/foaf/0.1/workplaceHomepage
+ rdf:type owl:AnnotationProperty .
+
+
### https://schema.org/additionalName
rdf:type owl:AnnotationProperty .
@@ -330,8 +369,8 @@ owl:qualifiedCardinality rdf:type owl:AnnotationProperty .
### https://w3id.org/emmo#EMMO_157fdf31_6387_42be_8e72_10530519214a
rdf:type owl:AnnotationProperty ;
- "figure"@en ;
- "A link to a graphical representation aimed to facilitate understanding of the concept, or of an annotation." .
+ "illustration"@en ;
+ "A link to a graphical representation aimed to facilitate understanding of the concept, or of an annotation."@en .
### https://w3id.org/emmo#EMMO_1f1b164d_ec6a_4faa_8d5e_88bda62316cc
@@ -378,11 +417,6 @@ owl:qualifiedCardinality rdf:type owl:AnnotationProperty .
"Pubchem URI for a compound or substance ID."@en .
-### https://w3id.org/emmo#EMMO_3aa37f92_8dc5_4ee4_8438_e41e6ae20c62
- rdf:type owl:AnnotationProperty ;
- "ISO9000Reference"@en .
-
-
### https://w3id.org/emmo#EMMO_50c298c2_55a2_4068_b3ac_4e948c33181f
rdf:type owl:AnnotationProperty ;
rdfs:seeAlso "https://www.electropedia.org/" ;
@@ -426,17 +460,25 @@ owl:qualifiedCardinality rdf:type owl:AnnotationProperty .
"A unit symbol may be a symbolic construct (e.g. km) or a symbol (e.g. m)."@en .
+### https://w3id.org/emmo#EMMO_8a137e9f_579c_4e28_baca_e8980eb0c3db
+ rdf:type owl:AnnotationProperty ;
+ "OWLRL2DLAxioms"@en ;
+ "Axioms to add to the OWL 2 RL version of the ontology to reach DL expressivity."@en .
+
+[ rdf:type owl:Axiom ;
+ owl:annotatedSource ;
+ owl:annotatedProperty ;
+ owl:annotatedTarget "Axioms to add to the OWL 2 RL version of the ontology to reach DL expressivity."@en ;
+ rdfs:seeAlso "https://www.w3.org/TR/2012/REC-owl2-profiles-20121211/"^^xsd:anyURI
+ ] .
+
+
### https://w3id.org/emmo#EMMO_8de5d5bf_db1c_40ac_b698_095ba3b18578
rdf:type owl:AnnotationProperty ;
rdfs:seeAlso "https://www.iso.org/obp/ui/#iso:std:iso:80000:-1:ed-1:v1:en"@en ;
+ "3-1.1 (ISO80000 reference to length)"@en ;
"ISO80000Reference"@en ;
- "Corresponding item number in ISO 80 000."@en ;
- "3-1.1 (ISO80000 reference to length)"@en .
-
-
-### https://w3id.org/emmo#EMMO_964568dd_64d2_454b_a12f_ac389f1c5e7f
- rdf:type owl:AnnotationProperty ;
- "ISO14040Reference"@en .
+ "Corresponding item number in ISO 80 000."@en .
### https://w3id.org/emmo#EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9
@@ -446,12 +488,6 @@ owl:qualifiedCardinality rdf:type owl:AnnotationProperty .
"An elucidation should address the real world entities using the concepts introduced by the conceptualisation annotation."@en .
-### https://w3id.org/emmo#EMMO_b432d2d5_25f4_4165_99c5_5935a7763c1a
- rdf:type owl:AnnotationProperty ;
- "example"@en ;
- "Illustrative example of how the entity is used."@en .
-
-
### https://w3id.org/emmo#EMMO_b8c10b72_7cc1_4e82_b4ab_728faf504919
rdf:type owl:AnnotationProperty ;
"molecularFormula"@en ;
@@ -461,24 +497,11 @@ owl:qualifiedCardinality rdf:type owl:AnnotationProperty .
### https://w3id.org/emmo#EMMO_bb49844b_45d7_4f0d_8cae_8e552cbc20d6
rdf:type owl:AnnotationProperty ;
rdfs:seeAlso "https://www.bipm.org/documents/20126/2071204/JCGM_200_2012.pdf"^^xsd:anyURI ;
+ "quantity value (term in VIM that corresponds to Quantity in EMMO)"@en ;
"VIMTerm"@en ;
- "quantity value (term in VIM that corresponds to Quantity in EMMO)"@en ;
"The term in the International vocabulary of metrology (VIM) (JCGM 200:2008) that corresponds to the annotated term in EMMO."@en .
-### https://w3id.org/emmo#EMMO_c6e77b51_681b_4d04_b20d_a08f2b977470
- rdf:type owl:AnnotationProperty ;
- "OWLDLRestrictedAxiom"@en ;
- "Axiom not included in the theory because of OWL 2 DL global restrictions for decidability."@en .
-
-[ rdf:type owl:Axiom ;
- owl:annotatedSource ;
- owl:annotatedProperty ;
- owl:annotatedTarget "Axiom not included in the theory because of OWL 2 DL global restrictions for decidability."@en ;
- rdfs:seeAlso "https://www.w3.org/TR/2012/REC-owl2-syntax-20121211/#Global_Restrictions_on_Axioms_in_OWL_2_DL"^^xsd:anyURI
- ] .
-
-
### https://w3id.org/emmo#EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f
rdf:type owl:AnnotationProperty ;
"comment"@en ;
@@ -517,6 +540,26 @@ owl:qualifiedCardinality rdf:type owl:AnnotationProperty .
"canonicalSMILES"@en .
+#################################################################
+# Datatypes
+#################################################################
+
+### http://www.w3.org/1999/02/22-rdf-syntax-ns#JSON
+rdf:JSON rdf:type rdfs:Datatype .
+
+
+### https://w3id.org/emmo#EMMO_799c067b_083f_4365_9452_1f1433b03676
+ rdf:type rdfs:Datatype ;
+ "\"3 cm\""@en ,
+ """A more complete example showing how to specify the value of a physical quantity in turtle using this datatype:
+
+ height1 a emmo:Height ;
+ hasSIQuantityValue \"3 cm\"^^emmo:SIQuantityDatatype ."""@en ;
+ "SIQuantityDatatype"@en ;
+ "A datatype for a specifying a physcial quantity as a string consisting of a numerical, a separator and an SI unit."@en ;
+ "The unit should be a valid, possible prefixed, derived SI unit."@en .
+
+
#################################################################
# Object Properties
#################################################################
@@ -527,61 +570,98 @@ owl:topObjectProperty owl:inverseOf owl:topObjectProperty ;
owl:TransitiveProperty .
+### https://w3id.org/emmo#EMMO_005fb227_d68a_4c41_bbee_e20bdd69a0bc
+ rdf:type owl:ObjectProperty ;
+ rdfs:subPropertyOf ,
+ [ owl:inverseOf
+ ] ;
+ owl:inverseOf ;
+ "isDeclaredBy"@en .
+
+
+### https://w3id.org/emmo#EMMO_0154a22e_2fd3_460a_a245_408ddb414f09
+ rdf:type owl:ObjectProperty ;
+ rdfs:subPropertyOf ,
+ [ owl:inverseOf
+ ] ;
+ rdf:type owl:AsymmetricProperty ,
+ owl:IrreflexiveProperty ;
+ rdfs:domain ;
+ "isObjectOutputOf"@en .
+
+
### https://w3id.org/emmo#EMMO_01e5766d_dac3_4574_8a78_310de92a5c9d
rdf:type owl:ObjectProperty ;
- rdfs:subPropertyOf ;
+ rdfs:subPropertyOf ,
+ [ owl:inverseOf
+ ] ;
+ owl:inverseOf ;
owl:propertyDisjointWith ;
rdfs:seeAlso ;
"isNotCauseOf"@en ;
"x isNotCauseOf y iff not(x isCauseOf y)"@en .
-### https://w3id.org/emmo#EMMO_0528e41d_edd2_49f9_bd2a_aeabdc215515
- rdf:type owl:ObjectProperty ;
- rdfs:subPropertyOf ,
- ,
- ;
- "hasMaximalCollection"@en .
-
-
-### https://w3id.org/emmo#EMMO_0558e802_46a4_45de_af85_47aff4dc427e
- rdf:type owl:ObjectProperty ;
- rdfs:subPropertyOf ,
- ,
- ;
- "hasFractionalMember"@en .
-
-
### https://w3id.org/emmo#EMMO_057d0573_6ac0_4c27_9e3f_3c29205fd104
rdf:type owl:ObjectProperty ;
- rdfs:subPropertyOf ;
+ rdfs:subPropertyOf ,
+ [ owl:inverseOf
+ ] ;
+ owl:inverseOf ;
rdfs:domain ;
rdfs:range ;
"hasDeducer"@en ;
"A semiotic relation connecting an index sign to the interpreter (deducer) in a deduction process."@en .
+### https://w3id.org/emmo#EMMO_07808d05_18d1_4253_96e5_58b8277347de
+ rdf:type owl:ObjectProperty ;
+ rdfs:subPropertyOf ,
+ [ owl:inverseOf
+ ] ;
+ owl:inverseOf ;
+ "isPortionPartOf"@en .
+
+
+### https://w3id.org/emmo#EMMO_0949a7de_78dc_421d_8603_3b685cb927a3
+ rdf:type owl:ObjectProperty ;
+ rdfs:subPropertyOf ,
+ [ owl:inverseOf
+ ] ;
+ owl:inverseOf ;
+ rdfs:isDefinedBy ;
+ "isMemberOf"@en .
+
+
### https://w3id.org/emmo#EMMO_0aa934ee_1ad4_4345_8a7f_bc73ec67c7e5
rdf:type owl:ObjectProperty ;
- rdfs:subPropertyOf ;
+ rdfs:subPropertyOf ,
+ [ owl:inverseOf
+ ] ;
rdfs:range ;
rdfs:comment "Relates an object to a quantity describing a quantifiable property of the object obtained via a well-defined procedure."@en ;
"hasObjectiveProperty"@en .
-### https://w3id.org/emmo#EMMO_0b1502e2_d12f_4ff3_83b1_eeedf9382954
- rdf:type owl:ObjectProperty ;
- rdfs:subPropertyOf ;
- rdfs:domain ;
- "hasOutcome"@en ;
- "The relation between a process and the entity that represents how things have turned out."@en .
+### https://w3id.org/emmo#EMMO_0c1009ee_d84c_4b8c_bcea_756f07af1b32
+ rdf:type owl:ObjectProperty ;
+ rdfs:subPropertyOf ,
+ [ owl:inverseOf
+ ] ;
+ owl:inverseOf ;
+ rdf:type owl:AsymmetricProperty ,
+ owl:IrreflexiveProperty ;
+ rdfs:range ;
+ rdfs:seeAlso ;
+ "hasObjectInput"@en .
### https://w3id.org/emmo#EMMO_0d829933_29e3_4e61_b3d3_88e6b9d0d0ce
rdf:type owl:ObjectProperty ;
- rdfs:subPropertyOf ;
+ rdfs:subPropertyOf ,
+ [ owl:inverseOf
+ ] ;
rdfs:domain ;
- rdfs:range ;
"hasDeclared"@en ;
"A semiotic relation connecting a declaring interpreter to the \"declared\" semiotic object in a declaration process."@en .
@@ -594,28 +674,84 @@ owl:topObjectProperty owl:inverseOf owl:topObjectProperty ;
"hasManufacturedOutput"@en .
-### https://w3id.org/emmo#EMMO_0eb37d3d_b633_4ea4_a863_8b7a27c6fdb4
- rdf:type owl:ObjectProperty ;
- rdfs:subPropertyOf ;
- "hasHeterogeneousPart"@en ;
- "The part is not connected with the rest item or members with hasNext (or its inverse) only or hasContact relations only."@en .
+### https://w3id.org/emmo#EMMO_0ed18c6b_8289_44fd_a7d7_c15a8786cdc0
+ rdf:type owl:ObjectProperty ;
+ rdfs:subPropertyOf ,
+ [ owl:inverseOf
+ ] ;
+ owl:inverseOf ;
+ "isInterpretationAccordingTo"@en .
### https://w3id.org/emmo#EMMO_0ee9e6a2_9240_4b1d_ac9a_f72416c7dc70
rdf:type owl:ObjectProperty ;
- rdfs:subPropertyOf ;
+ rdfs:subPropertyOf ,
+ [ owl:inverseOf
+ ] ;
rdfs:range ;
"hasProductOutput"@en .
+### https://w3id.org/emmo#EMMO_11501e0a_4442_4bd0_8483_7ea6dc8ba444
+ rdf:type owl:ObjectProperty ;
+ rdfs:subPropertyOf ,
+ [ owl:inverseOf
+ ] ;
+ owl:inverseOf ;
+ rdfs:seeAlso ;
+ "hasDirectCause" ;
+ "directlyCausedBye"@en .
+
+
+### https://w3id.org/emmo#EMMO_1328d112_e731_4e56_b9b9_6b6cdd495cd6
+ rdf:type owl:ObjectProperty ;
+ rdfs:subPropertyOf ,
+ [ owl:inverseOf
+ ] ;
+ owl:inverseOf ;
+ "A molecule is a distinct part of a fluid."@en ;
+ "hasDistinctPart"@en ;
+ "DP(x, y) ≡ PP(x, y) ∧ ∃φ[φ(x) ↔ ¬φ(y)]" ;
+ "The superproperty of all object property relations between an entity and one of its proper parts that belongs to different taxonomical branch."@en ;
+ "A part is always distinct xor redundant."@en .
+
+[ rdf:type owl:Axiom ;
+ owl:annotatedSource ;
+ owl:annotatedProperty ;
+ owl:annotatedTarget "DP(x, y) ≡ PP(x, y) ∧ ∃φ[φ(x) ↔ ¬φ(y)]" ;
+ "We usa a predicate template notation as DP<φ>(x,y) to specify subclasses of DP(x,y) for the class φ, meaning that DP<φ>(x, y) ≡ PP(x, y) ∧ (φ(x) ↔ ¬φ(y))"@en ,
+ "φ is a class of the theory"@en
+ ] .
+
+[ rdf:type owl:Axiom ;
+ owl:annotatedSource ;
+ owl:annotatedProperty ;
+ owl:annotatedTarget "A part is always distinct xor redundant."@en ;
+ rdfs:seeAlso
+ ] .
+
+
### https://w3id.org/emmo#EMMO_1440d010_e4c5_4597_8858_1d58cb1fb28f
rdf:type owl:ObjectProperty ;
- rdfs:subPropertyOf ;
+ rdfs:subPropertyOf ;
rdfs:domain ;
rdfs:range ;
"hasStatus"@en .
+### https://w3id.org/emmo#EMMO_1494c1a9_00e1_40c2_a9cc_9bbf302a1cac
+ rdf:type owl:ObjectProperty ;
+ rdfs:subPropertyOf ,
+ [ owl:inverseOf
+ ] ;
+ owl:inverseOf ;
+ rdf:type owl:AsymmetricProperty ,
+ owl:IrreflexiveProperty ;
+ rdfs:range ;
+ rdfs:seeAlso ;
+ "isInputOf"@en .
+
+
### https://w3id.org/emmo#EMMO_16b510a6_0584_4134_bdb6_3bc185c17860
rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf ;
@@ -623,18 +759,9 @@ owl:topObjectProperty owl:inverseOf owl:topObjectProperty ;
rdfs:comment """An object can be represented by a quantity for the fact that it has been recognized to belong to a specific class.
The quantity is selected without an observation aimed to measure its actual value, but by convention.""" ;
+