From f48d219e6f07f27ad3d4f583b8278cad9e7be9a3 Mon Sep 17 00:00:00 2001
From: Maschell <Maschell@gmx.de>
Date: Tue, 2 Jan 2018 14:46:03 +0100
Subject: [PATCH] Fixed reasoning, added conflict (not working)

---
 data/abox.ttl                       | 6 +++++-
 src/main/java/hsh/ins_jena/App.java | 2 +-
 2 files changed, 6 insertions(+), 2 deletions(-)

diff --git a/data/abox.ttl b/data/abox.ttl
index 6c15df8..01bd082 100644
--- a/data/abox.ttl
+++ b/data/abox.ttl
@@ -14,6 +14,8 @@
 :Wii        :madeBy                 :Nintendo .
 :Wii        :predecessorOfConsole   :Wii_u .
 
+:Sony   	a		       foaf:Organization.
+
 :Nintendo   a		       foaf:Organization ;
             :ceo           :Kimishima ;
             :foundingYear  1889 ;
@@ -33,7 +35,9 @@
 		  	rev:hasReview  :SwitchReviewByJPT;
 			:hasPrice      329 .
 
-:Playstation4 	a			:GameConsole .
+# Should create an conflict
+:Playstation4 	a			:NintendoConsole;
+			    :madeBy                     :Sony.
 
 :JPT	rdf:type	foaf:Person ;
     	foaf:name	"Jan Philipp Timme"^^xsd:string .
diff --git a/src/main/java/hsh/ins_jena/App.java b/src/main/java/hsh/ins_jena/App.java
index 3607fdb..116b9f3 100644
--- a/src/main/java/hsh/ins_jena/App.java
+++ b/src/main/java/hsh/ins_jena/App.java
@@ -53,7 +53,7 @@ public class App {
 
         validate(infModel);
         reasoner = new GenericRuleReasoner(Rule.rulesFromURL("data/jenarules.txt"));
-        infModel = ModelFactory.createInfModel(reasoner, aboxModel);
+        infModel = ModelFactory.createInfModel(reasoner, infModel);
         
         validate(infModel);