Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
40 changes: 40 additions & 0 deletions disciplines/math.ttl
Original file line number Diff line number Diff line change
Expand Up @@ -59,13 +59,53 @@ owl:qualifiedCardinality rdf:type owl:AnnotationProperty .
:EMMO_23b579e1_8088_45b5_9975_064014026c42 rdf:type owl:DatatypeProperty .


### https://w3id.org/emmo#EMMO_2594a687_b888_4878_b51b_63563ce7e6d3
:EMMO_2594a687_b888_4878_b51b_63563ce7e6d3 rdf:type owl:DatatypeProperty ;
rdfs:subPropertyOf :EMMO_b6292331_94af_4f00_976b_ea55960c2f1c ;
skos:prefLabel "coverageInterval"@en ;
:elucidation "An interval containing the a value with a stated probability, based on the information available."@en .


### https://w3id.org/emmo#EMMO_39cbed73_6e97_4ab2_bede_dc670e9469c9
:EMMO_39cbed73_6e97_4ab2_bede_dc670e9469c9 rdf:type owl:DatatypeProperty ;
rdfs:subPropertyOf :EMMO_b6292331_94af_4f00_976b_ea55960c2f1c ;
skos:prefLabel "uncertainty"@en ;
:elucidation "A parameter characterising the dispersion of a data value."@en ;
:note "The uncertainty data property doesn't specify how the uncertainty is defined. For accuracy, use one of the specialised sub-properties."@en .


### 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_4b3c7c64_fe82_41b5_bfc5_63614e1cfe7a
:EMMO_4b3c7c64_fe82_41b5_bfc5_63614e1cfe7a rdf:type owl:DatatypeProperty ;
rdfs:subPropertyOf :EMMO_b6292331_94af_4f00_976b_ea55960c2f1c ;
skos:prefLabel "coverageProbability"@en ;
:elucidation "The probability that a data value is contained within a specified coverage interval."@en .


### https://w3id.org/emmo#EMMO_593ce968_e1ec_4101_822a_1739ef13fb2b
:EMMO_593ce968_e1ec_4101_822a_1739ef13fb2b rdf:type owl:DatatypeProperty ;
rdfs:subPropertyOf :EMMO_b6292331_94af_4f00_976b_ea55960c2f1c ;
skos:altLabel "expectationValue"@en ,
"expectedValue"@en ,
"mean"@en ;
skos:prefLabel "meanValue"@en ;
:elucidation "The probabilistic expected value of an EMMO data entity."@en ;
:note "The expectation value (or expected value) is the theoretical long-run average outcome of a random variable over many trials, calculated as the sum of all possible values, each weighted by its probability of occurrence. It acts as a probability-weighted mean, representing the center of a probability distribution, denoted as 'E[X]' or 'µ'."@en .


### https://w3id.org/emmo#EMMO_bba7f0f0_3707_42b9_b3fa_fd04610ef147
:EMMO_bba7f0f0_3707_42b9_b3fa_fd04610ef147 rdf:type owl:DatatypeProperty ;
rdfs:subPropertyOf :EMMO_39cbed73_6e97_4ab2_bede_dc670e9469c9 ;
skos:prefLabel "standardUncertainty"@en ;
:elucidation "An uncertainty specified as a standard deviation."@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 ;
Expand Down
23 changes: 23 additions & 0 deletions disciplines/metrology.ttl
Original file line number Diff line number Diff line change
Expand Up @@ -1085,4 +1085,27 @@ While the string \"1 kg\" is a 'QuantityValue'."""@en ;
:note "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 .


#################################################################
# Annotations
#################################################################

:EMMO_2594a687_b888_4878_b51b_63563ce7e6d3 :VIMTerm "coverage interval"@en .


:EMMO_39cbed73_6e97_4ab2_bede_dc670e9469c9 :VIMTerm "measurement uncertainty"@en ;
:note "VIM defined 'measurement uncertainty' as a \"parameter characterising the dispersion of the values being attributed to a measurand, based on the information used\"."@en .


:EMMO_4b3c7c64_fe82_41b5_bfc5_63614e1cfe7a :VIMTerm "coverage probability"@en .


:EMMO_b6292331_94af_4f00_976b_ea55960c2f1c :VIMTerm "measured quantity value"@en ,
"measured value"@en ,
"measured value of a quantity"@en ;
:note "In VIM, dataValue correspond to \"measured value\" which is defined as a \"value of a quantity representing a measurement result\"."@en .


:EMMO_bba7f0f0_3707_42b9_b3fa_fd04610ef147 :VIMTerm "standard uncertainty"@en .


### Generated by the OWL API (version 4.5.29.2024-05-13T12:11:03Z) https://github.com/owlcs/owlapi
3 changes: 2 additions & 1 deletion reference/symbolic.ttl
Original file line number Diff line number Diff line change
Expand Up @@ -68,7 +68,8 @@ rdf:JSON rdf:type rdfs:Datatype .
:EMMO_b6292331_94af_4f00_976b_ea55960c2f1c rdf:type owl:DatatypeProperty ;
rdfs:subPropertyOf owl:topDataProperty ;
rdfs:domain :EMMO_70bbb94e_2ca7_4d73_ba01_6397f134d172 ;
skos:prefLabel "hasDataValue"@en ;
skos:altLabel "hasDataValue"@en ;
skos:prefLabel "dataValue"@en ;
:elucidation "The owl:dataProperty that provides a serialisation of an EMMO data entity." ;
:note "This is the superproperty of all data properties used to serialise a fundamental data type in the EMMO Data perspective. An entity can have only one data value expressing its serialisation (e.g. a Real entity cannot have two different real values)." .

Expand Down
Loading