diff --git a/ontologies/223p.ttl b/ontologies/223p.ttl index 93f76ce..98f35d5 100644 --- a/ontologies/223p.ttl +++ b/ontologies/223p.ttl @@ -2,10 +2,10 @@ @prefix dcterms: . @prefix ns1: . @prefix ns2: . -@prefix ns3: . -@prefix ns4: . -@prefix ns5: . -@prefix ns6: . +@prefix ns3: . +@prefix ns4: . +@prefix ns5: . +@prefix ns6: . @prefix org: . @prefix owl: . @prefix prov: . @@ -66,27 +66,27 @@ s223:SymmetricProperty a rdfs:Class, sh:path s223:hasProperty ; sh:qualifiedMinCount 1 ; sh:qualifiedValueShape [ sh:class s223:QuantifiableActuatableProperty ; - sh:node [ sh:property [ sh:hasValue s223:EnumerationKind-Position ; + sh:node [ sh:property [ sh:hasValue ; sh:maxCount 1 ; sh:minCount 1 ; - sh:path s223:hasAspect ], - [ sh:hasValue ; + sh:path ns1:hasQuantityKind ], + [ sh:hasValue s223:EnumerationKind-Position ; sh:maxCount 1 ; sh:minCount 1 ; - sh:path ns1:hasQuantityKind ] ] ] ; + sh:path s223:hasAspect ] ] ] ; sh:severity s223:g36 ] ] [ sh:property [ rdfs:comment "A ChilledWaterValve shall have at least one analog valve command property or at least two binary valve command properties using the relation hasProperty."^^xsd:string ; sh:minCount 2 ; sh:path s223:hasProperty ; sh:qualifiedMinCount 2 ; sh:qualifiedValueShape [ sh:class s223:EnumeratedActuatableProperty ; - sh:node [ sh:property [ sh:hasValue s223:EnumerationKind-Binary ; + sh:node [ sh:property [ sh:hasValue s223:EnumerationKind-Position ; sh:maxCount 1 ; sh:minCount 1 ; - sh:path s223:hasEnumerationKind ], - [ sh:hasValue s223:EnumerationKind-Position ; + sh:path s223:hasAspect ], + [ sh:hasValue s223:EnumerationKind-Binary ; sh:maxCount 1 ; sh:minCount 1 ; - sh:path s223:hasAspect ] ] ] ; + sh:path s223:hasEnumerationKind ] ] ] ; sh:severity s223:g36 ] ] ) ; sh:severity s223:g36 ; sh:targetClass . @@ -289,23 +289,7 @@ s223:SymmetricProperty a rdfs:Class, rdfs:label "Zone"^^xsd:string ; rdfs:comment "A Zone is a generic thermal zone, with the points required for Guideline 36 controls. It is a collection of s223:DomainSpace instances."^^xsd:string ; rdfs:subClassOf s223:Zone ; - sh:property [ rdfs:comment "A Zone shall have a zone temperature setpoint adjustment property using the relation hasProperty, if applicable."^^xsd:string ; - sh:message "g36: A Zone shall have a zone temperature setpoint adjustment property using the relation hasProperty, if applicable."^^xsd:string ; - sh:minCount 1 ; - sh:path s223:hasProperty ; - sh:qualifiedMinCount 1 ; - sh:qualifiedValueShape [ sh:class s223:QuantifiableObservableProperty ; - sh:node [ sh:property [ sh:hasValue ; - sh:maxCount 1 ; - sh:minCount 1 ; - sh:path ns1:hasQuantityKind ], - [ sh:hasValue s223:Dimensioned-Delta ; - sh:maxCount 1 ; - sh:minCount 1 ; - sh:path s223:hasAspect ] ] ] ; - sh:qualifiedValueShapesDisjoint true ; - sh:severity sh:Info ], - [ rdfs:comment "A Zone shall have at least one zone temperature property using the relation hasProperty. "^^xsd:string ; + sh:property [ rdfs:comment "A Zone shall have at least one zone temperature property using the relation hasProperty. "^^xsd:string ; sh:message "g36: A Zone shall have at least one zone temperature property using the relation hasProperty. "^^xsd:string ; sh:minCount 1 ; sh:path s223:hasProperty ; @@ -317,17 +301,42 @@ s223:SymmetricProperty a rdfs:Class, sh:path ns1:hasQuantityKind ] ] ] ; sh:qualifiedValueShapesDisjoint true ; sh:severity s223:g36 ], - [ rdfs:comment "A Zone shall have at least one binary zone occupancy property using the relation hasProperty"^^xsd:string ; - sh:message "g36: A Zone shall have at least one binary zone occupancy property using the relation hasProperty"^^xsd:string ; + [ rdfs:comment "A Zone shall have at least one Domain-HVAC using the relation hasDomain. "^^xsd:string ; + sh:hasValue s223:Domain-HVAC ; + sh:message "g36: A Zone shall have at least one Domain-HVAC using the relation hasDomain. "^^xsd:string ; + sh:minCount 1 ; + sh:path s223:hasDomain ; + sh:severity s223:g36 ], + [ rdfs:comment "A Zone shall have at least one window switch on-off property using the relation hasProperty."^^xsd:string ; + sh:message "g36: A Zone shall have at least one window switch on-off property using the relation hasProperty."^^xsd:string ; sh:minCount 1 ; sh:path s223:hasProperty ; sh:qualifiedMinCount 1 ; sh:qualifiedValueShape [ sh:class s223:EnumeratedObservableProperty ; - sh:node [ sh:property [ sh:class s223:EnumerationKind-Occupancy ; + sh:node [ sh:property [ rdfs:comment "Property shall be measured at a window."^^xsd:string ; + sh:class s223:Window ; + sh:path [ sh:alternativePath ( ( [ sh:inversePath s223:observes ] s223:hasMeasurementLocation ) [ sh:inversePath s223:hasProperty ] ) ] ], + [ sh:class s223:EnumerationKind-OnOff ; sh:maxCount 1 ; sh:minCount 1 ; sh:path s223:hasEnumerationKind ] ] ] ; sh:severity sh:Info ], + [ rdfs:comment "A Zone shall have a zone temperature setpoint adjustment property using the relation hasProperty, if applicable."^^xsd:string ; + sh:message "g36: A Zone shall have a zone temperature setpoint adjustment property using the relation hasProperty, if applicable."^^xsd:string ; + sh:minCount 1 ; + sh:path s223:hasProperty ; + sh:qualifiedMinCount 1 ; + sh:qualifiedValueShape [ sh:class s223:QuantifiableObservableProperty ; + sh:node [ sh:property [ sh:hasValue s223:Dimensioned-Delta ; + sh:maxCount 1 ; + sh:minCount 1 ; + sh:path s223:hasAspect ], + [ sh:hasValue ; + sh:maxCount 1 ; + sh:minCount 1 ; + sh:path ns1:hasQuantityKind ] ] ] ; + sh:qualifiedValueShapesDisjoint true ; + sh:severity sh:Info ], [ rdfs:comment "A Zone shall have at least a zone CO2 concentration property using the relation hasProperty, if applicable control is used."^^xsd:string ; sh:message "g36: A Zone shall have at least a zone CO2 concentration property using the relation hasProperty, if applicable control is used."^^xsd:string ; sh:minCount 1 ; @@ -343,19 +352,16 @@ s223:SymmetricProperty a rdfs:Class, sh:minCount 1 ; sh:path s223:ofConstituent ] ] ] ; sh:severity sh:Info ], - [ rdfs:comment "A Zone shall have at least one window switch on-off property using the relation hasProperty."^^xsd:string ; - sh:message "g36: A Zone shall have at least one window switch on-off property using the relation hasProperty."^^xsd:string ; + [ rdfs:comment "A Zone shall have at least one binary zone occupancy property using the relation hasProperty"^^xsd:string ; + sh:message "g36: A Zone shall have at least one binary zone occupancy property using the relation hasProperty"^^xsd:string ; sh:minCount 1 ; sh:path s223:hasProperty ; sh:qualifiedMinCount 1 ; sh:qualifiedValueShape [ sh:class s223:EnumeratedObservableProperty ; - sh:node [ sh:property [ sh:class s223:EnumerationKind-OnOff ; + sh:node [ sh:property [ sh:class s223:EnumerationKind-Occupancy ; sh:maxCount 1 ; sh:minCount 1 ; - sh:path s223:hasEnumerationKind ], - [ rdfs:comment "Property shall be measured at a window."^^xsd:string ; - sh:class s223:Window ; - sh:path [ sh:alternativePath ( ( [ sh:inversePath s223:observes ] s223:hasMeasurementLocation ) [ sh:inversePath s223:hasProperty ] ) ] ] ] ] ; + sh:path s223:hasEnumerationKind ] ] ] ; sh:severity sh:Info ], [ rdfs:comment "A Zone shall have at least one zone thermostat override switch property using the relation hasProperty."^^xsd:string ; sh:message "g36: A Zone shall have at least one zone thermostat override switch property using the relation hasProperty."^^xsd:string ; @@ -367,13 +373,7 @@ s223:SymmetricProperty a rdfs:Class, sh:maxCount 1 ; sh:minCount 1 ; sh:path s223:hasEnumerationKind ] ] ] ; - sh:severity sh:Info ], - [ rdfs:comment "A Zone shall have at least one Domain-HVAC using the relation hasDomain. "^^xsd:string ; - sh:hasValue s223:Domain-HVAC ; - sh:message "g36: A Zone shall have at least one Domain-HVAC using the relation hasDomain. "^^xsd:string ; - sh:minCount 1 ; - sh:path s223:hasDomain ; - sh:severity s223:g36 ] ; + sh:severity sh:Info ] ; sh:severity s223:g36 . a s223:Class, @@ -382,17 +382,17 @@ s223:SymmetricProperty a rdfs:Class, rdfs:label "Zone Group"^^xsd:string ; rdfs:comment "A ZoneGroup is a grouping of zones that may be scheduled together. Zone groupings must be assigned based on rules in section 3.1.3 of Guideline 36."^^xsd:string ; rdfs:subClassOf s223:ZoneGroup ; - sh:property [ rdfs:comment "A ZoneGroup shall have the Domain HVAC using the relation hasDomain."^^xsd:string ; - sh:hasValue s223:Domain-HVAC ; - sh:message "g36: A ZoneGroup shall have the Domain HVAC using the relation hasDomain."^^xsd:string ; - sh:minCount 1 ; - sh:path s223:hasDomain ; - sh:severity s223:g36 ], - [ rdfs:comment "A ZoneGroup shall contain at least one Zone using the relation contains."^^xsd:string ; + sh:property [ rdfs:comment "A ZoneGroup shall contain at least one Zone using the relation contains."^^xsd:string ; sh:class ; sh:message "g36: A ZoneGroup shall contain at least one Zone using the relation contains."^^xsd:string ; sh:minCount 1 ; sh:path s223:contains ; + sh:severity s223:g36 ], + [ rdfs:comment "A ZoneGroup shall have the Domain HVAC using the relation hasDomain."^^xsd:string ; + sh:hasValue s223:Domain-HVAC ; + sh:message "g36: A ZoneGroup shall have the Domain HVAC using the relation hasDomain."^^xsd:string ; + sh:minCount 1 ; + sh:path s223:hasDomain ; sh:severity s223:g36 ] ; sh:severity s223:g36 . @@ -672,7 +672,7 @@ ns1:EnumeratedValue a rdfs:Class, rdfs:isDefinedBy ; rdfs:subClassOf ns1:Concept, ns1:Verifiable, - ns4:EnumeratedValue ; + ns6:EnumeratedValue ; sh:property ns1:EnumeratedValue-abbreviation, ns1:EnumeratedValue-description, ns1:EnumeratedValue-symbol . @@ -688,7 +688,7 @@ ns1:Enumeration a rdfs:Class,

The tags are a set of positive whole numbers, not necessarily contiguous and having no numerical significance, each corresponding to the associated literal identifier. An order attribute can also be given on the enumeration elements. An enumeration can itself be a member of an enumeration. This allows enumerations to be enumerated in a selection. Enumerations are also subclasses of Scalar Datatype. This allows them to be used as the reference of a datatype specification.

"""^^rdf:HTML ; rdfs:isDefinedBy ; rdfs:subClassOf ns1:Concept, - ns4:Enumeration ; + ns6:Enumeration ; sh:property ns1:Enumeration-abbreviation, ns1:Enumeration-default, ns1:Enumeration-element . @@ -698,7 +698,7 @@ ns1:EnumerationScale a rdfs:Class, rdfs:label "Enumeration scale"^^xsd:string ; rdfs:isDefinedBy ; rdfs:subClassOf ns1:Scale, - ns4:Enumeration . + ns6:Enumeration . ns1:Figure a rdfs:Class, sh:NodeShape ; @@ -1240,18 +1240,18 @@ s223:AirHandlingUnit a s223:Class, rdfs:label "Air handling unit"^^xsd:string ; rdfs:comment "An assembly consisting of sections containing a fan or fans and other necessary equipment to perform one or more of the following functions: circulating, filtration, heating, cooling, heat recovery, humidifying, dehumidifying, and mixing of air. It is usually connected to an air-distribution system."^^xsd:string ; rdfs:subClassOf s223:Equipment ; - sh:property [ rdfs:comment "An AirHandlingUnit shall have at least one outlet using the medium Air."^^xsd:string ; + sh:property [ rdfs:comment "An AirHandlingUnit shall have at least one inlet using the medium Air."^^xsd:string ; sh:minCount 1 ; sh:path s223:hasConnectionPoint ; sh:qualifiedMinCount 1 ; - sh:qualifiedValueShape [ sh:class s223:OutletConnectionPoint ; + sh:qualifiedValueShape [ sh:class s223:InletConnectionPoint ; sh:node [ sh:property [ sh:class s223:Fluid-Air ; sh:path s223:hasMedium ] ] ] ], - [ rdfs:comment "An AirHandlingUnit shall have at least one inlet using the medium Air."^^xsd:string ; + [ rdfs:comment "An AirHandlingUnit shall have at least one outlet using the medium Air."^^xsd:string ; sh:minCount 1 ; sh:path s223:hasConnectionPoint ; sh:qualifiedMinCount 1 ; - sh:qualifiedValueShape [ sh:class s223:InletConnectionPoint ; + sh:qualifiedValueShape [ sh:class s223:OutletConnectionPoint ; sh:node [ sh:property [ sh:class s223:Fluid-Air ; sh:path s223:hasMedium ] ] ] ] . @@ -1261,31 +1261,24 @@ s223:BACnetExternalReference a s223:Class, rdfs:comment "BACnetExternalReference is a subclass of ExternalReference that contains BACnet protocol parameter values necessary to associate a property with a value."^^xsd:string ; rdfs:subClassOf s223:ExternalReference ; sh:property [ a sh:PropertyShape ; - rdfs:comment "If the relation priority-for-writing is present it provides the priority for writing values to the object."^^xsd:string ; - sh:datatype xsd:nonNegativeInteger ; - sh:maxCount 1 ; - sh:minCount 0 ; - sh:path ], - [ a sh:PropertyShape ; - rdfs:comment "If the relation device-name is present it associates the external reference with a BACnet device having the specific device name."^^xsd:string ; + rdfs:comment "If the relation device-identifier is present it associates the external reference with a BACnet device having the specific device identifier."^^xsd:string ; sh:datatype xsd:string ; sh:maxCount 1 ; sh:minCount 0 ; - sh:path ], + sh:path ; + sh:pattern "^[A-Za-z0-9-]+,[1-9][0-9]*$"^^xsd:string ], [ a sh:PropertyShape ; - rdfs:comment "If the relation object-identifier is present it associates the external reference with the BACnet object having the specific object identifier."^^xsd:string ; + rdfs:comment "If the relation object-name is present it associates the external reference with the BACnet object having the specific object name."^^xsd:string ; sh:datatype xsd:string ; sh:maxCount 1 ; sh:minCount 0 ; - sh:path ; - sh:pattern "^[A-Za-z0-9-]+,[1-9][0-9]*$"^^xsd:string ], + sh:path ], [ a sh:PropertyShape ; - rdfs:comment "If the relation device-identifier is present it associates the external reference with a BACnet device having the specific device identifier."^^xsd:string ; - sh:datatype xsd:string ; + rdfs:comment "If the relation priority-for-writing is present it provides the priority for writing values to the object."^^xsd:string ; + sh:datatype xsd:nonNegativeInteger ; sh:maxCount 1 ; sh:minCount 0 ; - sh:path ; - sh:pattern "^[A-Za-z0-9-]+,[1-9][0-9]*$"^^xsd:string ], + sh:path ], [ a sh:PropertyShape ; rdfs:comment "If the relation property-array-index is present it provides the index for reading items from a property that is an array."^^xsd:string ; sh:datatype xsd:nonNegativeInteger ; @@ -1293,11 +1286,18 @@ s223:BACnetExternalReference a s223:Class, sh:minCount 0 ; sh:path ], [ a sh:PropertyShape ; - rdfs:comment "If the relation object-name is present it associates the external reference with the BACnet object having the specific object name."^^xsd:string ; + rdfs:comment "If the relation object-identifier is present it associates the external reference with the BACnet object having the specific object identifier."^^xsd:string ; sh:datatype xsd:string ; sh:maxCount 1 ; sh:minCount 0 ; - sh:path ], + sh:path ; + sh:pattern "^[A-Za-z0-9-]+,[1-9][0-9]*$"^^xsd:string ], + [ a sh:PropertyShape ; + rdfs:comment "If the relation device-name is present it associates the external reference with a BACnet device having the specific device name."^^xsd:string ; + sh:datatype xsd:string ; + sh:maxCount 1 ; + sh:minCount 0 ; + sh:path ], [ a sh:PropertyShape ; rdfs:comment "If the relation property-identifier is present it is either a decimal number or exactly equal to the ASHRAE 135-2020 Clause 21 identifier text of BACnetPropertyIdentifier. If it is omitted, it defaults to \"present-value\" except for BACnet File objects, where absence of property-identifier refers to the entire content of the file accessed with Stream Access."^^xsd:string ; sh:datatype xsd:string ; @@ -1350,12 +1350,7 @@ s223:ChilledBeam a s223:Class, rdfs:label "Chilled beam"^^xsd:string ; rdfs:comment "A structure with a colder surface temperature where air passes through, and air movement is induced in the room to achieve cooling. Cooling medium is generally water."^^xsd:string ; rdfs:subClassOf s223:Equipment ; - sh:property [ rdfs:comment "A ChilledBeam must be associated with the Role-Cooling using the relation hasRole"^^xsd:string ; - sh:minCount 1 ; - sh:path s223:hasRole ; - sh:qualifiedMinCount 1 ; - sh:qualifiedValueShape [ sh:class s223:Role-Cooling ] ], - [ rdfs:comment "A ChilledBeam shall have at least one inlet using the medium Water."^^xsd:string ; + sh:property [ rdfs:comment "A ChilledBeam shall have at least one inlet using the medium Water."^^xsd:string ; sh:minCount 1 ; sh:path s223:hasConnectionPoint ; sh:qualifiedMinCount 1 ; @@ -1368,7 +1363,12 @@ s223:ChilledBeam a s223:Class, sh:qualifiedMinCount 1 ; sh:qualifiedValueShape [ sh:class s223:OutletConnectionPoint ; sh:node [ sh:property [ sh:class s223:Fluid-Water ; - sh:path s223:hasMedium ] ] ] ] . + sh:path s223:hasMedium ] ] ] ], + [ rdfs:comment "A ChilledBeam must be associated with the Role-Cooling using the relation hasRole"^^xsd:string ; + sh:minCount 1 ; + sh:path s223:hasRole ; + sh:qualifiedMinCount 1 ; + sh:qualifiedValueShape [ sh:class s223:Role-Cooling ] ] . s223:Chiller a s223:Class, sh:NodeShape ; @@ -1422,16 +1422,16 @@ s223:Compressor a s223:Class, rdfs:label "Compressor"^^xsd:string ; rdfs:comment "A device for mechanically increasing the pressure of a gas."^^xsd:string ; rdfs:subClassOf s223:Equipment ; - sh:property [ rdfs:comment "A Compressor shall have at least one inlet."^^xsd:string ; + sh:property [ rdfs:comment "A Compressor shall have at least one outlet."^^xsd:string ; sh:minCount 1 ; sh:path s223:hasConnectionPoint ; sh:qualifiedMinCount 1 ; - sh:qualifiedValueShape [ sh:class s223:InletConnectionPoint ] ], - [ rdfs:comment "A Compressor shall have at least one outlet."^^xsd:string ; + sh:qualifiedValueShape [ sh:class s223:OutletConnectionPoint ] ], + [ rdfs:comment "A Compressor shall have at least one inlet."^^xsd:string ; sh:minCount 1 ; sh:path s223:hasConnectionPoint ; sh:qualifiedMinCount 1 ; - sh:qualifiedValueShape [ sh:class s223:OutletConnectionPoint ] ] . + sh:qualifiedValueShape [ sh:class s223:InletConnectionPoint ] ] . s223:ConcentrationSensor a s223:Class, sh:NodeShape ; @@ -1546,32 +1546,32 @@ FILTER (?high = ?low) . sh:class ns1:QuantityKind ; sh:minCount 1 ; sh:path ( s223:observes ns1:hasQuantityKind ) ] ; - sh:xone ( [ sh:property [ rdfs:comment "A DifferentialSensor must be associated with exactly 1 of Connectable, Connection, or ConnectionPoint using the relation hasObservationLocationLow."^^xsd:string ; + sh:xone ( [ sh:property [ rdfs:comment "A DifferentialSensor must be associated with exactly 1 of Connectable, Connection, or ConnectionPoint using the relation hasObservationLocationHigh."^^xsd:string ; sh:class s223:Connectable ; sh:maxCount 1 ; sh:minCount 1 ; - sh:path s223:hasObservationLocationLow ] ] [ sh:property [ rdfs:comment "A DifferentialSensor must be associated with exactly 1 of Connectable, Connection, or ConnectionPoint using the relation hasObservationLocationLow."^^xsd:string ; + sh:path s223:hasObservationLocationHigh ] ] [ sh:property [ rdfs:comment "A DifferentialSensor must be associated with exactly 1 of Connectable, Connection, or ConnectionPoint using the relation hasObservationLocationHigh."^^xsd:string ; sh:class s223:Connection ; sh:maxCount 1 ; sh:minCount 1 ; - sh:path s223:hasObservationLocationLow ] ] [ sh:property [ rdfs:comment "A DifferentialSensor must be associated with exactly 1 of Connectable, Connection, or ConnectionPoint using the relation hasObservationLocationLow."^^xsd:string ; + sh:path s223:hasObservationLocationHigh ] ] [ sh:property [ rdfs:comment "A DifferentialSensor must be associated with exactly 1 of Connectable, Connection, or ConnectionPoint using the relation hasObservationLocationHigh."^^xsd:string ; sh:class s223:ConnectionPoint ; sh:maxCount 1 ; sh:minCount 1 ; - sh:path s223:hasObservationLocationLow ] ] ), - ( [ sh:property [ rdfs:comment "A DifferentialSensor must be associated with exactly 1 of Connectable, Connection, or ConnectionPoint using the relation hasObservationLocationHigh."^^xsd:string ; + sh:path s223:hasObservationLocationHigh ] ] ), + ( [ sh:property [ rdfs:comment "A DifferentialSensor must be associated with exactly 1 of Connectable, Connection, or ConnectionPoint using the relation hasObservationLocationLow."^^xsd:string ; sh:class s223:Connectable ; sh:maxCount 1 ; sh:minCount 1 ; - sh:path s223:hasObservationLocationHigh ] ] [ sh:property [ rdfs:comment "A DifferentialSensor must be associated with exactly 1 of Connectable, Connection, or ConnectionPoint using the relation hasObservationLocationHigh."^^xsd:string ; + sh:path s223:hasObservationLocationLow ] ] [ sh:property [ rdfs:comment "A DifferentialSensor must be associated with exactly 1 of Connectable, Connection, or ConnectionPoint using the relation hasObservationLocationLow."^^xsd:string ; sh:class s223:Connection ; sh:maxCount 1 ; sh:minCount 1 ; - sh:path s223:hasObservationLocationHigh ] ] [ sh:property [ rdfs:comment "A DifferentialSensor must be associated with exactly 1 of Connectable, Connection, or ConnectionPoint using the relation hasObservationLocationHigh."^^xsd:string ; + sh:path s223:hasObservationLocationLow ] ] [ sh:property [ rdfs:comment "A DifferentialSensor must be associated with exactly 1 of Connectable, Connection, or ConnectionPoint using the relation hasObservationLocationLow."^^xsd:string ; sh:class s223:ConnectionPoint ; sh:maxCount 1 ; sh:minCount 1 ; - sh:path s223:hasObservationLocationHigh ] ] ) . + sh:path s223:hasObservationLocationLow ] ] ) . s223:Door a s223:Class, sh:NodeShape ; @@ -1664,18 +1664,18 @@ s223:ElectricTransformer a s223:Class, rdfs:label "Electric transformer"^^xsd:string ; rdfs:comment "A piece of electrical equipment used to convert alternative current (AC) electric power from one voltage to another voltage."^^xsd:string ; rdfs:subClassOf s223:Equipment ; - sh:property [ rdfs:comment "An ElectricTransformer shall have at least one inlet using the medium Electricity."^^xsd:string ; + sh:property [ rdfs:comment "An ElectricTransformer shall have at least one outlet using the medium Electricity."^^xsd:string ; sh:minCount 1 ; sh:path s223:hasConnectionPoint ; sh:qualifiedMinCount 1 ; - sh:qualifiedValueShape [ sh:class s223:InletConnectionPoint ; + sh:qualifiedValueShape [ sh:class s223:OutletConnectionPoint ; sh:node [ sh:property [ sh:class s223:Constituent-Electricity ; sh:path s223:hasMedium ] ] ] ], - [ rdfs:comment "An ElectricTransformer shall have at least one outlet using the medium Electricity."^^xsd:string ; + [ rdfs:comment "An ElectricTransformer shall have at least one inlet using the medium Electricity."^^xsd:string ; sh:minCount 1 ; sh:path s223:hasConnectionPoint ; sh:qualifiedMinCount 1 ; - sh:qualifiedValueShape [ sh:class s223:OutletConnectionPoint ; + sh:qualifiedValueShape [ sh:class s223:InletConnectionPoint ; sh:node [ sh:property [ sh:class s223:Constituent-Electricity ; sh:path s223:hasMedium ] ] ] ] . @@ -1699,23 +1699,21 @@ s223:FanCoilUnit a s223:Class, rdfs:label "Fan coil unit"^^xsd:string ; rdfs:comment "A device consisting of a heat exchanger (coil) and a fan to regulate the temperature of one or more spaces."^^xsd:string ; rdfs:subClassOf s223:Equipment ; - sh:property [ rdfs:comment "A FanCoilUnit must be associated with at least 1 Coil using the relation contains."^^xsd:string ; - sh:minCount 1 ; - sh:path s223:contains ; - sh:qualifiedMinCount 1 ; - sh:qualifiedValueShape [ sh:class s223:Coil ] ], - [ rdfs:comment "A FanCoilUnit must at least have the role Role-Heating or Role-Cooling."^^xsd:string ; + sh:property [ rdfs:comment "A FanCoilUnit must at least have the role Role-Heating or Role-Cooling."^^xsd:string ; sh:minCount 1 ; sh:path s223:hasRole ; sh:qualifiedMinCount 1 ; sh:qualifiedValueShape [ sh:in ( s223:Role-Heating s223:Role-Cooling ) ] ], - [ rdfs:comment "A FanCoilUnit shall have at least one inlet using the medium Air."^^xsd:string ; + [ rdfs:comment "A FanCoilUnit must be associated with at least 1 Fan using the relation contains."^^xsd:string ; sh:minCount 1 ; - sh:path s223:hasConnectionPoint ; + sh:path s223:contains ; sh:qualifiedMinCount 1 ; - sh:qualifiedValueShape [ sh:class s223:InletConnectionPoint ; - sh:node [ sh:property [ sh:class s223:Fluid-Air ; - sh:path s223:hasMedium ] ] ] ], + sh:qualifiedValueShape [ sh:class s223:Fan ] ], + [ rdfs:comment "A FanCoilUnit must be associated with at least 1 Coil using the relation contains."^^xsd:string ; + sh:minCount 1 ; + sh:path s223:contains ; + sh:qualifiedMinCount 1 ; + sh:qualifiedValueShape [ sh:class s223:Coil ] ], [ rdfs:comment "A FanCoilUnit shall have at least one outlet using the medium Air."^^xsd:string ; sh:minCount 1 ; sh:path s223:hasConnectionPoint ; @@ -1723,11 +1721,13 @@ s223:FanCoilUnit a s223:Class, sh:qualifiedValueShape [ sh:class s223:OutletConnectionPoint ; sh:node [ sh:property [ sh:class s223:Fluid-Air ; sh:path s223:hasMedium ] ] ] ], - [ rdfs:comment "A FanCoilUnit must be associated with at least 1 Fan using the relation contains."^^xsd:string ; + [ rdfs:comment "A FanCoilUnit shall have at least one inlet using the medium Air."^^xsd:string ; sh:minCount 1 ; - sh:path s223:contains ; + sh:path s223:hasConnectionPoint ; sh:qualifiedMinCount 1 ; - sh:qualifiedValueShape [ sh:class s223:Fan ] ] . + sh:qualifiedValueShape [ sh:class s223:InletConnectionPoint ; + sh:node [ sh:property [ sh:class s223:Fluid-Air ; + sh:path s223:hasMedium ] ] ] ] . s223:FanPoweredTerminal a s223:Class, sh:NodeShape ; @@ -1745,47 +1745,7 @@ s223:Filter a s223:Class, rdfs:label "Filter"^^xsd:string ; rdfs:comment "A device that removes contaminants from gases or liquids."^^xsd:string ; rdfs:subClassOf s223:Equipment ; - sh:property [ rdfs:comment "A Filter shall have at least one inlet ConnectionPoint."^^xsd:string ; - sh:minCount 1 ; - sh:path s223:hasConnectionPoint ; - sh:qualifiedMinCount 1 ; - sh:qualifiedValueShape [ sh:class s223:InletConnectionPoint ] ], - [ rdfs:comment "A filter should have one common constituent between the inlet and outlet"^^xsd:string ; - sh:path s223:hasConnectionPoint ; - sh:severity sh:Warning ; - sh:sparql [ a sh:SPARQLConstraint ; - rdfs:comment "Inconsistent Medium. Case 3: Two mediums with constituents."^^xsd:string ; - sh:message "s223: For Filter {$this} there is no compatible substance between medium {?m2} and medium {?m1}."^^xsd:string ; - sh:prefixes ; - sh:select """ -SELECT ?this ?m2 ?m1 -WHERE { - ?this s223:cnx ?cp1, ?cp2 . - ?cp1 a/rdfs:subClassOf* s223:ConnectionPoint . - ?cp2 a/rdfs:subClassOf* s223:ConnectionPoint . - FILTER (?cp1 != ?cp2) . - ?cp1 s223:hasMedium ?m1 . - ?cp2 s223:hasMedium ?m2 . - ?m1 s223:composedOf/s223:ofConstituent ?s1 . - ?m2 s223:composedOf/s223:ofConstituent ?s2 . - FILTER NOT EXISTS { - ?m1 s223:composedOf/s223:ofConstituent ?s11 . - ?m2 s223:composedOf/s223:ofConstituent ?s12 . - FILTER (?s11 = ?s12) . - } - FILTER NOT EXISTS { - ?m1 s223:composedOf/s223:ofConstituent ?s21 . - ?m2 s223:composedOf/s223:ofConstituent ?s22 . - {?s22 rdfs:subClassOf* ?s21} UNION {?s21 rdfs:subClassOf* ?s22} . - } -} -"""^^xsd:string ] ], - [ rdfs:comment "A Filter shall have at least one outlet."^^xsd:string ; - sh:minCount 1 ; - sh:path s223:hasConnectionPoint ; - sh:qualifiedMinCount 1 ; - sh:qualifiedValueShape [ sh:class s223:OutletConnectionPoint ] ], - [ rdfs:comment "Ensure that the filter inlet and outlet have compatible mediums."^^xsd:string ; + sh:property [ rdfs:comment "Ensure that the filter inlet and outlet have compatible mediums."^^xsd:string ; sh:path s223:hasConnectionPoint ; sh:severity sh:Warning ; sh:sparql [ a sh:SPARQLConstraint ; @@ -1807,6 +1767,16 @@ FILTER (NOT EXISTS {?m2 rdfs:subClassOf* ?m1}) . FILTER (NOT EXISTS {?m1 rdfs:subClassOf* ?m2}) . } """^^xsd:string ] ], + [ rdfs:comment "A Filter shall have at least one outlet."^^xsd:string ; + sh:minCount 1 ; + sh:path s223:hasConnectionPoint ; + sh:qualifiedMinCount 1 ; + sh:qualifiedValueShape [ sh:class s223:OutletConnectionPoint ] ], + [ rdfs:comment "A Filter shall have at least one inlet ConnectionPoint."^^xsd:string ; + sh:minCount 1 ; + sh:path s223:hasConnectionPoint ; + sh:qualifiedMinCount 1 ; + sh:qualifiedValueShape [ sh:class s223:InletConnectionPoint ] ], [ rdfs:comment "A filter should have one common constituent between the inlet and outlet"^^xsd:string ; sh:path s223:hasConnectionPoint ; sh:severity sh:Warning ; @@ -1830,6 +1800,36 @@ FILTER NOT EXISTS { {?s12 rdfs:subClassOf* ?m1} UNION {?m1 rdfs:subClassOf* ?s12} . } } +"""^^xsd:string ] ], + [ rdfs:comment "A filter should have one common constituent between the inlet and outlet"^^xsd:string ; + sh:path s223:hasConnectionPoint ; + sh:severity sh:Warning ; + sh:sparql [ a sh:SPARQLConstraint ; + rdfs:comment "Inconsistent Medium. Case 3: Two mediums with constituents."^^xsd:string ; + sh:message "s223: For Filter {$this} there is no compatible substance between medium {?m2} and medium {?m1}."^^xsd:string ; + sh:prefixes ; + sh:select """ +SELECT ?this ?m2 ?m1 +WHERE { + ?this s223:cnx ?cp1, ?cp2 . + ?cp1 a/rdfs:subClassOf* s223:ConnectionPoint . + ?cp2 a/rdfs:subClassOf* s223:ConnectionPoint . + FILTER (?cp1 != ?cp2) . + ?cp1 s223:hasMedium ?m1 . + ?cp2 s223:hasMedium ?m2 . + ?m1 s223:composedOf/s223:ofConstituent ?s1 . + ?m2 s223:composedOf/s223:ofConstituent ?s2 . + FILTER NOT EXISTS { + ?m1 s223:composedOf/s223:ofConstituent ?s11 . + ?m2 s223:composedOf/s223:ofConstituent ?s12 . + FILTER (?s11 = ?s12) . + } + FILTER NOT EXISTS { + ?m1 s223:composedOf/s223:ofConstituent ?s21 . + ?m2 s223:composedOf/s223:ofConstituent ?s22 . + {?s22 rdfs:subClassOf* ?s21} UNION {?s21 rdfs:subClassOf* ?s22} . + } +} """^^xsd:string ] ] . s223:FlowSensor a s223:Class, @@ -1912,18 +1912,18 @@ s223:HeatPump a s223:Class, rdfs:label "HeatPump"^^xsd:string ; rdfs:comment "A device that can heat or cool by transferring thermal energy using a reversible refrigeration cycle."^^xsd:string ; rdfs:subClassOf s223:Equipment ; - sh:property [ rdfs:comment "A HeatPump shall have at least one outlet using the medium Air."^^xsd:string ; + sh:property [ rdfs:comment "A HeatPump shall have at least one inlet using the medium Air."^^xsd:string ; sh:minCount 1 ; sh:path s223:hasConnectionPoint ; sh:qualifiedMinCount 1 ; - sh:qualifiedValueShape [ sh:class s223:OutletConnectionPoint ; + sh:qualifiedValueShape [ sh:class s223:InletConnectionPoint ; sh:node [ sh:property [ sh:class s223:Fluid-Air ; sh:path s223:hasMedium ] ] ] ], - [ rdfs:comment "A HeatPump shall have at least one inlet using the medium Air."^^xsd:string ; + [ rdfs:comment "A HeatPump shall have at least one outlet using the medium Air."^^xsd:string ; sh:minCount 1 ; sh:path s223:hasConnectionPoint ; sh:qualifiedMinCount 1 ; - sh:qualifiedValueShape [ sh:class s223:InletConnectionPoint ; + sh:qualifiedValueShape [ sh:class s223:OutletConnectionPoint ; sh:node [ sh:property [ sh:class s223:Fluid-Air ; sh:path s223:hasMedium ] ] ] ] . @@ -1984,19 +1984,19 @@ s223:Inverter a s223:Class, rdfs:label "Inverter"^^xsd:string ; rdfs:comment "An electric energy converter that changes direct electric current to alternating current."^^xsd:string ; rdfs:subClassOf s223:Equipment ; - sh:property [ rdfs:comment "An Inverter shall have at least one inlet using the medium Electricity-DC."^^xsd:string ; + sh:property [ rdfs:comment "An Inverter shall have at least one outlet using the medium Electricity-AC."^^xsd:string ; sh:minCount 1 ; sh:path s223:hasConnectionPoint ; sh:qualifiedMinCount 1 ; - sh:qualifiedValueShape [ sh:class s223:InletConnectionPoint ; - sh:node [ sh:property [ sh:class s223:Electricity-DC ; + sh:qualifiedValueShape [ sh:class s223:OutletConnectionPoint ; + sh:node [ sh:property [ sh:class s223:Electricity-AC ; sh:path s223:hasMedium ] ] ] ], - [ rdfs:comment "An Inverter shall have at least one outlet using the medium Electricity-AC."^^xsd:string ; + [ rdfs:comment "An Inverter shall have at least one inlet using the medium Electricity-DC."^^xsd:string ; sh:minCount 1 ; sh:path s223:hasConnectionPoint ; sh:qualifiedMinCount 1 ; - sh:qualifiedValueShape [ sh:class s223:OutletConnectionPoint ; - sh:node [ sh:property [ sh:class s223:Electricity-AC ; + sh:qualifiedValueShape [ sh:class s223:InletConnectionPoint ; + sh:node [ sh:property [ sh:class s223:Electricity-DC ; sh:path s223:hasMedium ] ] ] ] . s223:JunctionCPShape a sh:NodeShape ; @@ -2028,19 +2028,19 @@ s223:Luminaire a s223:Class, rdfs:label "Luminaire"^^xsd:string ; rdfs:comment "A complete lighting unit consisting of a lamp or lamps together with the housing designed to distribute the light, position and protect the lamps, and connect the lamps to the power supply."^^xsd:string ; rdfs:subClassOf s223:Equipment ; - sh:property [ rdfs:comment "A Luminaire shall have at least one outlet using the medium EM-Light."^^xsd:string ; + sh:property [ rdfs:comment "A Luminaire shall have at least one inlet using the medium Electricity."^^xsd:string ; sh:minCount 1 ; sh:path s223:hasConnectionPoint ; sh:qualifiedMinCount 1 ; - sh:qualifiedValueShape [ sh:class s223:OutletConnectionPoint ; - sh:node [ sh:property [ sh:class s223:EM-Light ; + sh:qualifiedValueShape [ sh:class s223:InletConnectionPoint ; + sh:node [ sh:property [ sh:class s223:Constituent-Electricity ; sh:path s223:hasMedium ] ] ] ], - [ rdfs:comment "A Luminaire shall have at least one inlet using the medium Electricity."^^xsd:string ; + [ rdfs:comment "A Luminaire shall have at least one outlet using the medium EM-Light."^^xsd:string ; sh:minCount 1 ; sh:path s223:hasConnectionPoint ; sh:qualifiedMinCount 1 ; - sh:qualifiedValueShape [ sh:class s223:InletConnectionPoint ; - sh:node [ sh:property [ sh:class s223:Constituent-Electricity ; + sh:qualifiedValueShape [ sh:class s223:OutletConnectionPoint ; + sh:node [ sh:property [ sh:class s223:EM-Light ; sh:path s223:hasMedium ] ] ] ] . s223:MeasuredPropertyRule a sh:NodeShape ; @@ -2074,12 +2074,12 @@ s223:OccupantCounter a s223:Class, sh:class s223:QuantifiableObservableProperty ; sh:message "s223: An OccupantCounter must always observe a QuantifiableObservableProperty that has a QuantityKind of Population and a Unit of unit:NUM."^^xsd:string ; sh:minCount 1 ; - sh:node [ sh:property [ sh:hasValue ; + sh:node [ sh:property [ sh:hasValue ; sh:maxCount 1 ; - sh:path ns1:hasUnit ], - [ sh:hasValue ; + sh:path ns1:hasQuantityKind ], + [ sh:hasValue ; sh:maxCount 1 ; - sh:path ns1:hasQuantityKind ] ] ; + sh:path ns1:hasUnit ] ] ; sh:path s223:observes ] . s223:OccupantMotionSensor a s223:Class, @@ -2156,17 +2156,17 @@ s223:PowerOverEthernetSwitch a s223:Class, rdfs:label "Power Over Ethernet Switch"^^xsd:string ; rdfs:comment "A type of network hardware that connects and is capable of powering cabled devices, such as computers and Wi-Fi access points, in an Ethernet LAN so they can communicate with each other and to the internet."^^xsd:string ; rdfs:subClassOf s223:EthernetSwitch ; - sh:property [ rdfs:comment "A PowerOverEthernetSwitch shall have at least one BidirectionalConnectionPoint using the medium Electricity-PoE."^^xsd:string ; + sh:property [ rdfs:comment "A PowerOverEthernetSwitch shall have at least one inlet using the medium Electricity."^^xsd:string ; sh:path s223:hasConnectionPoint ; sh:qualifiedMinCount 1 ; - sh:qualifiedValueShape [ sh:class s223:BidirectionalConnectionPoint ; - sh:node [ sh:property [ sh:class s223:PowerAndSignal-PoE ; + sh:qualifiedValueShape [ sh:class s223:InletConnectionPoint ; + sh:node [ sh:property [ sh:class s223:Constituent-Electricity ; sh:path s223:hasMedium ] ] ] ], - [ rdfs:comment "A PowerOverEthernetSwitch shall have at least one inlet using the medium Electricity."^^xsd:string ; + [ rdfs:comment "A PowerOverEthernetSwitch shall have at least one BidirectionalConnectionPoint using the medium Electricity-PoE."^^xsd:string ; sh:path s223:hasConnectionPoint ; sh:qualifiedMinCount 1 ; - sh:qualifiedValueShape [ sh:class s223:InletConnectionPoint ; - sh:node [ sh:property [ sh:class s223:Constituent-Electricity ; + sh:qualifiedValueShape [ sh:class s223:BidirectionalConnectionPoint ; + sh:node [ sh:property [ sh:class s223:PowerAndSignal-PoE ; sh:path s223:hasMedium ] ] ] ] . s223:PressureSensor a s223:Class, @@ -2269,18 +2269,18 @@ s223:RadiatorInletShape a sh:NodeShape ; sh:qualifiedMinCount 1 ; sh:qualifiedValueShape [ sh:class s223:InletConnectionPoint ; sh:node [ sh:property [ sh:class s223:Constituent-Electricity ; - sh:path s223:hasMedium ] ] ] ] ] [ sh:property [ rdfs:comment "A Radiator shall have at least one outlet using the medium Water."^^xsd:string ; + sh:path s223:hasMedium ] ] ] ] ] [ sh:property [ rdfs:comment "A Radiator shall have at least one inlet using the medium Electricity or Water."^^xsd:string ; sh:minCount 1 ; sh:path s223:hasConnectionPoint ; sh:qualifiedMinCount 1 ; - sh:qualifiedValueShape [ sh:class s223:OutletConnectionPoint ; + sh:qualifiedValueShape [ sh:class s223:InletConnectionPoint ; sh:node [ sh:property [ sh:class s223:Fluid-Water ; sh:path s223:hasMedium ] ] ] ], - [ rdfs:comment "A Radiator shall have at least one inlet using the medium Electricity or Water."^^xsd:string ; + [ rdfs:comment "A Radiator shall have at least one outlet using the medium Water."^^xsd:string ; sh:minCount 1 ; sh:path s223:hasConnectionPoint ; sh:qualifiedMinCount 1 ; - sh:qualifiedValueShape [ sh:class s223:InletConnectionPoint ; + sh:qualifiedValueShape [ sh:class s223:OutletConnectionPoint ; sh:node [ sh:property [ sh:class s223:Fluid-Water ; sh:path s223:hasMedium ] ] ] ] ] ) ; sh:severity sh:Warning ; @@ -2289,27 +2289,26 @@ s223:RadiatorInletShape a sh:NodeShape ; s223:RequiredCommentsShape a sh:NodeShape ; sh:severity sh:Info ; sh:sparql [ a sh:SPARQLConstraint ; - rdfs:comment "Every class of the 223 standard must be a direct or indirect subclass of s223:Concept. "^^xsd:string ; - sh:message "s223: Class {$this} must be within the rdfs:subClassOf hierarchy under s223:Concept."^^xsd:string ; + rdfs:comment "Every class of the 223 standard must have an rdfs:comment. "^^xsd:string ; + sh:message "s223: Class {$this} must have an rdfs:comment."^^xsd:string ; sh:prefixes ; sh:select """ SELECT $this WHERE { -FILTER NOT EXISTS {$this rdfs:subClassOf* rdf:Property} . -FILTER NOT EXISTS {$this rdfs:subClassOf* s223:Concept} . +FILTER NOT EXISTS {$this rdfs:comment ?comment} . } """^^xsd:string ], [ a sh:SPARQLConstraint ; - rdfs:comment "Ensure that every TripleRule must have an rdfs:comment. "^^xsd:string ; - sh:message "s223: The TripleRule inferring {?pred} for Class {$this} must have an rdfs:comment."^^xsd:string ; + rdfs:comment "Ensure that any property shape must have an rdfs:comment. "^^xsd:string ; + sh:message "s223: The SPARQLConstraint for path {?path} for Class {$this} must have an rdfs:comment."^^xsd:string ; sh:prefixes ; sh:select """ -SELECT $this ?pred +SELECT $this ?path WHERE { -$this sh:rule ?rule . -?rule a sh:TripleRule . -?rule sh:predicate ?pred . -FILTER NOT EXISTS {?rule rdfs:comment ?comment} . +$this sh:property ?propshape . +?propshape sh:sparql ?sparqlconstraint . +?propshape sh:path ?path . +FILTER NOT EXISTS {?sparqlconstraint rdfs:comment ?comment} . } """^^xsd:string ], [ a sh:SPARQLConstraint ; @@ -2325,48 +2324,49 @@ FILTER NOT EXISTS {?rule rdfs:comment ?comment} . } """^^xsd:string ], [ a sh:SPARQLConstraint ; - rdfs:comment "Every class of the 223 standard must also be an instance of sh:NodeShape. "^^xsd:string ; - sh:message "s223: Class {$this} must be declared as an instance of sh:NodeShape."^^xsd:string ; + rdfs:comment "Ensure that any property shape must have an rdfs:comment. "^^xsd:string ; + sh:message "s223: The property shape with path {?path} for Class {$this} must have an rdfs:comment."^^xsd:string ; sh:prefixes ; sh:select """ -SELECT $this +SELECT $this ?path WHERE { -FILTER NOT EXISTS {$this a sh:NodeShape} . +$this sh:property ?propshape . +?propshape sh:path ?path . +FILTER NOT EXISTS {?propshape rdfs:comment ?comment} . } """^^xsd:string ], [ a sh:SPARQLConstraint ; - rdfs:comment "Every class of the 223 standard must have an rdfs:comment. "^^xsd:string ; - sh:message "s223: Class {$this} must have an rdfs:comment."^^xsd:string ; + rdfs:comment "Ensure that every TripleRule must have an rdfs:comment. "^^xsd:string ; + sh:message "s223: The TripleRule inferring {?pred} for Class {$this} must have an rdfs:comment."^^xsd:string ; sh:prefixes ; sh:select """ -SELECT $this +SELECT $this ?pred WHERE { -FILTER NOT EXISTS {$this rdfs:comment ?comment} . +$this sh:rule ?rule . +?rule a sh:TripleRule . +?rule sh:predicate ?pred . +FILTER NOT EXISTS {?rule rdfs:comment ?comment} . } """^^xsd:string ], [ a sh:SPARQLConstraint ; - rdfs:comment "Ensure that any property shape must have an rdfs:comment. "^^xsd:string ; - sh:message "s223: The property shape with path {?path} for Class {$this} must have an rdfs:comment."^^xsd:string ; + rdfs:comment "Every class of the 223 standard must be a direct or indirect subclass of s223:Concept. "^^xsd:string ; + sh:message "s223: Class {$this} must be within the rdfs:subClassOf hierarchy under s223:Concept."^^xsd:string ; sh:prefixes ; sh:select """ -SELECT $this ?path +SELECT $this WHERE { -$this sh:property ?propshape . -?propshape sh:path ?path . -FILTER NOT EXISTS {?propshape rdfs:comment ?comment} . +FILTER NOT EXISTS {$this rdfs:subClassOf* rdf:Property} . +FILTER NOT EXISTS {$this rdfs:subClassOf* s223:Concept} . } """^^xsd:string ], [ a sh:SPARQLConstraint ; - rdfs:comment "Ensure that any property shape must have an rdfs:comment. "^^xsd:string ; - sh:message "s223: The SPARQLConstraint for path {?path} for Class {$this} must have an rdfs:comment."^^xsd:string ; + rdfs:comment "Every class of the 223 standard must also be an instance of sh:NodeShape. "^^xsd:string ; + sh:message "s223: Class {$this} must be declared as an instance of sh:NodeShape."^^xsd:string ; sh:prefixes ; sh:select """ -SELECT $this ?path +SELECT $this WHERE { -$this sh:property ?propshape . -?propshape sh:sparql ?sparqlconstraint . -?propshape sh:path ?path . -FILTER NOT EXISTS {?sparqlconstraint rdfs:comment ?comment} . +FILTER NOT EXISTS {$this a sh:NodeShape} . } """^^xsd:string ] ; sh:targetClass s223:Class . @@ -2387,19 +2387,19 @@ s223:SolarThermalCollector a s223:Class, rdfs:label "Solar thermal collector"^^xsd:string ; rdfs:comment "A device that converts sunlight into thermal energy."^^xsd:string ; rdfs:subClassOf s223:Equipment ; - sh:property [ rdfs:comment "A SolarThermalCollector shall have at least one outlet using the medium Water."^^xsd:string ; + sh:property [ rdfs:comment "A SolarThermalCollector shall have at least one inlet using the medium EM-Light."^^xsd:string ; sh:minCount 1 ; sh:path s223:hasConnectionPoint ; sh:qualifiedMinCount 1 ; - sh:qualifiedValueShape [ sh:class s223:OutletConnectionPoint ; - sh:node [ sh:property [ sh:class s223:Fluid-Water ; + sh:qualifiedValueShape [ sh:class s223:InletConnectionPoint ; + sh:node [ sh:property [ sh:class s223:EM-Light ; sh:path s223:hasMedium ] ] ] ], - [ rdfs:comment "A SolarThermalCollector shall have at least one inlet using the medium EM-Light."^^xsd:string ; + [ rdfs:comment "A SolarThermalCollector shall have at least one outlet using the medium Water."^^xsd:string ; sh:minCount 1 ; sh:path s223:hasConnectionPoint ; sh:qualifiedMinCount 1 ; - sh:qualifiedValueShape [ sh:class s223:InletConnectionPoint ; - sh:node [ sh:property [ sh:class s223:EM-Light ; + sh:qualifiedValueShape [ sh:class s223:OutletConnectionPoint ; + sh:node [ sh:property [ sh:class s223:Fluid-Water ; sh:path s223:hasMedium ] ] ] ] . s223:SymmetricPropertyShape a sh:NodeShape ; @@ -2460,14 +2460,14 @@ s223:Turbine a s223:Class, rdfs:label "Turbine"^^xsd:string ; rdfs:comment "An energy transducer that converts mechanical energy into electric energy."^^xsd:string ; rdfs:subClassOf s223:Equipment ; - sh:property [ rdfs:comment "A Turbine shall have at least one outlet using the medium Electricity."^^xsd:string ; + sh:property [ rdfs:comment "A Turbine must be associated with at least one ConnectionPoint using the relation hasConnectionPoint."^^xsd:string ; + sh:minCount 1 ; + sh:path s223:hasConnectionPoint ], + [ rdfs:comment "A Turbine shall have at least one outlet using the medium Electricity."^^xsd:string ; sh:class s223:OutletConnectionPoint ; sh:minCount 1 ; sh:node [ sh:property [ sh:class s223:Constituent-Electricity ; sh:path s223:hasMedium ] ] ; - sh:path s223:hasConnectionPoint ], - [ rdfs:comment "A Turbine must be associated with at least one ConnectionPoint using the relation hasConnectionPoint."^^xsd:string ; - sh:minCount 1 ; sh:path s223:hasConnectionPoint ] . s223:TwoWayValve a s223:Class, @@ -2515,10 +2515,7 @@ s223:VariableFrequencyDrive a s223:Class, rdfs:label "VariableFrequencyDrive"^^xsd:string ; rdfs:comment "An electronic device that varies its output frequency to vary the rotating speed of a motor, given a fixed input frequency. Used with fans or pumps to vary the flow in the system as a function of a maintained pressure."^^xsd:string ; rdfs:subClassOf s223:Equipment ; - sh:property [ rdfs:comment "If the relation connectedTo is present it must associate the VariableFrequencyDrive with a Equipment."^^xsd:string ; - sh:class s223:Equipment ; - sh:path s223:connectedTo ], - [ rdfs:comment "A VariableFrequencyDrive shall have at least one inlet using the medium Electricity."^^xsd:string ; + sh:property [ rdfs:comment "A VariableFrequencyDrive shall have at least one inlet using the medium Electricity."^^xsd:string ; sh:minCount 1 ; sh:path s223:hasConnectionPoint ; sh:qualifiedMinCount 1 ; @@ -2532,7 +2529,10 @@ s223:VariableFrequencyDrive a s223:Class, sh:qualifiedMinCount 1 ; sh:qualifiedValueShape [ sh:class s223:OutletConnectionPoint ; sh:node [ sh:property [ sh:class s223:Constituent-Electricity ; - sh:path s223:hasMedium ] ] ] ] . + sh:path s223:hasMedium ] ] ] ], + [ rdfs:comment "If the relation connectedTo is present it must associate the VariableFrequencyDrive with a Equipment."^^xsd:string ; + sh:class s223:Equipment ; + sh:path s223:connectedTo ] . s223:WindowShade a s223:Class, sh:NodeShape ; @@ -2685,7 +2685,7 @@ ns1:AbstractQuantityKind-skos_broader rdfs:isDefinedBy . ns1:Citation-qudt_description rdfs:isDefinedBy ; @@ -2774,7 +2774,7 @@ ns1:ISO8601-UTCDateTime-BasicFormat a ns1:DateTimeStringEncodingType ; ns1:LittleEndian a ns1:EndianType ; rdfs:label "Little Endian"^^xsd:string ; - ns4:literal "little"^^xsd:string ; + ns6:literal "little"^^xsd:string ; rdfs:isDefinedBy . ns1:PhysicalConstant-qudt_latexSymbol rdfs:isDefinedBy ; @@ -20423,16 +20423,16 @@ s223:System a s223:Class, rdfs:label "System"^^xsd:string ; rdfs:comment "A System is a logical grouping (collection) of Equipment for some functional or system reason, such as a chilled water system, or HVAC system. A System does not participate in Connections."^^xsd:string ; rdfs:subClassOf s223:Concept ; - sh:property [ rdfs:comment "If the relation hasRole is present, it must associate the System with an EnumerationKind-Role."^^xsd:string ; - sh:class s223:EnumerationKind-Role ; - sh:path s223:hasRole ], - [ a sh:PropertyShape ; + sh:property [ a sh:PropertyShape ; rdfs:comment "A System should be associated with at least two instances of Equipment or System using the relation hasMember"^^xsd:string ; sh:message "s223: A System should be associated with at least two instances of Equipment or System using the relation hasMember"^^xsd:string ; sh:minCount 2 ; sh:or ( [ sh:class s223:Equipment ] [ sh:class s223:System ] ) ; sh:path s223:hasMember ; - sh:severity sh:Warning ] . + sh:severity sh:Warning ], + [ rdfs:comment "If the relation hasRole is present, it must associate the System with an EnumerationKind-Role."^^xsd:string ; + sh:class s223:EnumerationKind-Role ; + sh:path s223:hasRole ] . s223:Water-Steam a s223:Class, s223:Water-Steam, @@ -20517,7 +20517,7 @@ s223:Window a s223:Class, s223:actuates a rdf:Property ; rdfs:label "actuates"^^xsd:string ; - rdfs:comment "The relation actuates binds an Actuator to the Equipment that it actuates. The Equipment will have the ActuatableProperty that commands the Actuator (see `s223:actuatedByProperty`)."^^xsd:string . + rdfs:comment "The relation actuates binds an Actuator to the Equipment that it actuates."^^xsd:string . s223:connectsFrom a rdf:Property ; rdfs:label "connects from"^^xsd:string ; @@ -20525,7 +20525,7 @@ s223:connectsFrom a rdf:Property ; s223:connectsTo a rdf:Property ; rdfs:label "connects to"^^xsd:string ; - rdfs:comment "The relation connectsTo binds a Connection to a Connectable thing to a Connection with an implied directionality. A connectsTo B indicates a flow from A to B."^^xsd:string . + rdfs:comment "The relation connectsTo binds a Connection to a Connectable thing with an implied directionality. A connectsTo B indicates a flow from A to B."^^xsd:string . s223:hasExternalReference a rdf:Property ; rdfs:label "has external reference"^^xsd:string ; @@ -21469,7 +21469,7 @@ ns1:QuantityKindDimensionVector-latexSymbol a sh:PropertyShape ; ns1:QuantityType-value a sh:PropertyShape ; rdfs:isDefinedBy ; sh:class ns1:QuantityKind ; - sh:path ns4:value . + sh:path ns6:value . ns1:QuantityValue-hasUnit a sh:PropertyShape ; rdfs:isDefinedBy ; @@ -21503,7 +21503,7 @@ ns1:Rule-ruleType a sh:PropertyShape ; ns1:SIGNED a ns1:SignednessType ; rdfs:label "Signed"^^xsd:string ; - ns4:literal "signed"^^xsd:string ; + ns6:literal "signed"^^xsd:string ; rdfs:isDefinedBy . ns1:ScalarDatatype-bits a sh:PropertyShape ; @@ -21687,7 +21687,7 @@ ns1:TotallyOrdered a ns1:OrderedType ; ns1:UNSIGNED a ns1:SignednessType ; rdfs:label "Unsigned"^^xsd:string ; - ns4:literal "unsigned"^^xsd:string ; + ns6:literal "unsigned"^^xsd:string ; rdfs:isDefinedBy . ns1:Unit-applicableSystem a sh:PropertyShape ; @@ -22126,36 +22126,36 @@ ns1:imageLocation a rdf:Property ; rdfs:label "image location"^^xsd:string ; rdfs:isDefinedBy . -ns1:inferredApplicableUnit a ns3:MagicProperty ; +ns1:inferredApplicableUnit a ns4:MagicProperty ; rdfs:label "applicable units for a QuantityKind instance"^^xsd:string ; - ns3:body [ a ns5:Select ; - ns5:distinct true ; - ns5:resultVariables ( [ ns5:varName "unit"^^xsd:string ] ) ; - ns5:where ( [ a ns5:Union ; - ns5:elements ( ( [ ns5:object ns3:_arg1 ; - ns5:predicate ns1:hasQuantityKind ; - ns5:subject [ ns5:varName "unit"^^xsd:string ] ] [ ns5:object ns1:Unit ; - ns5:predicate rdf:type ; - ns5:subject [ ns5:varName "unit"^^xsd:string ] ] ) ( [ a ns5:NotExists ; - ns5:elements ( [ ns5:object ns3:_arg1 ; - ns5:predicate ns1:hasQuantityKind ; - ns5:subject [ ns5:varName "unit"^^xsd:string ] ] [ ns5:object ns1:Unit ; - ns5:predicate rdf:type ; - ns5:subject [ ns5:varName "unit"^^xsd:string ] ] ) ] [ ns5:object [ ns5:varName "parent1"^^xsd:string ] ; - ns5:predicate skos:broader ; - ns5:subject ns3:_arg1 ] [ ns5:object [ ns5:varName "unit"^^xsd:string ] ; - ns5:predicate ns1:inferredApplicableUnit ; - ns5:subject [ ns5:varName "parent1"^^xsd:string ] ] ) ) ] ) ] ; - ns3:constraint [ a ns6:Argument ; - ns6:predicate ns5:arg1 ; - ns6:valueType ns1:QuantityKind ; + ns4:body [ a ns3:Select ; + ns3:distinct true ; + ns3:resultVariables ( [ ns3:varName "unit"^^xsd:string ] ) ; + ns3:where ( [ a ns3:Union ; + ns3:elements ( ( [ ns3:object ns4:_arg1 ; + ns3:predicate ns1:hasQuantityKind ; + ns3:subject [ ns3:varName "unit"^^xsd:string ] ] [ ns3:object ns1:Unit ; + ns3:predicate rdf:type ; + ns3:subject [ ns3:varName "unit"^^xsd:string ] ] ) ( [ a ns3:NotExists ; + ns3:elements ( [ ns3:object ns4:_arg1 ; + ns3:predicate ns1:hasQuantityKind ; + ns3:subject [ ns3:varName "unit"^^xsd:string ] ] [ ns3:object ns1:Unit ; + ns3:predicate rdf:type ; + ns3:subject [ ns3:varName "unit"^^xsd:string ] ] ) ] [ ns3:object [ ns3:varName "parent1"^^xsd:string ] ; + ns3:predicate skos:broader ; + ns3:subject ns4:_arg1 ] [ ns3:object [ ns3:varName "unit"^^xsd:string ] ; + ns3:predicate ns1:inferredApplicableUnit ; + ns3:subject [ ns3:varName "parent1"^^xsd:string ] ] ) ) ] ) ] ; + ns4:constraint [ a ns5:Argument ; + ns5:predicate ns3:arg1 ; + ns5:valueType ns1:QuantityKind ; rdfs:comment "The QuantityKind instance"^^xsd:string ] ; - ns3:returnType rdfs:Class ; + ns4:returnType rdfs:Class ; rdfs:comment """A magic property that returns all units that are "applicable" to a given QuantityKind, found by examining the incoming qudt:hasQuantityKind property for the provided QuantityKind. If there are none found, recurse up the skos:broader relation until such a QuantityKind is found. Example use: quantitykind:Power qudt:inferredApplicableUnit ?unit . """^^xsd:string ; - rdfs:subClassOf ns3:MagicProperties . + rdfs:subClassOf ns4:MagicProperties . ns1:isDeltaQuantity a rdf:Property ; rdfs:label "is Delta Quantity"^^xsd:string ; @@ -51444,17 +51444,17 @@ s223:DomainSpace a s223:Class, rdfs:label "Domain Space"^^xsd:string ; rdfs:comment "A DomainSpace is a member (or component) of a Zone and is associated with a Domain such as Lighting, HVAC, PhysicalSecurity, etc. Physical spaces enclose Domain spaces."^^xsd:string ; rdfs:subClassOf s223:Connectable ; - sh:property [ rdfs:comment "A DomainSpace must be associated with exactly one EnumerationKind-Domain using the relation hasDomain."^^xsd:string ; + sh:property [ rdfs:comment "A DomainSpace must be enclosed by a PhysicalSpace."^^xsd:string ; + sh:message "s223: A DomainSpace must be enclosed by a PhysicalSpace."^^xsd:string ; + sh:minCount 1 ; + sh:path [ sh:inversePath s223:encloses ] ; + sh:severity sh:Info ], + [ rdfs:comment "A DomainSpace must be associated with exactly one EnumerationKind-Domain using the relation hasDomain."^^xsd:string ; sh:class s223:EnumerationKind-Domain ; sh:maxCount 1 ; sh:message "s223: A DomainSpace must be associated with exactly one EnumerationKind-Domain using the relation hasDomain."^^xsd:string ; sh:minCount 1 ; - sh:path s223:hasDomain ], - [ rdfs:comment "A DomainSpace must be enclosed by a PhysicalSpace."^^xsd:string ; - sh:message "s223: A DomainSpace must be enclosed by a PhysicalSpace."^^xsd:string ; - sh:minCount 1 ; - sh:path [ sh:inversePath s223:encloses ] ; - sh:severity sh:Info ] ; + sh:path s223:hasDomain ] ; sh:rule [ a sh:TripleRule ; rdfs:comment "Infer a hasDomain relation by checking any enclosing Zone to determine the domain."^^xsd:string ; sh:object [ sh:path ( [ sh:inversePath s223:hasDomainSpace ] s223:hasDomain ) ] ; @@ -51529,7 +51529,7 @@ it is not allowed to change the Medium that passes through it. This is why Junct sh:name "Test for compatible declared Medium"^^xsd:string ; sh:path s223:hasMedium ; sh:sparql [ a sh:SPARQLConstraint ; - rdfs:comment "Inconsistent Medium. Case 3: Two ConnectionPoints with mediums with constituents."^^xsd:string ; + rdfs:comment "Inconsistent Medium. Case 2: Two ConnectionPoints with a medium with constituents and a pure Medium."^^xsd:string ; sh:message "s223: {?cp1} with Medium {?m1} is incompatible with {?cp2} with Medium {?m2}."^^xsd:string ; sh:prefixes ; sh:select """ @@ -51541,18 +51541,12 @@ $this s223:cnx ?cp1 . $this s223:cnx ?cp2 . ?cp2 a/rdfs:subClassOf* s223:ConnectionPoint . ?cp2 s223:hasMedium ?m2 . - ?m1 s223:composedOf/s223:ofConstituent ?s1 . - ?m2 s223:composedOf/s223:ofConstituent ?s2 . - FILTER NOT EXISTS { - ?m1 s223:composedOf/s223:ofConstituent ?s11 . - ?m2 s223:composedOf/s223:ofConstituent ?s12 . - FILTER (?s11 = ?s12) . - } - FILTER NOT EXISTS { - ?m1 s223:composedOf/s223:ofConstituent ?s21 . - ?m2 s223:composedOf/s223:ofConstituent ?s22 . - {?s22 rdfs:subClassOf* ?s21} UNION {?s21 rdfs:subClassOf* ?s22} . - } +?m2 s223:composedOf/s223:ofConstituent ?s2 . +FILTER NOT EXISTS {?m1 s223:composedOf ?c1} . +FILTER NOT EXISTS { + ?m2 s223:composedOf/s223:ofConstituent ?s12 . + {?s12 rdfs:subClassOf* ?m1} UNION {?m1 rdfs:subClassOf* ?s12} . +} } """^^xsd:string ] ], [ rdfs:comment "Ensure that the Medium identified by a ConnectionPoint via the s223:hasMedium relation is compatible with the Medium identified by the associated Connection."^^xsd:string ; @@ -51577,32 +51571,41 @@ FILTER NOT EXISTS { } } """^^xsd:string ] ], - [ rdfs:comment "Ensure that the Medium identified by a ConnectionPoint via the s223:hasMedium relation is compatible with the Medium identified by the associated Junction."^^xsd:string ; + [ rdfs:comment "Ensure that the Medium identified by all the associated ConnectionPoints via the s223:hasMedium relation are compatible with one another."^^xsd:string ; sh:name "Test for compatible declared Medium"^^xsd:string ; sh:path s223:hasMedium ; sh:sparql [ a sh:SPARQLConstraint ; - rdfs:comment "Inconsistent Medium. Case 1: Two pure mediums."^^xsd:string ; - sh:message "s223: Junction {$this} with Medium {?m2} is incompatible with {?cp} with Medium {?m1}."^^xsd:string ; + rdfs:comment "Inconsistent Medium. Case 3: Two ConnectionPoints with mediums with constituents."^^xsd:string ; + sh:message "s223: {?cp1} with Medium {?m1} is incompatible with {?cp2} with Medium {?m2}."^^xsd:string ; sh:prefixes ; sh:select """ -SELECT $this ?m2 ?cp ?m1 +SELECT $this ?cp1 ?m1 ?cp2 ?m2 WHERE { -$this s223:cnx ?cp . -?cp a/rdfs:subClassOf* s223:ConnectionPoint . -?cp s223:hasMedium ?m1 . -$this s223:hasMedium ?m2 . -FILTER (?m1 != ?m2 ) . -FILTER NOT EXISTS {?m1 s223:composedOf ?c1} . -FILTER NOT EXISTS {?m2 s223:composedOf ?c2} -FILTER (NOT EXISTS {?m2 rdfs:subClassOf* ?m1}) . -FILTER (NOT EXISTS {?m1 rdfs:subClassOf* ?m2}) . +$this s223:cnx ?cp1 . +?cp1 a/rdfs:subClassOf* s223:ConnectionPoint . +?cp1 s223:hasMedium ?m1 . +$this s223:cnx ?cp2 . +?cp2 a/rdfs:subClassOf* s223:ConnectionPoint . +?cp2 s223:hasMedium ?m2 . + ?m1 s223:composedOf/s223:ofConstituent ?s1 . + ?m2 s223:composedOf/s223:ofConstituent ?s2 . + FILTER NOT EXISTS { + ?m1 s223:composedOf/s223:ofConstituent ?s11 . + ?m2 s223:composedOf/s223:ofConstituent ?s12 . + FILTER (?s11 = ?s12) . + } + FILTER NOT EXISTS { + ?m1 s223:composedOf/s223:ofConstituent ?s21 . + ?m2 s223:composedOf/s223:ofConstituent ?s22 . + {?s22 rdfs:subClassOf* ?s21} UNION {?s21 rdfs:subClassOf* ?s22} . + } } """^^xsd:string ] ], [ rdfs:comment "Ensure that the Medium identified by a ConnectionPoint via the s223:hasMedium relation is compatible with the Medium identified by the associated Junction."^^xsd:string ; sh:name "Test for compatible declared Medium"^^xsd:string ; sh:path s223:hasMedium ; sh:sparql [ a sh:SPARQLConstraint ; - rdfs:comment "Inconsistent Medium. Case 2: A Junction with constituents and an associated ConnectionPoint with a pure Medium."^^xsd:string ; + rdfs:comment "Inconsistent Medium. Case 1: Two pure mediums."^^xsd:string ; sh:message "s223: Junction {$this} with Medium {?m2} is incompatible with {?cp} with Medium {?m1}."^^xsd:string ; sh:prefixes ; sh:select """ @@ -51612,14 +51615,19 @@ $this s223:cnx ?cp . ?cp a/rdfs:subClassOf* s223:ConnectionPoint . ?cp s223:hasMedium ?m1 . $this s223:hasMedium ?m2 . -?m2 s223:composedOf/s223:ofConstituent ?s2 . +FILTER (?m1 != ?m2 ) . FILTER NOT EXISTS {?m1 s223:composedOf ?c1} . -FILTER NOT EXISTS { - ?m2 s223:composedOf/s223:ofConstituent ?s12 . - {?s12 rdfs:subClassOf* ?m1} UNION {?m1 rdfs:subClassOf* ?s12} . -} +FILTER NOT EXISTS {?m2 s223:composedOf ?c2} +FILTER (NOT EXISTS {?m2 rdfs:subClassOf* ?m1}) . +FILTER (NOT EXISTS {?m1 rdfs:subClassOf* ?m2}) . } """^^xsd:string ] ], + [ rdfs:comment "A Junction must be associated with exactly one EnumerationKind-Medium using the relation hasMedium."^^xsd:string ; + sh:class s223:Substance-Medium ; + sh:maxCount 1 ; + sh:message "s223: A Junction must be associated with exactly one EnumerationKind-Medium using the relation hasMedium."^^xsd:string ; + sh:minCount 1 ; + sh:path s223:hasMedium ], [ rdfs:comment "Ensure that the Medium identified by all the associated ConnectionPoints via the s223:hasMedium relation are compatible with one another."^^xsd:string ; sh:name "Test for compatible declared Medium"^^xsd:string ; sh:path s223:hasMedium ; @@ -51644,12 +51652,28 @@ FILTER (NOT EXISTS {?m2 rdfs:subClassOf* ?m1}) . FILTER (NOT EXISTS {?m1 rdfs:subClassOf* ?m2}) . } """^^xsd:string ] ], - [ rdfs:comment "A Junction must be associated with exactly one EnumerationKind-Medium using the relation hasMedium."^^xsd:string ; - sh:class s223:Substance-Medium ; - sh:maxCount 1 ; - sh:message "s223: A Junction must be associated with exactly one EnumerationKind-Medium using the relation hasMedium."^^xsd:string ; - sh:minCount 1 ; - sh:path s223:hasMedium ], + [ rdfs:comment "Ensure that the Medium identified by a ConnectionPoint via the s223:hasMedium relation is compatible with the Medium identified by the associated Junction."^^xsd:string ; + sh:name "Test for compatible declared Medium"^^xsd:string ; + sh:path s223:hasMedium ; + sh:sparql [ a sh:SPARQLConstraint ; + rdfs:comment "Inconsistent Medium. Case 2: A Junction with constituents and an associated ConnectionPoint with a pure Medium."^^xsd:string ; + sh:message "s223: Junction {$this} with Medium {?m2} is incompatible with {?cp} with Medium {?m1}."^^xsd:string ; + sh:prefixes ; + sh:select """ +SELECT $this ?m2 ?cp ?m1 +WHERE { +$this s223:cnx ?cp . +?cp a/rdfs:subClassOf* s223:ConnectionPoint . +?cp s223:hasMedium ?m1 . +$this s223:hasMedium ?m2 . +?m2 s223:composedOf/s223:ofConstituent ?s2 . +FILTER NOT EXISTS {?m1 s223:composedOf ?c1} . +FILTER NOT EXISTS { + ?m2 s223:composedOf/s223:ofConstituent ?s12 . + {?s12 rdfs:subClassOf* ?m1} UNION {?m1 rdfs:subClassOf* ?s12} . +} +} +"""^^xsd:string ] ], [ rdfs:comment "Ensure that the Medium identified by a ConnectionPoint via the s223:hasMedium relation is compatible with the Medium identified by the associated Junction."^^xsd:string ; sh:name "Test for compatible declared Medium"^^xsd:string ; sh:path s223:hasMedium ; @@ -51677,30 +51701,6 @@ $this s223:hasMedium ?m2 . {?s22 rdfs:subClassOf* ?s21} UNION {?s21 rdfs:subClassOf* ?s22} . } } -"""^^xsd:string ] ], - [ rdfs:comment "Ensure that the Medium identified by all the associated ConnectionPoints via the s223:hasMedium relation are compatible with one another."^^xsd:string ; - sh:name "Test for compatible declared Medium"^^xsd:string ; - sh:path s223:hasMedium ; - sh:sparql [ a sh:SPARQLConstraint ; - rdfs:comment "Inconsistent Medium. Case 2: Two ConnectionPoints with a medium with constituents and a pure Medium."^^xsd:string ; - sh:message "s223: {?cp1} with Medium {?m1} is incompatible with {?cp2} with Medium {?m2}."^^xsd:string ; - sh:prefixes ; - sh:select """ -SELECT $this ?cp1 ?m1 ?cp2 ?m2 -WHERE { -$this s223:cnx ?cp1 . -?cp1 a/rdfs:subClassOf* s223:ConnectionPoint . -?cp1 s223:hasMedium ?m1 . -$this s223:cnx ?cp2 . -?cp2 a/rdfs:subClassOf* s223:ConnectionPoint . -?cp2 s223:hasMedium ?m2 . -?m2 s223:composedOf/s223:ofConstituent ?s2 . -FILTER NOT EXISTS {?m1 s223:composedOf ?c1} . -FILTER NOT EXISTS { - ?m2 s223:composedOf/s223:ofConstituent ?s12 . - {?s12 rdfs:subClassOf* ?m1} UNION {?m1 rdfs:subClassOf* ?s12} . -} -} """^^xsd:string ] ] . s223:Mix-PowerAndSignal a s223:Class, @@ -52076,11 +52076,13 @@ s223:ZoneGroup a s223:Class, s223:actuatedByProperty a rdf:Property ; rdfs:label "commanded by Property"^^xsd:string ; - rdfs:comment "The relation actuatedByProperty binds an Actuator to the ActuatableProperty that it responds to. This Property will be owned by the equipment that it actuates (see `s223:actuates`)."^^xsd:string . + rdfs:comment """The relation actuatedByProperty binds an Equipment to the ActuatableProperty that it responds to. If the Equipment +is an Actuator (a subclass of Equipment), actuatedByProperty is a required relation. An Actuator may also identify another piece of +Equipment being actuated. (see `s223:actuates`)."""^^xsd:string . s223:connectedThrough a rdf:Property ; rdfs:label "connected through"^^xsd:string ; - rdfs:comment "The relation connectedThrough associates a Connectable with a Connection."^^xsd:string . + rdfs:comment "The relation connectedThrough associates a Connectable thing with a Connection without regard to the direction of flow. It is used to discover what connection links two connectable things."^^xsd:string . s223:encloses a rdf:Property ; rdfs:label "encloses"^^xsd:string ; @@ -59339,12 +59341,12 @@ s223:PhysicalSpace a s223:Class, rdfs:label "Physical Space"^^xsd:string ; rdfs:comment "A PhysicalSpace is an architectural concept representing a room, a collection of rooms such as a floor, a part of a room, or any physical space that might not even be thought of as a room, such as a patio space or a roof."^^xsd:string ; rdfs:subClassOf s223:Concept ; - sh:property [ rdfs:comment "If the relation encloses is present it must associate the PhysicalSpace with a DomainSpace."^^xsd:string ; - sh:class s223:DomainSpace ; - sh:path s223:encloses ], - [ rdfs:comment "If the relation contains is present it must associate the PhysicalSpace with a PhysicalSpace."^^xsd:string ; + sh:property [ rdfs:comment "If the relation contains is present it must associate the PhysicalSpace with a PhysicalSpace."^^xsd:string ; sh:class s223:PhysicalSpace ; - sh:path s223:contains ] . + sh:path s223:contains ], + [ rdfs:comment "If the relation encloses is present it must associate the PhysicalSpace with a DomainSpace."^^xsd:string ; + sh:class s223:DomainSpace ; + sh:path s223:encloses ] . s223:Role-Controller a s223:Class, s223:Role-Controller, @@ -59423,17 +59425,7 @@ s223:Water-GlycolSolution a s223:Class, ns1:hasQuantityKind ] ; rdfs:comment "This class has enumerated subclasses of water-glycol solutions in various concentrations."^^xsd:string ; rdfs:subClassOf s223:Fluid-Water ; - sh:property [ rdfs:comment "One of the constituents of a Water-GlycolSolution must be Constituent-H2O."^^xsd:string ; - sh:path s223:composedOf ; - sh:qualifiedMinCount 1 ; - sh:qualifiedValueShape [ sh:class s223:QuantifiableProperty ; - sh:node [ sh:property [ rdfs:comment "The quantity kind of the constituent must be VolumeFraction."^^xsd:string ; - sh:hasValue ; - sh:path ns1:hasQuantityKind ], - [ rdfs:comment "One of the constituents of a Water-GlycolSolution must be Constituent-H2O."^^xsd:string ; - sh:hasValue s223:Constituent-H2O ; - sh:path s223:ofConstituent ] ] ] ], - [ rdfs:comment "One of the constituents of a Water-GlycolSolution must be Constituent-Glycol."^^xsd:string ; + sh:property [ rdfs:comment "One of the constituents of a Water-GlycolSolution must be Constituent-Glycol."^^xsd:string ; sh:path s223:composedOf ; sh:qualifiedMinCount 1 ; sh:qualifiedValueShape [ sh:class s223:QuantifiableProperty ; @@ -59443,16 +59435,26 @@ s223:Water-GlycolSolution a s223:Class, [ rdfs:comment "The quantity kind of the constituent must be VolumeFraction."^^xsd:string ; sh:hasValue ; sh:path ns1:hasQuantityKind ] ] ] ], - [ rdfs:comment "There must be at least two QuantifiableProperties that characterize the constituents of a Water-GlycolSolution."^^xsd:string ; - sh:class s223:QuantifiableProperty ; - sh:minCount 2 ; - sh:path s223:composedOf ], [ rdfs:comment "If the relation hasFreezingPoint is used, the object must be a QuantifiableProperty with a quantity kind of Temperature."^^xsd:string ; sh:class s223:QuantifiableProperty ; sh:message "The object must be a QuantifiableProperty with a quantity kind of Temperature."^^xsd:string ; sh:node [ sh:property [ sh:hasValue ; sh:path ns1:hasQuantityKind ] ] ; - sh:path s223:hasFreezingPoint ] . + sh:path s223:hasFreezingPoint ], + [ rdfs:comment "One of the constituents of a Water-GlycolSolution must be Constituent-H2O."^^xsd:string ; + sh:path s223:composedOf ; + sh:qualifiedMinCount 1 ; + sh:qualifiedValueShape [ sh:class s223:QuantifiableProperty ; + sh:node [ sh:property [ rdfs:comment "The quantity kind of the constituent must be VolumeFraction."^^xsd:string ; + sh:hasValue ; + sh:path ns1:hasQuantityKind ], + [ rdfs:comment "One of the constituents of a Water-GlycolSolution must be Constituent-H2O."^^xsd:string ; + sh:hasValue s223:Constituent-H2O ; + sh:path s223:ofConstituent ] ] ] ], + [ rdfs:comment "There must be at least two QuantifiableProperties that characterize the constituents of a Water-GlycolSolution."^^xsd:string ; + sh:class s223:QuantifiableProperty ; + sh:minCount 2 ; + sh:path s223:composedOf ] . s223:Zone a s223:Class, sh:NodeShape ; @@ -59487,13 +59489,13 @@ FILTER (?domain != ?dsdomain) } """^^xsd:string ] ] ; sh:rule [ a sh:TripleRule ; - rdfs:comment "Infer a hasDomain relation by checking any enclosed DomainSpaces to determine the domain."^^xsd:string ; - sh:object [ sh:path ( s223:hasDomainSpace s223:hasDomain ) ] ; + rdfs:comment "Infer a hasDomain relation by checking any enclosing ZoneGroup to determine the domain."^^xsd:string ; + sh:object [ sh:path ( [ sh:inversePath s223:hasZone ] s223:hasDomain ) ] ; sh:predicate s223:hasDomain ; sh:subject sh:this ], [ a sh:TripleRule ; - rdfs:comment "Infer a hasDomain relation by checking any enclosing ZoneGroup to determine the domain."^^xsd:string ; - sh:object [ sh:path ( [ sh:inversePath s223:hasZone ] s223:hasDomain ) ] ; + rdfs:comment "Infer a hasDomain relation by checking any enclosed DomainSpaces to determine the domain."^^xsd:string ; + sh:object [ sh:path ( s223:hasDomainSpace s223:hasDomain ) ] ; sh:predicate s223:hasDomain ; sh:subject sh:this ] . @@ -59574,7 +59576,7 @@ ns1:informativeReference a rdf:Property ; ns1:literal a rdf:Property ; rdfs:label "literal"^^xsd:string ; rdfs:isDefinedBy ; - rdfs:subPropertyOf ns4:literal . + rdfs:subPropertyOf ns6:literal . ns1:mathMLdefinition a rdf:Property ; rdfs:label "mathML definition"^^xsd:string ; @@ -67649,12 +67651,12 @@ s223:Function a s223:Class, rdfs:label "Function"^^xsd:string ; rdfs:comment "A Function is used to model transfer and/or transformation of information (i.e. Property). It has relations to input Properties and output Properties. The actual algorithms that perform the transformations are described in CDL and are out of scope of the 223 standard."^^xsd:string ; rdfs:subClassOf s223:Concept ; - sh:property [ rdfs:comment "If the relation hasInput is present it must associate a Function with a Property."^^xsd:string ; + sh:property [ rdfs:comment "If the relation hasOutput is present it must associate a Function with a Property."^^xsd:string ; sh:class s223:Property ; - sh:path s223:hasInput ], - [ rdfs:comment "If the relation hasOutput is present it must associate a Function with a Property."^^xsd:string ; + sh:path s223:hasOutput ], + [ rdfs:comment "If the relation hasInput is present it must associate a Function with a Property."^^xsd:string ; sh:class s223:Property ; - sh:path s223:hasOutput ] . + sh:path s223:hasInput ] . s223:LineNeutralVoltage-110V a s223:Class, s223:LineNeutralVoltage-110V, @@ -67905,13 +67907,13 @@ s223:Voltage-6V a s223:Class, s223:connectedFrom a rdf:Property ; rdfs:label "connected from"^^xsd:string ; s223:inverseOf s223:connectedTo ; - rdfs:comment "The relation connectedFrom means that connectable things are connected with a specific flow direction. B is connectedFrom A, means a directionality beginning at A and ending at B. The inverse direction is indicated by connectedTo (see `s223:connectedTo`)."^^xsd:string ; + rdfs:comment "The relation connectedFrom indicates that connectable things are connected with a specific flow direction. B is connectedFrom A, means a directionality beginning at A and ending at B. The inverse direction is indicated by connectedTo (see `s223:connectedTo`)."^^xsd:string ; rdfs:domain s223:Equipment . s223:connectsAt a rdf:Property ; rdfs:label "connects at"^^xsd:string ; s223:inverseOf s223:connectsThrough ; - rdfs:comment "The connectsAt relation binds a Connection to a specific ConnectionPoint. See Figure x.y."^^xsd:string . + rdfs:comment "The relation connectsAt binds a Connection to a specific ConnectionPoint."^^xsd:string . s223:hasObservationLocationHigh a rdf:Property ; rdfs:label "has observation location high"^^xsd:string ; @@ -72176,7 +72178,7 @@ s223:Voltage-380V a s223:Class, s223:connectsThrough a rdf:Property ; rdfs:label "connects through"^^xsd:string ; s223:inverseOf s223:connectsAt ; - rdfs:comment "The relation connectedThrough binds a Connectable thing to a Connection without regard to the direction of flow. It is used to discover what connection links two connectable things."^^xsd:string . + rdfs:comment "The relation connectsThrough binds a ConnectionPoint to a Connection without regard to the direction of flow."^^xsd:string . s223:hasVoltage a rdf:Property ; rdfs:label "hasVoltage"^^xsd:string ; @@ -75393,18 +75395,18 @@ s223:EnumerationKind-Numerical a s223:Class, ns1:hasUnit ; rdfs:comment "Numerical enumeration kinds are used to support the definitions of the Electricity medium. The enumerations instances in these classes have names that are recognizable by humans but are just a string for a computer application. To avoid the need to parse strings, each of these enumeration kinds have properties associated with the enumeration that represent electrical phase, voltage, and frequency. The purpose of these properties is to enable a machine to query them and obtain the same information that a person would associate with the sting"^^xsd:string ; rdfs:subClassOf s223:EnumerationKind ; - sh:property [ rdfs:comment "An EnumerationKind-Numerical must be associated with at least one QuantityKind using the relation hasQuantityKind."^^xsd:string ; + sh:property [ rdfs:comment "An EnumerationKind-Numerical must be associated with at least one Unit using the relation hasUnit."^^xsd:string ; + sh:class ns1:Unit ; + sh:minCount 1 ; + sh:path ns1:hasUnit ; + sh:severity sh:Info ], + [ rdfs:comment "An EnumerationKind-Numerical must be associated with at least one QuantityKind using the relation hasQuantityKind."^^xsd:string ; sh:class ns1:QuantityKind ; sh:minCount 1 ; sh:path ns1:hasQuantityKind ], [ rdfs:comment "An EnumerationKind-Numerical can be associated with a decimal value using the relation hasValue."^^xsd:string ; sh:datatype xsd:decimal ; - sh:path s223:hasValue ], - [ rdfs:comment "An EnumerationKind-Numerical must be associated with at least one Unit using the relation hasUnit."^^xsd:string ; - sh:class ns1:Unit ; - sh:minCount 1 ; - sh:path ns1:hasUnit ; - sh:severity sh:Info ] . + sh:path s223:hasValue ] . s223:EnumerationKind-Occupancy a s223:Class, s223:EnumerationKind-Occupancy, @@ -79204,7 +79206,7 @@ A Connection may contain branches or intersections. These may be modeled using J sh:name "Test for compatible declared Medium"^^xsd:string ; sh:path s223:hasMedium ; sh:sparql [ a sh:SPARQLConstraint ; - rdfs:comment "Inconsistent Medium. Case 2: A Connection with constituents and an associated ConnectionPoint with a pure Medium."^^xsd:string ; + rdfs:comment "Inconsistent Medium. Case 4: A Connection with constituents and an associated ConnectionPoint with constituents."^^xsd:string ; sh:message "s223: Connection {$this} with Medium {?m2} is incompatible with {?cp} with Medium {?m1}."^^xsd:string ; sh:prefixes ; sh:select """ @@ -79212,47 +79214,42 @@ SELECT $this ?m2 ?cp ?m1 WHERE { $this s223:cnx ?cp . ?cp a/rdfs:subClassOf* s223:ConnectionPoint . -?cp s223:hasMedium ?m1 . -$this s223:hasMedium ?m2 . -?m2 s223:composedOf/s223:ofConstituent ?s2 . -FILTER NOT EXISTS {?m1 s223:composedOf ?c1} . -FILTER NOT EXISTS { - ?m2 s223:composedOf/s223:ofConstituent ?s12 . - {?s12 rdfs:subClassOf* ?m1} UNION {?m1 rdfs:subClassOf* ?s12} . -} +?cp s223:hasMedium ?m2 . +$this s223:hasMedium ?m1 . + ?m1 s223:composedOf/s223:ofConstituent ?s1 . + ?m2 s223:composedOf/s223:ofConstituent ?s2 . + FILTER NOT EXISTS { + ?m1 s223:composedOf/s223:ofConstituent ?s11 . + ?m2 s223:composedOf/s223:ofConstituent ?s12 . + FILTER (?s11 = ?s12) . + } + FILTER NOT EXISTS { + ?m1 s223:composedOf/s223:ofConstituent ?s21 . + ?m2 s223:composedOf/s223:ofConstituent ?s22 . + {?s22 rdfs:subClassOf* ?s21} UNION {?s21 rdfs:subClassOf* ?s22} . + } } """^^xsd:string ] ], - [ rdfs:comment "If the relation hasRole is present it must associate the Connection with an EnumerationKind-Role."^^xsd:string ; - sh:class s223:EnumerationKind-Role ; - sh:path s223:hasRole ], - [ rdfs:comment "If the relation connectsFrom is present it must associate the Connection with a Connectable."^^xsd:string ; - sh:class s223:Connectable ; - sh:name "ConnectionToUpstreamConnectableShape"^^xsd:string ; - sh:path s223:connectsFrom ], - [ rdfs:comment "If the relation connectsAt is present it must associate the Connection with a ConnectionPoint."^^xsd:string ; - sh:class s223:ConnectionPoint ; - sh:path s223:connectsAt ], - [ rdfs:comment "Ensure that the Medium identified by all the associated ConnectionPoints via the s223:hasMedium relation are compatible with one another."^^xsd:string ; + [ rdfs:comment "Ensure that the Medium identified by a ConnectionPoint via the s223:hasMedium relation is compatible with the Medium identified by the associated Connection."^^xsd:string ; sh:name "Test for compatible declared Medium"^^xsd:string ; sh:path s223:hasMedium ; sh:sparql [ a sh:SPARQLConstraint ; - rdfs:comment "Inconsistent Medium. Case 1: Two ConnectionPoints with pure mediums."^^xsd:string ; - sh:message "s223: {?cp1} with Medium {?m1} is incompatible with {?cp2} with Medium {?m2}."^^xsd:string ; + rdfs:comment "Inconsistent Medium. Case 3: Connection with a pure medium and an associated ConnectionPoint with constituents."^^xsd:string ; + sh:message "s223: Connection {$this} with Medium {?m2} is incompatible with {?cp} with Medium {?m1}."^^xsd:string ; sh:prefixes ; sh:select """ -SELECT $this ?cp1 ?m1 ?cp2 ?m2 +SELECT $this ?m2 ?cp ?m1 WHERE { -$this s223:cnx ?cp1 . -?cp1 a/rdfs:subClassOf* s223:ConnectionPoint . -?cp1 s223:hasMedium ?m1 . -$this s223:cnx ?cp2 . -?cp2 a/rdfs:subClassOf* s223:ConnectionPoint . -?cp2 s223:hasMedium ?m2 . -FILTER (?m1 != ?m2 ) . +$this s223:cnx ?cp . +?cp a/rdfs:subClassOf* s223:ConnectionPoint . +?cp s223:hasMedium ?m2 . +$this s223:hasMedium ?m1 . +?m2 s223:composedOf/s223:ofConstituent ?s2 . FILTER NOT EXISTS {?m1 s223:composedOf ?c1} . -FILTER NOT EXISTS {?m2 s223:composedOf ?c2} -FILTER (NOT EXISTS {?m2 rdfs:subClassOf* ?m1}) . -FILTER (NOT EXISTS {?m1 rdfs:subClassOf* ?m2}) . +FILTER NOT EXISTS { + ?m2 s223:composedOf/s223:ofConstituent ?s12 . + {?s12 rdfs:subClassOf* ?m1} UNION {?m1 rdfs:subClassOf* ?s12} . +} } """^^xsd:string ] ], [ rdfs:comment "A Connection must only have a cnx relation with a ConnectionPoint"^^xsd:string ; @@ -79266,20 +79263,23 @@ WHERE { $this s223:cnx ?something . FILTER NOT EXISTS {?something a/rdfs:subClassOf* s223:ConnectionPoint} . }"""^^xsd:string ] ], - [ rdfs:comment "Ensure that the Medium identified by a ConnectionPoint via the s223:hasMedium relation is compatible with the Medium identified by the associated Connection."^^xsd:string ; + [ rdfs:comment "Ensure that the Medium identified by all the associated ConnectionPoints via the s223:hasMedium relation are compatible with one another."^^xsd:string ; sh:name "Test for compatible declared Medium"^^xsd:string ; sh:path s223:hasMedium ; sh:sparql [ a sh:SPARQLConstraint ; - rdfs:comment "Inconsistent Medium. Case 3: Connection with a pure medium and an associated ConnectionPoint with constituents."^^xsd:string ; - sh:message "s223: Connection {$this} with Medium {?m2} is incompatible with {?cp} with Medium {?m1}."^^xsd:string ; + rdfs:comment "Inconsistent Medium. Case 2: A medium with constituents and a pure Medium."^^xsd:string ; + sh:message "s223: {?cp1} with Medium {?m1} is incompatible with {?cp2} with Medium {?m2}."^^xsd:string ; sh:prefixes ; sh:select """ -SELECT $this ?m2 ?cp ?m1 +SELECT $this ?cp1 ?m1 ?cp2 ?m2 WHERE { -$this s223:cnx ?cp . -?cp a/rdfs:subClassOf* s223:ConnectionPoint . -?cp s223:hasMedium ?m2 . -$this s223:hasMedium ?m1 . +$this s223:cnx ?cp1 . +?cp1 a/rdfs:subClassOf* s223:ConnectionPoint . +?cp1 s223:hasMedium ?m1 . +$this s223:cnx ?cp2 . +?cp2 a/rdfs:subClassOf* s223:ConnectionPoint . +FILTER (?cp1 != ?cp2 ) . +?cp2 s223:hasMedium ?m2 . ?m2 s223:composedOf/s223:ofConstituent ?s2 . FILTER NOT EXISTS {?m1 s223:composedOf ?c1} . FILTER NOT EXISTS { @@ -79288,12 +79288,29 @@ FILTER NOT EXISTS { } } """^^xsd:string ] ], - [ rdfs:comment "A Connection must have two or more cnx relations to ConnectionPoints"^^xsd:string ; - sh:class s223:ConnectionPoint ; - sh:message "s223: A Connection must have two or more cnx relations to ConnectionPoints"^^xsd:string ; - sh:minCount 2 ; - sh:path s223:cnx ; - sh:severity sh:Warning ], + [ rdfs:comment "Ensure that the Medium identified by all the associated ConnectionPoints via the s223:hasMedium relation are compatible with one another."^^xsd:string ; + sh:name "Test for compatible declared Medium"^^xsd:string ; + sh:path s223:hasMedium ; + sh:sparql [ a sh:SPARQLConstraint ; + rdfs:comment "Inconsistent Medium. Case 1: Two ConnectionPoints with pure mediums."^^xsd:string ; + sh:message "s223: {?cp1} with Medium {?m1} is incompatible with {?cp2} with Medium {?m2}."^^xsd:string ; + sh:prefixes ; + sh:select """ +SELECT $this ?cp1 ?m1 ?cp2 ?m2 +WHERE { +$this s223:cnx ?cp1 . +?cp1 a/rdfs:subClassOf* s223:ConnectionPoint . +?cp1 s223:hasMedium ?m1 . +$this s223:cnx ?cp2 . +?cp2 a/rdfs:subClassOf* s223:ConnectionPoint . +?cp2 s223:hasMedium ?m2 . +FILTER (?m1 != ?m2 ) . +FILTER NOT EXISTS {?m1 s223:composedOf ?c1} . +FILTER NOT EXISTS {?m2 s223:composedOf ?c2} +FILTER (NOT EXISTS {?m2 rdfs:subClassOf* ?m1}) . +FILTER (NOT EXISTS {?m1 rdfs:subClassOf* ?m2}) . +} +"""^^xsd:string ] ], [ rdfs:comment "Ensure that the Medium identified by a ConnectionPoint via the s223:hasMedium relation is compatible with the Medium identified by the associated Connection."^^xsd:string ; sh:name "Test for compatible declared Medium"^^xsd:string ; sh:path s223:hasMedium ; @@ -79315,20 +79332,18 @@ FILTER (NOT EXISTS {?m2 rdfs:subClassOf* ?m1}) . FILTER (NOT EXISTS {?m1 rdfs:subClassOf* ?m2}) . } """^^xsd:string ] ], - [ rdfs:comment "If the relation connectsTo is present it must associate the Connection with a Connectable."^^xsd:string ; - sh:class s223:Connectable ; - sh:name "ConnectionToDownstreamConnectableShape"^^xsd:string ; - sh:path s223:connectsTo ], - [ rdfs:comment "If the relation hasThermodynamicPhase is present it must associate the Connection with at most one EnumerationKind-Phase."^^xsd:string ; - sh:class s223:EnumerationKind-Phase ; + [ rdfs:comment "A Connection must be associated with exactly one Substance-Medium using the relation hasMedium."^^xsd:string ; + sh:class s223:Substance-Medium ; sh:maxCount 1 ; - sh:message "s223: If the relation hasThermodynamicPhase is present it must associate the Connection with at most one EnumerationKind-Phase."^^xsd:string ; - sh:path s223:hasThermodynamicPhase ], + sh:message "s223: A Connection must be associated with exactly one Substance-Medium using the relation hasMedium."^^xsd:string ; + sh:minCount 1 ; + sh:name "Connection medium"^^xsd:string ; + sh:path s223:hasMedium ], [ rdfs:comment "Ensure that the Medium identified by a ConnectionPoint via the s223:hasMedium relation is compatible with the Medium identified by the associated Connection."^^xsd:string ; sh:name "Test for compatible declared Medium"^^xsd:string ; sh:path s223:hasMedium ; sh:sparql [ a sh:SPARQLConstraint ; - rdfs:comment "Inconsistent Medium. Case 4: A Connection with constituents and an associated ConnectionPoint with constituents."^^xsd:string ; + rdfs:comment "Inconsistent Medium. Case 2: A Connection with constituents and an associated ConnectionPoint with a pure Medium."^^xsd:string ; sh:message "s223: Connection {$this} with Medium {?m2} is incompatible with {?cp} with Medium {?m1}."^^xsd:string ; sh:prefixes ; sh:select """ @@ -79336,39 +79351,8 @@ SELECT $this ?m2 ?cp ?m1 WHERE { $this s223:cnx ?cp . ?cp a/rdfs:subClassOf* s223:ConnectionPoint . -?cp s223:hasMedium ?m2 . -$this s223:hasMedium ?m1 . - ?m1 s223:composedOf/s223:ofConstituent ?s1 . - ?m2 s223:composedOf/s223:ofConstituent ?s2 . - FILTER NOT EXISTS { - ?m1 s223:composedOf/s223:ofConstituent ?s11 . - ?m2 s223:composedOf/s223:ofConstituent ?s12 . - FILTER (?s11 = ?s12) . - } - FILTER NOT EXISTS { - ?m1 s223:composedOf/s223:ofConstituent ?s21 . - ?m2 s223:composedOf/s223:ofConstituent ?s22 . - {?s22 rdfs:subClassOf* ?s21} UNION {?s21 rdfs:subClassOf* ?s22} . - } -} -"""^^xsd:string ] ], - [ rdfs:comment "Ensure that the Medium identified by all the associated ConnectionPoints via the s223:hasMedium relation are compatible with one another."^^xsd:string ; - sh:name "Test for compatible declared Medium"^^xsd:string ; - sh:path s223:hasMedium ; - sh:sparql [ a sh:SPARQLConstraint ; - rdfs:comment "Inconsistent Medium. Case 2: A medium with constituents and a pure Medium."^^xsd:string ; - sh:message "s223: {?cp1} with Medium {?m1} is incompatible with {?cp2} with Medium {?m2}."^^xsd:string ; - sh:prefixes ; - sh:select """ -SELECT $this ?cp1 ?m1 ?cp2 ?m2 -WHERE { -$this s223:cnx ?cp1 . -?cp1 a/rdfs:subClassOf* s223:ConnectionPoint . -?cp1 s223:hasMedium ?m1 . -$this s223:cnx ?cp2 . -?cp2 a/rdfs:subClassOf* s223:ConnectionPoint . -FILTER (?cp1 != ?cp2 ) . -?cp2 s223:hasMedium ?m2 . +?cp s223:hasMedium ?m1 . +$this s223:hasMedium ?m2 . ?m2 s223:composedOf/s223:ofConstituent ?s2 . FILTER NOT EXISTS {?m1 s223:composedOf ?c1} . FILTER NOT EXISTS { @@ -79377,13 +79361,10 @@ FILTER NOT EXISTS { } } """^^xsd:string ] ], - [ rdfs:comment "A Connection must be associated with exactly one Substance-Medium using the relation hasMedium."^^xsd:string ; - sh:class s223:Substance-Medium ; - sh:maxCount 1 ; - sh:message "s223: A Connection must be associated with exactly one Substance-Medium using the relation hasMedium."^^xsd:string ; - sh:minCount 1 ; - sh:name "Connection medium"^^xsd:string ; - sh:path s223:hasMedium ], + [ rdfs:comment "If the relation connectsTo is present it must associate the Connection with a Connectable."^^xsd:string ; + sh:class s223:Connectable ; + sh:name "ConnectionToDownstreamConnectableShape"^^xsd:string ; + sh:path s223:connectsTo ], [ rdfs:comment "Ensure that the Medium identified by all the associated ConnectionPoints via the s223:hasMedium relation are compatible with one another."^^xsd:string ; sh:name "Test for compatible declared Medium"^^xsd:string ; sh:path s223:hasMedium ; @@ -79414,20 +79395,29 @@ FILTER (?cp1 != ?cp2 ) . {?s22 rdfs:subClassOf* ?s21} UNION {?s21 rdfs:subClassOf* ?s22} . } } -"""^^xsd:string ] ] ; - sh:rule [ a sh:SPARQLRule ; - rdfs:comment "Infer the connectsTo relation using connectsAt"^^xsd:string ; - sh:construct """ -CONSTRUCT {$this s223:connectsTo ?equipment .} -WHERE { -$this s223:connectsAt ?cp . -?cp a s223:InletConnectionPoint . -?cp s223:isConnectionPointOf ?equipment . -} -"""^^xsd:string ; - sh:name "InferredConnectionToDownstreamEquipmentProperty"^^xsd:string ; - sh:prefixes ], - [ a sh:TripleRule ; +"""^^xsd:string ] ], + [ rdfs:comment "If the relation connectsFrom is present it must associate the Connection with a Connectable."^^xsd:string ; + sh:class s223:Connectable ; + sh:name "ConnectionToUpstreamConnectableShape"^^xsd:string ; + sh:path s223:connectsFrom ], + [ rdfs:comment "If the relation connectsAt is present it must associate the Connection with a ConnectionPoint."^^xsd:string ; + sh:class s223:ConnectionPoint ; + sh:path s223:connectsAt ], + [ rdfs:comment "If the relation hasThermodynamicPhase is present it must associate the Connection with at most one EnumerationKind-Phase."^^xsd:string ; + sh:class s223:EnumerationKind-Phase ; + sh:maxCount 1 ; + sh:message "s223: If the relation hasThermodynamicPhase is present it must associate the Connection with at most one EnumerationKind-Phase."^^xsd:string ; + sh:path s223:hasThermodynamicPhase ], + [ rdfs:comment "If the relation hasRole is present it must associate the Connection with an EnumerationKind-Role."^^xsd:string ; + sh:class s223:EnumerationKind-Role ; + sh:path s223:hasRole ], + [ rdfs:comment "A Connection must have two or more cnx relations to ConnectionPoints"^^xsd:string ; + sh:class s223:ConnectionPoint ; + sh:message "s223: A Connection must have two or more cnx relations to ConnectionPoints"^^xsd:string ; + sh:minCount 2 ; + sh:path s223:cnx ; + sh:severity sh:Warning ] ; + sh:rule [ a sh:TripleRule ; rdfs:comment "Infer cnx relation using connectsThrough"^^xsd:string, "InferredConnectionToConnectionPointBasePropertyFromInverse"^^xsd:string ; sh:object [ sh:path [ sh:inversePath s223:connectsThrough ] ] ; @@ -79451,6 +79441,18 @@ $this s223:connectsAt ?cp . sh:object [ sh:path s223:cnx ] ; sh:predicate s223:connectsAt ; sh:subject sh:this ], + [ a sh:SPARQLRule ; + rdfs:comment "Infer the connectsTo relation using connectsAt"^^xsd:string ; + sh:construct """ +CONSTRUCT {$this s223:connectsTo ?equipment .} +WHERE { +$this s223:connectsAt ?cp . +?cp a s223:InletConnectionPoint . +?cp s223:isConnectionPointOf ?equipment . +} +"""^^xsd:string ; + sh:name "InferredConnectionToDownstreamEquipmentProperty"^^xsd:string ; + sh:prefixes ], [ a sh:TripleRule ; rdfs:comment "Infer cnx relation using connectsAt"^^xsd:string, "InferredConnectionToConnectionPointBaseProperty"^^xsd:string ; @@ -82297,10 +82299,17 @@ s223:Connectable a s223:Class, s223:abstract true ; rdfs:comment "Connectable is an abstract class representing a thing such as, Equipment (see `s223:Equipment`), DomainSpace (see `s223:DomainSpace`), or Junction (see `s223:Junction`) that can be connected via ConnectionPoints and Connections."^^xsd:string ; rdfs:subClassOf s223:Concept ; - sh:property [ rdfs:comment "If the relation connectedTo is present it must associate the Connectable with a Connectable."^^xsd:string ; + sh:property [ rdfs:comment "If the relation cnx is present it must associate the Connectable with a ConnectionPoint."^^xsd:string ; + sh:class s223:ConnectionPoint ; + sh:path s223:cnx ], + [ rdfs:comment "If the relation hasConnectionPoint is present it must associate the Connectable with a ConnectionPoint."^^xsd:string ; + sh:class s223:ConnectionPoint ; + sh:name "EquipmentToConnectionPointShape"^^xsd:string ; + sh:path s223:hasConnectionPoint ], + [ rdfs:comment "If the relation connected is present it must associate the Connectable with a Connectable."^^xsd:string ; sh:class s223:Connectable ; - sh:name "ConnectableToConnectableShape"^^xsd:string ; - sh:path s223:connectedTo ], + sh:name "SymmetricConnectableToConnectableShape"^^xsd:string ; + sh:path s223:connected ], [ rdfs:comment "If a Connectable has s223:connected or s223:connectedTo (i.e. high-level connection specification), it must also have the supporting cnx relations (low-level connection specification)."^^xsd:string ; sh:path s223:cnx ; sh:severity sh:Warning ; @@ -82315,25 +82324,24 @@ $this s223:connected ?otherC . FILTER NOT EXISTS {$this s223:cnx+ ?otherC} } """^^xsd:string ] ], - [ rdfs:comment "If the relation cnx is present it must associate the Connectable with a ConnectionPoint."^^xsd:string ; - sh:class s223:ConnectionPoint ; - sh:path s223:cnx ], - [ rdfs:comment "If the relation hasConnectionPoint is present it must associate the Connectable with a ConnectionPoint."^^xsd:string ; - sh:class s223:ConnectionPoint ; - sh:name "EquipmentToConnectionPointShape"^^xsd:string ; - sh:path s223:hasConnectionPoint ], [ rdfs:comment "If the relation connectedFrom is present it must associate the Connectable with a Connectable."^^xsd:string ; sh:class s223:Connectable ; sh:path s223:connectedFrom ], - [ rdfs:comment "If the relation connected is present it must associate the Connectable with a Connectable."^^xsd:string ; + [ rdfs:comment "If the relation connectedTo is present it must associate the Connectable with a Connectable."^^xsd:string ; sh:class s223:Connectable ; - sh:name "SymmetricConnectableToConnectableShape"^^xsd:string ; - sh:path s223:connected ], + sh:name "ConnectableToConnectableShape"^^xsd:string ; + sh:path s223:connectedTo ], [ rdfs:comment "If the relation connectedThrough is present it must associate the Connectable with a Connection."^^xsd:string ; sh:class s223:Connection ; sh:name "EquipmentToConnectionShape"^^xsd:string ; sh:path s223:connectedThrough ] ; - sh:rule [ a sh:SPARQLRule ; + sh:rule [ a sh:TripleRule ; + rdfs:comment "Infer the connectedThrough relation using hasConnectionPoint and connectsThrough"^^xsd:string ; + sh:name "InferredEquipmentToConnectionProperty"^^xsd:string ; + sh:object [ sh:path ( s223:hasConnectionPoint s223:connectsThrough ) ] ; + sh:predicate s223:connectedThrough ; + sh:subject sh:this ], + [ a sh:SPARQLRule ; rdfs:comment "Infer the connectedFrom relations using connectsThrough and connectsFrom."^^xsd:string ; sh:construct """ CONSTRUCT {$this s223:connectedFrom ?equipment .} @@ -82346,23 +82354,36 @@ $this s223:hasConnectionPoint ?cp . sh:name "InferredEquipmentToUpstreamEquipmentProperty"^^xsd:string ; sh:prefixes ], [ a sh:TripleRule ; - rdfs:comment "Infer the connected relation using connectedFrom"^^xsd:string ; - sh:name "InferredEquipmentToEquipmentPropertyfromconnectedFrom"^^xsd:string ; - sh:object [ sh:path s223:connectedFrom ] ; + rdfs:comment "Infer the connected relation using connectedTo"^^xsd:string ; + sh:name "InferredEquipmentToEquipmentPropertyfromconnectedTo"^^xsd:string ; + sh:object [ sh:path s223:connectedTo ] ; sh:predicate s223:connected ; sh:subject sh:this ], [ a sh:TripleRule ; - rdfs:comment "Infer the connectedThrough relation using hasConnectionPoint and connectsThrough"^^xsd:string ; - sh:name "InferredEquipmentToConnectionProperty"^^xsd:string ; - sh:object [ sh:path ( s223:hasConnectionPoint s223:connectsThrough ) ] ; - sh:predicate s223:connectedThrough ; + rdfs:comment "Infer the cnx relationship using hasConnectionPoint."^^xsd:string ; + sh:name "InferredEquipmentToConnectionPointCnxProperty"^^xsd:string ; + sh:object [ sh:path s223:hasConnectionPoint ] ; + sh:predicate s223:cnx ; sh:subject sh:this ], [ a sh:TripleRule ; - rdfs:comment "Infer the hasConnectionPoint relation using cnx"^^xsd:string ; - sh:name "InferredEquipmentToConnectionPointProperty"^^xsd:string ; - sh:object [ sh:path s223:cnx ] ; - sh:predicate s223:hasConnectionPoint ; + rdfs:comment "Infer the connected relation using connectedFrom"^^xsd:string ; + sh:name "InferredEquipmentToEquipmentPropertyfromconnectedFrom"^^xsd:string ; + sh:object [ sh:path s223:connectedFrom ] ; + sh:predicate s223:connected ; sh:subject sh:this ], + [ a sh:SPARQLRule ; + rdfs:comment "Infer the connected relation for BiDirectional connections"^^xsd:string ; + sh:construct """ +CONSTRUCT {$this s223:connected ?d2 .} +WHERE { +$this s223:connectedThrough/^s223:connectedThrough ?d2 . +FILTER ($this != ?d2) . +FILTER NOT EXISTS {$this s223:contains* ?d2} . +FILTER NOT EXISTS {?d2 s223:contains* $this} . +} +"""^^xsd:string ; + sh:name "InferredEquipmentToDownstreamEquipmentProperty"^^xsd:string ; + sh:prefixes ], [ a sh:SPARQLRule ; rdfs:comment "Infer the connectedTo relation using connectsThrough and connectsTo."^^xsd:string ; sh:construct """ @@ -82376,36 +82397,17 @@ $this s223:hasConnectionPoint ?cp . sh:name "InferredEquipmentToDownstreamEquipmentProperty"^^xsd:string ; sh:prefixes ], [ a sh:TripleRule ; - rdfs:comment "Infer the connected relation using connectedTo"^^xsd:string ; - sh:name "InferredEquipmentToEquipmentPropertyfromconnectedTo"^^xsd:string ; - sh:object [ sh:path s223:connectedTo ] ; - sh:predicate s223:connected ; + rdfs:comment "Infer the hasConnectionPoint relation using cnx"^^xsd:string ; + sh:name "InferredEquipmentToConnectionPointProperty"^^xsd:string ; + sh:object [ sh:path s223:cnx ] ; + sh:predicate s223:hasConnectionPoint ; sh:subject sh:this ], [ a sh:TripleRule ; rdfs:comment "Infer the cnx relation using isConnectionPointOf."^^xsd:string ; sh:name "InferredEquipmentToConnectionPointCnxPropertyFromInverse"^^xsd:string ; sh:object [ sh:path [ sh:inversePath s223:isConnectionPointOf ] ] ; sh:predicate s223:cnx ; - sh:subject sh:this ], - [ a sh:TripleRule ; - rdfs:comment "Infer the cnx relationship using hasConnectionPoint."^^xsd:string ; - sh:name "InferredEquipmentToConnectionPointCnxProperty"^^xsd:string ; - sh:object [ sh:path s223:hasConnectionPoint ] ; - sh:predicate s223:cnx ; - sh:subject sh:this ], - [ a sh:SPARQLRule ; - rdfs:comment "Infer the connected relation for BiDirectional connections"^^xsd:string ; - sh:construct """ -CONSTRUCT {$this s223:connected ?d2 .} -WHERE { -$this s223:connectedThrough/^s223:connectedThrough ?d2 . -FILTER ($this != ?d2) . -FILTER NOT EXISTS {$this s223:contains* ?d2} . -FILTER NOT EXISTS {?d2 s223:contains* $this} . -} -"""^^xsd:string ; - sh:name "InferredEquipmentToDownstreamEquipmentProperty"^^xsd:string ; - sh:prefixes ] . + sh:subject sh:this ] . s223:ConnectionPoint a s223:Class, sh:NodeShape ; @@ -82424,40 +82426,27 @@ ConnectionPoints are represented graphically in this standard by a triangle with """^^xsd:string ; rdfs:subClassOf s223:Concept ; - sh:property [ rdfs:comment "A ConnectionPoint must be associated with at most one Connection using the relation connectsThrough."^^xsd:string ; - sh:class s223:Connection ; - sh:maxCount 1 ; - sh:message "s223: This ConnectionPoint must be associated with at most one Connection."^^xsd:string ; - sh:name "ConnectionPointToConnectionShape"^^xsd:string ; - sh:path s223:connectsThrough ; - sh:severity sh:Info ], - [ rdfs:comment "Ensure that the Medium identified by a ConnectionPoint via the s223:hasMedium relation is compatible with the Medium identified by the entity identified by the mapsTo+ relation."^^xsd:string ; - sh:name "Test for compatible declared Medium"^^xsd:string ; - sh:path s223:hasMedium ; + sh:property [ rdfs:comment "If a ConnectionPoint mapsTo another ConnectionPoint, the respective Equipment should have a contains relation."^^xsd:string ; + sh:path s223:mapsTo ; sh:sparql [ a sh:SPARQLConstraint ; - rdfs:comment "Ensure that the Medium identified by a ConnectionPoint via the s223:hasMedium relation is compatible with the Medium identified by the entity identified by the mapsTo+ relation."^^xsd:string ; - sh:message "s223: {$this} declares a Medium of {?a}, but the Medium of {?b} is declared by {?target} pointed to by the mapsTo+ relation."^^xsd:string ; + rdfs:comment "If a ConnectionPoint mapsTo another ConnectionPoint, the respective Equipment should have a contains relation."^^xsd:string ; + sh:message "s223: {?otherEquipment} should contain {?equipment} because ConnectionPoint {$this} has a mapsTo relation."^^xsd:string ; sh:prefixes ; sh:select """ -SELECT DISTINCT $this ?a ?b ?target +SELECT $this ?equipment ?otherEquipment WHERE { -$this s223:hasMedium ?a . -$this s223:mapsTo+ ?target . -?target s223:hasMedium ?b . -?a a/rdfs:subClassOf* s223:EnumerationKind-Medium . -?b a/rdfs:subClassOf* s223:EnumerationKind-Medium . -FILTER (?a != ?b ) . -FILTER (NOT EXISTS {?b a/rdfs:subClassOf* ?a}) . -FILTER (NOT EXISTS {?a a/rdfs:subClassOf* ?b}) . +$this s223:mapsTo ?otherCP . +?equipment s223:hasConnectionPoint $this . +?otherEquipment s223:hasConnectionPoint ?otherCP . +FILTER NOT EXISTS {?otherEquipment s223:contains ?equipment} } """^^xsd:string ] ], - [ rdfs:comment "A ConnectionPoint must be associated with exactly one Connectable using the relation isConnectionPointOf."^^xsd:string ; - sh:class s223:Connectable ; - sh:maxCount 1 ; - sh:message "s223: A ConnectionPoint must be associated with exactly one Connectable using the relation isConnectionPointOf."^^xsd:string ; - sh:minCount 1 ; - sh:name "ConnectionPointToEquipmentShape"^^xsd:string ; - sh:path s223:isConnectionPointOf ], + [ rdfs:comment "A ConnectionPoint must be associated with at most one Connection using the cnx relation"^^xsd:string ; + sh:message "s223: A ConnectionPoint must be associated with at most one Connection using the cnx relation"^^xsd:string ; + sh:path s223:cnx ; + sh:qualifiedMaxCount 1 ; + sh:qualifiedValueShape [ sh:class s223:Connection ] ; + sh:qualifiedValueShapesDisjoint true ], [ rdfs:comment "If a ConnectionPoint lacks a connectsThrough and mapsTo relation, but is associated with a Junction or Equipment that is contained by an Equipment, then suggest that the ConnectionPoint might need a mapsTo relation to a ConnectionPoint of the containing Equipment."^^xsd:string ; sh:path s223:mapsTo ; sh:severity sh:Info ; @@ -82474,25 +82463,6 @@ FILTER (NOT EXISTS {?a a/rdfs:subClassOf* ?b}) . ?containerEquipment s223:contains ?equipment . } """^^xsd:string ] ], - [ rdfs:comment "If the relation hasRole is present it must associate the ConnectionPoint with an EnumerationKind-Role."^^xsd:string ; - sh:class s223:EnumerationKind-Role ; - sh:path s223:hasRole ], - [ rdfs:comment "A ConnectionPoint can be associated with at most one other ConnectionPoint using the relation mapsTo"^^xsd:string ; - sh:class s223:ConnectionPoint ; - sh:maxCount 1 ; - sh:message "s223: A ConnectionPoint can be associated with at most one other ConnectionPoint using the relation mapsTo"^^xsd:string ; - sh:path s223:mapsTo ], - [ rdfs:comment "A ConnectionPoint must be associated with at most one Connectable using the cnx relation."^^xsd:string ; - sh:message "s223: A ConnectionPoint must be associated with at most one Connectable using the cnx relation."^^xsd:string ; - sh:path s223:cnx ; - sh:qualifiedMaxCount 1 ; - sh:qualifiedValueShape [ sh:class s223:Connectable ] ; - sh:qualifiedValueShapesDisjoint true ], - [ rdfs:comment "A ConnectionPoint can be associated with at most one other ConnectionPoint using the inverse of relation mapsTo"^^xsd:string ; - sh:class s223:ConnectionPoint ; - sh:maxCount 1 ; - sh:message "s223: A ConnectionPoint can be associated with at most one other ConnectionPoint using the inverse of relation mapsTo"^^xsd:string ; - sh:path [ sh:inversePath s223:mapsTo ] ], [ rdfs:comment "A ConnectionPoint must be associated with exactly one Substance-Medium using the relation hasMedium."^^xsd:string ; sh:class s223:Substance-Medium ; sh:maxCount 1 ; @@ -82500,6 +82470,26 @@ FILTER (NOT EXISTS {?a a/rdfs:subClassOf* ?b}) . sh:minCount 1 ; sh:name "ConnectionPoint medium"^^xsd:string ; sh:path s223:hasMedium ], + [ rdfs:comment "Ensure that the Medium identified by a ConnectionPoint via the s223:hasMedium relation is compatible with the Medium identified by the entity identified by the mapsTo+ relation."^^xsd:string ; + sh:name "Test for compatible declared Medium"^^xsd:string ; + sh:path s223:hasMedium ; + sh:sparql [ a sh:SPARQLConstraint ; + rdfs:comment "Ensure that the Medium identified by a ConnectionPoint via the s223:hasMedium relation is compatible with the Medium identified by the entity identified by the mapsTo+ relation."^^xsd:string ; + sh:message "s223: {$this} declares a Medium of {?a}, but the Medium of {?b} is declared by {?target} pointed to by the mapsTo+ relation."^^xsd:string ; + sh:prefixes ; + sh:select """ +SELECT DISTINCT $this ?a ?b ?target +WHERE { +$this s223:hasMedium ?a . +$this s223:mapsTo+ ?target . +?target s223:hasMedium ?b . +?a a/rdfs:subClassOf* s223:EnumerationKind-Medium . +?b a/rdfs:subClassOf* s223:EnumerationKind-Medium . +FILTER (?a != ?b ) . +FILTER (NOT EXISTS {?b a/rdfs:subClassOf* ?a}) . +FILTER (NOT EXISTS {?a a/rdfs:subClassOf* ?b}) . +} +"""^^xsd:string ] ], [ rdfs:comment "If a ConnectionPoint lacks a connectsThrough and mapsTo relation, and is not associated with a Junction or Equipment that is contained by an Equipment, then suggest that the ConnectionPoint probably needs an association with a Connection."^^xsd:string ; sh:path s223:connectsThrough ; sh:severity sh:Info ; @@ -82516,30 +82506,31 @@ FILTER (NOT EXISTS {?a a/rdfs:subClassOf* ?b}) . FILTER NOT EXISTS {?containerEquipment s223:contains ?equipment} . } """^^xsd:string ] ], - [ rdfs:comment "If a ConnectionPoint mapsTo another ConnectionPoint, the respective Equipment should have a contains relation."^^xsd:string ; - sh:path s223:mapsTo ; - sh:sparql [ a sh:SPARQLConstraint ; - rdfs:comment "If a ConnectionPoint mapsTo another ConnectionPoint, the respective Equipment should have a contains relation."^^xsd:string ; - sh:message "s223: {?otherEquipment} should contain {?equipment} because ConnectionPoint {$this} has a mapsTo relation."^^xsd:string ; - sh:prefixes ; - sh:select """ -SELECT $this ?equipment ?otherEquipment -WHERE { -$this s223:mapsTo ?otherCP . -?equipment s223:hasConnectionPoint $this . -?otherEquipment s223:hasConnectionPoint ?otherCP . -FILTER NOT EXISTS {?otherEquipment s223:contains ?equipment} -} -"""^^xsd:string ] ], + [ rdfs:comment "A ConnectionPoint must be associated with at most one Connection using the relation connectsThrough."^^xsd:string ; + sh:class s223:Connection ; + sh:maxCount 1 ; + sh:message "s223: This ConnectionPoint must be associated with at most one Connection."^^xsd:string ; + sh:name "ConnectionPointToConnectionShape"^^xsd:string ; + sh:path s223:connectsThrough ; + sh:severity sh:Info ], + [ rdfs:comment "If the relation hasRole is present it must associate the ConnectionPoint with an EnumerationKind-Role."^^xsd:string ; + sh:class s223:EnumerationKind-Role ; + sh:path s223:hasRole ], + [ rdfs:comment "A ConnectionPoint must be associated with exactly one Connectable using the relation isConnectionPointOf."^^xsd:string ; + sh:class s223:Connectable ; + sh:maxCount 1 ; + sh:message "s223: A ConnectionPoint must be associated with exactly one Connectable using the relation isConnectionPointOf."^^xsd:string ; + sh:minCount 1 ; + sh:name "ConnectionPointToEquipmentShape"^^xsd:string ; + sh:path s223:isConnectionPointOf ], + [ rdfs:comment "A ConnectionPoint can be associated with at most one other ConnectionPoint using the relation mapsTo"^^xsd:string ; + sh:class s223:ConnectionPoint ; + sh:maxCount 1 ; + sh:message "s223: A ConnectionPoint can be associated with at most one other ConnectionPoint using the relation mapsTo"^^xsd:string ; + sh:path s223:mapsTo ], [ rdfs:comment "If the relation hasElectricalPhase is present it must associate the ConnectionPoint with an ElectricalPhaseIdentifier or ElectricalVoltagePhases."^^xsd:string ; sh:or ( [ sh:class s223:Aspect-ElectricalPhaseIdentifier ] [ sh:class s223:Aspect-ElectricalVoltagePhases ] ) ; sh:path s223:hasElectricalPhase ], - [ rdfs:comment "A ConnectionPoint must be associated with at most one Connection using the cnx relation"^^xsd:string ; - sh:message "s223: A ConnectionPoint must be associated with at most one Connection using the cnx relation"^^xsd:string ; - sh:path s223:cnx ; - sh:qualifiedMaxCount 1 ; - sh:qualifiedValueShape [ sh:class s223:Connection ] ; - sh:qualifiedValueShapesDisjoint true ], [ rdfs:comment "A ConnectionPoint must not have both a mapsTo and a connectsThrough relation."^^xsd:string ; sh:path s223:mapsTo ; sh:sparql [ a sh:SPARQLConstraint ; @@ -82553,7 +82544,18 @@ $this s223:mapsTo ?uppercp . $this s223:connectsThrough ?connection . ?connection a/rdfs:subClassOf* s223:Connection . } -"""^^xsd:string ] ] . +"""^^xsd:string ] ], + [ rdfs:comment "A ConnectionPoint must be associated with at most one Connectable using the cnx relation."^^xsd:string ; + sh:message "s223: A ConnectionPoint must be associated with at most one Connectable using the cnx relation."^^xsd:string ; + sh:path s223:cnx ; + sh:qualifiedMaxCount 1 ; + sh:qualifiedValueShape [ sh:class s223:Connectable ] ; + sh:qualifiedValueShapesDisjoint true ], + [ rdfs:comment "A ConnectionPoint can be associated with at most one other ConnectionPoint using the inverse of relation mapsTo"^^xsd:string ; + sh:class s223:ConnectionPoint ; + sh:maxCount 1 ; + sh:message "s223: A ConnectionPoint can be associated with at most one other ConnectionPoint using the inverse of relation mapsTo"^^xsd:string ; + sh:path [ sh:inversePath s223:mapsTo ] ] . s223:DCVoltage-DCZeroVoltage a s223:Class, s223:DCVoltage-DCZeroVoltage, @@ -83735,14 +83737,14 @@ s223:Concept a s223:Class, s223:abstract true ; rdfs:comment "All classes defined in the 223 standard are subclasses of s223:Concept."^^xsd:string ; rdfs:subClassOf rdfs:Resource ; - sh:property [ rdfs:comment "If the relation hasProperty is present, it must associate the concept with a Property."^^xsd:string ; - sh:class s223:Property ; - sh:path s223:hasProperty ], - [ rdfs:comment "A Concept must be associated with at least one label using the relation label."^^xsd:string ; + sh:property [ rdfs:comment "A Concept must be associated with at least one label using the relation label."^^xsd:string ; sh:message "s223: A Concept must be associated with at least one label using the relation label."^^xsd:string ; sh:minCount 1 ; sh:path rdfs:label ; - sh:severity sh:Warning ] ; + sh:severity sh:Warning ], + [ rdfs:comment "If the relation hasProperty is present, it must associate the concept with a Property."^^xsd:string ; + sh:class s223:Property ; + sh:path s223:hasProperty ] ; sh:rule [ a sh:SPARQLRule ; rdfs:comment "Add an rdfs:label if it is missing."^^xsd:string ; sh:construct """ @@ -83757,7 +83759,7 @@ BIND(REPLACE(?localName, "-", " ", "i") AS ?newLabel) sh:name "AddLabelFromLocalName"^^xsd:string ; sh:prefixes ] ; sh:sparql [ a sh:SPARQLConstraint ; - rdfs:comment "Inconsistent Medium. Case 1: Two pure mediums."^^xsd:string ; + rdfs:comment "Inconsistent Medium. Case 2: A pure medium and an associated property with constituents."^^xsd:string ; sh:message "s223: {$this} hasMedium of {?m1}, but is associated with property {?prop} that has ofMedium of {?m2}."^^xsd:string ; sh:prefixes ; sh:select """ @@ -83767,11 +83769,12 @@ $this s223:hasMedium ?m1 . $this ?p ?prop . ?prop a/rdfs:subClassOf* s223:Property . ?prop s223:ofMedium ?m2 . -FILTER (?m1 != ?m2 ) . +?m2 s223:composedOf/s223:ofConstituent ?s2 . FILTER NOT EXISTS {?m1 s223:composedOf ?c1} . -FILTER NOT EXISTS {?m2 s223:composedOf ?c2} -FILTER (NOT EXISTS {?m2 rdfs:subClassOf* ?m1}) . -FILTER (NOT EXISTS {?m1 rdfs:subClassOf* ?m2}) . +FILTER NOT EXISTS { + ?m2 s223:composedOf/s223:ofConstituent ?s12 . + {?s12 rdfs:subClassOf* ?m1} UNION {?m1 rdfs:subClassOf* ?s12} . +} } """^^xsd:string ], [ a sh:SPARQLConstraint ; @@ -83798,25 +83801,6 @@ $this ?p ?prop . {?s22 rdfs:subClassOf* ?s21} UNION {?s21 rdfs:subClassOf* ?s22} . } } -"""^^xsd:string ], - [ a sh:SPARQLConstraint ; - rdfs:comment "Inconsistent Medium. Case 3: A medium with constituents and an associated property with a pure medium."^^xsd:string ; - sh:message "s223: {$this} hasMedium of {?m2}, but is associated with property {?prop} that has ofMedium of {?m1}."^^xsd:string ; - sh:prefixes ; - sh:select """ -SELECT $this ?m1 ?prop ?m2 -WHERE { -$this s223:hasMedium ?m2 . -$this ?p ?prop . -?prop a/rdfs:subClassOf* s223:Property . -?prop s223:ofMedium ?m1 . -?m2 s223:composedOf/s223:ofConstituent ?s2 . -FILTER NOT EXISTS {?m1 s223:composedOf ?c1} . -FILTER NOT EXISTS { - ?m2 s223:composedOf/s223:ofConstituent ?s12 . - {?s12 rdfs:subClassOf* ?m1} UNION {?m1 rdfs:subClassOf* ?s12} . -} -} """^^xsd:string ], [ a sh:SPARQLConstraint ; rdfs:comment "Ensure that any instance that is declared to be an instance of an abstract class must also be declared an instance of at least one subClass of that abstract class"^^xsd:string ; @@ -83836,16 +83820,16 @@ FILTER (!bound (?otherClass)) . } """^^xsd:string ], [ a sh:SPARQLConstraint ; - rdfs:comment "Inconsistent Medium. Case 2: A pure medium and an associated property with constituents."^^xsd:string ; - sh:message "s223: {$this} hasMedium of {?m1}, but is associated with property {?prop} that has ofMedium of {?m2}."^^xsd:string ; + rdfs:comment "Inconsistent Medium. Case 3: A medium with constituents and an associated property with a pure medium."^^xsd:string ; + sh:message "s223: {$this} hasMedium of {?m2}, but is associated with property {?prop} that has ofMedium of {?m1}."^^xsd:string ; sh:prefixes ; sh:select """ SELECT $this ?m1 ?prop ?m2 WHERE { -$this s223:hasMedium ?m1 . +$this s223:hasMedium ?m2 . $this ?p ?prop . ?prop a/rdfs:subClassOf* s223:Property . -?prop s223:ofMedium ?m2 . +?prop s223:ofMedium ?m1 . ?m2 s223:composedOf/s223:ofConstituent ?s2 . FILTER NOT EXISTS {?m1 s223:composedOf ?c1} . FILTER NOT EXISTS { @@ -83853,6 +83837,24 @@ FILTER NOT EXISTS { {?s12 rdfs:subClassOf* ?m1} UNION {?m1 rdfs:subClassOf* ?s12} . } } +"""^^xsd:string ], + [ a sh:SPARQLConstraint ; + rdfs:comment "Inconsistent Medium. Case 1: Two pure mediums."^^xsd:string ; + sh:message "s223: {$this} hasMedium of {?m1}, but is associated with property {?prop} that has ofMedium of {?m2}."^^xsd:string ; + sh:prefixes ; + sh:select """ +SELECT $this ?m1 ?prop ?m2 +WHERE { +$this s223:hasMedium ?m1 . +$this ?p ?prop . +?prop a/rdfs:subClassOf* s223:Property . +?prop s223:ofMedium ?m2 . +FILTER (?m1 != ?m2 ) . +FILTER NOT EXISTS {?m1 s223:composedOf ?c1} . +FILTER NOT EXISTS {?m2 s223:composedOf ?c2} +FILTER (NOT EXISTS {?m2 rdfs:subClassOf* ?m1}) . +FILTER (NOT EXISTS {?m1 rdfs:subClassOf* ?m2}) . +} """^^xsd:string ] . s223:cnx a s223:SymmetricProperty ; @@ -85855,6 +85857,15 @@ Enumerable properties must be associated with an EnumerationKind. sh:maxCount 1 ; sh:message "s223: A Property can be associated with at most one EnumerationKind-Substance using the relation ofSubstance."^^xsd:string ; sh:path s223:ofSubstance ], + [ rdfs:comment "A Property can be associated with at most one EnumerationKind-Medium using the relation ofMedium."^^xsd:string ; + sh:class s223:Substance-Medium ; + sh:maxCount 1 ; + sh:message "s223: A Property can be associated with at most one EnumerationKind-Medium using the relation ofMedium."^^xsd:string ; + sh:path s223:ofMedium ], + [ rdfs:comment "A Property can use at most one relation hasValue if it is required to provide a static value in the model. It is not meant for real-time value (see `s223:hasExternalReference`)."^^xsd:string ; + sh:maxCount 1 ; + sh:message "s223: A Property can use at most one relation hasValue if it is required to provide a static value in the model. It is not meant for real-time value (see `s223:hasExternalReference`)."^^xsd:string ; + sh:path s223:hasValue ], [ rdfs:comment ""^^xsd:string ; sh:path s223:ofConstituent ; sh:sparql [ a sh:SPARQLConstraint ; @@ -85868,26 +85879,17 @@ WHERE { FILTER NOT EXISTS {$this s223:ofConstituent ?someSubstance} . } """^^xsd:string ] ], - [ rdfs:comment "A Property can be associated with at most one EnumerationKind-Medium using the relation ofMedium."^^xsd:string ; - sh:class s223:Substance-Medium ; - sh:maxCount 1 ; - sh:message "s223: A Property can be associated with at most one EnumerationKind-Medium using the relation ofMedium."^^xsd:string ; - sh:path s223:ofMedium ], - [ rdfs:comment "A Property can use at most one relation hasValue if it is required to provide a static value in the model. It is not meant for real-time value (see `s223:hasExternalReference`)."^^xsd:string ; - sh:maxCount 1 ; - sh:message "s223: A Property can use at most one relation hasValue if it is required to provide a static value in the model. It is not meant for real-time value (see `s223:hasExternalReference`)."^^xsd:string ; - sh:path s223:hasValue ], [ rdfs:comment "A Property can be associated with at most one Function using the inverse relation hasOutput."^^xsd:string ; sh:class s223:Function ; sh:maxCount 1 ; sh:message "s223: A Property can be associated with at most one Function using the inverse relation hasOutput."^^xsd:string ; sh:path [ sh:inversePath s223:hasOutput ] ], - [ rdfs:comment "If the relation hasExternalReference is present it must associate the Property with an ExternalReference."^^xsd:string ; - sh:class s223:ExternalReference ; - sh:path s223:hasExternalReference ], [ rdfs:comment "If the relation hasAspect is present, it must associate the Property with an EnumerationKind."^^xsd:string ; sh:class s223:EnumerationKind ; - sh:path s223:hasAspect ] ; + sh:path s223:hasAspect ], + [ rdfs:comment "If the relation hasExternalReference is present it must associate the Property with an ExternalReference."^^xsd:string ; + sh:class s223:ExternalReference ; + sh:path s223:hasExternalReference ] ; sh:sparql [ a sh:SPARQLConstraint ; rdfs:comment "A Property instance cannot be declared an instance of both an ActuatableProperty and an ObservableProperty."^^xsd:string ; sh:message "s223: {$this} cannot be declared an instance of both an ActuatableProperty and an ObservableProperty."^^xsd:string ; @@ -90600,10 +90602,7 @@ s223:OutletConnectionPoint a s223:Class, rdfs:label "Outlet Connection Point"^^xsd:string ; rdfs:comment "An OutletConnectionPoint indicates that a substance must flow out of a Connectable (see 's223:Connectable') at this connection point and cannot flow in the other direction. An OutletConnectionPoint is a predefined subclass of ConnectionPoint."^^xsd:string ; rdfs:subClassOf s223:ConnectionPoint ; - sh:property [ rdfs:comment "If the relation mapsTo is present it must associate the OutletConnectionPoint with an OutletConnectionPoint."^^xsd:string ; - sh:class s223:OutletConnectionPoint ; - sh:path s223:mapsTo ], - [ rdfs:comment "Ensure an OutletConnectionPoint has a mapsTo relation to its containing Equipment if it has an external Connection"^^xsd:string ; + sh:property [ rdfs:comment "Ensure an OutletConnectionPoint has a mapsTo relation to its containing Equipment if it has an external Connection"^^xsd:string ; sh:path s223:mapsTo ; sh:sparql [ a sh:SPARQLConstraint ; rdfs:comment "Ensure an OutletConnectionPoint has a mapsTo relation to its containing Equipment if it has an external Connection"^^xsd:string ; @@ -90618,7 +90617,10 @@ $this s223:connectsThrough/s223:connectsTo ?destinationEquipment . FILTER NOT EXISTS {?parentEquipment s223:contains ?destinationEquipment} . FILTER NOT EXISTS {$this s223:mapsTo ?anything} . } -"""^^xsd:string ] ] . +"""^^xsd:string ] ], + [ rdfs:comment "If the relation mapsTo is present it must associate the OutletConnectionPoint with an OutletConnectionPoint."^^xsd:string ; + sh:class s223:OutletConnectionPoint ; + sh:path s223:mapsTo ] . a ns1:Unit ; rdfs:label "British Thermal Unit (International Definition)"@en ; @@ -91093,10 +91095,7 @@ s223:InletConnectionPoint a s223:Class, rdfs:label "Inlet Connection Point"^^xsd:string ; rdfs:comment "An InletConnectionPoint indicates that a substance must flow into the equipment or domain space at this connection point and cannot flow the other direction. An IntletConnectionPoint is a subclass of ConnectionPoint."^^xsd:string ; rdfs:subClassOf s223:ConnectionPoint ; - sh:property [ rdfs:comment "If the relation mapsTo is present it must associate the InletConnectionPoint with an InletConnectionPoint."^^xsd:string ; - sh:class s223:InletConnectionPoint ; - sh:path s223:mapsTo ], - [ rdfs:comment "Ensure an InletConnectionPoint has a mapsTo relation to its containing Equipment if it has an external Connection"^^xsd:string ; + sh:property [ rdfs:comment "Ensure an InletConnectionPoint has a mapsTo relation to its containing Equipment if it has an external Connection"^^xsd:string ; sh:path s223:mapsTo ; sh:sparql [ a sh:SPARQLConstraint ; rdfs:comment "Ensure an InletConnectionPoint has a mapsTo relation to its containing Equipment if it has an external Connection"^^xsd:string ; @@ -91111,7 +91110,10 @@ $this s223:connectsThrough/s223:connectsFrom ?sourceEquipment . FILTER NOT EXISTS {?parentEquipment s223:contains ?sourceEquipment} . FILTER NOT EXISTS {$this s223:mapsTo ?anything} . } -"""^^xsd:string ] ] . +"""^^xsd:string ] ], + [ rdfs:comment "If the relation mapsTo is present it must associate the InletConnectionPoint with an InletConnectionPoint."^^xsd:string ; + sh:class s223:InletConnectionPoint ; + sh:path s223:mapsTo ] . a ns1:QuantityKindDimensionVector_ISO, ns1:QuantityKindDimensionVector_Imperial, @@ -91673,34 +91675,11 @@ The graphical depiction of Equipment used in this standard is a rounded cornered ![Graphical Depiction of Equipment.](figures/Figure_5-1Graphical_Depiciton_of_Equipment.svg) """^^xsd:string ; rdfs:subClassOf s223:Connectable ; - sh:property [ rdfs:comment "Warning about a subClass of Equipment of type A containing something that is in the same subClass branch."^^xsd:string ; - sh:path s223:contains ; - sh:severity sh:Warning ; - sh:sparql [ a sh:SPARQLConstraint ; - rdfs:comment "Warning about a subClass of Equipment of type A containing something that is in the same subClass branch."^^xsd:string ; - sh:message "s223: {$this}, of type {?type1}, contains {?subEquip} of type {?type2}, that could result in double-counting items in the class hierarchy of {?type1}."^^xsd:string ; - sh:prefixes ; - sh:select """ -SELECT $this ?subEquip ?type1 ?type2 -WHERE { - FILTER NOT EXISTS {$this a s223:Equipment} . -$this s223:contains+ ?subEquip . - FILTER NOT EXISTS {?subEquip a s223:Equipment} . -$this a ?type1 . -?subEquip a ?type2 . -{ -?type2 rdfs:subClassOf* ?type1 . -} -UNION -{ -?type1 rdfs:subClassOf* ?type2 . -} -} -"""^^xsd:string ] ], - [ rdfs:comment "If the relation hasRole is present it must associate the Equipment with a EnumerationKind-Role."^^xsd:string ; + sh:property [ rdfs:comment "If the relation hasRole is present it must associate the Equipment with a EnumerationKind-Role."^^xsd:string ; sh:class s223:EnumerationKind-Role ; sh:path s223:hasRole ], - [ rdfs:comment "If the relation actuatedByProperty is present it must associate the Equipment with a ActuatableProperty."^^xsd:string ; + [ rdfs:comment """If the relation actuatedByProperty is present it must associate the Equipment with a ActuatableProperty. +Note that any Equipment may use this relation, not just Actuator."""^^xsd:string ; sh:class s223:ActuatableProperty ; sh:path s223:actuatedByProperty ], [ rdfs:comment "Disallow contained equipment from having external incoming connections."^^xsd:string ; @@ -91718,12 +91697,6 @@ $this ^s223:contains ?container . FILTER NOT EXISTS {?container s223:contains ?otherDev .} } """^^xsd:string ] ], - [ rdfs:comment "If the relation executes is present it must associate the Equipment with a Function."^^xsd:string ; - sh:class s223:Function ; - sh:path s223:executes ], - [ rdfs:comment "If the relation hasPhysicalLocation is present it must associate the Equipment with a PhysicalSpace."^^xsd:string ; - sh:class s223:PhysicalSpace ; - sh:path s223:hasPhysicalLocation ], [ rdfs:comment "Disallow contained equipment from having external outgoing connections."^^xsd:string ; sh:path s223:connectedTo ; sh:sparql [ a sh:SPARQLConstraint ; @@ -91743,34 +91716,64 @@ FILTER NOT EXISTS {?container s223:contains ?otherDev .} rdfs:comment "If the relation contains is present it must associate the Equipment with either Equipment or Junction."^^xsd:string ; sh:name "device contains shape"^^xsd:string ; sh:or ( [ sh:class s223:Equipment ] [ sh:class s223:Junction ] ) ; - sh:path s223:contains ] ; + sh:path s223:contains ], + [ rdfs:comment "If the relation hasPhysicalLocation is present it must associate the Equipment with a PhysicalSpace."^^xsd:string ; + sh:class s223:PhysicalSpace ; + sh:path s223:hasPhysicalLocation ], + [ rdfs:comment "If the relation executes is present it must associate the Equipment with a Function."^^xsd:string ; + sh:class s223:Function ; + sh:path s223:executes ], + [ rdfs:comment "Warning about a subClass of Equipment of type A containing something that is in the same subClass branch."^^xsd:string ; + sh:path s223:contains ; + sh:severity sh:Warning ; + sh:sparql [ a sh:SPARQLConstraint ; + rdfs:comment "Warning about a subClass of Equipment of type A containing something that is in the same subClass branch."^^xsd:string ; + sh:message "s223: {$this}, of type {?type1}, contains {?subEquip} of type {?type2}, that could result in double-counting items in the class hierarchy of {?type1}."^^xsd:string ; + sh:prefixes ; + sh:select """ +SELECT $this ?subEquip ?type1 ?type2 +WHERE { + FILTER NOT EXISTS {$this a s223:Equipment} . +$this s223:contains+ ?subEquip . + FILTER NOT EXISTS {?subEquip a s223:Equipment} . +$this a ?type1 . +?subEquip a ?type2 . +{ +?type2 rdfs:subClassOf* ?type1 . +} +UNION +{ +?type1 rdfs:subClassOf* ?type2 . +} +} +"""^^xsd:string ] ] ; sh:rule [ a sh:SPARQLRule ; - rdfs:comment "For equipment contained within another piece of equipment use the mapsTo relation to infer a Medium from the containing equipment."^^xsd:string ; + rdfs:comment "For equipment containing another piece of equipment, use the mapsTo relation to infer a Medium from the contained equipment."^^xsd:string ; sh:construct """ CONSTRUCT { - ?childCp s223:hasMedium ?medium . + ?parentCp s223:hasMedium ?medium . } WHERE { $this s223:hasConnectionPoint ?cp . - ?childCp s223:mapsTo ?cp . + ?cp s223:mapsTo ?parentCp . ?cp s223:connectsThrough ?connection . ?cp s223:hasMedium ?medium . - FILTER NOT EXISTS {?childCp s223:hasMedium ?something} . + FILTER NOT EXISTS {?parentCp s223:hasMedium ?something} . } """^^xsd:string ; sh:prefixes ], [ a sh:SPARQLRule ; - rdfs:comment "For equipment containing another piece of equipment, use the mapsTo relation to infer a Medium from the contained equipment."^^xsd:string ; + rdfs:comment "For equipment contained within another piece of equipment use the mapsTo relation to infer a Medium from the containing equipment."^^xsd:string ; sh:construct """ CONSTRUCT { - ?parentCp s223:hasMedium ?medium . + ?childCp s223:hasMedium ?medium . } WHERE { $this s223:hasConnectionPoint ?cp . - ?cp s223:mapsTo ?parentCp . + ?childCp s223:mapsTo ?cp . ?cp s223:connectsThrough ?connection . ?cp s223:hasMedium ?medium . - FILTER NOT EXISTS {?parentCp s223:hasMedium ?something} . + FILTER NOT EXISTS {?childCp s223:hasMedium ?something} . } """^^xsd:string ; sh:prefixes ] . @@ -91783,12 +91786,12 @@ s223:Numerical-Voltage a s223:Class, ns1:hasUnit ; rdfs:comment "This class has enumerated instances of common voltages."^^xsd:string ; rdfs:subClassOf s223:EnumerationKind-Numerical ; - sh:property [ rdfs:comment "A Numerical-Voltage must have a Quantity Kind of Voltage"^^xsd:string ; - sh:hasValue ; - sh:path ns1:hasQuantityKind ], - [ rdfs:comment "A Numerical-Voltage must have a unit of Volts"^^xsd:string ; + sh:property [ rdfs:comment "A Numerical-Voltage must have a unit of Volts"^^xsd:string ; sh:hasValue ; - sh:path ns1:hasUnit ] . + sh:path ns1:hasUnit ], + [ rdfs:comment "A Numerical-Voltage must have a Quantity Kind of Voltage"^^xsd:string ; + sh:hasValue ; + sh:path ns1:hasQuantityKind ] . s223:NumberOfElectricalPhases-SinglePhase a s223:Class, s223:NumberOfElectricalPhases-SinglePhase, @@ -92548,36 +92551,33 @@ s223:QuantifiableProperty a s223:Class, rdfs:comment "This class is for quantifiable values that describe an object (System, Equipment, etc.) that are typically static (hasValue). That is, they are neither measured nor specified in the course of operations."^^xsd:string ; rdfs:subClassOf s223:Property, ns1:Quantity ; - sh:property [ rdfs:comment "A QuantifiableProperty must be associated with a QuantityKind using the relation hasQuantityKind."^^xsd:string ; - sh:class ns1:QuantityKind ; - sh:maxCount 1 ; - sh:message "s223: A QuantifiableProperty must be associated with a QuantityKind using the relation hasQuantityKind."^^xsd:string ; - sh:minCount 1 ; - sh:path ns1:hasQuantityKind ], - [ rdfs:comment "A QuantifiableProperty can be associated with at most one Unit using the relation hasUnit."^^xsd:string ; - sh:class ns1:Unit ; - sh:maxCount 1 ; - sh:message "s223: A QuantifiableProperty can be associated with at most one Unit using the relation hasUnit."^^xsd:string ; - sh:path ns1:hasUnit ], - [ rdfs:comment "This QuantifiableProperty uses a different Unit than the Setpoint associated with it."^^xsd:string ; - sh:path ns1:hasUnit ; - sh:severity sh:Info ; + sh:property [ rdfs:comment "This QuantifiableProperty and the Setpoint associated with it have non-commensurate QuantityKinds."^^xsd:string ; + sh:path ns1:hasQuantityKind ; sh:sparql [ a sh:SPARQLConstraint ; - rdfs:comment "This QuantifiableProperty uses a different Unit than the Setpoint associated with it."^^xsd:string ; - sh:message "s223: {$this} uses Unit {?punit}, while Setpoint {?setpoint} uses Unit {?sunit}. Be careful."^^xsd:string ; + rdfs:comment "This QuantifiableProperty and the Setpoint associated with it have non-commensurate QuantityKinds."^^xsd:string ; + sh:message "s223: {$this} uses QuantityKind {?pqk} with DimensionVector {?pdv}, while Setpoint {?setpoint} uses QuantityKind {?sqk} with DimensionVector {?sdv}. These are non-commensurate"^^xsd:string ; sh:prefixes ; sh:select """ -SELECT $this ?setpoint ?punit ?sunit +SELECT $this ?setpoint ?pqk ?sqk ?pdv ?sdv WHERE { -$this qudt:hasUnit ?punit . +$this qudt:hasQuantityKind ?pqk . $this s223:hasSetpoint ?setpoint . -?setpoint qudt:hasUnit ?sunit . -?punit qudt:hasDimensionVector ?pdv . -?sunit qudt:hasDimensionVector ?sdv . -FILTER (?punit != ?sunit) . -FILTER (?pdv = ?sdv) . +?setpoint qudt:hasQuantityKind ?sqk . +?pqk qudt:hasDimensionVector ?pdv . +?sqk qudt:hasDimensionVector ?sdv . +FILTER (?pqk != ?sqk) . +FILTER (?pdv != ?sdv) . } """^^xsd:string ] ], + [ rdfs:comment "A QuantifiableProperty should use s223:hasValue instead of qudt:value."^^xsd:string ; + sh:maxCount 0 ; + sh:message "A QuantifiableProperty should use s223:hasValue instead of qudt:value."^^xsd:string ; + sh:path ns1:value ], + [ rdfs:comment "A QuantifiableProperty can be associated with at most one Unit using the relation hasUnit."^^xsd:string ; + sh:class ns1:Unit ; + sh:maxCount 1 ; + sh:message "s223: A QuantifiableProperty can be associated with at most one Unit using the relation hasUnit."^^xsd:string ; + sh:path ns1:hasUnit ], [ rdfs:comment "This QuantifiableProperty and the associated Setpoint use non-commensurate Units."^^xsd:string ; sh:path ns1:hasUnit ; sh:sparql [ a sh:SPARQLConstraint ; @@ -92596,28 +92596,6 @@ FILTER (?punit != ?sunit) . FILTER (?pdv != ?sdv) . } """^^xsd:string ] ], - [ rdfs:comment "This QuantifiableProperty and the Setpoint associated with it have non-commensurate QuantityKinds."^^xsd:string ; - sh:path ns1:hasQuantityKind ; - sh:sparql [ a sh:SPARQLConstraint ; - rdfs:comment "This QuantifiableProperty and the Setpoint associated with it have non-commensurate QuantityKinds."^^xsd:string ; - sh:message "s223: {$this} uses QuantityKind {?pqk} with DimensionVector {?pdv}, while Setpoint {?setpoint} uses QuantityKind {?sqk} with DimensionVector {?sdv}. These are non-commensurate"^^xsd:string ; - sh:prefixes ; - sh:select """ -SELECT $this ?setpoint ?pqk ?sqk ?pdv ?sdv -WHERE { -$this qudt:hasQuantityKind ?pqk . -$this s223:hasSetpoint ?setpoint . -?setpoint qudt:hasQuantityKind ?sqk . -?pqk qudt:hasDimensionVector ?pdv . -?sqk qudt:hasDimensionVector ?sdv . -FILTER (?pqk != ?sqk) . -FILTER (?pdv != ?sdv) . -} -"""^^xsd:string ] ], - [ rdfs:comment "A QuantifiableProperty should use s223:hasValue instead of qudt:value."^^xsd:string ; - sh:maxCount 0 ; - sh:message "A QuantifiableProperty should use s223:hasValue instead of qudt:value."^^xsd:string ; - sh:path ns1:value ], [ rdfs:comment "This QuantifiableProperty cannot have a value without a Unit."^^xsd:string ; sh:path s223:hasValue ; sh:sparql [ a sh:SPARQLConstraint ; @@ -92631,6 +92609,31 @@ $this s223:hasValue ?v . FILTER NOT EXISTS {$this qudt:hasUnit ?u} . ?subject ?p $this . } +"""^^xsd:string ] ], + [ rdfs:comment "A QuantifiableProperty must be associated with a QuantityKind using the relation hasQuantityKind."^^xsd:string ; + sh:class ns1:QuantityKind ; + sh:maxCount 1 ; + sh:message "s223: A QuantifiableProperty must be associated with a QuantityKind using the relation hasQuantityKind."^^xsd:string ; + sh:minCount 1 ; + sh:path ns1:hasQuantityKind ], + [ rdfs:comment "This QuantifiableProperty uses a different Unit than the Setpoint associated with it."^^xsd:string ; + sh:path ns1:hasUnit ; + sh:severity sh:Info ; + sh:sparql [ a sh:SPARQLConstraint ; + rdfs:comment "This QuantifiableProperty uses a different Unit than the Setpoint associated with it."^^xsd:string ; + sh:message "s223: {$this} uses Unit {?punit}, while Setpoint {?setpoint} uses Unit {?sunit}. Be careful."^^xsd:string ; + sh:prefixes ; + sh:select """ +SELECT $this ?setpoint ?punit ?sunit +WHERE { +$this qudt:hasUnit ?punit . +$this s223:hasSetpoint ?setpoint . +?setpoint qudt:hasUnit ?sunit . +?punit qudt:hasDimensionVector ?pdv . +?sunit qudt:hasDimensionVector ?sdv . +FILTER (?punit != ?sunit) . +FILTER (?pdv = ?sdv) . +} """^^xsd:string ] ] ; sh:rule [ a sh:SPARQLRule ; rdfs:comment "Infer the hasQuantityKind relation if it is unambiguous."^^xsd:string ; @@ -93194,107 +93197,107 @@ s223:Frequency-60Hz a s223:Class, owl:versionInfo "Created with TopBraid Composer", "Created with TopBraid Composer"^^xsd:string ; sh:declare [ a sh:PrefixDeclaration ; + sh:namespace "http://www.w3.org/2001/XMLSchema#"^^xsd:anyURI ; + sh:prefix "xsd"^^xsd:string ], + [ a sh:PrefixDeclaration ; sh:namespace "http://qudt.org/vocab/quantitykind/"^^xsd:anyURI ; sh:prefix "quantitykind"^^xsd:string ], [ a sh:PrefixDeclaration ; - sh:namespace "http://qudt.org/vocab/unit/"^^xsd:anyURI ; - sh:prefix "unit"^^xsd:string ], - [ sh:namespace "http://data.ashrae.org/standard223#"^^xsd:anyURI ; - sh:prefix "s223"^^xsd:string ], - [ sh:namespace "http://qudt.org/vocab/unit/"^^xsd:anyURI ; - sh:prefix "unit"^^xsd:string ], - [ a sh:PrefixDeclaration ; - sh:namespace "http://www.w3.org/2002/07/owl#"^^xsd:anyURI ; - sh:prefix "owl"^^xsd:string ], + sh:namespace "http://www.w3.org/ns/shacl#"^^xsd:anyURI ; + sh:prefix "sh"^^xsd:string ], [ a sh:PrefixDeclaration ; - sh:namespace "http://purl.org/dc/terms/"^^xsd:anyURI ; - sh:prefix "dcterms"^^xsd:string ], - [ sh:namespace "http://www.w3.org/1999/02/22-rdf-syntax-ns#"^^xsd:anyURI ; + sh:namespace "http://www.w3.org/1999/02/22-rdf-syntax-ns#"^^xsd:anyURI ; sh:prefix "rdf"^^xsd:string ], - [ a sh:PrefixDeclaration ; - sh:namespace "http://qudt.org/vocab/dimensionvector/"^^xsd:anyURI ; - sh:prefix "qkdv"^^xsd:string ], - [ sh:namespace "http://qudt.org/schema/qudt/"^^xsd:anyURI ; - sh:prefix "qudt"^^xsd:string ], - [ sh:namespace "http://data.ashrae.org/standard223/1.0/vocab/role#"^^xsd:anyURI ; - sh:prefix "role"^^xsd:string ], [ a sh:PrefixDeclaration ; sh:namespace "http://www.w3.org/2000/01/rdf-schema#"^^xsd:anyURI ; sh:prefix "rdfs"^^xsd:string ], [ a sh:PrefixDeclaration ; - sh:namespace "http://purl.org/dc/terms/"^^xsd:anyURI ; - sh:prefix "dcterms"^^xsd:string ], - [ a sh:PrefixDeclaration ; - sh:namespace "http://qudt.org/schema/qudt/"^^xsd:anyURI ; + sh:namespace "http://qudt.org/vocab/dimensionvector/"^^xsd:anyURI ; + sh:prefix "qkdv"^^xsd:string ], + [ sh:namespace "http://data.ashrae.org/standard223#"^^xsd:anyURI ; + sh:prefix "s223"^^xsd:string ], + [ sh:namespace "http://www.w3.org/2000/01/rdf-schema#"^^xsd:anyURI ; + sh:prefix "rdfs"^^xsd:string ], + [ sh:namespace "http://data.ashrae.org/standard223#"^^xsd:anyURI ; + sh:prefix "s223"^^xsd:string ], + [ sh:namespace "http://qudt.org/schema/qudt/"^^xsd:anyURI ; sh:prefix "qudt"^^xsd:string ], [ sh:namespace "http://data.ashrae.org/standard223#"^^xsd:anyURI ; sh:prefix "s223"^^xsd:string ], + [ sh:namespace "http://www.w3.org/ns/shacl#"^^xsd:anyURI ; + sh:prefix "sh"^^xsd:string ], [ sh:namespace "http://qudt.org/schema/qudt/"^^xsd:anyURI ; sh:prefix "qudt"^^xsd:string ], - [ a sh:PrefixDeclaration ; - sh:namespace "http://www.w3.org/2004/02/skos/core#"^^xsd:anyURI ; - sh:prefix "skos"^^xsd:string ], + [ sh:namespace "http://www.w3.org/1999/02/22-rdf-syntax-ns#"^^xsd:anyURI ; + sh:prefix "rdf"^^xsd:string ], + [ sh:namespace "http://data.ashrae.org/standard223#"^^xsd:anyURI ; + sh:prefix "s223"^^xsd:string ], + [ sh:namespace "http://www.w3.org/2000/01/rdf-schema#"^^xsd:anyURI ; + sh:prefix "rdfs"^^xsd:string ], [ sh:namespace "http://www.w3.org/2000/01/rdf-schema#"^^xsd:anyURI ; sh:prefix "rdfs"^^xsd:string ], - [ sh:namespace "http://www.w3.org/ns/shacl#"^^xsd:anyURI ; - sh:prefix "sh"^^xsd:string ], [ a sh:PrefixDeclaration ; - sh:namespace "http://qudt.org/vocab/dimensionvector/"^^xsd:anyURI ; - sh:prefix "qkdv"^^xsd:string ], - [ sh:namespace "http://qudt.org/vocab/quantitykind/"^^xsd:anyURI ; - sh:prefix "qudtqk"^^xsd:string ], + sh:namespace "http://www.w3.org/1999/02/22-rdf-syntax-ns#"^^xsd:anyURI ; + sh:prefix "rdf"^^xsd:string ], + [ a sh:PrefixDeclaration ; + sh:namespace "http://www.w3.org/2000/01/rdf-schema#"^^xsd:anyURI ; + sh:prefix "rdfs"^^xsd:string ], + [ sh:namespace "http://data.ashrae.org/standard223/1.0/vocab/role#"^^xsd:anyURI ; + sh:prefix "role"^^xsd:string ], + [ sh:namespace "http://qudt.org/vocab/unit/"^^xsd:anyURI ; + sh:prefix "unit"^^xsd:string ], [ sh:namespace "http://data.ashrae.org/standard223#"^^xsd:anyURI ; sh:prefix "s223"^^xsd:string ], + [ a sh:PrefixDeclaration ; + sh:namespace "http://qudt.org/vocab/dimensionvector/"^^xsd:anyURI ; + sh:prefix "qkdv"^^xsd:string ], [ sh:namespace "http://qudt.org/schema/qudt/"^^xsd:anyURI ; sh:prefix "qudt"^^xsd:string ], + [ sh:namespace "http://qudt.org/vocab/quantitykind/"^^xsd:anyURI ; + sh:prefix "qudtqk"^^xsd:string ], [ a sh:PrefixDeclaration ; - sh:namespace "http://www.w3.org/2002/07/owl#"^^xsd:anyURI ; - sh:prefix "owl"^^xsd:string ], + sh:namespace "http://qudt.org/schema/qudt/"^^xsd:anyURI ; + sh:prefix "qudt"^^xsd:string ], [ a sh:PrefixDeclaration ; sh:namespace "http://qudt.org/vocab/quantitykind/"^^xsd:anyURI ; sh:prefix "quantitykind"^^xsd:string ], [ a sh:PrefixDeclaration ; - sh:namespace "http://qudt.org/schema/qudt/"^^xsd:anyURI ; - sh:prefix "qudt"^^xsd:string ], + sh:namespace "http://www.w3.org/2002/07/owl#"^^xsd:anyURI ; + sh:prefix "owl"^^xsd:string ], + [ sh:namespace "http://qudt.org/vocab/quantitykind/"^^xsd:anyURI ; + sh:prefix "quantitykind"^^xsd:string ], [ a sh:PrefixDeclaration ; sh:namespace "http://www.w3.org/2004/02/skos/core#"^^xsd:anyURI ; sh:prefix "skos"^^xsd:string ], + [ a sh:PrefixDeclaration ; + sh:namespace "http://purl.org/dc/terms/"^^xsd:anyURI ; + sh:prefix "dcterms"^^xsd:string ], [ sh:namespace "http://data.ashrae.org/standard223#"^^xsd:anyURI ; sh:prefix "s223"^^xsd:string ], [ a sh:PrefixDeclaration ; - sh:namespace "http://www.w3.org/2001/XMLSchema#"^^xsd:anyURI ; - sh:prefix "xsd"^^xsd:string ], + sh:namespace "http://qudt.org/vocab/unit/"^^xsd:anyURI ; + sh:prefix "unit"^^xsd:string ], [ a sh:PrefixDeclaration ; - sh:namespace "http://www.w3.org/ns/shacl#"^^xsd:anyURI ; - sh:prefix "sh"^^xsd:string ], - [ sh:namespace "http://data.ashrae.org/standard223#"^^xsd:anyURI ; - sh:prefix "s223"^^xsd:string ], + sh:namespace "http://www.w3.org/2002/07/owl#"^^xsd:anyURI ; + sh:prefix "owl"^^xsd:string ], [ a sh:PrefixDeclaration ; - sh:namespace "http://www.w3.org/1999/02/22-rdf-syntax-ns#"^^xsd:anyURI ; - sh:prefix "rdf"^^xsd:string ], + sh:namespace "http://purl.org/dc/terms/"^^xsd:anyURI ; + sh:prefix "dcterms"^^xsd:string ], [ a sh:PrefixDeclaration ; - sh:namespace "http://www.w3.org/1999/02/22-rdf-syntax-ns#"^^xsd:anyURI ; - sh:prefix "rdf"^^xsd:string ], - [ sh:namespace "http://qudt.org/schema/qudt/"^^xsd:anyURI ; + sh:namespace "http://qudt.org/schema/qudt/"^^xsd:anyURI ; sh:prefix "qudt"^^xsd:string ], - [ sh:namespace "http://www.w3.org/2000/01/rdf-schema#"^^xsd:anyURI ; - sh:prefix "rdfs"^^xsd:string ], - [ sh:namespace "http://www.w3.org/2000/01/rdf-schema#"^^xsd:anyURI ; - sh:prefix "rdfs"^^xsd:string ], + [ sh:namespace "http://www.w3.org/ns/shacl#"^^xsd:anyURI ; + sh:prefix "sh"^^xsd:string ], [ a sh:PrefixDeclaration ; - sh:namespace "http://www.w3.org/2000/01/rdf-schema#"^^xsd:anyURI ; - sh:prefix "rdfs"^^xsd:string ], - [ sh:namespace "http://data.ashrae.org/standard223#"^^xsd:anyURI ; - sh:prefix "s223"^^xsd:string ], + sh:namespace "http://www.w3.org/2004/02/skos/core#"^^xsd:anyURI ; + sh:prefix "skos"^^xsd:string ], [ sh:namespace "http://www.w3.org/2000/01/rdf-schema#"^^xsd:anyURI ; sh:prefix "rdfs"^^xsd:string ], - [ sh:namespace "http://www.w3.org/ns/shacl#"^^xsd:anyURI ; - sh:prefix "sh"^^xsd:string ], + [ sh:namespace "http://qudt.org/schema/qudt/"^^xsd:anyURI ; + sh:prefix "qudt"^^xsd:string ], [ a sh:PrefixDeclaration ; sh:namespace "http://qudt.org/vocab/unit/"^^xsd:anyURI ; - sh:prefix "unit"^^xsd:string ], - [ sh:namespace "http://qudt.org/vocab/quantitykind/"^^xsd:anyURI ; - sh:prefix "quantitykind"^^xsd:string ] . + sh:prefix "unit"^^xsd:string ] . a ns1:QuantityKindDimensionVector_CGS, ns1:QuantityKindDimensionVector_ISO, @@ -93607,18 +93610,18 @@ s223:Electricity-AC a s223:Class, s223:hasVoltage s223:Numerical-Voltage ; rdfs:comment "This class has enumerated instances of all AC forms of electricity."^^xsd:string ; rdfs:subClassOf s223:Constituent-Electricity ; - sh:property [ rdfs:comment "An electricity AC medium must have a number of electrical phases."^^xsd:string ; + sh:property [ rdfs:comment "An electricity AC medium must have a frequency"^^xsd:string ; + sh:class s223:Numerical-Frequency ; + sh:minCount 1 ; + sh:path s223:hasFrequency ], + [ rdfs:comment "An electricity AC medium must have a number of electrical phases."^^xsd:string ; sh:class s223:Numerical-NumberOfElectricalPhases ; sh:minCount 1 ; sh:path s223:hasNumberOfElectricalPhases ], [ rdfs:comment "An electricity AC medium must have a voltage."^^xsd:string ; sh:minCount 1 ; sh:or ( [ sh:class s223:Numerical-LineLineVoltage ] [ sh:class s223:Numerical-LineNeutralVoltage ] [ sh:class s223:Numerical-Voltage ] ) ; - sh:path s223:hasVoltage ], - [ rdfs:comment "An electricity AC medium must have a frequency"^^xsd:string ; - sh:class s223:Numerical-Frequency ; - sh:minCount 1 ; - sh:path s223:hasFrequency ] . + sh:path s223:hasVoltage ] . rdfs:label "QUDT SHACL Schema Supplement Version 2.1.37"^^xsd:string ; ns2:hasGraphMetadata ns2:GMD_SHACLQUDTOVERLAY-SCHEMA ; @@ -94641,30 +94644,30 @@ Unlike the meter and second, which exist as fundamental units in the SI system f rdfs:isDefinedBy . rdf:Property a sh:NodeShape ; - sh:property [ rdfs:comment "This Property must have a comment"^^xsd:string ; - sh:path rdfs:comment ; + sh:property [ rdfs:comment "This Property must have a label"^^xsd:string ; + sh:path rdfs:label ; sh:sparql [ a sh:SPARQLConstraint ; - sh:message "s223: {$this} must have an rdfs:comment"^^xsd:string ; + sh:message "s223: {$this} must have an rdfs:label"^^xsd:string ; sh:prefixes ; sh:select """ SELECT $this WHERE { BIND(REPLACE(STR($this), "^(.*)(/|#)([^#/]*)$", "$1") AS ?prop) . FILTER (?prop = "http://data.ashrae.org/standard223") . -FILTER (NOT EXISTS {$this rdfs:comment ?something}) . +FILTER (NOT EXISTS {$this rdfs:label ?something}) . } """^^xsd:string ] ], - [ rdfs:comment "This Property must have a label"^^xsd:string ; - sh:path rdfs:label ; + [ rdfs:comment "This Property must have a comment"^^xsd:string ; + sh:path rdfs:comment ; sh:sparql [ a sh:SPARQLConstraint ; - sh:message "s223: {$this} must have an rdfs:label"^^xsd:string ; + sh:message "s223: {$this} must have an rdfs:comment"^^xsd:string ; sh:prefixes ; sh:select """ SELECT $this WHERE { BIND(REPLACE(STR($this), "^(.*)(/|#)([^#/]*)$", "$1") AS ?prop) . FILTER (?prop = "http://data.ashrae.org/standard223") . -FILTER (NOT EXISTS {$this rdfs:label ?something}) . +FILTER (NOT EXISTS {$this rdfs:comment ?something}) . } """^^xsd:string ] ] .