Unverified Commit 56835d31 authored by Maxime Lefrançois's avatar Maxime Lefrançois
Browse files

remove annoying lists

parent 8e541a50

ontology/saref4bldg.ttl

+2 −10
Original line number Diff line number Diff line
@@ -2602,11 +2602,7 @@ s4bldg:BuildingSpace a owl:Class ; 
            owl:onProperty s4bldg:hasSpace ],

        [ a owl:Restriction ;

            owl:allValuesFrom [ a owl:Class ;

                    owl:unionOf [ a rdf:List ;

                            rdf:first s4bldg:Building ;

                            rdf:rest [ a rdf:List ;

                                    rdf:first s4bldg:BuildingSpace ;

                                    rdf:rest () ] ] ] ;

                    owl:unionOf ( s4bldg:Building s4bldg:BuildingSpace ) ] ;

            owl:onProperty s4bldg:isSpaceOf ] .



s4bldg:energySource a owl:DatatypeProperty ;
@@ -2623,11 +2619,7 @@ s4bldg:PhysicalObject a owl:Class ; 
            owl:onProperty s4bldg:contains ],

        [ a owl:Restriction ;

            owl:allValuesFrom [ a owl:Class ;

                    owl:unionOf [ a rdf:List ;

                            rdf:first s4bldg:BuildingSpace ;

                            rdf:rest [ a rdf:List ;

                                    rdf:first s4bldg:PhysicalObject ;

                                    rdf:rest () ] ] ] ;

                    owl:unionOf ( s4bldg:BuildingSpace  s4bldg:PhysicalObject ) ] ;

            owl:onProperty s4bldg:isContainedIn ] .



s4bldg:DistributionFlowDevice a owl:Class ;