From 4af1b962bc71de53e276fa2440b4bf24bf1d4b9f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Rau=CC=81l=20Garci=CC=81a=20Castro?= <rgarcia@fi.upm.es>
Date: Tue, 17 Sep 2019 13:43:38 +0800
Subject: [PATCH] Removing the conflicting axiom. Solves #19.

---
 ontology/saref.ttl | 8 --------
 1 file changed, 8 deletions(-)

diff --git a/ontology/saref.ttl b/ontology/saref.ttl
index a0a1f86..3779d79 100644
--- a/ontology/saref.ttl
+++ b/ontology/saref.ttl
@@ -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
-- 
GitLab