From 4af1b962bc71de53e276fa2440b4bf24bf1d4b9f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Rau=CC=81l=20Garci=CC=81a=20Castro?= 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