Commit 66e831f7 authored by Raul Garcia-Castro's avatar Raul Garcia-Castro
Browse files

Removed two redundant axioms.

parent cb605571

ontology/saref4watr.ttl

+1 −3
Original line number Diff line number Diff line
@@ -888,8 +888,7 @@ saref:FeatureOfInterest rdf:type owl:Class ; 


###  https://saref.etsi.org/saref#Measurement

saref:Measurement rdf:type owl:Class ;

                  rdfs:subClassOf owl:Thing ,

                                  [ rdf:type owl:Restriction ;

                  rdfs:subClassOf [ rdf:type owl:Restriction ;

                                    owl:onProperty saref:isMeasuredIn ;

                                    owl:allValuesFrom saref:UnitOfMeasure

                                  ] ,
@@ -962,7 +961,6 @@ saref:Sensor rdf:type owl:Class ; 


###  https://saref.etsi.org/saref#UnitOfMeasure

saref:UnitOfMeasure rdf:type owl:Class ;

                    rdfs:subClassOf owl:Thing ;

                    rdfs:comment "The unit of measure is a standard for measurement of a quantity, such as a Property. For example, Power is a property and Watt is a unit of power that represents a definite predetermined power: when we say 10 Watt, we actually mean 10 times the definite predetermined power called \"watt\". Our definition is based on the definition of unit of measure in the Ontology of units of Measure (OM). We propose here a list of some units of measure that are relevant for the purpose of the Smart Appliances ontology, but this list can be extended."@en ;

                    rdfs:isDefinedBy <https://saref.etsi.org/saref#> ;

                    rdfs:label "Unit of measure"@en .