Skip to content

Commit

Permalink
Fixing test
Browse files Browse the repository at this point in the history
  • Loading branch information
@phochste
phochste committed Jun 16, 2023
1 parent 4a4d483 commit e1ff0ba
Show file tree
Hide file tree
Showing 4 changed files with 27 additions and 15 deletions.
29 changes: 26 additions & 3 deletions data/00-simple.n3-result
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,26 @@
'<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(['_:x'],('<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'([],('<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>'('<urn:example.org:c>','_:x'))),'<urn:example.org:b>'('<urn:example.org:a>','_:x'))).
'<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(['_:x'],('<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'([],('<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>'('<urn:example.org:c>','_:x'))),'<urn:example.org:b>'('<urn:example.org:a>','_:x'))).
'<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(['_:x'],('<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'([],('<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>'('<urn:example.org:c>','_:x'))),'<urn:example.org:b>'('<urn:example.org:a>','_:x'))).
'<urn:example.org:is>'('<urn:example.org:test>','<urn:example.org:Person>').
'<urn:example.org:is>'('<urn:example.org:test>',true).
'<urn:example.org:is>'('<urn:example.org:test>',false).
'<urn:example.org:is>'('<urn:example.org:test>','blue ball').
'<urn:example.org:is>'('<urn:example.org:test>',123).
'<urn:example.org:is>'('<urn:example.org:test>',literal('3.14,'http://www.w3.org/2001/XMLSchema#float)).
'<urn:example.org:is>'('<urn:example.org:test>','_:x').
'<urn:example.org:is>'('<urn:example.org:test>',x).
'<urn:example.org:is>'('<urn:example.org:test>',[]).
'<urn:example.org:is>'('<urn:example.org:test>',['<urn:example.org:Red>','<urn:example.org:Green>','<urn:example.org:Blue>']).
'<urn:example.org:is>'('<urn:example.org:test>',['<urn:example.org:Red>',['<urn:example.org:Green>',123],'<urn:example.org:Blue>']).
'<urn:example.org:is>'('<urn:example.org:test>',('<urn:example.org:b>'('<urn:example.org:a>','<urn:example.org:c>'))).
'<urn:example.org:Person>'('<urn:example.org:is>','<urn:example.org:test>').
'<urn:example.org:is>'('<urn:example.org:Person>','<urn:example.org:test>').
'<urn:example.org:is>'(true,'<urn:example.org:test>').
'<urn:example.org:is>'(false,'<urn:example.org:test>').
'<urn:example.org:is>'('blue ball','<urn:example.org:test>').
'<urn:example.org:is>'(123,'<urn:example.org:test>').
'<urn:example.org:is>'(literal('3.14,'http://www.w3.org/2001/XMLSchema#float),'<urn:example.org:test>').
'<urn:example.org:is>'(x,'<urn:example.org:test>').
'<urn:example.org:is>'([],'<urn:example.org:test>').
'<urn:example.org:is>'('_:x','<urn:example.org:test>').
'<urn:example.org:is>'(['<urn:example.org:Red>','<urn:example.org:Green>','<urn:example.org:Blue>'],'<urn:example.org:test>').
'<urn:example.org:is>'(['<urn:example.org:Red>',['<urn:example.org:Green>',123],'<urn:example.org:Blue>'],'<urn:example.org:test>').
'<urn:example.org:is>'(('<urn:example.org:b>'('<urn:example.org:a>','<urn:example.org:c>')),'<urn:example.org:test>').
'<urn:example.org:is>'(('<urn:example.org:b>'('<urn:example.org:a>',x)),('<urn:example.org:d>'(x,'<urn:example.org:e>'))).
4 changes: 0 additions & 4 deletions data/01-alice.n3-result
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,2 @@
'<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>'('<urn:example.org:Alice>','<urn:example.org:Person>').
'<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(['_:X'],('<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'([],('<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>'('_:X','<urn:example.org:Human>'))),'<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>'('_:X','<urn:example.org:Person>'))).
'<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>'('<urn:example.org:Alice>','<urn:example.org:Person>').
'<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(['_:X'],('<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'([],('<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>'('_:X','<urn:example.org:Human>'))),'<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>'('_:X','<urn:example.org:Person>'))).
'<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>'('<urn:example.org:Alice>','<urn:example.org:Person>').
'<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(['_:X'],('<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'([],('<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>'('_:X','<urn:example.org:Human>'))),'<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>'('_:X','<urn:example.org:Person>'))).
7 changes: 0 additions & 7 deletions data/02-witch.n3-result
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,10 +5,3 @@
'<http://www.w3.org/2000/10/swap/log#implies>'(('<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>'(x,'<http://eyereasoner.github.io/eye/reasoning/witch#ISMADEOFWOOD>')),('<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>'(x,'<http://eyereasoner.github.io/eye/reasoning/witch#BURNS>'))).
'<http://www.w3.org/2000/10/swap/log#implies>'(('<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>'(x,'<http://eyereasoner.github.io/eye/reasoning/witch#FLOATS>')),('<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>'(x,'<http://eyereasoner.github.io/eye/reasoning/witch#ISMADEOFWOOD>'))).
'<http://www.w3.org/2000/10/swap/log#implies>'(('<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>'(x,'<http://eyereasoner.github.io/eye/reasoning/witch#FLOATS>'),'<http://eyereasoner.github.io/eye/reasoning/witch#SAMEWEIGHT>'(x,y)),('<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>'(y,'<http://eyereasoner.github.io/eye/reasoning/witch#FLOATS>'))).
'<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>'('<http://eyereasoner.github.io/eye/reasoning/witch#GIRL>','<http://eyereasoner.github.io/eye/reasoning/witch#WOMAN>').
'<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>'('<http://eyereasoner.github.io/eye/reasoning/witch#DUCK>','<http://eyereasoner.github.io/eye/reasoning/witch#FLOATS>').
'<http://eyereasoner.github.io/eye/reasoning/witch#SAMEWEIGHT>'('<http://eyereasoner.github.io/eye/reasoning/witch#DUCK>','<http://eyereasoner.github.io/eye/reasoning/witch#GIRL>').
'<http://www.w3.org/2000/10/swap/log#implies>'(('<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>'(x,'<http://eyereasoner.github.io/eye/reasoning/witch#BURNS>'),'<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>'(x,'<http://eyereasoner.github.io/eye/reasoning/witch#WOMAN>')),('<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>'(x,'<http://eyereasoner.github.io/eye/reasoning/witch#WITCH>'))).
'<http://www.w3.org/2000/10/swap/log#implies>'(('<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>'(x,'<http://eyereasoner.github.io/eye/reasoning/witch#ISMADEOFWOOD>')),('<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>'(x,'<http://eyereasoner.github.io/eye/reasoning/witch#BURNS>'))).
'<http://www.w3.org/2000/10/swap/log#implies>'(('<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>'(x,'<http://eyereasoner.github.io/eye/reasoning/witch#FLOATS>')),('<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>'(x,'<http://eyereasoner.github.io/eye/reasoning/witch#ISMADEOFWOOD>'))).
'<http://www.w3.org/2000/10/swap/log#implies>'(('<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>'(x,'<http://eyereasoner.github.io/eye/reasoning/witch#FLOATS>'),'<http://eyereasoner.github.io/eye/reasoning/witch#SAMEWEIGHT>'(x,y)),('<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>'(y,'<http://eyereasoner.github.io/eye/reasoning/witch#FLOATS>'))).
2 changes: 1 addition & 1 deletion test.sh
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,6 @@

for f in data/*.n3; do
echo "[$f]"
node js/index.js $f | tee -a ${f}-result
node js/index.js $f | tee ${f}-result
echo "---"
done

0 comments on commit e1ff0ba

Please sign in to comment.