Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- % cat log_uri_equalTo.n3
- @prefix string: <http://www.w3.org/2000/10/swap/string#> .
- @prefix eu: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#> .
- @prefix log: <http://www.w3.org/2000/10/swap/log#> .
- @prefix : <http://www.w3.org/test#> .
- {
- ?REVERSE log:uri "bla" .
- } => {
- :test :passes ?REVERSE
- }.
- % eye --pass --think --nope log_uri_equalTo.n3
- Id: euler.yap 5701 2012-10-12 19:56:58Z josd
- YAP 6.2.3 (i686-linux): Sat Jun 16 23:34:26 CEST 2012
- starting 72 [msec cputime] 74 [msec walltime]
- GET file:///media/bd003f3b-ff18-4655-91dc-e014ba1af42e/home/jmv/src/eulergui/test/log_uri_equalTo.n3 SC=1
- networking 4 [msec cputime] 2 [msec walltime]
- TC=2 TP=5 BC=0 BP=3 PM=0 CM=0 FM=0 AM=0
- reasoning 0 [msec cputime] 1 [msec walltime]
- #Processed by Id: euler.yap 5701 2012-10-12 19:56:58Z josd
- #eye --pass --think --nope log_uri_equalTo.n3
- @prefix str: <http://www.w3.org/2000/10/swap/string#>.
- @prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
- @prefix log: <http://www.w3.org/2000/10/swap/log#>.
- @prefix : <http://www.w3.org/test#>.
- @prefix var: <http://localhost/var#>.
- @prefix r: <http://www.w3.org/2000/10/swap/reason#>.
- @prefix n3: <http://www.w3.org/2004/06/rei#>.
- :test :passes <bla>.
- #ENDS 0 [msec] TC=2 TP=5 BC=0 BP=3 PM=0 CM=0 FM=0 AM=0
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement