diff --git a/.github/expected_redirections.yaml b/.github/expected_redirections.yaml
index c541a871..552913b2 100644
--- a/.github/expected_redirections.yaml
+++ b/.github/expected_redirections.yaml
@@ -9,6 +9,26 @@
---
redirections:
+
+ # CHAMEO
+ https://w3id.org/emmo/domain/characterisation-methodology/chameo: https://emmo-repo.github.io/domain-characterisation-methodology/chameo.ttl
+ https://w3id.org/emmo/domain/characterisation-methodology/chameo#: https://emmo-repo.github.io/domain-characterisation-methodology/chameo.ttl
+ https://w3id.org/emmo/domain/characterisation-methodology/chameo/inferred: https://emmo-repo.github.io/domain-characterisation-methodology/chameo-inferred.ttl
+ https://w3id.org/emmo/domain/characterisation-methodology/chameo/turtle: https://emmo-repo.github.io/domain-characterisation-methodology/chameo.ttl
+ #https://w3id.org/emmo/domain/characterisation-methodology/chameo/context: https://emmo-repo.github.io/domain-characterisation-methodology/context/chameo.json
+ #https://w3id.org/emmo/domain/characterisation-methodology/chameo/context/ch: https://emmo-repo.github.io/domain-characterisation-methodology/context/ch.json
+
+ #https://w3id.org/emmo/domain/characterisation-methodology/chameo/: https://raw.githubusercontent.com/emmo-repo/domain-characterisation-methodology/master/chameo.ttl
+ https://w3id.org/emmo/domain/characterisation-methodology/chameo/latest: https://raw.githubusercontent.com/emmo-repo/domain-characterisation-methodology/master/chameo.ttl
+ https://w3id.org/emmo/domain/characterisation-methodology/chameo/latest/: https://raw.githubusercontent.com/emmo-repo/domain-characterisation-methodology/master/chameo.ttl
+ https://w3id.org/emmo/domain/characterisation-methodology/chameo/source: https://raw.githubusercontent.com/emmo-repo/domain-characterisation-methodology/master/chameo.ttl
+ https://w3id.org/emmo/domain/characterisation-methodology/chameo/source/: https://raw.githubusercontent.com/emmo-repo/domain-characterisation-methodology/master/chameo.ttl
+
+ #https://w3id.org/emmo/domain/characterisation-methodology/chameo/1.0.0-beta3: https://emmo-repo.github.io/domain-characterisation-methodology/versions/1.0.0-beta3/chameo.ttl
+
+ https://w3id.org/emmo/domain/characterisation-methodology/chameo/1.0.0-beta3/source: https://raw.githubusercontent.com/emmo-repo/domain-characterisation-methodology/1.0.0-beta3/chameo.ttl
+
+
# EMMO
https://w3id.org/emmo#fragment: https://emmo-repo.github.io/emmo.ttl#fragment # ttl file because tests are not from a browser
diff --git a/.github/scripts/makedoc.sh b/.github/scripts/makedoc.sh
index 440e8d30..e137d1c3 100755
--- a/.github/scripts/makedoc.sh
+++ b/.github/scripts/makedoc.sh
@@ -19,9 +19,19 @@ outdir=$3
[ $# -ne 3 ] && echo "Usage: makedoc.sh inferred version outdir" && exit 1
set -x
-cd "$rootdir/doc/emmodoc"
-ontodoc --template=emmo.md --format=html -p variable=version:$version \
- "$inferred" "$outdir/emmo.html"
-ontodoc --template=emmo.md -p variable=version:$version \
- "$inferred" "$outdir/emmo.pdf"
+tmpdir=/tmp
+
+
+mkdir -p $tmpdir
+ontodoc --iri-regex=https://w3id.org/emmo --imported emmo-full.ttl "${tmpdir}/emmo.rst"
+
+mkdir -p public
+sphinx-build "${tmpdir}/" "${outdir}/"
+
+#cd "$rootdir/doc/emmodoc"
+#ontodoc --template=emmo.md --format=html -p variable=version:$version \
+# "$inferred" "$outdir/emmo.html"
+#
+#ontodoc --template=emmo.md -p variable=version:$version \
+# "$inferred" "$outdir/emmo.pdf"
diff --git a/.github/versions.txt b/.github/versions.txt
index f6372dfb..d559d8c8 100644
--- a/.github/versions.txt
+++ b/.github/versions.txt
@@ -1,8 +1,10 @@
-1.0.0-rc1 development
+1.0.0-rc3 development
+1.0.0-rc2 stable
+1.0.0-rc1
1.0.0-beta7
1.0.0-beta6
1.0.0-beta5
-1.0.0-beta4 stable
+1.0.0-beta4
1.0.0-beta3
1.0.0-beta2
1.0.0-beta
diff --git a/.github/workflows/cd_update_pages.yml b/.github/workflows/cd_update_pages.yml
index 23de4097..65304bdc 100644
--- a/.github/workflows/cd_update_pages.yml
+++ b/.github/workflows/cd_update_pages.yml
@@ -42,8 +42,9 @@ jobs:
run: |
pip install --upgrade pip
pip install sphinx sphinxcontrib-globalsubs sphinx_design nbsphinx pydata-sphinx-theme
- pip install git+https://github.com/emmo-repo/EMMOntoPy.git@master
- #pip install sphinx EMMOntoPy
+ #pip install git+https://github.com/emmo-repo/EMMOntoPy.git@master
+ pip install git+https://github.com/emmo-repo/EMMOntoPy.git@fix-rename-iris
+
- name: Create and prepare build and public directories
run: |
@@ -56,12 +57,15 @@ jobs:
ontoconvert -sawe --base-iri="https://w3id.org/emmo#" --iri=https://w3id.org/emmo emmo-full.ttl public/emmo-full.ttl
#ontoconvert --reasoner=Pellet public/emmo.ttl public/emmo-inferred.ttl
#ontoconvert --reasoner=Pellet public/emmo-full.ttl public/emmo-full-inferred.ttl
- bin/robot reason --reasoner ELK --input public/emmo.ttl --output public/emmo-inferred.ttl
- bin/robot reason --reasoner ELK --input public/emmo-full.ttl --output public/emmo-full-inferred.ttl
+ #bin/robot reason --reasoner ELK --input public/emmo.ttl --output public/emmo-inferred.ttl
+ #bin/robot reason --reasoner ELK --input public/emmo-full.ttl --output public/emmo-full-inferred.ttl
+ bin/robot reason --reasoner HermiT --input public/emmo.ttl --output public/emmo-inferred.ttl
+ bin/robot reason --reasoner JFact --input public/emmo-full.ttl --output public/emmo-full-inferred.ttl
ontoconvert public/emmo.ttl public/emmo.owl
ontoconvert public/emmo-full.ttl public/emmo-full.owl
ontoconvert public/emmo-inferred.ttl public/emmo-inferred.owl
ontoconvert public/emmo-full-inferred.ttl public/emmo-full-inferred.owl
+ ontoconvert --rename-iris -- public/emmo.ttl public/emmo-for-humans.ttl
- name: Generate html documentation (based on emmo-full)
run: |
diff --git a/.github/workflows/ci_emmocheck.yml b/.github/workflows/ci_emmocheck.yml
index 4d151f78..1310860a 100644
--- a/.github/workflows/ci_emmocheck.yml
+++ b/.github/workflows/ci_emmocheck.yml
@@ -4,7 +4,7 @@ on: [push]
jobs:
build:
- runs-on: ubuntu-18.04
+ runs-on: ubuntu-latest
strategy:
max-parallel: 1
matrix:
@@ -21,7 +21,8 @@ jobs:
- name: Install EMMOntoPy
run: |
pip install --upgrade pip
- pip install EMMOntoPy
+ #pip install EMMOntoPy
+ pip install git+https://github.com/emmo-repo/EMMOntoPy.git@update-emmocheck2
- name: Check EMMO
run: |
diff --git a/README.md b/README.md
index dcb94b41..62266e36 100644
--- a/README.md
+++ b/README.md
@@ -125,14 +125,14 @@ The reference ontologies are intended to be used by domain ontologies and import
| Reference ontology | IRI |
| ------------------ | ------------------------------------------------------------------------------------------------------------------------------------------------- |
-| Materials | [https://w3id.org/emmo/multiperspective/materials](https://raw.githubusercontent.com/emmo-repo/EMMO/1.0.0-rc1/multiperspective/materials.ttl) |
-| Math | [https://w3id.org/emmo/multiperspective/math](https://raw.githubusercontent.com/emmo-repo/EMMO/1.0.0-rc1/multiperspective/math.ttl) |
-| Models | [https://w3id.org/emmo/multiperspective/models](https://raw.githubusercontent.com/emmo-repo/EMMO/1.0.0-rc1/multiperspective/models.ttl) |
-| Properties | [https://w3id.org/emmo/multiperspective/properties](https://raw.githubusercontent.com/emmo-repo/EMMO/1.0.0-rc1/multiperspective/properties.ttl) |
-| Metrology | [https://w3id.org/emmo/multiperspective/metrology](https://raw.githubusercontent.com/emmo-repo/EMMO/1.0.0-rc1/multiperspective/metrology.ttl) |
-| Isq | [https://w3id.org/emmo/multiperspective/isq](https://raw.githubusercontent.com/emmo-repo/EMMO/1.0.0-rc1/multiperspective/isq.ttl) |
-| Siunits | [https://w3id.org/emmo/domain/siunits](https://raw.githubusercontent.com/emmo-repo/EMMO/1.0.0-rc1/domain/siunits.ttl) |
-| Chemistry | [https://w3id.org/emmo/multiperspective/chemistry](https://raw.githubusercontent.com/emmo-repo/EMMO/1.0.0-rc1/multiperspective/chemistry.ttl) |
+| Materials | [https://w3id.org/emmo/reference/materials](https://raw.githubusercontent.com/emmo-repo/EMMO/1.0.0-rc3/reference/materials.ttl) |
+| Math | [https://w3id.org/emmo/reference/math](https://raw.githubusercontent.com/emmo-repo/EMMO/1.0.0-rc3/reference/math.ttl) |
+| Models | [https://w3id.org/emmo/reference/models](https://raw.githubusercontent.com/emmo-repo/EMMO/1.0.0-rc3/reference/models.ttl) |
+| Properties | [https://w3id.org/emmo/disciplines/properties](https://raw.githubusercontent.com/emmo-repo/EMMO/1.0.0-rc3/disciplines/properties.ttl) |
+| Metrology | [https://w3id.org/emmo/reference/metrology](https://raw.githubusercontent.com/emmo-repo/EMMO/1.0.0-rc3/reference/metrology.ttl) |
+| Isq | [https://w3id.org/emmo/reference/isq](https://raw.githubusercontent.com/emmo-repo/EMMO/1.0.0-rc3/reference/isq.ttl) |
+| Siunits | [https://w3id.org/emmo/domain/siunits](https://raw.githubusercontent.com/emmo-repo/EMMO/1.0.0-rc3/domain/siunits.ttl) |
+| Chemistry | [https://w3id.org/emmo/reference/chemistry](https://raw.githubusercontent.com/emmo-repo/EMMO/1.0.0-rc3/reference/chemistry.ttl) |
### Domain Ontologies
@@ -199,7 +199,7 @@ Protégé will automatically download all the necessary dependencies.
The EMMO hierarchy will be visible only after reasoning inference: use *ctrl-R* to start the reasoner and under the *Entities* tab, select the *Classes* subtab and *Inferred* in the scroll button.
-From EMMO 1.0.0-rc1 it is recommended to use HermiT as reasoner (distributed by default with Protege).
+From EMMO 1.0.0-rc3 it is recommended to use HermiT as reasoner (distributed by default with Protege).
For earlier EMMO versions is FaCT++ the recommended reasoner.
You can select it through the menu *Reasoner*.
An instruction for how to install the FaCT++ plugin on Protege 5.5.0 on Windows can be found in the [doc subdirectory](doc/installing_factplusplus.md).
diff --git a/catalog-v001.xml b/catalog-v001.xml
index 907a268d..64d8e366 100644
--- a/catalog-v001.xml
+++ b/catalog-v001.xml
@@ -2,64 +2,66 @@
-
-
+
+
-
+
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
+
+
+
-
-
-
-
-
-
-
+
+
+
+
+
+
+
-
-
-
-
+
+
+
+
-
-
-
+
+
+
diff --git a/contributors.ttl b/contributors.ttl
index 0e3f536c..8c88c6c8 100644
--- a/contributors.ttl
+++ b/contributors.ttl
@@ -1,6 +1,7 @@
@prefix : .
@prefix rdf: .
@prefix rdfs: .
+@prefix xsd: .
@prefix owl: .
@prefix dcterms: .
@prefix skos: .
@@ -8,17 +9,29 @@
@prefix locn: .
rdf:type owl:Ontology ;
- owl:versionIRI ;
+ owl:versionIRI ;
dcterms:abstract "People and organisations who has contributed to the development of EMMO."@en ;
dcterms:license "https://creativecommons.org/licenses/by/4.0/legalcode" ;
dcterms:publisher ;
dcterms:title "Contributors"@en ;
- owl:versionInfo "1.0.0-rc1" ;
+ owl:versionInfo "1.0.0-rc3" ;
foaf:mbox ;
:EMMO_1246b120_abbe_4840_b0f8_3e4348b24a17 "emmo@emmc.eu" .
+#################################################################
+# Data properties
+#################################################################
+
+### https://w3id.org/emmo/contributors#EMMO_e117f976_7a5d_4508_bf85_9226dca58e1f
+:EMMO_e117f976_7a5d_4508_bf85_9226dca58e1f rdf:type owl:DatatypeProperty ;
+ rdfs:range xsd:anyURI ;
+ rdfs:comment "Relates an individual to an ORCID that identifies the individual."@en ,
+ "The domain is not provided to not impose restrictions on the individual carrying the ORCID. Typically it will be a person (maximal) or a temporal part of a person."@en ;
+ skos:prefLabel "hasORCID"@en .
+
+
#################################################################
# Individuals
#################################################################
@@ -27,89 +40,98 @@
# People
# ======
-### https://orcid.org/0000-0003-3805-8761
- rdf:type owl:NamedIndividual ;
- skos:prefLabel "Emanuele Ghedini" ;
- foaf:name "Emanuele Ghedini" ;
- foaf:workplaceHomepage .
+:EmanueleGhedini rdf:type owl:NamedIndividual ;
+ :EMMO_e117f976_7a5d_4508_bf85_9226dca58e1f "https://orcid.org/0000-0003-3805-8761"^^xsd:anyURI ;
+ skos:prefLabel "EmanueleGhedini" ;
+ foaf:name "Emanuele Ghedini" ;
+ foaf:workplaceHomepage .
+
+
+:JesperFriis rdf:type owl:NamedIndividual ;
+ :EMMO_e117f976_7a5d_4508_bf85_9226dca58e1f "https://orcid.org/0000-0002-1560-809X"^^xsd:anyURI ;
+ skos:prefLabel "JesperFriis" ;
+ foaf:name "Jesper Friis" ;
+ foaf:workplaceHomepage .
+
+:GerhardGoldbeck rdf:type owl:NamedIndividual ;
+ :EMMO_e117f976_7a5d_4508_bf85_9226dca58e1f "https://orcid.org/0000-0002-4181-2852"^^xsd:anyURI ;
+ skos:prefLabel "GerhardGoldbeck" ;
+ foaf:name "Gerhard Goldbeck" ;
+ foaf:workplaceHomepage .
-### https://orcid.org/0000-0002-1560-809X
- rdf:type owl:NamedIndividual ;
- skos:prefLabel "Jesper Friis" ;
- foaf:name "Jesper Friis" ;
- foaf:workplaceHomepage .
+:AdhamHashibon rdf:type owl:NamedIndividual ;
+ :EMMO_e117f976_7a5d_4508_bf85_9226dca58e1f "https://orcid.org/0000-0003-0514-9229"^^xsd:anyURI ;
+ skos:prefLabel "AdhamHashibon" ;
+ foaf:name "Adham Hashibon" ;
+ foaf:workplaceHomepage .
-### https://orcid.org/0000-0002-4181-2852
- rdf:type owl:NamedIndividual ;
- skos:prefLabel "Gerhard Goldbeck" ;
- foaf:name "Gerhard Goldbeck" ;
- foaf:workplaceHomepage .
+:GeorgSchmitz rdf:type owl:NamedIndividual ;
+ :EMMO_e117f976_7a5d_4508_bf85_9226dca58e1f "https://orcid.org/0000-0003-4065-9742"^^xsd:anyURI ;
+ skos:prefLabel "GeorgJSchmitz" ;
+ foaf:name "Georg J. Schmitz" .
-### https://orcid.org/0000-0003-0514-9229
- rdf:type owl:NamedIndividual ;
- skos:prefLabel "Adham Hashibon" ;
- foaf:name "Adham Hashibon" ;
- foaf:workplaceHomepage .
+:AnnedeBaas rdf:type owl:NamedIndividual ;
+ :EMMO_e117f976_7a5d_4508_bf85_9226dca58e1f "https://orcid.org/0009-0007-5850-6628"^^xsd:anyURI ;
+ skos:prefLabel "AnnedeBaas" ;
+ foaf:name "Anne de Baas" ;
+ foaf:workplaceHomepage .
-### https://orcid.org/0000-0003-4065-9742
- rdf:type owl:NamedIndividual ;
- skos:prefLabel "Georg J. Schmitz" ;
- foaf:name "Georg J. Schmitz" .
+:FrancescoZaccarini rdf:type owl:NamedIndividual ;
+ :EMMO_e117f976_7a5d_4508_bf85_9226dca58e1f "https://orcid.org/0009-0008-8009-5009"^^xsd:anyURI ;
+ skos:prefLabel "FrancescoZaccarini" ;
+ foaf:name "Francesco A. Zaccarini" ;
+ foaf:workplaceHomepage .
-### https://orcid.org/0009-0007-5850-6628
- rdf:type owl:NamedIndividual ;
- skos:prefLabel "Anne de Baas" ;
- foaf:name "Anne de Baas" ;
- foaf:workplaceHomepage .
+:SebastianoMoruzzi rdf:type owl:NamedIndividual ;
+ :EMMO_e117f976_7a5d_4508_bf85_9226dca58e1f "https://orcid.org/0000-0001-9189-2400"^^xsd:anyURI ;
+ skos:prefLabel "SebastianoMoruzzi" ;
+ foaf:name "Sebastiano Moruzzi" ;
+ foaf:workplaceHomepage .
-### https://orcid.org/0009-0008-8009-5009
- rdf:type owl:NamedIndividual ;
- skos:prefLabel "Francesco A. Zaccarini" ;
- foaf:name "Francesco A. Zaccarini" ;
- foaf:workplaceHomepage .
+:FrancescaBleken rdf:type owl:NamedIndividual ;
+ :EMMO_e117f976_7a5d_4508_bf85_9226dca58e1f "https://orcid.org/0000-0001-8869-3718"^^xsd:anyURI ;
+ skos:prefLabel "FrancescaLonstadBleken" ;
+ foaf:name "Francesca Lønstad Bleken" ;
+ foaf:workplaceHomepage .
-### https://orcid.org/0000-0001-9189-2400
- rdf:type owl:NamedIndividual ;
- skos:prefLabel "Sebastiano Moruzzi" ;
- foaf:name "Sebastiano Moruzzi" ;
- foaf:workplaceHomepage .
+:SimonClark rdf:type owl:NamedIndividual ;
+ :EMMO_e117f976_7a5d_4508_bf85_9226dca58e1f "https://orcid.org/0000-0002-8758-6109"^^xsd:anyURI ;
+ skos:prefLabel "SimonClark" ;
+ foaf:name "Simon Clark" ;
+ foaf:workplaceHomepage .
-### https://orcid.org/0000-0001-8869-3718
- rdf:type owl:NamedIndividual ;
- skos:prefLabel "Francesca Lønstad Bleken" ;
- foaf:name "Francesca Lønstad Bleken" ;
- foaf:workplaceHomepage .
+:OtelloRoscioni rdf:type owl:NamedIndividual ;
+ :EMMO_e117f976_7a5d_4508_bf85_9226dca58e1f "https://orcid.org/0000-0001-7815-6636"^^xsd:anyURI ;
+ skos:prefLabel "OtelloMRoscioni" ;
+ foaf:name "Otello M. Roscioni" ;
+ foaf:workplaceHomepage .
-### https://orcid.org/0000-0002-8758-6109
- rdf:type owl:NamedIndividual ;
- skos:prefLabel "Simon Clark" ;
- foaf:name "Simon Clark" ;
- foaf:workplaceHomepage .
+:MichaelNorske rdf:type owl:NamedIndividual ;
+ :EMMO_e117f976_7a5d_4508_bf85_9226dca58e1f "https://orcid.org/0000-0002-5417-6808"^^xsd:anyURI ;
+ skos:prefLabel "PaulLudwigMichaelNoeske" ;
+ foaf:name "Paul-Ludwig Michael Noeske" ;
+ foaf:workplaceHomepage .
-### https://orcid.org/0000-0001-7815-6636
- rdf:type owl:NamedIndividual ;
- skos:prefLabel "Otello M. Roscioni" ;
- foaf:name "Otello M. Roscioni" ;
- foaf:workplaceHomepage .
# Organisations
# =============
### https://emmc.eu
- rdf:type owl:NamedIndividual ;
- skos:prefLabel "EMMC ASBL" ;
+:EMMC_ASBL rdf:type owl:NamedIndividual ;
+ skos:prefLabel "EMMC_ASBL" ;
foaf:name "EMMC ASBL" ;
+ foaf:homepage "https://emmc.eu" ;
locn:fullAddress """EMMC ASBL
European Materials Modelling Council
Silversquare Stéphanie
diff --git a/disciplines/catalog-v001.xml b/disciplines/catalog-v001.xml
index 338e2c53..69e35330 100644
--- a/disciplines/catalog-v001.xml
+++ b/disciplines/catalog-v001.xml
@@ -2,63 +2,64 @@
-
+
-
+
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
+
+
+
+
-
-
-
+
+
+
diff --git a/disciplines/chemistry.ttl b/disciplines/chemistry.ttl
index 8174908a..406656a5 100644
--- a/disciplines/chemistry.ttl
+++ b/disciplines/chemistry.ttl
@@ -9,19 +9,19 @@
@base .
rdf:type owl:Ontology ;
- owl:versionIRI ;
- owl:imports ,
- ;
+ owl:versionIRI ;
+ owl:imports ,
+ ;
dcterms:abstract "The chemistry module populates the physicalistic perspective with materials subclasses categorised according to modern applied chemistry."@en ;
- dcterms:creator ,
- ,
- ;
+ dcterms:creator :EmanueleGhedini ,
+ :GerhardGoldbeck ,
+ :JesperFriis ;
dcterms:license "https://creativecommons.org/licenses/by/4.0/legalcode" ;
dcterms:publisher ;
dcterms:title "Chemistry"@en ;
- :EMMO_1246b120_abbe_4840_b0f8_3e4348b24a17 "emmo@emmc.eu" ;
rdfs:comment "The EMMO requires FacT++ reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ;
- owl:versionInfo "1.0.0-rc1" .
+ owl:versionInfo "1.0.0-rc3" ;
+ :EMMO_1246b120_abbe_4840_b0f8_3e4348b24a17 "emmo@emmc.eu" .
#################################################################
# Annotation properties
@@ -45,6 +45,17 @@
rdfs:subPropertyOf rdfs:seeAlso .
+#################################################################
+# Data properties
+#################################################################
+
+### https://w3id.org/emmo#EMMO_40c65eb4_5b58_4b13_8752_9976582380af
+:EMMO_40c65eb4_5b58_4b13_8752_9976582380af rdf:type owl:DatatypeProperty ;
+ rdfs:subPropertyOf :EMMO_23b579e1_8088_45b5_9975_064014026c42 ;
+ rdfs:domain :EMMO_d357e0dd_3497_4590_af6f_7954db7fecf7 ;
+ skos:prefLabel "chemicalSymbolValue"@en .
+
+
#################################################################
# Classes
#################################################################
@@ -145,11 +156,7 @@ The class Material hosts the subclasses for which a substance can be identified
### https://w3id.org/emmo#EMMO_4f40def1_3cd7_4067_9596_541e9a5134cf
:EMMO_4f40def1_3cd7_4067_9596_541e9a5134cf rdf:type owl:Class ;
rdfs:subClassOf :EMMO_a1083d0a_c1fb_471f_8e20_a98f881ad527 ,
- :EMMO_abf7efbe_6b04_41b8_8326_4dd0f6be753e ,
- [ rdf:type owl:Restriction ;
- owl:onProperty :EMMO_23b579e1_8088_45b5_9975_064014026c42 ;
- owl:someValuesFrom xsd:string
- ] ;
+ :EMMO_abf7efbe_6b04_41b8_8326_4dd0f6be753e ;
rdfs:comment """The IUPAC Gold Book defines the a chemical element both as:
- a species of atoms; all atoms with the same number of protons in the atomic nucleus
- a pure chemical substance composed of atoms with the same number of protons in the atomic nucleus
@@ -292,7 +299,6 @@ This qualifies a chemical element as a name and not a matter obejct that can sta
skos:prefLabel "CondensedFormula"@en .
-
### https://w3id.org/emmo#EMMO_cbcf8fe6_6da6_49e0_ab4d_00f737ea9689
:EMMO_cbcf8fe6_6da6_49e0_ab4d_00f737ea9689 rdf:type owl:Class ;
owl:equivalentClass [ rdf:type owl:Class ;
@@ -366,7 +372,6 @@ Chemical species is the macroscopic equivalent of molecular entity and refers to
:EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d "https://en.wikipedia.org/wiki/Chemical_compound" .
-
### https://w3id.org/emmo#EMMO_ecc4efe9_77a2_47e3_8190_f9a883d54ac6
:EMMO_ecc4efe9_77a2_47e3_8190_f9a883d54ac6 rdf:type owl:Class ;
rdfs:subClassOf :EMMO_eb7de1a1_c30e_4f0d_94c6_fe70414d7e61 ;
@@ -374,4 +379,4 @@ Chemical species is the macroscopic equivalent of molecular entity and refers to
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A representation of objects belonging to the chemistry field." .
-### Generated by the OWL API (version 4.5.26.2023-07-17T20:34:13Z) https://github.com/owlcs/owlapi
+### Generated by the OWL API (version 4.5.29.2024-05-13T12:11:03Z) https://github.com/owlcs/owlapi
diff --git a/disciplines/computerscience.ttl b/disciplines/computerscience.ttl
index 048a9270..9c942096 100644
--- a/disciplines/computerscience.ttl
+++ b/disciplines/computerscience.ttl
@@ -9,21 +9,21 @@
@base .
rdf:type owl:Ontology ;
- owl:versionIRI ;
- owl:imports ,
- ,
- ;
+ owl:versionIRI ;
+ owl:imports ,
+ ,
+ ;
dcterms:abstract "Key concepts from the domain of computer science."@en ;
- dcterms:contributor ,
- ;
- dcterms:creator ,
- ,
- ;
+ dcterms:contributor :FrancescaBleken ,
+ :OtelloRoscioni ;
+ dcterms:creator :EmanueleGhedini ,
+ :GerhardGoldbeck ,
+ :JesperFriis ;
dcterms:license "https://creativecommons.org/licenses/by/4.0/legalcode" ;
dcterms:publisher ;
dcterms:title "Computer science"@en ;
rdfs:comment "The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ;
- owl:versionInfo "1.0.0-rc1" ;
+ owl:versionInfo "1.0.0-rc3" ;
:EMMO_1246b120_abbe_4840_b0f8_3e4348b24a17 "emmo@emmc.eu"^^xsd:anyURI .
#################################################################
@@ -88,10 +88,7 @@ rdf:JSON rdf:type rdfs:Datatype .
### https://w3id.org/emmo#EMMO_0266ec8c_bd13_4c9c_be77_607498793ed3
:EMMO_0266ec8c_bd13_4c9c_be77_607498793ed3 rdf:type owl:Class ;
- owl:equivalentClass [ rdf:type owl:Restriction ;
- owl:onProperty :EMMO_b6292331_94af_4f00_976b_ea55960c2f1c ;
- owl:someValuesFrom xsd:NCName
- ] ;
+ rdfs:subClassOf :EMMO_6796ec88_e49f_4628_b28d_6559f9dd630a ;
skos:prefLabel "NCNameData"@en .
@@ -158,10 +155,7 @@ https://www.computer.org/education/bodies-of-knowledge/software-engineering"""@e
### https://w3id.org/emmo#EMMO_1abe0ea7_2378_402f_b950_89b0795d2f45
:EMMO_1abe0ea7_2378_402f_b950_89b0795d2f45 rdf:type owl:Class ;
- owl:equivalentClass [ rdf:type owl:Restriction ;
- owl:onProperty :EMMO_b6292331_94af_4f00_976b_ea55960c2f1c ;
- owl:someValuesFrom xsd:NMTOKEN
- ] ;
+ rdfs:subClassOf :EMMO_be8680e5_28ec_4168_9206_d1cd33fbd458 ;
skos:prefLabel "NMTOKENData"@en .
@@ -325,16 +319,12 @@ https://www.computer.org/education/bodies-of-knowledge/software-engineering"""@e
### https://w3id.org/emmo#EMMO_6470bbfa_04a6_4360_9534_1aa18d68329b
:EMMO_6470bbfa_04a6_4360_9534_1aa18d68329b rdf:type owl:Class ;
- owl:equivalentClass [ rdf:type owl:Restriction ;
- owl:onProperty :EMMO_b6292331_94af_4f00_976b_ea55960c2f1c ;
- owl:someValuesFrom xsd:anyURI
- ] ;
rdfs:subClassOf :EMMO_5c15f8c4_d2de_47a0_acdd_470b8dda979b ,
:EMMO_b45fbdc6_2519_4885_aa49_c56b394c3910 ;
skos:prefLabel "URI"@en ;
+ :EMMO_157fdf31_6387_42be_8e72_10530519214a "https://en.wikipedia.org/wiki/File:URI_syntax_diagram.svg"^^xsd:anyURI ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A Uniform Resource Identifier (URI) is a compact sequence of characters that identifies an abstract or physical resource."@en ;
- :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "URI = scheme \":\" [\"//\" authority] path [\"?\" query] [\"#\" fragment]"@en ;
- "https://en.wikipedia.org/wiki/File:URI_syntax_diagram.svg"^^xsd:anyURI .
+ :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "URI = scheme \":\" [\"//\" authority] path [\"?\" query] [\"#\" fragment]"@en .
[ rdf:type owl:Axiom ;
owl:annotatedSource :EMMO_6470bbfa_04a6_4360_9534_1aa18d68329b ;
@@ -375,19 +365,13 @@ https://www.computer.org/education/bodies-of-knowledge/software-engineering"""@e
### https://w3id.org/emmo#EMMO_6796ec88_e49f_4628_b28d_6559f9dd630a
:EMMO_6796ec88_e49f_4628_b28d_6559f9dd630a rdf:type owl:Class ;
- owl:equivalentClass [ rdf:type owl:Restriction ;
- owl:onProperty :EMMO_b6292331_94af_4f00_976b_ea55960c2f1c ;
- owl:someValuesFrom xsd:Name
- ] ;
+ rdfs:subClassOf :EMMO_be8680e5_28ec_4168_9206_d1cd33fbd458 ;
skos:prefLabel "NameData"@en .
### https://w3id.org/emmo#EMMO_826bd296_d8e2_4c43_8f54_d684bf00090a
:EMMO_826bd296_d8e2_4c43_8f54_d684bf00090a rdf:type owl:Class ;
- owl:equivalentClass [ rdf:type owl:Restriction ;
- owl:onProperty :EMMO_b6292331_94af_4f00_976b_ea55960c2f1c ;
- owl:someValuesFrom xsd:normalizedString
- ] ;
+ rdfs:subClassOf :EMMO_5f334606_f67d_4f0e_acb9_eeb21cb10c66 ;
skos:prefLabel "NormalizedStringData"@en .
@@ -438,11 +422,8 @@ Here we explicitly include in the definition also all the data (e.g. source code
### https://w3id.org/emmo#EMMO_90bfd475_ba4a_4065_b0c1_1f08230be252
:EMMO_90bfd475_ba4a_4065_b0c1_1f08230be252 rdf:type owl:Class ;
- owl:equivalentClass [ rdf:type owl:Restriction ;
- owl:onProperty :EMMO_b6292331_94af_4f00_976b_ea55960c2f1c ;
- owl:someValuesFrom rdf:JSON
- ] ;
- rdfs:subClassOf :EMMO_b45fbdc6_2519_4885_aa49_c56b394c3910 ;
+ rdfs:subClassOf :EMMO_70bbb94e_2ca7_4d73_ba01_6397f134d172 ,
+ :EMMO_b45fbdc6_2519_4885_aa49_c56b394c3910 ;
skos:prefLabel "JSONData"@en .
@@ -460,10 +441,7 @@ Here we explicitly include in the definition also all the data (e.g. source code
### https://w3id.org/emmo#EMMO_9e5f464a_658c_4b34_b80d_a5f8d5ec811a
:EMMO_9e5f464a_658c_4b34_b80d_a5f8d5ec811a rdf:type owl:Class ;
- owl:equivalentClass [ rdf:type owl:Restriction ;
- owl:onProperty :EMMO_b6292331_94af_4f00_976b_ea55960c2f1c ;
- owl:someValuesFrom xsd:language
- ] ;
+ rdfs:subClassOf :EMMO_be8680e5_28ec_4168_9206_d1cd33fbd458 ;
skos:prefLabel "LanguageData"@en .
@@ -518,10 +496,7 @@ Here we explicitly include in the definition also all the data (e.g. source code
### https://w3id.org/emmo#EMMO_be8680e5_28ec_4168_9206_d1cd33fbd458
:EMMO_be8680e5_28ec_4168_9206_d1cd33fbd458 rdf:type owl:Class ;
- owl:equivalentClass [ rdf:type owl:Restriction ;
- owl:onProperty :EMMO_b6292331_94af_4f00_976b_ea55960c2f1c ;
- owl:someValuesFrom xsd:token
- ] ;
+ rdfs:subClassOf :EMMO_826bd296_d8e2_4c43_8f54_d684bf00090a ;
skos:prefLabel "TokenData"@en .
@@ -623,4 +598,64 @@ C:\\\\Users\\\\John\\\\Desktop (DOS-like path)"""@en ;
[ owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger
] .
-### Generated by the OWL API (version 4.5.26.2023-07-17T20:34:13Z) https://github.com/owlcs/owlapi
+#################################################################
+# General axioms
+#################################################################
+
+[ rdf:type owl:Restriction ;
+ owl:onProperty :EMMO_b6292331_94af_4f00_976b_ea55960c2f1c ;
+ owl:someValuesFrom rdf:JSON ;
+ rdfs:subClassOf :EMMO_90bfd475_ba4a_4065_b0c1_1f08230be252
+ ] .
+
+
+[ rdf:type owl:Restriction ;
+ owl:onProperty :EMMO_b6292331_94af_4f00_976b_ea55960c2f1c ;
+ owl:someValuesFrom xsd:NCName ;
+ rdfs:subClassOf :EMMO_0266ec8c_bd13_4c9c_be77_607498793ed3
+] .
+
+
+[ rdf:type owl:Restriction ;
+ owl:onProperty :EMMO_b6292331_94af_4f00_976b_ea55960c2f1c ;
+ owl:someValuesFrom xsd:NMTOKEN ;
+ rdfs:subClassOf :EMMO_1abe0ea7_2378_402f_b950_89b0795d2f45
+] .
+
+
+[ rdf:type owl:Restriction ;
+ owl:onProperty :EMMO_b6292331_94af_4f00_976b_ea55960c2f1c ;
+ owl:someValuesFrom xsd:Name ;
+ rdfs:subClassOf :EMMO_6796ec88_e49f_4628_b28d_6559f9dd630a
+] .
+
+
+[ rdf:type owl:Restriction ;
+ owl:onProperty :EMMO_b6292331_94af_4f00_976b_ea55960c2f1c ;
+ owl:someValuesFrom xsd:anyURI ;
+ rdfs:subClassOf :EMMO_6470bbfa_04a6_4360_9534_1aa18d68329b
+] .
+
+
+[ rdf:type owl:Restriction ;
+ owl:onProperty :EMMO_b6292331_94af_4f00_976b_ea55960c2f1c ;
+ owl:someValuesFrom xsd:language ;
+ rdfs:subClassOf :EMMO_9e5f464a_658c_4b34_b80d_a5f8d5ec811a
+] .
+
+
+[ rdf:type owl:Restriction ;
+ owl:onProperty :EMMO_b6292331_94af_4f00_976b_ea55960c2f1c ;
+ owl:someValuesFrom xsd:normalizedString ;
+ rdfs:subClassOf :EMMO_826bd296_d8e2_4c43_8f54_d684bf00090a
+] .
+
+
+[ rdf:type owl:Restriction ;
+ owl:onProperty :EMMO_b6292331_94af_4f00_976b_ea55960c2f1c ;
+ owl:someValuesFrom xsd:token ;
+ rdfs:subClassOf :EMMO_be8680e5_28ec_4168_9206_d1cd33fbd458
+] .
+
+
+### Generated by the OWL API (version 4.5.29.2024-05-13T12:11:03Z) https://github.com/owlcs/owlapi
diff --git a/disciplines/conformityassessment.ttl b/disciplines/conformityassessment.ttl
index e7aeeb91..0471e20c 100644
--- a/disciplines/conformityassessment.ttl
+++ b/disciplines/conformityassessment.ttl
@@ -9,10 +9,10 @@
@base .
rdf:type owl:Ontology ;
- owl:versionIRI ;
- owl:imports ,
- ,
- .
+ owl:versionIRI ;
+ owl:imports ,
+ ,
+ .
#################################################################
# Object Properties
diff --git a/multiperspective/dataset.ttl b/disciplines/dataset.ttl
similarity index 88%
rename from multiperspective/dataset.ttl
rename to disciplines/dataset.ttl
index cb3b5e6f..d67ee3fe 100644
--- a/multiperspective/dataset.ttl
+++ b/disciplines/dataset.ttl
@@ -8,22 +8,22 @@
@prefix dcterms: .
@base .
- rdf:type owl:Ontology ;
- owl:versionIRI ;
- owl:imports ,
- ;
+ rdf:type owl:Ontology ;
+ owl:versionIRI ;
+ owl:imports ,
+ ;
dcterms:abstract "Shared representation of datasets."@en ;
- dcterms:contributor ,
- ,
- ;
- dcterms:creator ,
- ;
+ dcterms:contributor :FrancescaBleken ,
+ :GerhardGoldbeck ,
+ :OtelloRoscioni ;
+ dcterms:creator :EmanueleGhedini ,
+ :JesperFriis ;
dcterms:license "https://creativecommons.org/licenses/by/4.0/legalcode" ;
dcterms:publisher ;
dcterms:title "Dataset"@en ;
rdfs:comment "Contact: emmo@emmc.eu"@en ,
"The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ;
- owl:versionInfo "1.0.0-rc1" .
+ owl:versionInfo "1.0.0-rc3" .
#################################################################
# Object Properties
@@ -90,13 +90,6 @@
# Classes
#################################################################
-### https://w3id.org/emmo#EMMO_194e367c_9783_4bf5_96d0_9ad597d48d9a
-:EMMO_194e367c_9783_4bf5_96d0_9ad597d48d9a rdfs:subClassOf [ rdf:type owl:Restriction ;
- owl:onProperty :EMMO_6b78c119_f86c_4b5e_ba6c_b42d25a64122 ;
- owl:someValuesFrom :EMMO_50d6236a_7667_4883_8ae1_9bb5d190423a
- ] .
-
-
### https://w3id.org/emmo#EMMO_b4c97fa0_d82c_406a_bda7_597d6e190654
:EMMO_b4c97fa0_d82c_406a_bda7_597d6e190654 rdf:type owl:Class ;
rdfs:subClassOf :EMMO_b7bcff25_ffc3_474e_9ab5_01b1664bd4ba ;
@@ -108,4 +101,11 @@
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A coded sign that stands for a dimension."@en .
+#################################################################
+# Annotations
+#################################################################
+
+:EMMO_194e367c_9783_4bf5_96d0_9ad597d48d9a :EMMO_8a137e9f_579c_4e28_baca_e8980eb0c3db "SubClassOf: hasDatum some Datum" .
+
+
### Generated by the OWL API (version 4.5.26.2023-07-17T20:34:13Z) https://github.com/owlcs/owlapi
diff --git a/disciplines/disciplines.ttl b/disciplines/disciplines.ttl
index 57fe07af..030b14ea 100644
--- a/disciplines/disciplines.ttl
+++ b/disciplines/disciplines.ttl
@@ -9,53 +9,53 @@
@base .
rdf:type owl:Ontology ;
- owl:versionIRI ;
- owl:imports ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ;
+ owl:versionIRI ;
+ owl:imports ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ;
# Imported via sisystem
-# ,
-# ,
-# ,
-# ,
-# ,
-# ,
+# ,
+# ,
+# ,
+# ,
+# ,
+# ,
# Currently not imported by default
-# ,
-# ,
-# ,
-# ,
+# ,
+# ,
+# ,
+# ,
dcterms:abstract """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 ;
- dcterms:contributor ,
- ,
- ;
- dcterms:creator ,
- ,
+ dcterms:contributor :SimonClark ,
+ :FrancescaBleken ,
+ :GeorgSchmitz ;
+ dcterms:creator :AdhamHashibon ,
+ :EmanueleGhedini ,
,
- ,
- ;
+ :GerhardGoldbeck ,
+ :JesperFriis ;
dcterms:license "https://creativecommons.org/licenses/by/4.0/legalcode" ;
dcterms:publisher ;
dcterms:title "EMMO discipline-level ontology"@en ;
:EMMO_1246b120_abbe_4840_b0f8_3e4348b24a17 "emmo@emmc.eu" ;
rdfs:comment "The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ;
- owl:versionInfo "1.0.0-rc1" .
+ owl:versionInfo "1.0.0-rc3" .
### Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi
diff --git a/disciplines/geometrical.ttl b/disciplines/geometrical.ttl
index b30a13bd..76d8f949 100644
--- a/disciplines/geometrical.ttl
+++ b/disciplines/geometrical.ttl
@@ -9,19 +9,19 @@
@base .
rdf:type owl:Ontology ;
- owl:versionIRI ;
- owl:imports ;
+ owl:versionIRI ;
+ owl:imports ;
dcterms:abstract "The graphical module provides classes for the representation of geometrical concepts."@en ;
- dcterms:creator ,
- ,
- ,
- ,
+ dcterms:creator :JesperFriis ,
+ :GerhardGoldbeck ,
+ :AdhamHashibon ,
+ :EmanueleGhedini ,
;
dcterms:license "https://creativecommons.org/licenses/by/4.0/legalcode" ;
dcterms:publisher ;
dcterms:title "Geometrical"@en ;
rdfs:comment "The EMMO requires FacT++ reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ;
- owl:versionInfo "1.0.0-rc1" ;
+ owl:versionInfo "1.0.0-rc3" ;
:EMMO_1246b120_abbe_4840_b0f8_3e4348b24a17 "emmo@emmc.eu" .
#################################################################
diff --git a/disciplines/isq.ttl b/disciplines/isq.ttl
index 833a3cce..487fa9e2 100644
--- a/disciplines/isq.ttl
+++ b/disciplines/isq.ttl
@@ -9,10 +9,10 @@
@base .
rdf:type owl:Ontology ;
- owl:versionIRI ;
- owl:imports ,
- ,
- ;
+ owl:versionIRI ;
+ owl:imports ,
+ ,
+ ;
dcterms:abstract """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.
@@ -20,16 +20,16 @@ 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 ;
- dcterms:contributor ;
- dcterms:creator ,
- ,
- ,
- ;
+ dcterms:contributor :FrancescaBleken ;
+ dcterms:creator :EmanueleGhedini ,
+ :GerhardGoldbeck ,
+ :JesperFriis ,
+ :SimonClark ;
dcterms:license "https://creativecommons.org/licenses/by/4.0/legalcode" ;
dcterms:publisher ;
dcterms:title "International System of Quantities (ISQ)"@en ;
rdfs:comment "The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ;
- owl:versionInfo "1.0.0-rc1" ;
+ owl:versionInfo "1.0.0-rc3" ;
:EMMO_1246b120_abbe_4840_b0f8_3e4348b24a17 "emmo@emmc.eu" .
#################################################################
@@ -1498,8 +1498,8 @@ Entropy"""@en ;
:EMMO_340ec9c3_7b0a_4169_a739_6f9242517ff4 rdf:type owl:Class ;
rdfs:subClassOf :EMMO_2ae37adf_07f2_4920_8ec6_084c69761e34 ,
:EMMO_a06e3d38_1aa8_4f45_89a8_722dbacfda24 ;
- skos:altLabel "StandardAbsoluteActivityInAMixture"@en ;
- skos:prefLabel "StandardAbsoluteActivity"@en ;
+ skos:altLabel "StandardAbsoluteActivity"@en ;
+ skos:prefLabel "StandardAbsoluteActivityOfMixture"@en ;
:EMMO_1f1b164d_ec6a_4faa_8d5e_88bda62316cc "https://qudt.org/vocab/quantitykind/StandardAbsoluteActivity" ;
:EMMO_26bf1bef_d192_4da6_b0eb_d2209698fb54 "https://www.wikidata.org/wiki/Q89406159" ;
:EMMO_8de5d5bf_db1c_40ac_b698_095ba3b18578 "9-23" ;
@@ -2013,13 +2013,27 @@ pH = −10 log(a_OH-)"""@en .
### https://w3id.org/emmo#EMMO_4312cae4_03ba_457e_b35d_0671a7db350c
:EMMO_4312cae4_03ba_457e_b35d_0671a7db350c rdf:type owl:Class ;
- rdfs:subClassOf :EMMO_a242d3e9_c6d3_411e_a667_71ffbc248a1a ;
+ rdfs:subClassOf :EMMO_06658d8d_dcde_4fc9_aae1_17f71c0bcdec ,
+ :EMMO_2946d40b_24a1_47fa_8176_e3f79bb45064 ,
+ :EMMO_a242d3e9_c6d3_411e_a667_71ffbc248a1a ,
+ [ rdf:type owl:Restriction ;
+ owl:onProperty :EMMO_bed1d005_b04e_4a90_94cf_02bc678a8569 ;
+ owl:someValuesFrom :EMMO_b3600e73_3e05_479d_9714_c041c3acf5cc
+ ] ;
+ skos:altLabel "Position"@en ;
skos:prefLabel "PositionVector"@en ;
+ :EMMO_1f1b164d_ec6a_4faa_8d5e_88bda62316cc "http://qudt.org/vocab/quantitykind/PositionVector"^^xsd:anyURI ;
:EMMO_26bf1bef_d192_4da6_b0eb_d2209698fb54 "https://www.wikidata.org/wiki/Q192388" ;
:EMMO_50c298c2_55a2_4068_b3ac_4e948c33181f "https://www.electropedia.org/iev/iev.nsf/display?openform&ievref=102-03-15" ;
:EMMO_6dd685dd_1895_46e4_b227_be9f7d643c25 "https://dbpedia.org/page/Position_(geometry)" ;
:EMMO_8de5d5bf_db1c_40ac_b698_095ba3b18578 "3-1.10" ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "Vector quantity from the origin of a coordinate system to a point in space."@en ;
+ :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f """In the usual geometrical three-dimensional space, position vectors are quantities of the dimension length.
+
+-- IEC"""@en ,
+ """Position vectors are so-called bounded vectors, i.e. their magnitude and direction depend on the particular coordinate system used.
+
+-- ISO 80000-3"""@en ;
:EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d "https://en.wikipedia.org/wiki/Position_(geometry)" .
@@ -2093,26 +2107,6 @@ pH = −10 log(a_OH-)"""@en .
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "Average value of the increment of the lethargy per collision."@en .
-### https://w3id.org/emmo#EMMO_44da6d75_54a4_4aa8_bd3a_156f6e9abb8e
-:EMMO_44da6d75_54a4_4aa8_bd3a_156f6e9abb8e rdf:type owl:Class ;
- rdfs:subClassOf :EMMO_06658d8d_dcde_4fc9_aae1_17f71c0bcdec ,
- :EMMO_2946d40b_24a1_47fa_8176_e3f79bb45064 ,
- [ rdf:type owl:Restriction ;
- owl:onProperty :EMMO_bed1d005_b04e_4a90_94cf_02bc678a8569 ;
- owl:someValuesFrom :EMMO_b3600e73_3e05_479d_9714_c041c3acf5cc
- ] ;
- rdfs:comment """In the usual geometrical three-dimensional space, position vectors are quantities of the dimension length.
-
--- IEC"""@en ,
- """Position vectors are so-called bounded vectors, i.e. their magnitude and direction depend on the particular coordinate system used.
-
--- ISO 80000-3"""@en ;
- skos:altLabel "Position"@en ;
- skos:prefLabel "PositionVector"@en ;
- :EMMO_1f1b164d_ec6a_4faa_8d5e_88bda62316cc "http://qudt.org/vocab/quantitykind/PositionVector" ;
- :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "Vector r characterizing a point P in a point space with a given origin point O."@en .
-
-
### https://w3id.org/emmo#EMMO_44ddbe46_0112_4185_b595_132866e902da
:EMMO_44ddbe46_0112_4185_b595_132866e902da rdf:type owl:Class .
@@ -2353,7 +2347,11 @@ pH = −10 log(a_OH-)"""@en .
### https://w3id.org/emmo#EMMO_506f7823_52bc_40cb_be07_b3b1e10cce13
:EMMO_506f7823_52bc_40cb_be07_b3b1e10cce13 rdf:type owl:Class ;
- rdfs:subClassOf :EMMO_f2ca6dd0_0e5f_4392_a92d_cafdae6cfc95 ;
+ rdfs:subClassOf :EMMO_f2ca6dd0_0e5f_4392_a92d_cafdae6cfc95 ,
+ [ rdf:type owl:Restriction ;
+ owl:onProperty :EMMO_bed1d005_b04e_4a90_94cf_02bc678a8569 ;
+ owl:someValuesFrom :EMMO_044f83a6_ade4_4441_9c73_5490dd93344f
+ ] ;
rdfs:comment "Defines the Candela base unit in the SI system."@en ;
skos:prefLabel "LuminousEfficacyOf540THzRadiation"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The luminous efficacy of monochromatic radiation of frequency 540 × 10 12 Hz, K cd , is a technical constant that gives an exact numerical relationship between the purely physical characteristics of the radiant power stimulating the human eye (W) and its photobiological response defined by the luminous flux due to the spectral responsivity of a standard observer (lm) at a frequency of 540 × 10 12 hertz."@en .
@@ -2433,7 +2431,7 @@ where m_0 is the rest mass of that particle and c_0 is the speed of light in a v
### https://w3id.org/emmo#EMMO_5186b2e6_f34f_46ee_b08e_ec517a1f43d2
:EMMO_5186b2e6_f34f_46ee_b08e_ec517a1f43d2 rdf:type owl:Class ;
- rdfs:subClassOf :EMMO_44da6d75_54a4_4aa8_bd3a_156f6e9abb8e ,
+ rdfs:subClassOf :EMMO_4312cae4_03ba_457e_b35d_0671a7db350c ,
:EMMO_c29603f5_95e8_42f5_ab0c_f3bcf3166d53 ;
skos:prefLabel "ParticlePositionVector"@en ;
:EMMO_1f1b164d_ec6a_4faa_8d5e_88bda62316cc "https://qudt.org/vocab/quantitykind/ParticlePositionVector" ;
@@ -4578,7 +4576,7 @@ where g is the appropriate g factor, μ is mostly the Bohr magneton or nuclear m
### https://w3id.org/emmo#EMMO_9d8f708a_f291_4d72_80ec_362c6e6bbca6
:EMMO_9d8f708a_f291_4d72_80ec_362c6e6bbca6 rdf:type owl:Class ;
- rdfs:subClassOf :EMMO_44da6d75_54a4_4aa8_bd3a_156f6e9abb8e ;
+ rdfs:subClassOf :EMMO_4312cae4_03ba_457e_b35d_0671a7db350c ;
rdfs:comment "In non-relativistic physics, the centre of mass doesn’t depend on the chosen reference frame."@en ;
skos:prefLabel "CentreOfMass"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The unique point where the weighted relative position of the distributed mass of an Item sums to zero. Equivalently, it is the point where if a force is applied to the Item, causes the Item to move in direction of force without rotation."@en ;
@@ -4822,7 +4820,7 @@ where g is the appropriate g factor, μ is mostly the Bohr magneton or nuclear m
### https://w3id.org/emmo#EMMO_a3c78d6f_ae49_47c8_a634_9b6d86b79382
:EMMO_a3c78d6f_ae49_47c8_a634_9b6d86b79382 rdf:type owl:Class ;
rdfs:subClassOf :EMMO_3f15d200_c97b_42c8_8ac0_d81d150361e2 ,
- :EMMO_d859588d_44dc_4614_bc75_5fcd0058acc8 ;
+ :EMMO_e0aaed83_9224_4bd8_a960_a813c4569412 ;
skos:prefLabel "RybergConstant"@en ;
:EMMO_1f1b164d_ec6a_4faa_8d5e_88bda62316cc "http://qudt.org/vocab/constant/RydbergConstant" ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The Rydberg constant represents the limiting value of the highest wavenumber (the inverse wavelength) of any photon that can be emitted from the hydrogen atom, or, alternatively, the wavenumber of the lowest-energy photon capable of ionizing the hydrogen atom from its ground state."@en ;
@@ -5022,7 +5020,11 @@ where r is mass ratio of water vapour to dry gas and rsat is the mass ratio of w
### https://w3id.org/emmo#EMMO_ad6c76cf_b400_423e_820f_cf0c4e77f455
:EMMO_ad6c76cf_b400_423e_820f_cf0c4e77f455 rdf:type owl:Class ;
- rdfs:subClassOf :EMMO_f2ca6dd0_0e5f_4392_a92d_cafdae6cfc95 ;
+ rdfs:subClassOf :EMMO_f2ca6dd0_0e5f_4392_a92d_cafdae6cfc95 ,
+ [ rdf:type owl:Restriction ;
+ owl:onProperty :EMMO_bed1d005_b04e_4a90_94cf_02bc678a8569 ;
+ owl:someValuesFrom :EMMO_3cb55500_dc5b_4586_bbf3_1d4158afac35
+ ] ;
owl:disjointWith :EMMO_f1be7d92_c57d_4698_a0ba_968130a3f9e1 ;
skos:prefLabel "MolarGasConstant"@en ;
:EMMO_1f1b164d_ec6a_4faa_8d5e_88bda62316cc "http://qudt.org/vocab/constant/MolarGasConstant" ;
@@ -5424,7 +5426,11 @@ where r is mass ratio of water vapour to dry gas and rsat is the mass ratio of w
### https://w3id.org/emmo#EMMO_ba380bc6_2bfd_4f11_94c7_b3cbaafd1631
:EMMO_ba380bc6_2bfd_4f11_94c7_b3cbaafd1631 rdf:type owl:Class ;
- rdfs:subClassOf :EMMO_f2ca6dd0_0e5f_4392_a92d_cafdae6cfc95 ;
+ rdfs:subClassOf :EMMO_f2ca6dd0_0e5f_4392_a92d_cafdae6cfc95 ,
+ [ rdf:type owl:Restriction ;
+ owl:onProperty :EMMO_bed1d005_b04e_4a90_94cf_02bc678a8569 ;
+ owl:someValuesFrom :EMMO_53b10105_52c7_4746_ab73_a5a30bd198e2
+ ] ;
rdfs:comment "The DBpedia definition (http://dbpedia.org/page/Magnetic_flux_quantum) is outdated as May 20, 2019. It is now an exact quantity."@en ;
skos:prefLabel "JosephsonConstant"@en ;
:EMMO_1f1b164d_ec6a_4faa_8d5e_88bda62316cc "http://qudt.org/vocab/constant/JosephsonConstant" ;
@@ -6026,7 +6032,7 @@ the number of protons in the nucleus of an atom""" ;
:EMMO_cff5ef70_96eb_4ea3_9bea_fe1fbe6177be rdf:type owl:Class ;
rdfs:subClassOf :EMMO_3b1b64d1_60c9_4689_a300_eb9cd56e368b ,
:EMMO_a66427d1_9932_4363_9ec5_7d91f2bfda1e ;
- skos:prefLabel "QualityFactor"@en ;
+ skos:prefLabel "DoseEquivalentQualityFactor"@en ;
:EMMO_1f1b164d_ec6a_4faa_8d5e_88bda62316cc "https://qudt.org/vocab/quantitykind/DoseEquivalentQualityFactor" ;
:EMMO_26bf1bef_d192_4da6_b0eb_d2209698fb54 "https://www.wikidata.org/wiki/Q2122099" ;
:EMMO_50c298c2_55a2_4068_b3ac_4e948c33181f "https://www.electropedia.org/iev/iev.nsf/display?openform&ievref=881-14-03" ;
@@ -6102,8 +6108,8 @@ the number of protons in the nucleus of an atom""" ;
:EMMO_d368744e_bb2e_4d40_a7ef_762505b6027e rdf:type owl:Class ;
rdfs:subClassOf :EMMO_2ae37adf_07f2_4920_8ec6_084c69761e34 ,
:EMMO_a06e3d38_1aa8_4f45_89a8_722dbacfda24 ;
- skos:altLabel "StandardAbsoluteActivityInASolution"@en ;
- skos:prefLabel "StandardAbsoluteActivity"@en ;
+ skos:altLabel "StandardAbsoluteActivity"@en ;
+ skos:prefLabel "StandardAbsoluteActivityOfSolution"@en ;
:EMMO_26bf1bef_d192_4da6_b0eb_d2209698fb54 "https://www.wikidata.org/wiki/Q89485936" ;
:EMMO_8de5d5bf_db1c_40ac_b698_095ba3b18578 "9-26" ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "Property of a solute in a solution."@en .
@@ -6252,7 +6258,7 @@ the number of protons in the nucleus of an atom""" ;
:EMMO_d7d2ca25_03e1_4099_9220_c1a58df13ad0 rdf:type owl:Class ;
rdfs:subClassOf :EMMO_3f15d200_c97b_42c8_8ac0_d81d150361e2 ,
[ rdf:type owl:Restriction ;
- owl:onProperty :EMMO_67fc0a36_8dcb_4ffa_9a43_31074efa3296 ;
+ owl:onProperty :EMMO_bed1d005_b04e_4a90_94cf_02bc678a8569 ;
owl:someValuesFrom :EMMO_5ebd5e01_0ed3_49a2_a30d_cd05cbe72978
] ;
rdfs:comment "A fundamental physical constant characterizing the strength of the electromagnetic interaction between elementary charged particles."@en ;
@@ -6289,16 +6295,6 @@ the number of protons in the nucleus of an atom""" ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "Imaginary part of the complex power."@en .
-### https://w3id.org/emmo#EMMO_d859588d_44dc_4614_bc75_5fcd0058acc8
-:EMMO_d859588d_44dc_4614_bc75_5fcd0058acc8 rdf:type owl:Class ;
- rdfs:subClassOf :EMMO_ecec2983_7c26_4f8d_a981_51ca29668baf ;
- skos:prefLabel "Wavenumber"@en ;
- :EMMO_1f1b164d_ec6a_4faa_8d5e_88bda62316cc "http://qudt.org/vocab/quantitykind/Wavenumber" ;
- :EMMO_8de5d5bf_db1c_40ac_b698_095ba3b18578 "3-18" ;
- :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The number of waves per unit length along the direction of propagation."@en ;
- :EMMO_fe015383_afb3_44a6_ae86_043628697aa2 "https://doi.org/10.1351/goldbook.W06664" .
-
-
### https://w3id.org/emmo#EMMO_d8612fa0_c0fb_485d_b45a_1845e7a46796
:EMMO_d8612fa0_c0fb_485d_b45a_1845e7a46796 rdf:type owl:Class ;
rdfs:subClassOf :EMMO_a06e3d38_1aa8_4f45_89a8_722dbacfda24 ,
@@ -6343,7 +6339,11 @@ the number of protons in the nucleus of an atom""" ;
### https://w3id.org/emmo#EMMO_da831168_975a_41f8_baae_279c298569da
:EMMO_da831168_975a_41f8_baae_279c298569da rdf:type owl:Class ;
- rdfs:subClassOf :EMMO_3f15d200_c97b_42c8_8ac0_d81d150361e2 ;
+ rdfs:subClassOf :EMMO_3f15d200_c97b_42c8_8ac0_d81d150361e2 ,
+ [ rdf:type owl:Restriction ;
+ owl:onProperty :EMMO_bed1d005_b04e_4a90_94cf_02bc678a8569 ;
+ owl:someValuesFrom :EMMO_3181bb28_623b_4411_ad79_80277c661322
+ ] ;
skos:prefLabel "NewtonianConstantOfGravity"@en ;
:EMMO_1f1b164d_ec6a_4faa_8d5e_88bda62316cc "http://qudt.org/vocab/constant/NewtonianConstantOfGravitation" ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "Physical constant in Newton's law of gravitation and in Einstein's general theory of relativity."@en ;
@@ -6526,8 +6526,9 @@ Rain rate"""@en ;
:EMMO_26bf1bef_d192_4da6_b0eb_d2209698fb54 "https://www.wikidata.org/wiki/Q192510" ;
:EMMO_50c298c2_55a2_4068_b3ac_4e948c33181f "https://www.electropedia.org/iev/iev.nsf/display?openform&ievref=103-10-11" ;
:EMMO_6dd685dd_1895_46e4_b227_be9f7d643c25 "https://dbpedia.org/page/Wavenumber" ;
- :EMMO_8de5d5bf_db1c_40ac_b698_095ba3b18578 "3-20" ;
+ :EMMO_8de5d5bf_db1c_40ac_b698_095ba3b18578 "3-18" ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "Reciprocal of the wavelength."@en ;
+ :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "The number of waves per unit length along the direction of propagation."@en ;
:EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d "https://en.wikipedia.org/wiki/Wavenumber" ;
:EMMO_fe015383_afb3_44a6_ae86_043628697aa2 "https://doi.org/10.1351/goldbook.W06664" .
@@ -6685,7 +6686,7 @@ Rain rate"""@en ;
### https://w3id.org/emmo#EMMO_e4791212_5a13_4aa6_aac2_08704550dcc3
:EMMO_e4791212_5a13_4aa6_aac2_08704550dcc3 rdf:type owl:Class ;
rdfs:subClassOf :EMMO_c29603f5_95e8_42f5_ab0c_f3bcf3166d53 ,
- :EMMO_d859588d_44dc_4614_bc75_5fcd0058acc8 ;
+ :EMMO_e0aaed83_9224_4bd8_a960_a813c4569412 ;
skos:altLabel "AngularRepetency"@en ;
skos:prefLabel "AngularWaveNumber"@en ;
:EMMO_1f1b164d_ec6a_4faa_8d5e_88bda62316cc "https://qudt.org/vocab/quantitykind/AngularWavenumber" ;
@@ -7639,4 +7640,4 @@ It defines the Kelvin unit in the SI system."""@en ;
:EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d "https://en.wikipedia.org/wiki/Intensity_(physics)"@en .
-### Generated by the OWL API (version 4.5.26.2023-07-17T20:34:13Z) https://github.com/owlcs/owlapi
+### Generated by the OWL API (version 4.5.29.2024-05-13T12:11:03Z) https://github.com/owlcs/owlapi
diff --git a/disciplines/manufacturing.ttl b/disciplines/manufacturing.ttl
index 6cdaf40b..a2df15f3 100644
--- a/disciplines/manufacturing.ttl
+++ b/disciplines/manufacturing.ttl
@@ -9,21 +9,21 @@
@base .
rdf:type owl:Ontology ;
- owl:versionIRI ;
- owl:imports ,
- ;
+ owl:versionIRI ;
+ owl:imports ,
+ ;
dcterms:abstract "Describes manufacturing processes with engineered participants. The module also provides a root for engineered materials."@en ;
- dcterms:creator ,
- ,
- ,
- ,
- ;
+ dcterms:creator :JesperFriis ,
+ :GerhardGoldbeck ,
+ :AdhamHashibon ,
+ :EmanueleGhedini ,
+ ;
dcterms:license "https://creativecommons.org/licenses/by/4.0/legalcode" ;
dcterms:publisher ;
dcterms:title "Manufacturing"@en ;
- :EMMO_1246b120_abbe_4840_b0f8_3e4348b24a17 "emmo@emmc.eu" ;
rdfs:comment "The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ;
- owl:versionInfo "1.0.0-rc1" .
+ owl:versionInfo "1.0.0-rc3" ;
+ :EMMO_1246b120_abbe_4840_b0f8_3e4348b24a17 "emmo@emmc.eu" .
#################################################################
# Annotation properties
@@ -1039,7 +1039,11 @@ e.g. the fact that steel comes in sheets is not relevant for the definition of s
:EMMO_86ca9b93_1183_4b65_81b8_c0fcd3bba5ad
)
] ;
- rdfs:subClassOf :EMMO_aaad78a9_abaf_4f97_9c1a_d763a94c4ba3 ;
+ rdfs:subClassOf :EMMO_b4494d69_6393_4eb4_8346_7fedd4df0bc5 ,
+ [ rdf:type owl:Restriction ;
+ owl:onProperty :EMMO_2bb50428_568d_46e8_b8bf_59a4c5656461 ;
+ owl:someValuesFrom :EMMO_bafc17b5_9be4_4823_8bbe_ab4e90b6738c
+ ] ;
skos:altLabel "Output"@en ;
skos:prefLabel "Product"@en ;
:EMMO_3aa37f92_8dc5_4ee4_8438_e41e6ae20c62 "https://www.iso.org/obp/ui/#iso:std:iso:9000:ed-3:v1:en:term:3.4.2"@en ;
@@ -1421,14 +1425,13 @@ manufacturing process: set of processes in manufacturing involving a flow and/or
### https://w3id.org/emmo#EMMO_c0afb341_7d31_4883_a307_ae4606df2a1b
:EMMO_c0afb341_7d31_4883_a307_ae4606df2a1b rdf:type owl:Class ;
- rdfs:subClassOf :EMMO_4b32fc1e_5293_4247_9e8d_1175df9f1c0b ,
- [ rdf:type owl:Restriction ;
+ rdfs:subClassOf [ rdf:type owl:Restriction ;
owl:onProperty [ owl:inverseOf :EMMO_35c29eb6_f57e_48d8_85af_854f9e926e77
] ;
owl:someValuesFrom :EMMO_a4d66059_5dd3_4b90_b4cb_10960559441b
] ;
skos:prefLabel "Manufacturer"@en ;
- :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A strict fundamental object overcrossing a manufacturing process, the intersection being the agent that participates and drives the manufacturing process."@en .
+ :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A fundamental object overcrossing a manufacturing process, the intersection being the agent that participates and drives the manufacturing process."@en .
### https://w3id.org/emmo#EMMO_c0ec56d1_0deb_4452_a6a1_70570308b6bb
@@ -1820,4 +1823,4 @@ manufacturing process: set of processes in manufacturing involving a flow and/or
skos:prefLabel "FromWorkPIecetoWorkPiece"@en .
-### Generated by the OWL API (version 4.5.26.2023-07-17T20:34:13Z) https://github.com/owlcs/owlapi
+### Generated by the OWL API (version 4.5.29.2024-05-13T12:11:03Z) https://github.com/owlcs/owlapi
diff --git a/disciplines/materials.ttl b/disciplines/materials.ttl
index 25bebb0a..e293d71f 100644
--- a/disciplines/materials.ttl
+++ b/disciplines/materials.ttl
@@ -9,19 +9,19 @@
@base .
rdf:type owl:Ontology ;
- owl:versionIRI ;
- owl:imports ;
+ owl:versionIRI ;
+ owl:imports ;
dcterms:abstract "The materials module populates the physicalistic perspective with materials subclasses categorised according to modern applied physical sciences."@en ;
- dcterms:creator ,
- ,
- ,
- ,
- ;
+ dcterms:creator ,
+ :AdhamHashibon ,
+ :EmanueleGhedini ,
+ :GerhardGoldbeck ,
+ :JesperFriis ;
dcterms:license "https://creativecommons.org/licenses/by/4.0/legalcode" ;
dcterms:publisher ;
dcterms:title "Materials"@en ;
rdfs:comment "The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ;
- owl:versionInfo "1.0.0-rc1" ;
+ owl:versionInfo "1.0.0-rc3" ;
:EMMO_1246b120_abbe_4840_b0f8_3e4348b24a17 "emmo@emmc.eu" .
#################################################################
@@ -49,12 +49,14 @@ owl:qualifiedCardinality rdf:type owl:AnnotationProperty .
### https://w3id.org/emmo#EMMO_0afc19b0_2d43_4b3d_8da0_9ffb63bc1492
:EMMO_0afc19b0_2d43_4b3d_8da0_9ffb63bc1492 rdf:type owl:Class ;
+ rdfs:subClassOf :EMMO_f00fb163_48c9_4c59_b6c2_4205c082aa54 ;
skos:altLabel "NonCrystallineMaterial"@en ;
skos:prefLabel "AmorphousMaterial"@en .
### https://w3id.org/emmo#EMMO_0b15f4ae_092e_4487_9100_3c44176c545c
:EMMO_0b15f4ae_092e_4487_9100_3c44176c545c rdf:type owl:Class ;
+ rdfs:subClassOf :EMMO_ec2c8ac8_98c5_4c74_b85b_ff8e8ca6655c ;
owl:disjointUnionOf ( :EMMO_2031516a_2be7_48e8_9af7_7e1270e308fe
:EMMO_4a464c8d_8895_44a8_a628_aed13509f1bd
:EMMO_6c487fb3_03d1_4e56_91ed_c2e16dcbef60
@@ -103,7 +105,7 @@ H=∑ni=1hia∗i (n≥3)""" ;
] ;
skos:prefLabel "PhaseHeterogeneousMixture"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A mixture in which more than one phases of matter cohexists."@en ;
- :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f """Phase heterogenous mixture may share the same state of matter.
+ :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f """Phase heterogeneous mixture may share the same state of matter.
For example, immiscibile liquid phases (e.g. oil and water) constitute a mixture whose phases are clearly separated but share the same state of matter."""@en .
@@ -147,8 +149,10 @@ For example, immiscibile liquid phases (e.g. oil and water) constitute a mixture
:EMMO_a2b006f2_bbfd_4dba_bcaa_3fca20cd6be1
)
] ;
+ rdfs:subClassOf :EMMO_b9695e87_8261_412e_83cd_a86459426a28 ;
skos:prefLabel "CondensedMatter"@en ;
- :EMMO_31252f35_c767_4b97_a877_1235076c3e13 "The subject of condensed matter physics that deals with the macroscopic and microscopic physical properties of matter, especially the solid and liquid phases which arise from electromagnetic forces between atoms. More generally, the subject deals with \"condensed\" phases of matter: systems of many constituents with strong interactions between them."@en .
+ :EMMO_31252f35_c767_4b97_a877_1235076c3e13 "The subject of condensed matter physics that deals with the macroscopic and microscopic physical properties of matter, especially the solid and liquid phases which arise from electromagnetic forces between atoms. More generally, the subject deals with \"condensed\" phases of matter: systems of many constituents with strong interactions between them."@en ;
+ :EMMO_8a137e9f_579c_4e28_baca_e8980eb0c3db "Equivalent To: Liquid or Solid" .
[ rdf:type owl:Axiom ;
owl:annotatedSource :EMMO_220b7201_d277_4dca_bf6a_5a5e2c4062dd ;
@@ -193,20 +197,10 @@ For example, immiscibile liquid phases (e.g. oil and water) constitute a mixture
### https://w3id.org/emmo#EMMO_39348191_08fd_4bb6_9b1e_012d5b2f1ff6
:EMMO_39348191_08fd_4bb6_9b1e_012d5b2f1ff6 rdf:type owl:Class ;
- owl:equivalentClass [ rdf:type owl:Class ;
- owl:unionOf ( :EMMO_0afc19b0_2d43_4b3d_8da0_9ffb63bc1492
- :EMMO_f1025834_0cd2_42a1_bfeb_13bec41c8655
- )
- ] ,
- [ rdf:type owl:Class ;
- owl:unionOf ( :EMMO_4c1f58cd_6e2c_48fb_8098_1cbb762abb05
- :EMMO_c5e9e390_8836_4440_b4fd_c906fdd4f438
- :EMMO_f678173d_f036_4df1_a86b_2894560be617
- :EMMO_fb27e6d6_159e_48a6_9c29_76dc31d8a860
- )
- ] ;
rdfs:subClassOf :EMMO_4207e895_8b83_4318_996a_72cfb32acd94 ;
- skos:prefLabel "ClassicallyDefinedMaterial"@en .
+ skos:prefLabel "ClassicallyDefinedMaterial"@en ;
+ :EMMO_8a137e9f_579c_4e28_baca_e8980eb0c3db "Equivalent To: AmorphousMaterial or CrystallineMaterial" ,
+ "Equivalent To: MetallicMaterial or CeramicMaterial or CompositeMaterial or PolymericMaterial" .
### https://w3id.org/emmo#EMMO_3995e22d_5720_4dcf_ba3b_d0ce03f514c6
@@ -299,6 +293,7 @@ For example, immiscibile liquid phases (e.g. oil and water) constitute a mixture
### https://w3id.org/emmo#EMMO_4c1f58cd_6e2c_48fb_8098_1cbb762abb05
:EMMO_4c1f58cd_6e2c_48fb_8098_1cbb762abb05 rdf:type owl:Class ;
+ rdfs:subClassOf :EMMO_4db521a3_f80f_436b_b9c7_e4b52b1383ea ;
skos:prefLabel "MetallicMaterial"@en .
@@ -316,6 +311,12 @@ For example, immiscibile liquid phases (e.g. oil and water) constitute a mixture
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A liquid aerosol composed of water droplets in air or another gas."@en .
+### https://w3id.org/emmo#EMMO_4db521a3_f80f_436b_b9c7_e4b52b1383ea
+:EMMO_4db521a3_f80f_436b_b9c7_e4b52b1383ea rdf:type owl:Class ;
+ rdfs:subClassOf :EMMO_39348191_08fd_4bb6_9b1e_012d5b2f1ff6 ;
+ skos:prefLabel "MaterialByType"@en .
+
+
### https://w3id.org/emmo#EMMO_560d833a_6184_410c_859a_05d982712fd7
:EMMO_560d833a_6184_410c_859a_05d982712fd7 rdf:type owl:Class ;
rdfs:subClassOf :EMMO_04f2a2d5_e799_4692_a654_420e76f5acc1 ,
@@ -375,6 +376,8 @@ For example, immiscibile liquid phases (e.g. oil and water) constitute a mixture
### https://w3id.org/emmo#EMMO_660a4964_0333_4663_bc66_e93ef59b0679
:EMMO_660a4964_0333_4663_bc66_e93ef59b0679 rdf:type owl:Class ;
+ rdfs:subClassOf :EMMO_bc37743c_37c4_4ec7_9d58_d1aae5567352 ;
+ owl:disjointWith :EMMO_8b0923ab_b500_477b_9ce9_8b3a3e4dc4f2 ;
skos:prefLabel "MesoscopicSubstance"@en .
@@ -415,7 +418,8 @@ The term phase is sometimes used as a synonym for state of matter, but there can
### https://w3id.org/emmo#EMMO_7509da43_56b1_4d7f_887a_65d1663df4ba
:EMMO_7509da43_56b1_4d7f_887a_65d1663df4ba rdf:type owl:Class ;
- rdfs:subClassOf :EMMO_87ac88ff_8379_4f5a_8c7b_424a8fff1ee8 ;
+ rdfs:subClassOf :EMMO_220b7201_d277_4dca_bf6a_5a5e2c4062dd ,
+ :EMMO_87ac88ff_8379_4f5a_8c7b_424a8fff1ee8 ;
skos:prefLabel "Liquid"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A liquid is a nearly incompressible fluid that conforms to the shape of its container but retains a (nearly) constant volume independent of pressure."@en .
@@ -443,15 +447,16 @@ The term phase is sometimes used as a synonym for state of matter, but there can
rdfs:comment """A real bond between atoms is always something hybrid between covalent, metallic and ionic.
In general, metallic and ionic bonds have atoms sharing electrons."""@en ,
- "The bond types that are covered by this definition are the strong electonic bonds: covalent, metallic and ionic."@en ,
+ "The bond types that are covered by this definition are the strong electronic bonds: covalent, metallic and ionic."@en ,
"This class can be used to represent molecules as simplified quantum systems, in which outer molecule shared electrons are un-entangled with the inner shells of the atoms composing the molecule."@en ;
skos:prefLabel "BondedAtom"@en ;
- :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "An bonded atom that shares at least one electron to the atom-based entity of which is part of."@en .
+ :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A bonded atom that shares at least one electron to the atom-based entity of which is part of."@en .
### https://w3id.org/emmo#EMMO_87ac88ff_8379_4f5a_8c7b_424a8fff1ee8
:EMMO_87ac88ff_8379_4f5a_8c7b_424a8fff1ee8 rdf:type owl:Class ;
- rdfs:subClassOf :EMMO_8b0923ab_b500_477b_9ce9_8b3a3e4dc4f2 ;
+ rdfs:subClassOf :EMMO_8b0923ab_b500_477b_9ce9_8b3a3e4dc4f2 ,
+ :EMMO_b9695e87_8261_412e_83cd_a86459426a28 ;
owl:disjointUnionOf ( :EMMO_04f2a2d5_e799_4692_a654_420e76f5acc1
:EMMO_4c21fb86_fdcf_444e_b498_86fe656295af
:EMMO_7509da43_56b1_4d7f_887a_65d1663df4ba
@@ -469,6 +474,7 @@ In general, metallic and ionic bonds have atoms sharing electrons."""@en ,
### https://w3id.org/emmo#EMMO_8b0923ab_b500_477b_9ce9_8b3a3e4dc4f2
:EMMO_8b0923ab_b500_477b_9ce9_8b3a3e4dc4f2 rdf:type owl:Class ;
+ rdfs:subClassOf :EMMO_bc37743c_37c4_4ec7_9d58_d1aae5567352 ;
skos:prefLabel "ContinuumSubstance"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 """A state that is a collection of sufficiently large number of other parts such that:
- it is the bearer of qualities that can exists only by the fact that it is a sum of parts
@@ -505,7 +511,8 @@ A single continuum individual can be the whole fluid in a pipe."""@en ,
### https://w3id.org/emmo#EMMO_a2b006f2_bbfd_4dba_bcaa_3fca20cd6be1
:EMMO_a2b006f2_bbfd_4dba_bcaa_3fca20cd6be1 rdf:type owl:Class ;
- rdfs:subClassOf :EMMO_8b0923ab_b500_477b_9ce9_8b3a3e4dc4f2 ;
+ rdfs:subClassOf :EMMO_220b7201_d277_4dca_bf6a_5a5e2c4062dd ,
+ :EMMO_8b0923ab_b500_477b_9ce9_8b3a3e4dc4f2 ;
skos:prefLabel "Solid"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A continuum characterized by structural rigidity and resistance to changes of shape or volume, that retains its shape and density when not confined."@en .
@@ -518,21 +525,16 @@ A single continuum individual can be the whole fluid in a pipe."""@en ,
### https://w3id.org/emmo#EMMO_b9695e87_8261_412e_83cd_a86459426a28
:EMMO_b9695e87_8261_412e_83cd_a86459426a28 rdf:type owl:Class ;
- owl:disjointUnionOf ( :EMMO_04f2a2d5_e799_4692_a654_420e76f5acc1
- :EMMO_4c21fb86_fdcf_444e_b498_86fe656295af
- :EMMO_7509da43_56b1_4d7f_887a_65d1663df4ba
- :EMMO_a2b006f2_bbfd_4dba_bcaa_3fca20cd6be1
- ) ;
+ rdfs:subClassOf :EMMO_8b0923ab_b500_477b_9ce9_8b3a3e4dc4f2 ;
skos:prefLabel "StateOfMatter"@en ;
+ :EMMO_8a137e9f_579c_4e28_baca_e8980eb0c3db "Disjoint Union Of: Gas, Plasma, Liquid, Solid" ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A superclass made as the disjoint union of all the form under which matter can exist."@en ;
:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "In physics, a state of matter is one of the distinct forms in which matter can exist. Four states of matter are observable in everyday life: solid, liquid, gas, and plasma."@en ;
:EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d "https://en.wikipedia.org/wiki/State_of_matter"@en .
### https://w3id.org/emmo#EMMO_bc37743c_37c4_4ec7_9d58_d1aae5567352
-:EMMO_bc37743c_37c4_4ec7_9d58_d1aae5567352 owl:disjointUnionOf ( :EMMO_660a4964_0333_4663_bc66_e93ef59b0679
- :EMMO_8b0923ab_b500_477b_9ce9_8b3a3e4dc4f2
- ) .
+:EMMO_bc37743c_37c4_4ec7_9d58_d1aae5567352 :EMMO_8a137e9f_579c_4e28_baca_e8980eb0c3db "Disjoint Union Of: MesoscopicSubstance, ContinuumSubstance" .
### https://w3id.org/emmo#EMMO_c457b6b9_5e73_4853_ae08_d776c12b8058
@@ -544,6 +546,7 @@ A single continuum individual can be the whole fluid in a pipe."""@en ,
### https://w3id.org/emmo#EMMO_c5e9e390_8836_4440_b4fd_c906fdd4f438
:EMMO_c5e9e390_8836_4440_b4fd_c906fdd4f438 rdf:type owl:Class ;
+ rdfs:subClassOf :EMMO_4db521a3_f80f_436b_b9c7_e4b52b1383ea ;
skos:prefLabel "CeramicMaterial"@en .
@@ -606,15 +609,23 @@ A single continuum individual can be the whole fluid in a pipe."""@en ,
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A Miixture is a material made up of two or more different substances which are physically (not chemically) combined."@en .
+### https://w3id.org/emmo#EMMO_f00fb163_48c9_4c59_b6c2_4205c082aa54
+:EMMO_f00fb163_48c9_4c59_b6c2_4205c082aa54 rdf:type owl:Class ;
+ rdfs:subClassOf :EMMO_39348191_08fd_4bb6_9b1e_012d5b2f1ff6 ;
+ skos:prefLabel "MaterialByStructure"@en .
+
+
### https://w3id.org/emmo#EMMO_f1025834_0cd2_42a1_bfeb_13bec41c8655
:EMMO_f1025834_0cd2_42a1_bfeb_13bec41c8655 rdf:type owl:Class ;
+ rdfs:subClassOf :EMMO_f00fb163_48c9_4c59_b6c2_4205c082aa54 ;
rdfs:comment "Suggestion of Rickard Armiento" ;
skos:prefLabel "CrystallineMaterial"@en .
### https://w3id.org/emmo#EMMO_f678173d_f036_4df1_a86b_2894560be617
:EMMO_f678173d_f036_4df1_a86b_2894560be617 rdf:type owl:Class ;
- rdfs:subClassOf [ rdf:type owl:Restriction ;
+ rdfs:subClassOf :EMMO_4db521a3_f80f_436b_b9c7_e4b52b1383ea ,
+ [ rdf:type owl:Restriction ;
owl:onProperty :EMMO_dc57d998_23db_4d8e_b2cd_f346b195b846 ;
owl:minQualifiedCardinality "2"^^xsd:nonNegativeInteger ;
owl:onClass :EMMO_4207e895_8b83_4318_996a_72cfb32acd94
@@ -626,12 +637,16 @@ A single continuum individual can be the whole fluid in a pipe."""@en ,
### https://w3id.org/emmo#EMMO_fb27e6d6_159e_48a6_9c29_76dc31d8a860
:EMMO_fb27e6d6_159e_48a6_9c29_76dc31d8a860 rdf:type owl:Class ;
+ rdfs:subClassOf :EMMO_4db521a3_f80f_436b_b9c7_e4b52b1383ea ;
skos:prefLabel "PolymericMaterial"@en .
-[ owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger
+[ owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger
] .
+[ owl:minQualifiedCardinality "2"^^xsd:nonNegativeInteger
+ ] .
+
[ owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger
] .
@@ -644,10 +659,23 @@ A single continuum individual can be the whole fluid in a pipe."""@en ,
[ owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger
] .
+[ owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger
+ ] .
+
[ owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger
] .
-[ owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger
+#################################################################
+# General axioms
+#################################################################
+
+[ rdf:type owl:AllDisjointClasses ;
+ owl:members ( :EMMO_04f2a2d5_e799_4692_a654_420e76f5acc1
+ :EMMO_4c21fb86_fdcf_444e_b498_86fe656295af
+ :EMMO_7509da43_56b1_4d7f_887a_65d1663df4ba
+ :EMMO_a2b006f2_bbfd_4dba_bcaa_3fca20cd6be1
+ )
] .
-### Generated by the OWL API (version 4.5.26.2023-07-17T20:34:13Z) https://github.com/owlcs/owlapi
+
+### Generated by the OWL API (version 4.5.29.2024-05-13T12:11:03Z) https://github.com/owlcs/owlapi
diff --git a/disciplines/math.ttl b/disciplines/math.ttl
index 5f3ff181..51111dc5 100644
--- a/disciplines/math.ttl
+++ b/disciplines/math.ttl
@@ -9,22 +9,23 @@
@base .
rdf:type owl:Ontology ;
- owl:versionIRI ;
- owl:imports ,
- ,
- ;
+ owl:versionIRI ;
+ owl:imports ,
+ ,
+ ,
+ ;
dcterms:abstract "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 ;
- dcterms:creator ,
- ,
- ,
- ,
- ;
+ dcterms:creator ,
+ :AdhamHashibon ,
+ :EmanueleGhedini ,
+ :GerhardGoldbeck ,
+ :JesperFriis ;
dcterms:license "https://creativecommons.org/licenses/by/4.0/legalcode" ;
dcterms:publisher ;
dcterms:title "Math"@en ;
- :EMMO_1246b120_abbe_4840_b0f8_3e4348b24a17 "emmo@emmc.eu" ;
rdfs:comment "The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ;
- owl:versionInfo "1.0.0-rc1" .
+ owl:versionInfo "1.0.0-rc3" ;
+ :EMMO_1246b120_abbe_4840_b0f8_3e4348b24a17 "emmo@emmc.eu" .
#################################################################
# Annotation properties
@@ -46,6 +47,10 @@ owl:qualifiedCardinality rdf:type owl:AnnotationProperty .
skos:prefLabel "hasVariable"@en .
+### https://w3id.org/emmo#EMMO_b2282816_b7a3_44c6_b2cb_3feff1ceb7fe
+:EMMO_b2282816_b7a3_44c6_b2cb_3feff1ceb7fe rdf:type owl:ObjectProperty .
+
+
#################################################################
# Data properties
#################################################################
@@ -54,13 +59,20 @@ owl:qualifiedCardinality rdf:type owl:AnnotationProperty .
:EMMO_23b579e1_8088_45b5_9975_064014026c42 rdf:type owl:DatatypeProperty .
+### https://w3id.org/emmo#EMMO_436c8a78_f95d_42a0_9854_07ad3736f061
+:EMMO_436c8a78_f95d_42a0_9854_07ad3736f061 rdf:type owl:DatatypeProperty ;
+ rdfs:subPropertyOf :EMMO_23b579e1_8088_45b5_9975_064014026c42 ;
+ rdfs:domain :EMMO_5be83f9c_a4ba_4b9a_be1a_5bfc6e891231 ;
+ skos:prefLabel "mathematicalSymbolValue"@en .
+
+
### https://w3id.org/emmo#EMMO_faf79f53_749d_40b2_807c_d34244c192f4
:EMMO_faf79f53_749d_40b2_807c_d34244c192f4 rdf:type owl:DatatypeProperty ;
rdfs:subPropertyOf :EMMO_b6292331_94af_4f00_976b_ea55960c2f1c ;
rdf:type owl:FunctionalProperty ;
- :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "The owl:dataProperty that provides a serialisation of an EMMO numerical data entity." ;
rdfs:domain :EMMO_8b305b63_6fa3_44dd_9679_17eb8403a07a ;
- skos:prefLabel "hasNumberValue"@en .
+ skos:prefLabel "hasNumberValue"@en ;
+ :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "The owl:dataProperty that provides a serialisation of an EMMO numerical data entity." .
#################################################################
@@ -71,7 +83,7 @@ owl:qualifiedCardinality rdf:type owl:AnnotationProperty .
:EMMO_048a14e3_65fb_457d_8695_948965c89492 rdf:type owl:Class ;
rdfs:subClassOf :EMMO_f8a2fe9f_458b_4771_9aba_a50e76afc52d ,
[ rdf:type owl:Restriction ;
- owl:onProperty :EMMO_23b579e1_8088_45b5_9975_064014026c42 ;
+ owl:onProperty :EMMO_436c8a78_f95d_42a0_9854_07ad3736f061 ;
owl:hasValue "Δ"
] ;
skos:prefLabel "Laplacian"@en .
@@ -84,26 +96,26 @@ owl:qualifiedCardinality rdf:type owl:AnnotationProperty .
owl:onProperty :EMMO_b2282816_b7a3_44c6_b2cb_3feff1ceb7fe ;
owl:someValuesFrom :EMMO_21f56795_ee72_4858_b571_11cfaa59c1a8
] ;
- :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "1-dimensional array who's spatial direct parts are numbers."@en ;
skos:altLabel "1DArray"@en ,
"LinearArray" ;
- skos:prefLabel "Vector"@en .
+ skos:prefLabel "Vector"@en ;
+ :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "1-dimensional array who's spatial direct parts are numbers."@en .
### https://w3id.org/emmo#EMMO_0b6ebe5a_0026_4bef_a1c1_5be00df9f98e
:EMMO_0b6ebe5a_0026_4bef_a1c1_5be00df9f98e rdf:type owl:Class ;
rdfs:subClassOf :EMMO_88470739_03d3_4c47_a03e_b30a1288d50c ;
- :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A relation which makes a non-equal comparison between two numbers or other mathematical expressions."@en ;
skos:example "f(x) > 0"@en ;
- skos:prefLabel "Inequality"@en .
+ skos:prefLabel "Inequality"@en ;
+ :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A relation which makes a non-equal comparison between two numbers or other mathematical expressions."@en .
### https://w3id.org/emmo#EMMO_1aed91a3_d00c_48af_8f43_a0c958b2512a
:EMMO_1aed91a3_d00c_48af_8f43_a0c958b2512a rdf:type owl:Class ;
rdfs:subClassOf :EMMO_f9bc8b52_85e9_4b53_b969_dd7724d5b8e4 ;
- skos:example "2x+3"@en ;
rdfs:comment "An expression that has parts only integer constants, variables, and the algebraic operations (addition, subtraction, multiplication, division and exponentiation by an exponent that is a rational number)"@en ;
- skos:prefLabel "AlgebricExpression"@en .
+ skos:example "2x+3"@en ;
+ skos:prefLabel "AlgebraicExpression"@en .
### https://w3id.org/emmo#EMMO_1cba0b27_15d0_4326_933f_379d0b3565b6
@@ -113,31 +125,31 @@ owl:qualifiedCardinality rdf:type owl:AnnotationProperty .
owl:onProperty :EMMO_b2282816_b7a3_44c6_b2cb_3feff1ceb7fe ;
owl:someValuesFrom :EMMO_06658d8d_dcde_4fc9_aae1_17f71c0bcdec
] ;
- :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "2-dimensional array who's spatial direct parts are vectors."@en ;
skos:altLabel "2DArray"@en ;
- skos:prefLabel "Matrix"@en .
+ skos:prefLabel "Matrix"@en ;
+ :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "2-dimensional array who's spatial direct parts are vectors."@en .
### https://w3id.org/emmo#EMMO_1eed0732_e3f1_4b2c_a9c4_b4e75eeb5895
:EMMO_1eed0732_e3f1_4b2c_a9c4_b4e75eeb5895 rdf:type owl:Class ;
rdfs:subClassOf :EMMO_54ee6b5e_5261_44a8_86eb_5717e7fdb9d0 ;
- :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A variable is a symbolic object that stands for any other mathematical object, such as number, a vector, a matrix, a function, the argument of a function, a set, an element of a set."@en ;
skos:example """x
k"""@en ;
- skos:prefLabel "Variable"@en .
+ skos:prefLabel "Variable"@en ;
+ :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A variable is a symbolic object that stands for any other mathematical object, such as number, a vector, a matrix, a function, the argument of a function, a set, an element of a set."@en .
[ rdf:type owl:Axiom ;
owl:annotatedSource :EMMO_1eed0732_e3f1_4b2c_a9c4_b4e75eeb5895 ;
- owl:annotatedProperty :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 ;
- owl:annotatedTarget "A variable is a symbolic object that stands for any other mathematical object, such as number, a vector, a matrix, a function, the argument of a function, a set, an element of a set."@en ;
- :EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d "https://en.wikipedia.org/wiki/Variable_(mathematics)"^^xsd:anyURI
+ owl:annotatedProperty skos:prefLabel ;
+ owl:annotatedTarget "Variable"@en ;
+ :EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "Fom Latin variabilis (\"changeable\")."@en
] .
[ rdf:type owl:Axiom ;
owl:annotatedSource :EMMO_1eed0732_e3f1_4b2c_a9c4_b4e75eeb5895 ;
- owl:annotatedProperty skos:prefLabel ;
- owl:annotatedTarget "Variable"@en ;
- :EMMO_705f27ae_954c_4f13_98aa_18473fc52b25 "Fom Latin variabilis (\"changeable\")."@en
+ owl:annotatedProperty :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 ;
+ owl:annotatedTarget "A variable is a symbolic object that stands for any other mathematical object, such as number, a vector, a matrix, a function, the argument of a function, a set, an element of a set."@en ;
+ :EMMO_c84c6752_6d64_48cc_9500_e54a3c34898d "https://en.wikipedia.org/wiki/Variable_(mathematics)"^^xsd:anyURI
] .
@@ -148,16 +160,15 @@ k"""@en ;
owl:onProperty :EMMO_b2282816_b7a3_44c6_b2cb_3feff1ceb7fe ;
owl:someValuesFrom :EMMO_1cba0b27_15d0_4326_933f_379d0b3565b6
] ;
- :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "3-dimensional array who's spatial direct parts are matrices."@en ;
skos:altLabel "3DArray"@en ;
- skos:prefLabel "Array3D"@en .
+ skos:prefLabel "Array3D"@en ;
+ :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "3-dimensional array who's spatial direct parts are matrices."@en .
### https://w3id.org/emmo#EMMO_21f56795_ee72_4858_b571_11cfaa59c1a8
:EMMO_21f56795_ee72_4858_b571_11cfaa59c1a8 rdf:type owl:Class ;
rdfs:subClassOf :EMMO_4ce76d7f_03f8_45b6_9003_90052a79bfaa ,
:EMMO_a1083d0a_c1fb_471f_8e20_a98f881ad527 ;
- :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A numerical data value."@en ;
rdfs:comment "A number individual provides the link between the ontology and the actual data, through the data property hasNumericalValue."@en ,
"A number is actually a string (e.g. 1.4, 1e-8) of numerical digits and other symbols. However, in order not to increase complexity of the taxonomy and relations, here we take a number as an \"atomic\" object, without decomposit it in digits (i.e. we do not include digits in the EMMO as alphabet for numbers)."@en ,
"""In math usually number and numeral are distinct concepts, the numeral being the symbol or a composition of symbols (e.g. 3.14, 010010, three) and the number is the idea behind it.
@@ -167,7 +178,8 @@ Or alternatively, an integer numeral may also stands for a set of a specific car
The fact that you can't give a name to a number without using a numeral or, in case of positive integers, without referring to a real world objects set with specific cardinality, suggests that the abstract concept of number is not a concept that can be practically used.
For these reasons, the EMMO will consider numerals and numbers as the same concept."""@en ;
skos:altLabel "Numeral"@en ;
- skos:prefLabel "Number"@en .
+ skos:prefLabel "Number"@en ;
+ :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A numerical data value."@en .
### https://w3id.org/emmo#EMMO_223d9523_4169_4ecd_b8af_acad1215e1ff
@@ -179,42 +191,42 @@ For these reasons, the EMMO will consider numerals and numbers as the same conce
### https://w3id.org/emmo#EMMO_24b30ba4_90f4_423d_93d2_fd0fde349087
:EMMO_24b30ba4_90f4_423d_93d2_fd0fde349087 rdf:type owl:Class ;
rdfs:subClassOf :EMMO_1cba0b27_15d0_4326_933f_379d0b3565b6 ;
- :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A real matrix with shape 4x3."@en ;
- skos:prefLabel "Shape4x3Matrix"@en .
+ skos:prefLabel "Shape4x3Matrix"@en ;
+ :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A real matrix with shape 4x3."@en .
### https://w3id.org/emmo#EMMO_28fbea28_2204_4613_87ff_6d877b855fcd
:EMMO_28fbea28_2204_4613_87ff_6d877b855fcd rdf:type owl:Class ;
rdfs:subClassOf :EMMO_54ee6b5e_5261_44a8_86eb_5717e7fdb9d0 ;
- :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "Arrays are ordered mathematical objects who's elementary spatial parts are numbers. Their dimensionality is constructed with spatial direct parthood, where 1-dimensional arrays have spatial direct parts Number and n-dimensional array have spatial direct parts (n-1)-dimensional arrays."@en ;
- skos:example """A Vector is a 1-dimensional Array with Number as spatial direct parts,
-a Matrix is a 2-dimensional Array with Vector as spatial direct parts,
-an Array3D is a 3-dimensional Array with Matrix as spatial direct parts,
-and so forth..."""@en ;
rdfs:comment """Array subclasses with a specific shape can be constructed with cardinality restrictions.
See Shape4x3Matrix as an example."""@en ,
"Arrays are ordered objects, since they are a subclasses of Arrangement."@en ;
- skos:prefLabel "Array"@en .
+ skos:example """A Vector is a 1-dimensional Array with Number as spatial direct parts,
+a Matrix is a 2-dimensional Array with Vector as spatial direct parts,
+an Array3D is a 3-dimensional Array with Matrix as spatial direct parts,
+and so forth..."""@en ;
+ skos:prefLabel "Array"@en ;
+ :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "Arrays are ordered mathematical objects who's elementary spatial parts are numbers. Their dimensionality is constructed with spatial direct parthood, where 1-dimensional arrays have spatial direct parts Number and n-dimensional array have spatial direct parts (n-1)-dimensional arrays."@en .
### https://w3id.org/emmo#EMMO_29afdf54_90ae_4c98_8845_fa9ea3f143a8
:EMMO_29afdf54_90ae_4c98_8845_fa9ea3f143a8 rdf:type owl:Class ;
rdfs:subClassOf :EMMO_e56ee3eb_7609_4ae1_8bed_51974f0960a6 ;
- :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "An equation that define a new variable in terms of other mathematical entities."@en ;
skos:example """The definition of velocity as v = dx/dt.
The definition of density as mass/volume.
y = f(x)"""@en ;
- skos:prefLabel "DefiningEquation"@en .
+ skos:prefLabel "DefiningEquation"@en ;
+ :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "An equation that define a new variable in terms of other mathematical entities."@en .
### https://w3id.org/emmo#EMMO_2b1303e8_d4c3_453b_9918_76f1d009543f
:EMMO_2b1303e8_d4c3_453b_9918_76f1d009543f rdf:type owl:Class ;
rdfs:subClassOf :EMMO_707f0cd1_941c_4b57_9f20_d0ba30cd6ff3 ,
[ rdf:type owl:Restriction ;
- owl:onProperty :EMMO_23b579e1_8088_45b5_9975_064014026c42 ;
+ owl:onProperty :EMMO_436c8a78_f95d_42a0_9854_07ad3736f061 ;
owl:hasValue "*"
] ;
skos:prefLabel "Multiplication"@en .
@@ -223,22 +235,22 @@ y = f(x)"""@en ;
### https://w3id.org/emmo#EMMO_2ff07b07_c447_490f_903a_f6a72a12d7bf
:EMMO_2ff07b07_c447_490f_903a_f6a72a12d7bf rdf:type owl:Class ;
rdfs:subClassOf :EMMO_06658d8d_dcde_4fc9_aae1_17f71c0bcdec ;
- :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A real vector with 3 elements."@en ;
skos:example "The quantity value of physical quantities if real space is a Shape3Vector."@en ;
- skos:prefLabel "Shape3Vector"@en .
+ skos:prefLabel "Shape3Vector"@en ;
+ :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A real vector with 3 elements."@en .
### https://w3id.org/emmo#EMMO_3c424d37_cf62_41b1_ac9d_a316f8d113d6
:EMMO_3c424d37_cf62_41b1_ac9d_a316f8d113d6 rdf:type owl:Class ;
rdfs:subClassOf :EMMO_f6d0c26a_98b6_4cf8_8632_aa259131faaa ;
- skos:prefLabel "AlgebricOperator"@en .
+ skos:prefLabel "AlgebraicOperator"@en .
### https://w3id.org/emmo#EMMO_46d5643b_9706_4b67_8bea_ed77d6026539
:EMMO_46d5643b_9706_4b67_8bea_ed77d6026539 rdf:type owl:Class ;
rdfs:subClassOf :EMMO_707f0cd1_941c_4b57_9f20_d0ba30cd6ff3 ,
[ rdf:type owl:Restriction ;
- owl:onProperty :EMMO_23b579e1_8088_45b5_9975_064014026c42 ;
+ owl:onProperty :EMMO_436c8a78_f95d_42a0_9854_07ad3736f061 ;
owl:hasValue "-"
] ;
skos:prefLabel "Minus"@en .
@@ -247,18 +259,18 @@ y = f(x)"""@en ;
### https://w3id.org/emmo#EMMO_4bc29b0f_8fcc_4026_a291_f9774a66d9b8
:EMMO_4bc29b0f_8fcc_4026_a291_f9774a66d9b8 rdf:type owl:Class ;
rdfs:subClassOf :EMMO_29afdf54_90ae_4c98_8845_fa9ea3f143a8 ;
- :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A function defined using functional notation."@en ;
- skos:example "y = f(x)"@en ;
rdfs:comment "A mathematical relation that relates each element in the domain (X) to exactly one element in the range (Y)."@en ;
skos:altLabel "FunctionDefinition"@en ;
- skos:prefLabel "MathematicalFunction"@en .
+ skos:example "y = f(x)"@en ;
+ skos:prefLabel "MathematicalFunction"@en ;
+ :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A function defined using functional notation."@en .
### https://w3id.org/emmo#EMMO_4ce76d7f_03f8_45b6_9003_90052a79bfaa
:EMMO_4ce76d7f_03f8_45b6_9003_90052a79bfaa rdf:type owl:Class ;
rdfs:subClassOf :EMMO_54ee6b5e_5261_44a8_86eb_5717e7fdb9d0 ;
- :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A 'Mathematical' that has no unknown value, i.e. all its 'Variable\"-s parts refers to a 'Number' (for scalars that have a built-in datatype) or to another 'Numerical' (for complex numerical data structures that should rely on external implementations)."@en ;
- skos:prefLabel "Numerical"@en .
+ skos:prefLabel "Numerical"@en ;
+ :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A 'Mathematical' that has no unknown value, i.e. all its 'Variable\"-s parts refers to a 'Number' (for scalars that have a built-in datatype) or to another 'Numerical' (for complex numerical data structures that should rely on external implementations)."@en .
### https://w3id.org/emmo#EMMO_535d75a4_1972_40bc_88c6_ca566386934f
@@ -266,19 +278,19 @@ y = f(x)"""@en ;
rdfs:subClassOf :EMMO_54ee6b5e_5261_44a8_86eb_5717e7fdb9d0 ,
:EMMO_a1083d0a_c1fb_471f_8e20_a98f881ad527 ,
[ rdf:type owl:Restriction ;
- owl:onProperty :EMMO_23b579e1_8088_45b5_9975_064014026c42 ;
+ owl:onProperty :EMMO_436c8a78_f95d_42a0_9854_07ad3736f061 ;
owl:hasValue "="
] ;
- :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The equals symbol."@en ;
- skos:prefLabel "Equals"@en .
+ skos:prefLabel "Equals"@en ;
+ :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The equals symbol."@en .
### https://w3id.org/emmo#EMMO_54ee6b5e_5261_44a8_86eb_5717e7fdb9d0
:EMMO_54ee6b5e_5261_44a8_86eb_5717e7fdb9d0 rdf:type owl:Class ;
rdfs:subClassOf :EMMO_d8d2144e_5c8d_455d_a643_5caf4d8d9df8 ;
+ skos:prefLabel "Mathematical"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The class of general mathematical symbolic objects respecting mathematical syntactic rules."@en ;
- :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "A mathematical object in this branch is not representing a concept but an actual graphical object built using mathematcal symbols arranged in some way, according to math conventions."@en ;
- skos:prefLabel "Mathematical"@en .
+ :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "A mathematical object in this branch is not representing a concept but an actual graphical object built using mathematcal symbols arranged in some way, according to math conventions."@en .
### https://w3id.org/emmo#EMMO_5be83f9c_a4ba_4b9a_be1a_5bfc6e891231
@@ -307,9 +319,9 @@ y = f(x)"""@en ;
:EMMO_88470739_03d3_4c47_a03e_b30a1288d50c rdf:type owl:Class ;
rdfs:subClassOf :EMMO_54ee6b5e_5261_44a8_86eb_5717e7fdb9d0 ,
:EMMO_89a0c87c_0804_4013_937a_6fe234d9499c ;
- :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A mathematical string that express a relation between the elements in one set X to elements in another set Y."@en ;
rdfs:comment "The set X is called domain and the set Y range or codomain."@en ;
- skos:prefLabel "MathematicalFormula"@en .
+ skos:prefLabel "MathematicalFormula"@en ;
+ :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A mathematical string that express a relation between the elements in one set X to elements in another set Y."@en .
### https://w3id.org/emmo#EMMO_89083bab_f69c_4d06_bf6d_62973b56cdc7
@@ -332,15 +344,15 @@ y = f(x)"""@en ;
### https://w3id.org/emmo#EMMO_8c64fcfa_23aa_45f8_9e58_bdfd065fab8f
:EMMO_8c64fcfa_23aa_45f8_9e58_bdfd065fab8f rdf:type owl:Class ;
rdfs:subClassOf :EMMO_9e029526_79a2_47a8_a151_dd0545db471b ;
- :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A variable that stand for a numerical constant, even if it is unknown."@en ;
- skos:prefLabel "Constant"@en .
+ skos:prefLabel "Constant"@en ;
+ :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A variable that stand for a numerical constant, even if it is unknown."@en .
### https://w3id.org/emmo#EMMO_8de14a59_660b_454f_aff8_76a07ce185f4
:EMMO_8de14a59_660b_454f_aff8_76a07ce185f4 rdf:type owl:Class ;
rdfs:subClassOf :EMMO_707f0cd1_941c_4b57_9f20_d0ba30cd6ff3 ,
[ rdf:type owl:Restriction ;
- owl:onProperty :EMMO_23b579e1_8088_45b5_9975_064014026c42 ;
+ owl:onProperty :EMMO_436c8a78_f95d_42a0_9854_07ad3736f061 ;
owl:hasValue "+"
] ;
skos:prefLabel "Plus"@en .
@@ -360,16 +372,16 @@ y = f(x)"""@en ;
owl:onProperty :EMMO_dc57d998_23db_4d8e_b2cd_f346b195b846 ;
owl:someValuesFrom :EMMO_1aed91a3_d00c_48af_8f43_a0c958b2512a
] ;
- skos:example "2 * a - b = c"@en ;
rdfs:comment "An 'equation' that has parts two 'polynomial'-s"@en ;
- skos:prefLabel "AlgebricEquation"@en .
+ skos:example "2 * a - b = c"@en ;
+ skos:prefLabel "AlgebraicEquation"@en .
### https://w3id.org/emmo#EMMO_9e029526_79a2_47a8_a151_dd0545db471b
:EMMO_9e029526_79a2_47a8_a151_dd0545db471b rdf:type owl:Class ;
rdfs:subClassOf :EMMO_1eed0732_e3f1_4b2c_a9c4_b4e75eeb5895 ;
- :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A variable standing for a numerical defined mathematical object like e.g. a number, a vector of numbers, a matrix of numbers."@en ;
- skos:prefLabel "NumericalVariable"@en .
+ skos:prefLabel "NumericalVariable"@en ;
+ :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A variable standing for a numerical defined mathematical object like e.g. a number, a vector of numbers, a matrix of numbers."@en .
### https://w3id.org/emmo#EMMO_a1083d0a_c1fb_471f_8e20_a98f881ad527
@@ -380,7 +392,7 @@ y = f(x)"""@en ;
:EMMO_a365b3c1_7bde_41d7_a15b_2820762e85f4 rdf:type owl:Class ;
rdfs:subClassOf :EMMO_707f0cd1_941c_4b57_9f20_d0ba30cd6ff3 ,
[ rdf:type owl:Restriction ;
- owl:onProperty :EMMO_23b579e1_8088_45b5_9975_064014026c42 ;
+ owl:onProperty :EMMO_436c8a78_f95d_42a0_9854_07ad3736f061 ;
owl:hasValue "/"
] ;
skos:prefLabel "Division"@en .
@@ -402,16 +414,16 @@ y = f(x)"""@en ;
] ;
owl:allValuesFrom :EMMO_4ce76d7f_03f8_45b6_9003_90052a79bfaa
] ;
- :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A variable that stand for a well known numerical constant (a known number)."@en ;
skos:example "π refers to the constant number ~3.14"@en ;
- skos:prefLabel "KnownConstant"@en .
+ skos:prefLabel "KnownConstant"@en ;
+ :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A variable that stand for a well known numerical constant (a known number)."@en .
### https://w3id.org/emmo#EMMO_b5c58790_fb2d_42eb_b184_2a3f6ca60acb
:EMMO_b5c58790_fb2d_42eb_b184_2a3f6ca60acb rdf:type owl:Class ;
rdfs:subClassOf :EMMO_f8a2fe9f_458b_4771_9aba_a50e76afc52d ,
[ rdf:type owl:Restriction ;
- owl:onProperty :EMMO_23b579e1_8088_45b5_9975_064014026c42 ;
+ owl:onProperty :EMMO_436c8a78_f95d_42a0_9854_07ad3736f061 ;
owl:hasValue "∇"
] ;
skos:prefLabel "Gradient"@en .
@@ -420,8 +432,8 @@ y = f(x)"""@en ;
### https://w3id.org/emmo#EMMO_d1d436e7_72fc_49cd_863b_7bfb4ba5276a
:EMMO_d1d436e7_72fc_49cd_863b_7bfb4ba5276a rdf:type owl:Class ;
rdfs:subClassOf :EMMO_9e029526_79a2_47a8_a151_dd0545db471b ;
- skos:example "Viscosity in the Navier-Stokes equation"@en ;
rdfs:comment "A variable whose value is assumed to be known independently from the equation, but whose value is not explicitated in the equation."@en ;
+ skos:example "Viscosity in the Navier-Stokes equation"@en ;
skos:prefLabel "Parameter"@en .
@@ -437,27 +449,27 @@ y = f(x)"""@en ;
owl:onProperty :EMMO_dc57d998_23db_4d8e_b2cd_f346b195b846 ;
owl:someValuesFrom :EMMO_f9bc8b52_85e9_4b53_b969_dd7724d5b8e4
] ;
- :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The class of 'mathematical'-s that stand for a statement of equality between two mathematical expressions."@en ;
- skos:example """2+3 = 5
-x^2 +3x = 5x
-dv/dt = a
-sin(x) = y"""@en ;
rdfs:comment """An equation with variables can always be represented as:
f(v0, v1, ..., vn) = g(v0, v1, ..., vn)
where f is the left hand and g the right hand side expressions and v0, v1, ..., vn are the variables."""@en ;
- skos:prefLabel "Equation"@en .
+ skos:example """2+3 = 5
+x^2 +3x = 5x
+dv/dt = a
+sin(x) = y"""@en ;
+ skos:prefLabel "Equation"@en ;
+ :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The class of 'mathematical'-s that stand for a statement of equality between two mathematical expressions."@en .
### https://w3id.org/emmo#EMMO_f6d0c26a_98b6_4cf8_8632_aa259131faaa
:EMMO_f6d0c26a_98b6_4cf8_8632_aa259131faaa rdf:type owl:Class ;
rdfs:subClassOf :EMMO_54ee6b5e_5261_44a8_86eb_5717e7fdb9d0 ,
:EMMO_a1083d0a_c1fb_471f_8e20_a98f881ad527 ;
- :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A mapping that acts on elements of one space and produces elements of another space."@en ;
skos:example "The algebraic operator '+' that acts on two real numbers and produces one real number."@en ,
- "The differential operator that acts on a C1 real function and produces another real function."@en ;
- skos:prefLabel "MathematicalOperator"@en .
+ "The differential operator that acts on a C1 real function and produces another real function."@en ;
+ skos:prefLabel "MathematicalOperator"@en ;
+ :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A mapping that acts on elements of one space and produces elements of another space."@en .
### https://w3id.org/emmo#EMMO_f8a2fe9f_458b_4771_9aba_a50e76afc52d
@@ -470,16 +482,16 @@ where f is the left hand and g the right hand side expressions and v0, v1, ...,
:EMMO_f9bc8b52_85e9_4b53_b969_dd7724d5b8e4 rdf:type owl:Class ;
rdfs:subClassOf :EMMO_54ee6b5e_5261_44a8_86eb_5717e7fdb9d0 ,
:EMMO_89a0c87c_0804_4013_937a_6fe234d9499c ;
- :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A well-formed finite combination of mathematical symbols according to some specific rules."@en ;
- skos:prefLabel "Expression"@en .
+ skos:prefLabel "Expression"@en ;
+ :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A well-formed finite combination of mathematical symbols according to some specific rules."@en .
### https://w3id.org/emmo#EMMO_fe7e56ce_118b_4243_9aad_20eb9f4f31f6
:EMMO_fe7e56ce_118b_4243_9aad_20eb9f4f31f6 rdf:type owl:Class ;
rdfs:subClassOf :EMMO_9e029526_79a2_47a8_a151_dd0545db471b ;
- :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The dependent variable for which an equation has been written."@en ;
skos:example "Velocity, for the Navier-Stokes equation."@en ;
- skos:prefLabel "Unknown"@en .
+ skos:prefLabel "Unknown"@en ;
+ :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "The dependent variable for which an equation has been written."@en .
### https://w3id.org/emmo#EMMO_ffe760a2_9d1f_4aef_8bee_1f450f9cb00d
@@ -493,16 +505,17 @@ where f is the left hand and g the right hand side expressions and v0, v1, ...,
owl:onProperty :EMMO_9380ab64_0363_4804_b13f_3a8a94119a76 ;
owl:someValuesFrom :EMMO_5be83f9c_a4ba_4b9a_be1a_5bfc6e891231
] ;
- skos:prefLabel "MathematicalConstruct"@en .
+ skos:prefLabel "MathematicalConstruct"@en ;
+ :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A construct of two or more mathematical symbols."@en .
[ owl:qualifiedCardinality "3"^^xsd:nonNegativeInteger
] .
-[ owl:qualifiedCardinality "4"^^xsd:nonNegativeInteger
+[ owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger
] .
-[ owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger
+[ owl:qualifiedCardinality "4"^^xsd:nonNegativeInteger
] .
-### Generated by the OWL API (version 4.5.26.2023-07-17T20:34:13Z) https://github.com/owlcs/owlapi
+### Generated by the OWL API (version 4.5.29.2024-05-13T12:11:03Z) https://github.com/owlcs/owlapi
diff --git a/disciplines/metrology.ttl b/disciplines/metrology.ttl
index a537bb1f..0c07c19b 100644
--- a/disciplines/metrology.ttl
+++ b/disciplines/metrology.ttl
@@ -9,25 +9,24 @@
@base .
rdf:type owl:Ontology ;
- owl:versionIRI ;
- owl:imports ,
- ,
- ,
- ,
- ;
+ owl:versionIRI ;
+ owl:imports ,
+ ,
+ ,
+ ,
+ ;
dcterms:abstract """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 ;
- dcterms:creator ,
- ,
- ,
- ,
- ;
+ dcterms:creator :EmanueleGhedini ,
+ :GerhardGoldbeck ,
+ :JesperFriis ,
+ :SimonClark ;
dcterms:license "https://creativecommons.org/licenses/by/4.0/legalcode" ;
dcterms:publisher ;
dcterms:title "Metrology"@en ;
rdfs:comment "The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ;
- owl:versionInfo "1.0.0-rc1" ;
+ owl:versionInfo "1.0.0-rc3" ;
:EMMO_1246b120_abbe_4840_b0f8_3e4348b24a17 "emmo@emmc.eu" .
#################################################################
@@ -96,6 +95,22 @@ This module is based on the International vocabulary of metrology (VIM) as well
rdfs:range xsd:anyURI .
+#################################################################
+# Datatypes
+#################################################################
+
+### https://w3id.org/emmo#EMMO_799c067b_083f_4365_9452_1f1433b03676
+:EMMO_799c067b_083f_4365_9452_1f1433b03676 rdf:type rdfs:Datatype ;
+ skos:example "\"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 ;
+ skos:prefLabel "SIQuantityDatatype"@en ;
+ :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A datatype for a specifying a physcial quantity as a string consisting of a numerical, a separator and an SI unit."@en ;
+ :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "The unit should be a valid, possible prefixed, derived SI unit."@en .
+
+
#################################################################
# Object Properties
#################################################################
@@ -156,7 +171,7 @@ The quantity is selected without an observation aimed to measure its actual valu
rdfs:domain :EMMO_0650c031_42b6_4f0a_b62d_d88f071da6bf ;
rdfs:range :EMMO_18ce5200_00f5_45bb_8c6f_6fb128cd41ae ;
rdfs:comment "Relates a quantity to its metrological reference through a semiotic process."@en ;
- owl:versionInfo """In EMMO version 1.0.0-rc1, physical quantities used the hasMetrologicalReference object property to relate them to their units via physical dimensionality. This was simplified in 1.0.0-alpha3 in order to make reasoning faster.
+ owl:versionInfo """In EMMO version 1.0.0-rc3, physical quantities used the hasMetrologicalReference object property to relate them to their units via physical dimensionality. This was simplified in 1.0.0-alpha3 in order to make reasoning faster.
The restriction (e.g. for the physical quantity Length)
@@ -244,19 +259,44 @@ The label of this class was also changed from PhysicsDimension to PhysicalDimens
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "Assigns a quantity to an object via a well-defined measurement procedure."@en .
+#################################################################
+# Data properties
+#################################################################
+
+### https://w3id.org/emmo#EMMO_42806efc_581b_4ff8_81b0_b4d62153458b
+:EMMO_42806efc_581b_4ff8_81b0_b4d62153458b rdf:type owl:DatatypeProperty ;
+ rdfs:subPropertyOf owl:topDataProperty ;
+ rdfs:domain :EMMO_02c0621e_a527_4790_8a0f_2bb51973c819 ;
+ rdfs:range :EMMO_799c067b_083f_4365_9452_1f1433b03676 ;
+ skos:example """Example showing how to specify the value of a physical quantity in turtle using hasSIQuantityValue:
+
+ height1 a emmo:Height ;
+ hasSIQuantityValue \"3 cm\"^^emmo:SIQuantityDatatype ."""@en ;
+ skos:prefLabel "hasSIQuantityValue"@en ;
+ :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "Relates a physical quantity to its value specified as a string consisting of a numerical, a separator and a unit."@en ;
+ :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f """Using hasSIQuantityValue is a convenient, but less semantic, alternative to specify value and unit of a physical quantity compared to using the 'hasNumericalPart' and 'hasReferencePart'/'hasMetrologicalReference' relations.
+
+The unit should be a valid, possible prefixed, derived SI unit."""@en .
+
+
+### https://w3id.org/emmo#EMMO_daf7a9b7_18ef_4e73_9fb9_75adfd9800e8
+:EMMO_daf7a9b7_18ef_4e73_9fb9_75adfd9800e8 rdf:type owl:DatatypeProperty ;
+ rdfs:subPropertyOf :EMMO_23b579e1_8088_45b5_9975_064014026c42 ;
+ rdfs:domain :EMMO_216f448e_cdbc_4aeb_a529_7a5fe7fc38bb ;
+ skos:prefLabel "unitSymbolValue"@en .
+
+
#################################################################
# Classes
#################################################################
### https://w3id.org/emmo#EMMO_02c0621e_a527_4790_8a0f_2bb51973c819
:EMMO_02c0621e_a527_4790_8a0f_2bb51973c819 rdf:type owl:Class ;
- rdfs:subClassOf [ rdf:type owl:Restriction ;
+ rdfs:subClassOf :EMMO_dbbbf0ed_a446_4f9e_877c_8c46e7842f43 ,
+ [ rdf:type owl:Restriction ;
owl:onProperty :EMMO_67fc0a36_8dcb_4ffa_9a43_31074efa3296 ;
owl:allValuesFrom :EMMO_b081b346_7279_46ef_9a3d_2c088fcd79f4
] ;
- owl:disjointUnionOf ( :EMMO_71f6ab56_342c_484b_bbe0_de86b7367cb3
- :EMMO_acaaa124_3dde_48b6_86e6_6ec6f364f408
- ) ;
rdfs:comment """In the same system of quantities, dim ρB = ML−3 is the quantity dimension of mass concentration of component B, and ML−3 is also the quantity dimension of mass density, ρ.
ISO 80000-1"""@en ,
"""Measured or simulated 'physical propertiy'-s are always defined by a physical law, connected to a physical entity through a model perspective and measurement is done according to the same model.
@@ -276,31 +316,26 @@ As another example, the joule (J) is used as a unit of energy, but never as a un
— quantities having the same quantity dimension are not necessarily of the same kind.
ISO 80000-1"""@en ;
skos:prefLabel "PhysicalQuantity"@en ;
+ :EMMO_8a137e9f_579c_4e28_baca_e8980eb0c3db "DisjointUnionOf: DerivedQuantity, BaseQuantity" ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A 'Mathematical' entity that is made of a 'Numeral' and a 'MeasurementUnit' defined by a physical law, connected to a physical entity through a model perspective. Measurement is done according to the same model."@en .
### https://w3id.org/emmo#EMMO_0650c031_42b6_4f0a_b62d_d88f071da6bf
:EMMO_0650c031_42b6_4f0a_b62d_d88f071da6bf rdf:type owl:Class ;
- owl:equivalentClass [ rdf:type owl:Class ;
- owl:unionOf ( :EMMO_02c0621e_a527_4790_8a0f_2bb51973c819
- :EMMO_c46f091c_0420_4c1a_af30_0a2c8ebcf7d7
- )
- ] ;
rdfs:subClassOf :EMMO_b7bcff25_ffc3_474e_9ab5_01b1664bd4ba ,
[ rdf:type owl:Restriction ;
owl:onProperty :EMMO_67fc0a36_8dcb_4ffa_9a43_31074efa3296 ;
owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onClass :EMMO_18ce5200_00f5_45bb_8c6f_6fb128cd41ae
] ;
- owl:disjointUnionOf ( :EMMO_a9a6ddf8_7e16_420a_9f3d_df7d5cfe3536
- :EMMO_dd4a7f3e_ef56_466c_ac1a_d2716b5f87ec
- ) ;
skos:altLabel "Measurand"@en ;
skos:example """length
Rockwell C hardness
electric resistance"""@en ;
skos:prefLabel "Quantity"@en ;
:EMMO_1f1b164d_ec6a_4faa_8d5e_88bda62316cc "https://qudt.org/schema/qudt/Quantity"^^xsd:anyURI ;
+ :EMMO_8a137e9f_579c_4e28_baca_e8980eb0c3db "DisjointUnionOf: SubjectiveProperty, ObjectiveProperty" ,
+ "EquivalentTo: PhysicalQuantity or OrdinalQuantity" ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A quantifiable property of a phenomenon, body, or substance."@en ;
:EMMO_bb49844b_45d7_4f0d_8cae_8e552cbc20d6 "measurand"@en ,
"quantity"@en ;
@@ -318,6 +353,7 @@ A quantity in EMMO is a property and therefore only addresses the first part of
### https://w3id.org/emmo#EMMO_08b308d4_31cd_4779_a784_aa92fc730f39
:EMMO_08b308d4_31cd_4779_a784_aa92fc730f39 rdf:type owl:Class ;
+ rdfs:subClassOf :EMMO_868ae137_4d25_493e_b270_21ea3d94849e ;
skos:prefLabel "DerivedUnit"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "Derived units are defined as products of powers of the base units corresponding to the relations defining the derived quantities in terms of the base quantities."@en ;
:EMMO_bb49844b_45d7_4f0d_8cae_8e552cbc20d6 "derived unit"@en ;
@@ -358,14 +394,9 @@ Unit of degeneracy in quantum mechanics"""@en ;
### https://w3id.org/emmo#EMMO_18ce5200_00f5_45bb_8c6f_6fb128cd41ae
:EMMO_18ce5200_00f5_45bb_8c6f_6fb128cd41ae rdf:type owl:Class ;
- owl:equivalentClass [ rdf:type owl:Class ;
- owl:unionOf ( :EMMO_acd1a504_ca32_4f30_86ad_0b62cea5bc02
- :EMMO_b081b346_7279_46ef_9a3d_2c088fcd79f4
- :EMMO_c9c8f824_9127_4f93_bc21_69fe78a7f6f2
- )
- ] ;
rdfs:subClassOf :EMMO_985bec21_989f_4b9e_a4b3_735d88099c3c ;
skos:prefLabel "MetrologicalReference"@en ;
+ :EMMO_8a137e9f_579c_4e28_baca_e8980eb0c3db "EquivalentTo: StandardUnit or MeasurementUnit or ProcedureUnit" ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A reference can be a measurement unit, a measurement procedure, a reference material, or a combination of such (VIM3 1.1 NOTE 2)."@en ;
:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f """A symbolic is recognized as reference unit also if it is not part of a quantity (e.g. as in the sentence \"the Bq is the reference unit of Becquerel\").
For this reason we can't declare the axiom:
@@ -381,16 +412,17 @@ This is peculiar to EMMO, where quantities as syntatic entities (explicit quanti
) ;
rdf:type owl:Class
] ;
- owl:disjointUnionOf ( :EMMO_3ee80521_3c23_4dd1_935d_9d522614a3e2
- :EMMO_db716151_6b73_45ff_910c_d182fdcbb4f5
- ) ;
+ rdfs:subClassOf :EMMO_868ae137_4d25_493e_b270_21ea3d94849e ;
skos:example "Some examples are \"Pa\", \"m\" and \"J\"."@en ;
skos:prefLabel "UnitSymbol"@en ;
+ :EMMO_8a137e9f_579c_4e28_baca_e8980eb0c3db "DisjointUnionOf: SpecialUnit, BaseUnit" ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A symbol that stands for a single unit."@en .
### https://w3id.org/emmo#EMMO_3227b821_26a5_4c7c_9c01_5c24483e0bd0
:EMMO_3227b821_26a5_4c7c_9c01_5c24483e0bd0 rdf:type owl:Class ;
+ rdfs:subClassOf :EMMO_611e4040_9a3e_4a1a_9fa2_7b1012269401 ;
+ owl:disjointWith :EMMO_cbdea88b_fef1_4c7c_b69f_ae1f0f241c4a ;
skos:example """Refractive index
Plane angle
Number of apples"""@en ;
@@ -408,7 +440,9 @@ Number of apples"""@en ;
### https://w3id.org/emmo#EMMO_3ee80521_3c23_4dd1_935d_9d522614a3e2
:EMMO_3ee80521_3c23_4dd1_935d_9d522614a3e2 rdf:type owl:Class ;
- rdfs:subClassOf :EMMO_08b308d4_31cd_4779_a784_aa92fc730f39 ;
+ rdfs:subClassOf :EMMO_08b308d4_31cd_4779_a784_aa92fc730f39 ,
+ :EMMO_216f448e_cdbc_4aeb_a529_7a5fe7fc38bb ;
+ owl:disjointWith :EMMO_db716151_6b73_45ff_910c_d182fdcbb4f5 ;
rdfs:comment "Special units are semiotic shortcuts to more complex composed symbolic objects."@en ;
skos:example """Pa stands for N/m2
J stands for N m"""@en ;
@@ -418,6 +452,8 @@ J stands for N m"""@en ;
### https://w3id.org/emmo#EMMO_3f15d200_c97b_42c8_8ac0_d81d150361e2
:EMMO_3f15d200_c97b_42c8_8ac0_d81d150361e2 rdf:type owl:Class ;
+ rdfs:subClassOf :EMMO_b953f2b1_c8d1_4dd9_b630_d3ef6580c2bb ;
+ owl:disjointWith :EMMO_89762966_8076_4f7c_b745_f718d653e8e2 ;
skos:prefLabel "MeasuredConstant"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "For a given unit system, measured constants are physical constants that are not used to define the unit system. Hence, these constants have to be measured and will therefore be associated with an uncertainty."@en .
@@ -462,6 +498,12 @@ J stands for N m"""@en ;
] .
+### https://w3id.org/emmo#EMMO_4b965242_29f0_4e42_a4b6_f8a5988052df
+:EMMO_4b965242_29f0_4e42_a4b6_f8a5988052df rdf:type owl:Class ;
+ rdfs:subClassOf :EMMO_b081b346_7279_46ef_9a3d_2c088fcd79f4 ;
+ skos:prefLabel "MeasurementUnitByPrefix"@en .
+
+
### https://w3id.org/emmo#EMMO_50a3552e_859a_4ff7_946d_76d537cabce6
:EMMO_50a3552e_859a_4ff7_946d_76d537cabce6 rdf:type owl:Class ;
owl:equivalentClass [ owl:intersectionOf ( :EMMO_985bec21_989f_4b9e_a4b3_735d88099c3c
@@ -493,8 +535,16 @@ J stands for N m"""@en ;
-- SI Brochure"""@en .
+### https://w3id.org/emmo#EMMO_611e4040_9a3e_4a1a_9fa2_7b1012269401
+:EMMO_611e4040_9a3e_4a1a_9fa2_7b1012269401 rdf:type owl:Class ;
+ rdfs:subClassOf :EMMO_b081b346_7279_46ef_9a3d_2c088fcd79f4 ;
+ skos:prefLabel "MeasurementUnitByDimensionality"@en .
+
+
### https://w3id.org/emmo#EMMO_71f6ab56_342c_484b_bbe0_de86b7367cb3
:EMMO_71f6ab56_342c_484b_bbe0_de86b7367cb3 rdf:type owl:Class ;
+ rdfs:subClassOf :EMMO_9159bb16_8a70_49f9_bac4_f5cf2a82c39a ;
+ owl:disjointWith :EMMO_acaaa124_3dde_48b6_86e6_6ec6f364f408 ;
skos:prefLabel "DerivedQuantity"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "\"Quantity, in a system of quantities, defined in terms of the base quantities of that system\"."@en ;
:EMMO_bb49844b_45d7_4f0d_8cae_8e552cbc20d6 "derived quantity"@en .
@@ -507,7 +557,6 @@ J stands for N m"""@en ;
) ;
rdf:type owl:Class
] ;
- rdfs:subClassOf :EMMO_89a0c87c_0804_4013_937a_6fe234d9499c ;
skos:prefLabel "MetrologicalConstruct"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A symbolic construct used within the discipline of metrology."@en .
@@ -549,12 +598,10 @@ J stands for N m"""@en ;
### https://w3id.org/emmo#EMMO_868ae137_4d25_493e_b270_21ea3d94849e
:EMMO_868ae137_4d25_493e_b270_21ea3d94849e rdf:type owl:Class ;
- owl:equivalentClass [ rdf:type owl:Class ;
- owl:unionOf ( :EMMO_08b308d4_31cd_4779_a784_aa92fc730f39
- :EMMO_216f448e_cdbc_4aeb_a529_7a5fe7fc38bb
- )
- ] ;
+ rdfs:subClassOf :EMMO_4b965242_29f0_4e42_a4b6_f8a5988052df ;
+ owl:disjointWith :EMMO_c6d4a5e0_7e95_44df_a6db_84ee0a8bbc8e ;
skos:prefLabel "NonPrefixedUnit"@en ;
+ :EMMO_8a137e9f_579c_4e28_baca_e8980eb0c3db "EquivalentTo: DerivedUnit or UnitSymbol" ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A measurement unit symbol that do not have a metric prefix as a direct spatial part."@en .
@@ -570,6 +617,7 @@ J stands for N m"""@en ;
### https://w3id.org/emmo#EMMO_89762966_8076_4f7c_b745_f718d653e8e2
:EMMO_89762966_8076_4f7c_b745_f718d653e8e2 rdf:type owl:Class ;
+ rdfs:subClassOf :EMMO_b953f2b1_c8d1_4dd9_b630_d3ef6580c2bb ;
skos:prefLabel "ExactConstant"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "Physical constant used to define a unit system. Hence, when expressed in that unit system they have an exact value with no associated uncertainty."@en .
@@ -592,6 +640,12 @@ Sex of a human being."""@en ;
:EMMO_bb49844b_45d7_4f0d_8cae_8e552cbc20d6 "nominal property"@en .
+### https://w3id.org/emmo#EMMO_9159bb16_8a70_49f9_bac4_f5cf2a82c39a
+:EMMO_9159bb16_8a70_49f9_bac4_f5cf2a82c39a rdf:type owl:Class ;
+ rdfs:subClassOf :EMMO_02c0621e_a527_4790_8a0f_2bb51973c819 ;
+ skos:prefLabel "PhysicalQuantiyByDefinition"@en .
+
+
### https://w3id.org/emmo#EMMO_972e01b0_b017_4903_8c05_b7edda958723
:EMMO_972e01b0_b017_4903_8c05_b7edda958723 rdf:type owl:Class ;
rdfs:subClassOf :EMMO_3227b821_26a5_4c7c_9c01_5c24483e0bd0 ;
@@ -629,7 +683,9 @@ It is advisory to create a uniquely defined subclass these units for concrete us
### https://w3id.org/emmo#EMMO_a9a6ddf8_7e16_420a_9f3d_df7d5cfe3536
:EMMO_a9a6ddf8_7e16_420a_9f3d_df7d5cfe3536 rdf:type owl:Class ;
- rdfs:subClassOf :EMMO_251cfb4f_5c75_4778_91ed_6c8395212fd8 ;
+ rdfs:subClassOf :EMMO_251cfb4f_5c75_4778_91ed_6c8395212fd8 ,
+ :EMMO_d9350951_5300_44e8_ae61_79fb7c53b7e7 ;
+ owl:disjointWith :EMMO_dd4a7f3e_ef56_466c_ac1a_d2716b5f87ec ;
skos:example "The measure of beauty on a scale from 1 to 10."@en ;
skos:prefLabel "SubjectiveProperty"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A quantity whos value that cannot be univocally determined and depends on an agent (e.g. a human individual, a community)."@en .
@@ -637,6 +693,7 @@ It is advisory to create a uniquely defined subclass these units for concrete us
### https://w3id.org/emmo#EMMO_acaaa124_3dde_48b6_86e6_6ec6f364f408
:EMMO_acaaa124_3dde_48b6_86e6_6ec6f364f408 rdf:type owl:Class ;
+ rdfs:subClassOf :EMMO_9159bb16_8a70_49f9_bac4_f5cf2a82c39a ;
skos:prefLabel "BaseQuantity"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 """\"Quantity in a conventionally chosen subset of a given system of quantities, where no quantity in the subset can be expressed in terms of the other quantities within that subset\"
ISO 80000-1"""@en ;
@@ -645,6 +702,7 @@ ISO 80000-1"""@en ;
### https://w3id.org/emmo#EMMO_acd1a504_ca32_4f30_86ad_0b62cea5bc02
:EMMO_acd1a504_ca32_4f30_86ad_0b62cea5bc02 rdf:type owl:Class ;
+ rdfs:subClassOf :EMMO_18ce5200_00f5_45bb_8c6f_6fb128cd41ae ;
skos:altLabel "ReferenceMaterial" ;
skos:example "Arbitrary amount-of-substance concentration of lutropin in a given sample of plasma (WHO international standard 80/552): 5.0 International Unit/l"@en ;
skos:prefLabel "StandardUnit"@en ;
@@ -654,17 +712,14 @@ International vocabulary of metrology (VIM)"""@en .
### https://w3id.org/emmo#EMMO_b081b346_7279_46ef_9a3d_2c088fcd79f4
:EMMO_b081b346_7279_46ef_9a3d_2c088fcd79f4 rdf:type owl:Class ;
+ rdfs:subClassOf :EMMO_18ce5200_00f5_45bb_8c6f_6fb128cd41ae ;
owl:disjointWith :EMMO_c9c8f824_9127_4f93_bc21_69fe78a7f6f2 ;
- owl:disjointUnionOf ( :EMMO_3227b821_26a5_4c7c_9c01_5c24483e0bd0
- :EMMO_cbdea88b_fef1_4c7c_b69f_ae1f0f241c4a
- ) ,
- ( :EMMO_868ae137_4d25_493e_b270_21ea3d94849e
- :EMMO_c6d4a5e0_7e95_44df_a6db_84ee0a8bbc8e
- ) ;
skos:example """kg
m/s
km"""@en ;
skos:prefLabel "MeasurementUnit"@en ;
+ :EMMO_8a137e9f_579c_4e28_baca_e8980eb0c3db "DisjointUnionOf: DimensionlessUnit, DimensionalUnit" ,
+ "DisjointUnionOf: NonPrefixedUnit, PrefixedUnit" ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A metrological reference for a physical quantity."@en ;
:EMMO_bb49844b_45d7_4f0d_8cae_8e552cbc20d6 "measurement unit (VIM3 1.9)"@en ;
:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f """\"Real scalar quantity, defined and adopted by convention, with which any other quantity of the same kind can be compared to express the ratio of the second quantity to the first one as a number\"
@@ -681,10 +736,8 @@ https://www.bipm.org/utils/common/pdf/si-brochure/SI-Brochure-9-EN.pdf"""@en ,
### https://w3id.org/emmo#EMMO_b953f2b1_c8d1_4dd9_b630_d3ef6580c2bb
:EMMO_b953f2b1_c8d1_4dd9_b630_d3ef6580c2bb rdf:type owl:Class ;
rdfs:subClassOf :EMMO_02c0621e_a527_4790_8a0f_2bb51973c819 ;
- owl:disjointUnionOf ( :EMMO_3f15d200_c97b_42c8_8ac0_d81d150361e2
- :EMMO_89762966_8076_4f7c_b745_f718d653e8e2
- ) ;
skos:prefLabel "PhysicalConstant"@en ;
+ :EMMO_8a137e9f_579c_4e28_baca_e8980eb0c3db "DisjointUnionOf: MeasuredConstant, ExactConstant" ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 """Physical constants are categorised into \"exact\" and measured constants.
With \"exact\" constants, we refer to physical constants that have an exact numerical value after the revision of the SI system that was enforsed May 2019."""@en ;
@@ -704,6 +757,7 @@ is desirable (μm/m, nmol/mol).
### https://w3id.org/emmo#EMMO_c46f091c_0420_4c1a_af30_0a2c8ebcf7d7
:EMMO_c46f091c_0420_4c1a_af30_0a2c8ebcf7d7 rdf:type owl:Class ;
+ rdfs:subClassOf :EMMO_dbbbf0ed_a446_4f9e_877c_8c46e7842f43 ;
rdfs:comment """\"Ordinal quantities, such as Rockwell C hardness, are usually not considered to be part of a system of quantities because they are related to other quantities through empirical relations only.\"
International vocabulary of metrology (VIM)"""@en ;
skos:example """Hardness
@@ -716,7 +770,8 @@ International vocabulary of metrology (VIM)"""@en ;
### https://w3id.org/emmo#EMMO_c6d4a5e0_7e95_44df_a6db_84ee0a8bbc8e
:EMMO_c6d4a5e0_7e95_44df_a6db_84ee0a8bbc8e rdf:type owl:Class ;
- rdfs:subClassOf [ rdf:type owl:Restriction ;
+ rdfs:subClassOf :EMMO_4b965242_29f0_4e42_a4b6_f8a5988052df ,
+ [ rdf:type owl:Restriction ;
owl:onProperty :EMMO_4be0acad_af05_426f_aa6d_fe7531072564 ;
owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onClass :EMMO_442bd91e_a724_4e9f_89c1_18423016fb75
@@ -732,6 +787,7 @@ International vocabulary of metrology (VIM)"""@en ;
### https://w3id.org/emmo#EMMO_c9c8f824_9127_4f93_bc21_69fe78a7f6f2
:EMMO_c9c8f824_9127_4f93_bc21_69fe78a7f6f2 rdf:type owl:Class ;
+ rdfs:subClassOf :EMMO_18ce5200_00f5_45bb_8c6f_6fb128cd41ae ;
skos:altLabel "MeasurementProcedure" ;
skos:example "Rockwell C hardness of a given sample (150 kg load): 43.5HRC(150 kg)"@en ;
skos:prefLabel "ProcedureUnit"@en ;
@@ -741,6 +797,7 @@ International vocabulary of metrology (VIM)"""@en ;
### https://w3id.org/emmo#EMMO_cbdea88b_fef1_4c7c_b69f_ae1f0f241c4a
:EMMO_cbdea88b_fef1_4c7c_b69f_ae1f0f241c4a rdf:type owl:Class ;
+ rdfs:subClassOf :EMMO_611e4040_9a3e_4a1a_9fa2_7b1012269401 ;
skos:prefLabel "DimensionalUnit"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A subclass of measurement unit focusing on the physical dimensionality that is carried by the unit."@en ;
:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f """The current version of EMMO does not provide explicit classes for physical dimensions. Rather it embraces the fact that the physical dimensionality of a physical quantity is carried by its measurement unit.
@@ -778,6 +835,12 @@ Then I have two different physical quantities that are properties thanks to two
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A quantitative property attributed by agreement to a quantity for a given purpose."@en .
+### https://w3id.org/emmo#EMMO_d9350951_5300_44e8_ae61_79fb7c53b7e7
+:EMMO_d9350951_5300_44e8_ae61_79fb7c53b7e7 rdf:type owl:Class ;
+ rdfs:subClassOf :EMMO_0650c031_42b6_4f0a_b62d_d88f071da6bf ;
+ skos:prefLabel "QuantityBySubjectivity"@en .
+
+
### https://w3id.org/emmo#EMMO_dabe353b_8bfc_4da7_8ac7_8f52786d16f8
:EMMO_dabe353b_8bfc_4da7_8ac7_8f52786d16f8 rdf:type owl:Class ;
rdfs:subClassOf :EMMO_9b87d718_9dcc_4f7d_ad20_12c2aa4c76be ;
@@ -786,7 +849,8 @@ Then I have two different physical quantities that are properties thanks to two
### https://w3id.org/emmo#EMMO_db716151_6b73_45ff_910c_d182fdcbb4f5
:EMMO_db716151_6b73_45ff_910c_d182fdcbb4f5 rdf:type owl:Class ;
- rdfs:subClassOf [ rdf:type owl:Restriction ;
+ rdfs:subClassOf :EMMO_216f448e_cdbc_4aeb_a529_7a5fe7fc38bb ,
+ [ rdf:type owl:Restriction ;
owl:onProperty [ owl:inverseOf :EMMO_67fc0a36_8dcb_4ffa_9a43_31074efa3296
] ;
owl:allValuesFrom :EMMO_acaaa124_3dde_48b6_86e6_6ec6f364f408
@@ -796,9 +860,16 @@ Then I have two different physical quantities that are properties thanks to two
:EMMO_bb49844b_45d7_4f0d_8cae_8e552cbc20d6 "base unit"@en .
+### https://w3id.org/emmo#EMMO_dbbbf0ed_a446_4f9e_877c_8c46e7842f43
+:EMMO_dbbbf0ed_a446_4f9e_877c_8c46e7842f43 rdf:type owl:Class ;
+ rdfs:subClassOf :EMMO_0650c031_42b6_4f0a_b62d_d88f071da6bf ;
+ skos:prefLabel "QuantityByPhysical"@en .
+
+
### https://w3id.org/emmo#EMMO_dd4a7f3e_ef56_466c_ac1a_d2716b5f87ec
:EMMO_dd4a7f3e_ef56_466c_ac1a_d2716b5f87ec rdf:type owl:Class ;
- rdfs:subClassOf :EMMO_2a888cdf_ec4a_4ec5_af1c_0343372fc978 ;
+ rdfs:subClassOf :EMMO_2a888cdf_ec4a_4ec5_af1c_0343372fc978 ,
+ :EMMO_d9350951_5300_44e8_ae61_79fb7c53b7e7 ;
rdfs:comment "Subclasses of 'ObjectiveProperty' classify objects according to the type semiosis that is used to connect the property to the object (e.g. by measurement, by convention, by modelling)."@en ;
skos:altLabel "PhysicalProperty"@en ,
"QuantitativeProperty"@en ;
@@ -857,4 +928,4 @@ While the string \"1 kg\" is a 'QuantityValue'."""@en ;
:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "A quantity value is not necessarily a property, since it is possible to write \"10 kg\", without assigning this quantity to a specific object."@en .
-### Generated by the OWL API (version 4.5.26.2023-07-17T20:34:13Z) https://github.com/owlcs/owlapi
+### Generated by the OWL API (version 4.5.29.2024-05-13T12:11:03Z) https://github.com/owlcs/owlapi
diff --git a/disciplines/models.ttl b/disciplines/models.ttl
index dbd42bc5..d37b1374 100644
--- a/disciplines/models.ttl
+++ b/disciplines/models.ttl
@@ -9,25 +9,25 @@
@base .
rdf:type owl:Ontology ;
- owl:versionIRI ;
- owl:imports ,
- ,
- ,
- ,
- ,
- ;
+ owl:versionIRI ;
+ owl:imports ,
+ ,
+ ,
+ ,
+ ,
+ ;
dcterms:abstract "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 ;
- dcterms:creator ,
- ,
- ,
- ,
- ;
+ dcterms:creator ,
+ :AdhamHashibon ,
+ :EmanueleGhedini ,
+ :GerhardGoldbeck ,
+ :JesperFriis ;
dcterms:license "https://creativecommons.org/licenses/by/4.0/legalcode" ;
dcterms:publisher ;
dcterms:title "Models"@en ;
- :EMMO_1246b120_abbe_4840_b0f8_3e4348b24a17 "emmo@emmc.eu" ;
rdfs:comment "The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ;
- owl:versionInfo "1.0.0-rc1" .
+ owl:versionInfo "1.0.0-rc3" ;
+ :EMMO_1246b120_abbe_4840_b0f8_3e4348b24a17 "emmo@emmc.eu" .
#################################################################
# Object Properties
@@ -88,11 +88,7 @@
### https://w3id.org/emmo#EMMO_22522299_4091_4d1f_82a2_3890492df6db
:EMMO_22522299_4091_4d1f_82a2_3890492df6db rdf:type owl:Class ;
- rdfs:subClassOf :EMMO_3b19eab4_79be_4b02_bdaf_ecf1f0067a68 ,
- [ rdf:type owl:Restriction ;
- owl:onProperty :EMMO_35c29eb6_f57e_48d8_85af_854f9e926e77 ;
- owl:someValuesFrom :EMMO_314d0bd5_67ed_437e_a609_36d46147cea7
- ] ;
+ rdfs:subClassOf :EMMO_3b19eab4_79be_4b02_bdaf_ecf1f0067a68 ;
skos:prefLabel "Experiment"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "An experiment is a process that is intended to replicate a physical phenomenon in a controlled environment."@en .
@@ -108,14 +104,6 @@ The Navier-Stokes equation."""@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "An 'equation' that stands for a 'physical_law' by mathematically defining the relations between physics_quantities."@en .
-### https://w3id.org/emmo#EMMO_314d0bd5_67ed_437e_a609_36d46147cea7
-:EMMO_314d0bd5_67ed_437e_a609_36d46147cea7 rdf:type owl:Class ;
- rdfs:subClassOf :EMMO_43e9a05d_98af_41b4_92f6_00f79a09bfce ;
- rdfs:comment "While every 'process' in the EMMO involves physical objects, this class is devoted to represent real world objects that express a phenomenon relevant for the ontologist"@en ;
- skos:prefLabel "PhysicalPhenomenon"@en ;
- :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A 'process' that is recognized by physical sciences and is categorized accordingly."@en .
-
-
### https://w3id.org/emmo#EMMO_4456a5d2_16a6_4ee1_9a8e_5c75956b28ea
:EMMO_4456a5d2_16a6_4ee1_9a8e_5c75956b28ea rdf:type owl:Class ;
skos:prefLabel "ContinuumModel"@en ;
@@ -376,7 +364,7 @@ An Hamiltonian."""@en ;
### https://w3id.org/emmo#EMMO_eff42cb3_208e_4768_9a39_f8b6b3c3d7a2
:EMMO_eff42cb3_208e_4768_9a39_f8b6b3c3d7a2 rdf:type owl:Class ;
rdfs:subClassOf :EMMO_472a0ca2_58bf_4618_b561_6fe68bd9fd49 ;
- skos:example """A matematician that calculates 2+2.
+ skos:example """A mathematician that calculates 2+2.
A computation machine that calculate the average value of a dataset."""@en ;
skos:prefLabel "Computation"@en ;
:EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "A procedure that deals with quantitative symbols (i.e. symbols associated with a quantitative oriented language)."@en .
@@ -425,4 +413,4 @@ Abramowitz and Stegun, 1968"""@en ;
:EMMO_0cd58641_824c_4851_907f_f4c3be76630c skos:altLabel "Signal"@en .
-### Generated by the OWL API (version 4.5.26.2023-07-17T20:34:13Z) https://github.com/owlcs/owlapi
+### Generated by the OWL API (version 4.5.29.2024-05-13T12:11:03Z) https://github.com/owlcs/owlapi
diff --git a/disciplines/perceptual.ttl b/disciplines/perceptual.ttl
index 1a02f5c1..4fda871a 100644
--- a/disciplines/perceptual.ttl
+++ b/disciplines/perceptual.ttl
@@ -9,20 +9,20 @@
@base