Hochschulprojekte
/
INS-Projekt
0
0
Fork 0
Code Issues Pull Requests Activity

Fixed reasoning, added conflict (not working)

This commit is contained in:
Maschell 2018-01-02 14:46:03 +01:00
parent d1c60e2cc3
commit f48d219e6f
2 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
data/abox.ttl
View File

@ -14,6 +14,8 @@
:Wii :madeBy :Nintendo . :Wii :madeBy :Nintendo .
:Wii :predecessorOfConsole :Wii_u . :Wii :predecessorOfConsole :Wii_u .
:Sony a foaf:Organization.
:Nintendo a foaf:Organization ; :Nintendo a foaf:Organization ;
:ceo :Kimishima ; :ceo :Kimishima ;
:foundingYear 1889 ; :foundingYear 1889 ;
@ -33,7 +35,9 @@
rev:hasReview :SwitchReviewByJPT; rev:hasReview :SwitchReviewByJPT;
:hasPrice 329 . :hasPrice 329 .
:Playstation4 a :GameConsole . # Should create an conflict
:Playstation4 a :NintendoConsole;
:madeBy :Sony.
:JPT rdf:type foaf:Person ; :JPT rdf:type foaf:Person ;
foaf:name "Jan Philipp Timme"^^xsd:string . foaf:name "Jan Philipp Timme"^^xsd:string .

2
src/main/java/hsh/ins_jena/App.java
View File

@ -53,7 +53,7 @@ public class App {
validate(infModel); validate(infModel);
reasoner = new GenericRuleReasoner(Rule.rulesFromURL("data/jenarules.txt")); reasoner = new GenericRuleReasoner(Rule.rulesFromURL("data/jenarules.txt"));
infModel = ModelFactory.createInfModel(reasoner, aboxModel); infModel = ModelFactory.createInfModel(reasoner, infModel);
validate(infModel); validate(infModel);