- From: <jos.deroo@agfa.com>
- Date: Tue, 27 Apr 2010 00:52:37 +0200
- To: henry.story@bblfish.net
- Cc: public-cwm-talk@w3.org, public-cwm-talk-request@w3.org
- Message-ID: <OFF98303AA.6A575FFD-ONC1257711.007CC603-C1257711.007DAB10@agfa.com>
Henry, good to see your running rule!
I tried to independently test it and indeed got what you wrote:
eye --nope henry.n3 --pass
starting 4 [msec cputime] 0 [msec walltime]
GET henry.n3
networking 0 [msec cputime] 4 [msec walltime]
#Processed by $Id: euler.yap 3401 2010-04-26 14:27:18Z josd $
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <#>.
@prefix var: <http://localhost/var#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.
{:joe :loves :jane. :jane :loves :jack} a log:Truth.
:joe :loves :jane.
:jane :loves :jack.
Have to think about how close this is with Tarksi's truth..
All I know at this moment is:
whenever, in a sentence, we wish to say something
about a certain thing, we have to use, in this
sentence, not the thing itself but its name or
designation -- Alfred Tarski
So I believe that all those "certain things" are
rdfs resources, wether they be literal values
or URI referenced things, the names are just
different designations.
Tarski's famous T-schema
T: "P" is true iff P
where
"P" is a statement in the object language
P is a statement in the meta-language
which lets us finitely define truth in an uninterpreted
object language given an already understood meta-language.
-- http://computationaltruth.net/blog/logic_and_language/
Anyhow, thanks a lot and keep up the good work!
Jos
Kind regards,
Jos De Roo | Agfa HealthCare
Senior Researcher | HE/Advanced Clinical Applications Research
T +32 3444 7618
http://www.agfa.com/w3c/jdroo/
Quadrat NV, Kortrijksesteenweg 157, 9830 Sint-Martens-Latem, Belgium
http://www.agfa.com/healthcare
Story Henry <henry.story@bblfish.net>
Sent by: public-cwm-talk-request@w3.org
04/26/2010 09:38 PM
To
public-cwm-talk@w3.org
cc
Subject
log:Truth rule
I wrote out the following rule
---------✁---------✂-----------------✃-----------------------
$ cat test.n3
@prefix log: <http://www.w3.org/2000/10/swap/log#> .
@prefix : <#> .
@forAll :G, :s, :r, :o .
{ :G a log:Truth;
log:includes {:s :r :o. } } => { :s :r :o. } .
{ :joe :loves :jane .
:jane :loves :jack. } a log:Truth .
---------✁---------✂-----------------✃-----------------------
( Thanks to DanC for pointing out the importance of @forAll here )
This works
---------✁---------✂-----------------✃-----------------------
$ cwm test.n3 --think
#Processed by Id: cwm.py,v 1.197 2007/12/13 15:38:39 syosi Exp
#[snip]
@prefix : <#> .
@prefix log: <http://www.w3.org/2000/10/swap/log#> .
@forAll :G,
:o,
:r,
:s .
:jane :loves :jack .
:joe :loves :jane .
{
:jane :loves :jack .
:joe :loves :jane .
} a log:Truth .
{
:G a log:Truth;
log:includes {:s :r :o .
} .
} log:implies {:s :r :o .
} .
---------✁---------✂-----------------✃-----------------------
Ie we get :jane :loves :jack as a fact.
This is close to Tarski's definition of truth, so I think we could add
this to
the log: rules no?
As a side note, I found that the same command with '--mode=rse' does not
work. It gives the error. Not sure if --mode=rse is still needed
---------✁---------✂-----------------✃-----------------------
$ cwm --mode=rse test.n3 --think
#Processed by Id: cwm.py,v 1.197 2007/12/13 15:38:39 syosi Exp
# using base
file:///Users/hjs/Programming/FoafSSL/foafssl-java/papers/spot2009/n3/test.n3
Traceback (most recent call last):
File "/Users/hjs/Programming/w3.org/2000/10/swap/cwm.py", line 750, in
<module>
doCommand()
File "/Users/hjs/Programming/w3.org/2000/10/swap/cwm.py", line 617, in
doCommand
think(workingContext, mode=option_flags["think"])
File "/Users/hjs/Programming/w3.org/2000/10/swap/query.py", line 89, in
think
return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why,
repeat=1).run()
File "/Users/hjs/Programming/w3.org/2000/10/swap/query.py", line 184, in
run
return self.runBrilliant()
File "/Users/hjs/Programming/w3.org/2000/10/swap/query.py", line 208, in
runBrilliant
total = scheduler.run(int.__add__)
File "/Users/hjs/Programming/w3.org/2000/10/swap/query.py", line 1964,
in run
retVal = self.next()
File "/Users/hjs/Programming/w3.org/2000/10/swap/query.py", line 1958,
in next
return retVal.thunk()
File "/Users/hjs/Programming/w3.org/2000/10/swap/query.py", line 160, in
addRule
return Rule(task, subj, obj, statement, variables).once()
File "/Users/hjs/Programming/w3.org/2000/10/swap/query.py", line 474, in
once
total = query.resolve()
File "/Users/hjs/Programming/w3.org/2000/10/swap/query.py", line 804, in
resolve
k = self.matchFormula(self.statements, self.variables,
self._existentialVariables)
File "/Users/hjs/Programming/w3.org/2000/10/swap/query.py", line 975, in
matchFormula
nbs = item.doIncludes(queue, existentials, variables, bindings)
File "/Users/hjs/Programming/w3.org/2000/10/swap/query.py", line 1505,
in doIncludes
unmatched=more_unmatched, mode=item.query.mode):
File "/Users/hjs/Programming/w3.org/2000/10/swap/query.py", line 1417,
in setup
schema = pred.dereference(mode, self.query.workingContext)
AttributeError: 'AnonymousUniversal' object has no attribute 'dereference'
---------✁---------✂-----------------✃-----------------------
But the following works, but I am not sure if it is going to do the right
thing.
---------✁---------✂-----------------✃-----------------------
hjs@bblfish-2:2$ cwm test.n3 --think --mode=rse
#Processed by Id: cwm.py,v 1.197 2007/12/13 15:38:39 syosi Exp
# using base
file:///Users/hjs/Programming/FoafSSL/foafssl-java/papers/spot2009/n3/test.n3
# Notation3 generation by
# notation3.py,v 1.200 2007/12/11 21:18:08 syosi Exp
# Base was:
file:///Users/hjs/Programming/FoafSSL/foafssl-java/papers/spot2009/n3/test.n3
@prefix : <#> .
@prefix log: <http://www.w3.org/2000/10/swap/log#> .
@forAll :G,
:o,
:r,
:s .
:jane :loves :jack .
:joe :loves :jane .
{
:jane :loves :jack .
:joe :loves :jane .
} a log:Truth .
{
:G a log:Truth;
log:includes {:s :r :o .
} .
} log:implies {:s :r :o .
} .
---------✁---------✂-----------------✃-----------------------
Henry
Received on Monday, 26 April 2010 22:53:16 UTC