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

Removing the conflicting axiom. 

Solves #19.
parent 9db63f66

ontology/saref.ttl

+0 −8
Original line number Diff line number Diff line
@@ -372,14 +372,6 @@ saref:Device rdf:type owl:Class ; 
                               owl:onProperty saref:hasState ;

                               owl:allValuesFrom saref:State

                             ] ,

                             [ rdf:type owl:Restriction ;

                               owl:onProperty saref:hasTypicalConsumption ;

                               owl:allValuesFrom [ rdf:type owl:Class ;

                                                   owl:unionOf ( saref:Energy

                                                                 saref:Power

                                                               )

                                                 ]

                             ] ,

                             [ rdf:type owl:Restriction ;

                               owl:onProperty saref:isUsedFor ;

                               owl:allValuesFrom saref:Commodity