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

Added restriction for isContainedIn.

parent bc1a6440

SAREF4ENV/ontology/saref4envi.ttl

+4 −0
Original line number Diff line number Diff line
@@ -603,6 +603,10 @@ saref:hasValue rdf:type owl:DatatypeProperty . 
                                  owl:onProperty :hasDigitalRepresentation ;

                                  owl:allValuesFrom :DigitalRepresentation

                                ] ,

                                [ rdf:type owl:Restriction ;

                                  owl:onProperty :isContainedIn ;

                                  owl:allValuesFrom :PhysicalObject

                                ] ,

                                [ rdf:type owl:Restriction ;

                                  owl:onProperty geo:location ;

                                  owl:allValuesFrom geo:SpatialThing