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);