ISO/IEC 80000 Domain Ontology
Ontologyisq
isq:URI
https://w3id.org/standards/isq/ontologies/core/Qualified Name
isq:Version
1.1.0
Imports
Namespace URI
https://w3id.org/standards/isq/ontologies/core/Entity Summary
15
Classes
13
Properties
14
Shapes
35
Individuals
Classes (15)
| Class | Description | Parent |
|---|---|---|
| isq:Quantity | A physical quantity as defined in ISO/IEC 80000, with associated symbols, definitions, and units of measurement. | smart:TermEntry |
| isq:Unit | A unit of measurement used to express the magnitude of a physical quantity. | smart:TermEntry |
| isq:MathConcept | A mathematical concept as defined in ISO/IEC 80000 Part 2. | smart:TermEntry |
| isq:Dimension | A dimensional domain that groups quantities sharing the same dimensional expression, relating base quantity dimensions (length, mass, time, electric current, thermodynamic temperature, amount of substance, luminous intensity). | smart:TermEntry |
| isq:KindOfQuantity | A grouping of quantities that share the same dimension and can therefore be compared, ordered, and added — the most abstract level (L0) of the quantity hierarchy (Dybkaer 2010; Pendrill 2024, Table 1.1). | skos:Concept |
| isq:EntityKind | The abstract category of things that quantities can characterize — phenomena, bodies, substances — level L1 of the entity axis (Pendrill 2024, Table 1.1). Examples: physical body, substance, field, wave, system. | smart:Entity |
| isq:EntityConcept | A specific type of entity that quantities of the corresponding dedicated quantity are about — level L2 of the entity axis (Pendrill 2024, Table 1.1). Example: rod. | isq:EntityKind |
| isq:PhysicalBody | A material entity with a well-defined extent in space — solid bodies, fluids, and structures; the canonical L1 entity kind of Pendrill (2024). Quantities such as length, mass, and temperature characterize physical bodies. | isq:EntityKind |
| isq:Substance | A material of given composition — chemical elements, compounds, mixtures, and solutions. Quantities such as amount of substance, concentration, and density characterize substances. | isq:EntityKind |
| isq:Field | A physical field — a region of space in which each point is associated with a physical quantity value, such as electromagnetic, gravitational, or temperature fields. Quantities such as electric field strength and magnetic flux density characterize fields. | isq:EntityKind |
| isq:Wave | A propagating oscillation of a physical quantity — electromagnetic, acoustic, and mechanical waves. Quantities such as wavelength, frequency, and sound pressure level characterize waves. | isq:EntityKind |
| isq:System | An organized assembly of interacting entities considered as a whole — technical systems, biological systems, and thermodynamic systems. Quantities such as power, efficiency, and entropy characterize systems. | isq:EntityKind |
| isq:DedicatedQuantity | A quantity bound to a kind of entity — a Sachgrösse (Fleischman 1960) — such as 'length of rod'; level L2 of the quantity axis (Pendrill 2024, Table 1.1). | isq:Quantity |
| isq:QuantityInstantiation | A particular quantity of a particular entity instance at a particular time — 'length of rod AB, today at 09:15'; level L3 of the quantity axis (Pendrill 2024, Table 1.1). | isq:Quantity |
| isq:MeasuredQuantity | The quantity as measured — the measurement result Qm = {Q}·[Q]: a numerical value paired with a unit, obtained by measurement, optionally with its uncertainty (Pendrill 2019; JCGM 200:2012, VIM). | isq:QuantityInstantiation |
Object Properties (9)
| Property | Description | Domain | Range |
|---|---|---|---|
| isq:hasUnit | Relates a quantity to a unit of measurement used to express its magnitude. | isq:Quantity | isq:Unit |
| isq:hasDimension | Relates a quantity to its dimensional domain. | isq:Quantity | isq:Dimension |
| isq:hasKind | Relates a quantity to the kind of quantity it belongs to (L1 → L0). | isq:Quantity | isq:KindOfQuantity |
| isq:hasMember | Relates a kind of quantity to a quantity that belongs to it (L0 → L1); inverse of isq:hasKind. | isq:KindOfQuantity | isq:Quantity |
| isq:dedicatedTo | Relates a dedicated quantity (Sachgrösse) to the generic quantity it specializes (L2 → L1). | isq:DedicatedQuantity | isq:Quantity |
| isq:characterizes | Relates a dedicated quantity to the entity it characterizes — the level-2 quantity–entity binding (L2 ↔ L2) of Pendrill (2024). | isq:DedicatedQuantity | isq:EntityConcept |
| isq:instantiationOf | Relates a quantity instantiation to the dedicated quantity it instantiates (L3 → L2). | isq:QuantityInstantiation | isq:DedicatedQuantity |
| isq:instantiates | Relates a quantity instantiation to the entity instance it is observed on (L3 quantity ↔ L3 entity). | isq:QuantityInstantiation | smart:Entity |
| isq:measurementOf | Relates the quantity as measured to the quantity instantiation that was measured. | isq:MeasuredQuantity | isq:QuantityInstantiation |
Datatype Properties (4)
| Property | Description | Domain | Range |
|---|---|---|---|
| isq:instantiatedAt | The point in time at which a quantity instantiation exists. | isq:QuantityInstantiation | xsd:dateTime |
| isq:measuredAt | The point in time at which the measurement was performed. | isq:MeasuredQuantity | xsd:dateTime |
| isq:hasValue | The numerical value {Q} of the quantity as measured, Qm = {Q}·[Q]. | isq:MeasuredQuantity | xsd:decimal |
| isq:uncertainty | The expanded measurement uncertainty U associated with the measured quantity (JCGM 100:2008, GUM). | isq:MeasuredQuantity | xsd:decimal |
SHACL Shapes (14)
Named Individuals (35)
@prefix isq: <https://w3id.org/standards/isq/ontologies/core/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix sh: <http://www.w3.org/ns/shacl#> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
isq: a,
owl:Ontology ;
rdfs:label "ISO/IEC 80000 Domain Ontology" ;
owl:versionInfo "1.1.0" ;
owl:imports smart:
.