Commit 1234b0a7 authored by Raul Garcia-Castro's avatar Raul Garcia-Castro
Browse files

We already have that the domain of interactsWith is a User, so there is no...

We already have that the domain of interactsWith is a User, so there is no need to put the restrictions.
parent d712681e
Loading
Loading
Loading
Loading
+1 −12
Original line number Diff line number Diff line
@@ -592,10 +592,6 @@ saref:Device rdf:type owl:Class ;
                             [ rdf:type owl:Restriction ;
                               owl:onProperty saref:measuresProperty ;
                               owl:allValuesFrom saref:Property
                             ] ,
                             [ rdf:type owl:Restriction ;
                               owl:onProperty s4wear:interactsWith ;
                               owl:allValuesFrom saref:Device
                             ] ;
             rdfs:isDefinedBy saref: ;
             rdfs:label "Device"@en .
@@ -903,14 +899,7 @@ s4wear:TextileBasedWearable rdf:type owl:Class ;

###  https://saref.etsi.org/saref4wear/User
s4wear:User rdf:type owl:Class ;
            rdfs:subClassOf [ owl:intersectionOf ( saref:FeatureOfInterest
                                                   [ rdf:type owl:Restriction ;
                                                     owl:onProperty s4wear:interactsWith ;
                                                     owl:someValuesFrom s4wear:Wearable
                                                   ]
                                                 ) ;
                              rdf:type owl:Class
                            ] ;
            rdfs:subClassOf saref:FeatureOfInterest;
            rdfs:label "User"@en .