W3C home > Mailing lists > Public > public-cwm-talk@w3.org > April to June 2005

How to output the conclusions by log:conclusion?

From: Yoshio FUKUSHIGE <fuku@w3.org>
Date: Wed, 6 Apr 2005 20:07:48 +0900
Message-ID: <005101c53a98$de156030$f1e41b85@steelball>
To: <public-cwm-talk@w3.org>

Hi, let me ask a kind of novice question.

I'd like to put together rules in different files,
say fileA.n3 and fileB.n3,  and 
output the conclusions to a file.

I can do it with, for example,
cwm fileA.n3 fileB.n3 -think > output.n3

But what I want to do here is not to include the names
"fileA.n3" and "fileB.n3" in the command line,
but put it in another file, say myMain.n3,
and call
cwm myMain.n3 > output.n3

My ultimate goal is to dynamically load the files
and make inferences, but as a first step,
writing the file names directly is OK.

I tried to do something like, in myMain3.n3,
--------------
{ (<fileA.n3>.log:semantics
  <fileB.n3>.log:semantics ) log:conjunction ?f.

 ?f log:conclusion ?g.
} => ...
--------------

But I don't know what I should do with ?g.

--------------
{ (<fileA.n3>.log:semantics
  <fileB.n3>.log:semantics ) log:conjunction ?f.

 ?f log:conclusion ?g.
 ?g log:includes ?x..
?x log:N3String ?s
} => {
 "1" log:outputString ?s.
}
--------------
failed.

What people out there do in such cases?

Thanks in advance.

Best,
Yoshio Fukushige
fuku@w3.org
fukushige.yoshio@jp.panasonic.com
Received on Wednesday, 6 April 2005 11:07:51 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:11:01 GMT