Menu
▾
▴
opencyc-devel — OpenCyc application developers
You can subscribe to this list here.
| 2002 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
(38) |
Jul
(10) |
Aug
(2) |
Sep
|
Oct
|
Nov
(7) |
Dec
|
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 2003 |
Jan
(47) |
Feb
(5) |
Mar
(8) |
Apr
(12) |
May
|
Jun
|
Jul
(4) |
Aug
(7) |
Sep
|
Oct
|
Nov
|
Dec
(11) |
| 2004 |
Jan
(1) |
Feb
(1) |
Mar
(3) |
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
(1) |
Oct
(3) |
Nov
|
Dec
|
| 2006 |
Jan
(1) |
Feb
|
Mar
|
Apr
(2) |
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
(1) |
Nov
|
Dec
|
| 2007 |
Jan
|
Feb
(1) |
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
(9) |
Sep
|
Oct
|
Nov
|
Dec
|
| 2008 |
Jan
|
Feb
|
Mar
|
Apr
|
May
(1) |
Jun
|
Jul
(12) |
Aug
(36) |
Sep
|
Oct
|
Nov
|
Dec
|
| 2009 |
Jan
|
Feb
(1) |
Mar
|
Apr
(4) |
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
| 2010 |
Jan
|
Feb
|
Mar
(10) |
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
| 2011 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
(2) |
Oct
|
Nov
|
Dec
|
| 2012 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
(1) |
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
|
From: <dm...@us...> - 2008-08-16 01:56:14
|
Looks like the Research CYC JRTL is working: Is this the correct test? CYC(3):(load "sg_cyc_without_cycle_01.cyc") [Time: 234.4 secs] T CYC(4): (new-cyc-query (LIST #$sg-predicate '?X '?Y) #$BaseKB (LIST :MAX-TRANSFORMATION-DEPTH nil :metrics (LIST :total-time :complete-total-time :time-per-answer :time-to-first-answer :answer-count)) ) [Time: 13.843 secs] (((?X . #$node-87) (?Y . #$node-425)) ((?X . #$node-425) (?Y . #$node-425)) ((?X . #$node-87) (?Y . #$node-87)) ((?X . #$node-129) (?Y . #$node-256)) ((?X . #$node-256) (?Y . #$node-256)) ((?X . #$node-129) (?Y . #$node-129)) ((?X . #$node-96) (?Y . #$node-151)) ((?X . #$node-151) (?Y . #$node-151)) ((?X . #$node-96) (?Y . #$node-96)) ((?X . #$node-29) (?Y . #$node-143)) ((?X . #$node-143) (?Y . #$node-143)) ((?X . #$node-29) (?Y . #$node-29)) ((?X . #$node-324) (?Y . #$node-489)) ((?X . #$node-489) (?Y . #$node-489)) ((?X . #$node-324) (?Y . #$node-324)) ((?X . #$node-311) (?Y . #$node-372)) ((?X . #$node-372) (?Y . #$node-372)) ((?X . #$node-311) (?Y . #$node-311)) ((?X . #$node-144) (?Y . #$node-363)) ((?X . #$node-363) (?Y . #$node-363)) ((?X . #$node-144) (?Y . #$node-144)) ((?X . #$node-132) (?Y . #$node-394)) ((?X . #$node-394) (?Y . #$node-394)) ((?X . #$node-132) (?Y . #$node-132)) ((?X . #$node-53) (?Y . #$node-443)) ((?X . #$node-443) (?Y . #$node-443)) ((?X . #$node-53) (?Y . #$node-53)) ((?X . #$node-374) (?Y . #$node-497)) ((?X . #$node-497) (?Y . #$node-497)) ((?X . #$node-374) (?Y . #$node-374)) ((?X . #$node-257) (?Y . #$node-286)) ((?X . #$node-286) (?Y . #$node-286)) ((?X . #$node-257) (?Y . #$node-257)) ((?X . #$node-136) (?Y . #$node-480)) ((?X . #$node-480) (?Y . #$node-480)) ((?X . #$node-136) (?Y . #$node-136)) ((?X . #$node-85) (?Y . #$node-215)) ((?X . #$node-215) (?Y . #$node-215)) ((?X . #$node-85) (?Y . #$node-85)) ((?X . #$node-28) (?Y . #$node-105)) ((?X . #$node-105) (?Y . #$node-105)) ((?X . #$node-28) (?Y . #$node-28)) ((?X . #$node-72) (?Y . #$node-104)) ((?X . #$node-104) (?Y . #$node-104)) ((?X . #$node-72) (?Y . #$node-72)) ((?X . #$node-118) (?Y . #$node-192)) ((?X . #$node-192) (?Y . #$node-192)) ((?X . #$node-118) (?Y . #$node-118)) ((?X . #$node-279) (?Y . #$node-313)) ((?X . #$node-313) (?Y . #$node-313)) ((?X . #$node-279) (?Y . #$node-279)) ((?X . #$node-206) (?Y . #$node-387)) ((?X . #$node-387) (?Y . #$node-387)) ((?X . #$node-206) (?Y . #$node-206)) ((?X . #$node-250) (?Y . #$node-414)) ((?X . #$node-414) (?Y . #$node-414)) ((?X . #$node-250) (?Y . #$node-250)) ((?X . #$node-54) (?Y . #$node-210)) ((?X . #$node-210) (?Y . #$node-210)) ((?X . #$node-54) (?Y . #$node-54)) ((?X . #$node-39) (?Y . #$node-169)) ((?X . #$node-169) (?Y . #$node-169)) ((?X . #$node-39) (?Y . #$node-39)) ((?X . #$node-75) (?Y . #$node-352)) ((?X . #$node-352) (?Y . #$node-352)) ((?X . #$node-75) (?Y . #$node-75)) ((?X . #$node-56) (?Y . #$node-482)) ((?X . #$node-482) (?Y . #$node-482)) ((?X . #$node-56) (?Y . #$node-56)) ((?X . #$node-464) (?Y . #$node-472)) ((?X . #$node-472) (?Y . #$node-472)) ((?X . #$node-464) (?Y . #$node-464)) ((?X . #$node-80) (?Y . #$node-492)) ((?X . #$node-492) (?Y . #$node-492)) ((?X . #$node-80) (?Y . #$node-80)) ((?X . #$node-131) (?Y . #$node-368)) ((?X . #$node-368) (?Y . #$node-368)) ((?X . #$node-131) (?Y . #$node-131)) ((?X . #$node-54) (?Y . #$node-137)) ((?X . #$node-137) (?Y . #$node-137)) ((?X . #$node-42) (?Y . #$node-288)) ((?X . #$node-288) (?Y . #$node-288)) ((?X . #$node-42) (?Y . #$node-42)) ((?X . #$node-186) (?Y . #$node-186)) ((?X . #$node-233) (?Y . #$node-499)) ((?X . #$node-499) (?Y . #$node-499)) ((?X . #$node-233) (?Y . #$node-233)) ((?X . #$node-179) (?Y . #$node-238)) ((?X . #$node-238) (?Y . #$node-238)) ((?X . #$node-179) (?Y . #$node-179)) ((?X . #$node-38) (?Y . #$node-357)) ((?X . #$node-357) (?Y . #$node-357)) ((?X . #$node-38) (?Y . #$node-38)) ((?X . #$node-216) (?Y . #$node-462)) ((?X . #$node-462) (?Y . #$node-462)) ((?X . #$node-216) (?Y . #$node-216)) ((?X . #$node-39) (?Y . #$node-320)) ((?X . #$node-320) (?Y . #$node-320)) ((?X . #$node-53) (?Y . #$node-254)) ((?X . #$node-254) (?Y . #$node-254)) ... ) :EXHAUST-TOTAL NIL (13.743 13.843 0.009180360721442887 0.059 1497) CYC(5): (new-cyc-query (LIST #$sg-predicate '?X '?Y) #$BaseKB (LIST :MAX-TRANSFORMATION-DEPTH nil :metrics (LIST :total-time :complete-total-time :time-per-answer :time-to-first-answer :answer-count)) ) [Time: 10.88 secs] (((?X . #$node-87) (?Y . #$node-425)) ((?X . #$node-425) (?Y . #$node-425)) ((?X . #$node-87) (?Y . #$node-87)) ((?X . #$node-129) (?Y . #$node-256)) ((?X . #$node-256) (?Y . #$node-256)) ((?X . #$node-129) (?Y . #$node-129)) ((?X . #$node-96) (?Y . #$node-151)) ((?X . #$node-151) (?Y . #$node-151)) ((?X . #$node-96) (?Y . #$node-96)) ((?X . #$node-29) (?Y . #$node-143)) ((?X . #$node-143) (?Y . #$node-143)) ((?X . #$node-29) (?Y . #$node-29)) ((?X . #$node-324) (?Y . #$node-489)) ((?X . #$node-489) (?Y . #$node-489)) ((?X . #$node-324) (?Y . #$node-324)) ((?X . #$node-311) (?Y . #$node-372)) ((?X . #$node-372) (?Y . #$node-372)) ((?X . #$node-311) (?Y . #$node-311)) ((?X . #$node-144) (?Y . #$node-363)) ((?X . #$node-363) (?Y . #$node-363)) ((?X . #$node-144) (?Y . #$node-144)) ((?X . #$node-132) (?Y . #$node-394)) ((?X . #$node-394) (?Y . #$node-394)) ((?X . #$node-132) (?Y . #$node-132)) ((?X . #$node-53) (?Y . #$node-443)) ((?X . #$node-443) (?Y . #$node-443)) ((?X . #$node-53) (?Y . #$node-53)) ((?X . #$node-374) (?Y . #$node-497)) ((?X . #$node-497) (?Y . #$node-497)) ((?X . #$node-374) (?Y . #$node-374)) ((?X . #$node-257) (?Y . #$node-286)) ((?X . #$node-286) (?Y . #$node-286)) ((?X . #$node-257) (?Y . #$node-257)) ((?X . #$node-136) (?Y . #$node-480)) ((?X . #$node-480) (?Y . #$node-480)) ((?X . #$node-136) (?Y . #$node-136)) ((?X . #$node-85) (?Y . #$node-215)) ((?X . #$node-215) (?Y . #$node-215)) ((?X . #$node-85) (?Y . #$node-85)) ((?X . #$node-28) (?Y . #$node-105)) ((?X . #$node-105) (?Y . #$node-105)) ((?X . #$node-28) (?Y . #$node-28)) ((?X . #$node-72) (?Y . #$node-104)) ((?X . #$node-104) (?Y . #$node-104)) ((?X . #$node-72) (?Y . #$node-72)) ((?X . #$node-118) (?Y . #$node-192)) ((?X . #$node-192) (?Y . #$node-192)) ((?X . #$node-118) (?Y . #$node-118)) ((?X . #$node-279) (?Y . #$node-313)) ((?X . #$node-313) (?Y . #$node-313)) ((?X . #$node-279) (?Y . #$node-279)) ((?X . #$node-206) (?Y . #$node-387)) ((?X . #$node-387) (?Y . #$node-387)) ((?X . #$node-206) (?Y . #$node-206)) ((?X . #$node-250) (?Y . #$node-414)) ((?X . #$node-414) (?Y . #$node-414)) ((?X . #$node-250) (?Y . #$node-250)) ((?X . #$node-54) (?Y . #$node-210)) ((?X . #$node-210) (?Y . #$node-210)) ((?X . #$node-54) (?Y . #$node-54)) ((?X . #$node-39) (?Y . #$node-169)) ((?X . #$node-169) (?Y . #$node-169)) ((?X . #$node-39) (?Y . #$node-39)) ((?X . #$node-75) (?Y . #$node-352)) ((?X . #$node-352) (?Y . #$node-352)) ((?X . #$node-75) (?Y . #$node-75)) ((?X . #$node-56) (?Y . #$node-482)) ((?X . #$node-482) (?Y . #$node-482)) ((?X . #$node-56) (?Y . #$node-56)) ((?X . #$node-464) (?Y . #$node-472)) ((?X . #$node-472) (?Y . #$node-472)) ((?X . #$node-464) (?Y . #$node-464)) ((?X . #$node-80) (?Y . #$node-492)) ((?X . #$node-492) (?Y . #$node-492)) ((?X . #$node-80) (?Y . #$node-80)) ((?X . #$node-131) (?Y . #$node-368)) ((?X . #$node-368) (?Y . #$node-368)) ((?X . #$node-131) (?Y . #$node-131)) ((?X . #$node-54) (?Y . #$node-137)) ((?X . #$node-137) (?Y . #$node-137)) ((?X . #$node-42) (?Y . #$node-288)) ((?X . #$node-288) (?Y . #$node-288)) ((?X . #$node-42) (?Y . #$node-42)) ((?X . #$node-186) (?Y . #$node-186)) ((?X . #$node-233) (?Y . #$node-499)) ((?X . #$node-499) (?Y . #$node-499)) ((?X . #$node-233) (?Y . #$node-233)) ((?X . #$node-179) (?Y . #$node-238)) ((?X . #$node-238) (?Y . #$node-238)) ((?X . #$node-179) (?Y . #$node-179)) ((?X . #$node-38) (?Y . #$node-357)) ((?X . #$node-357) (?Y . #$node-357)) ((?X . #$node-38) (?Y . #$node-38)) ((?X . #$node-216) (?Y . #$node-462)) ((?X . #$node-462) (?Y . #$node-462)) ((?X . #$node-216) (?Y . #$node-216)) ((?X . #$node-39) (?Y . #$node-320)) ((?X . #$node-320) (?Y . #$node-320)) ((?X . #$node-53) (?Y . #$node-254)) ((?X . #$node-254) (?Y . #$node-254)) ... ) :EXHAUST-TOTAL NIL (10.88 10.88 0.007267869071476286 0 1497) CYC(6): ----- Original Message ----- From: Paul Fodor To: OpenCyc developers Sent: Friday, August 15, 2008 2:03 PM Subject: Re: [OpenCyc-devel] Cyc engine Dear Sir, We tested the recursive same generation test for smaller tests (500 nodes) than our initial tests and it is working. For 1000 nodes it stops working with the error "Implementation error: Recursive error" Do you know any option that could make it run for bigger tests (such as, the one that I put online for you: http://www.lmc.cs.sunysb.edu/~tests/cyc_paul/sg_cyc_without_cycle_01.cyc ) ? For 500 node, we get: CYC(1): (load "sg_cyc_500nodes.cyc") T CYC(2): (new-cyc-query (LIST #$sg-predicate '?X '?Y) #$BaseKB (LIST :MAX-TRANSFORMATION-DEPTH nil :metrics (LIST :total-time :complete-total-time :time-per-answer :time-to-first-answer :answer-count)) ) (((?X . #$node-190) (?Y . #$node-190)) ((?X . #$node-374) (?Y . #$node-374)) ((?X . #$node-491) ...) :EXHAUST-TOTAL NIL (7.90625 7.921875 0.007743633692458374 0.015625 1021) CYC(3): Please tell me if there is any option to make it work for bigger examples. Regards, thank you, Paul. On Thu, Aug 14, 2008 at 9:36 PM, Paul Fodor <fod...@gm...> wrote: Dear Sir, Our performance tests failed to execute in the OpenCyc system. They work for small tests (a couple of constants), but they fail to work for large number of constants: 50K,100K, 250K, 500K, 1 million. For instance, our smallest test: http://www.lmc.cs.sunysb.edu/~tests/cyc_paul/sg_cyc_without_cycle_01.cyc with the query for all the tuples sg-predicate: (new-cyc-query (LIST #$sg-predicate '?X '?Y) #$BaseKB (LIST :MAX-TRANSFORMATION-DEPTH nil :metrics (LIST :total-time :complete-total-time :time-per-answer :time-to-first-answer :answer-count)) ) fails after a few minutes with the message: "Implementation error: Recursive error". On OpenCyc: $ run-cyc.sh CYC(1): (load "sg_cyc_without_cycle_01.cyc") T CYC(2): (new-cyc-query (LIST #$sg-predicate '?X '?Y) #$BaseKB (LIST :MAX-TRANSFORMATION-DEPTH nil :metrics (LIST :total-time :complete-total-time :time-per-answer :time-to-first-answer :answer-count))) Implementation error: Recursive error This test does the following: we have two kinds of facts: par/2 and sib/2, where par(X,Y) means that the parent of X is Y and sib(X,Y) means that the X is sibling of Y. The rules are the following: - every node X in the graph is in the same generation sg/2 with itself: sg(X,X) :- par(X,_);par(_,X);sib(X,_);sib(_,X), - if two nodes are siblings then they are in the same generation: sg(X,Y) :- sib(X,Y). - if two nodes are in hte same generation then their parents are in the same generation: sg(X,Y) :- par(X,Z), sg(Z,Z1), par(Y,Z1). The "sg_cyc_without_cycle_01.cyc" example doesn't have any cycles in the data structure and other systems that we tested (XSB, Yap, dlv, ontobroker) solve it (finds all solutions) in about a second. Please tell us if there is anything that we can do. Regards, Paul Fodor ------------------------------------------------------------------------------ ------------------------------------------------------------------------- This SF.Net email is sponsored by the Moblin Your Move Developer's challenge Build the coolest Linux based applications with Moblin SDK & win great prizes Grand prize is a trip for two to an Open Source event anywhere in the world http://moblin-contest.org/redirect.php?banner_id=100&url=/ ------------------------------------------------------------------------------ _______________________________________________ OpenCyc-devel mailing list Ope...@li... https://lists.sourceforge.net/lists/listinfo/opencyc-devel |
|
From: Richard H. M. <rh...@pi...> - 2008-08-15 21:14:26
|
Dick McCullough Ayn Rand do speak od mKR done; mKE do enhance od Real Intelligence done; knowledge := man do identify od existent done; knowledge haspart proposition list; http://mKRmKE.org/ ----- Original Message ----- From: "Richard H. McCullough" <rh...@pi...> To: "Semantic Web at W3C" <sem...@w3...>; "KR-language" <KR-...@Ya...> Cc: <cyc...@ya...>; <ope...@li...> Sent: Friday, August 15, 2008 1:42 PM Subject: ANN: OpenCyc Web Services > The OpenCyc Web Services provide a simple HTTP interface > to the most useful properties of concepts in the knowledge base. > There are many properties which are not available from > Web Services -- these other properties can be accessed using > the SubL interface. > > This help file > http://mKRmKE.org/help/OpenCycWebServices.html > lists all properties available from Web Services, > and shows the mKR questions and commands which can be > used to retrieve the properties. > > You can also access these properties manually, using your favorite > browser, at the Cyc Foundation website. > http://www.CycFoundation.org/ > > Dick McCullough > Ayn Rand do speak od mKR done; > mKE do enhance od Real Intelligence done; > knowledge := man do identify od existent done; > knowledge haspart proposition list; > http://mKRmKE.org/ > |
|
From: Paul F. <fod...@gm...> - 2008-08-15 21:03:24
|
Dear Sir, We tested the recursive same generation test for smaller tests (500 nodes) than our initial tests and it is working. For 1000 nodes it stops working with the error "Implementation error: Recursive error" Do you know any option that could make it run for bigger tests (such as, the one that I put online for you: http://www.lmc.cs.sunysb.edu/~tests/cyc_paul/sg_cyc_without_cycle_01.cyc ) ? For 500 node, we get: CYC(1): (load "sg_cyc_500nodes.cyc") T CYC(2): (new-cyc-query (LIST #$sg-predicate '?X '?Y) #$BaseKB (LIST :MAX-TRANSFORMATION-DEPTH nil :metrics (LIST :total-time :complete-total-time :time-per-answer :time-to-first-answer :answer-count)) ) (((?X . #$node-190) (?Y . #$node-190)) ((?X . #$node-374) (?Y . #$node-374)) ((?X . #$node-491) ...) :EXHAUST-TOTAL NIL (7.90625 7.921875 0.007743633692458374 0.015625 1021) CYC(3): Please tell me if there is any option to make it work for bigger examples. Regards, thank you, Paul. On Thu, Aug 14, 2008 at 9:36 PM, Paul Fodor <fod...@gm...> wrote: > Dear Sir, > > Our performance tests failed to execute in the OpenCyc system. They work > for small tests (a couple of constants), but they fail to work for large > number of constants: 50K,100K, 250K, 500K, 1 million. For instance, our > smallest test: > > http://www.lmc.cs.sunysb.edu/~tests/cyc_paul/sg_cyc_without_cycle_01.cycwith the query for all the tuples sg-predicate: > > (new-cyc-query > (LIST #$sg-predicate '?X '?Y) #$BaseKB > (LIST :MAX-TRANSFORMATION-DEPTH nil :metrics (LIST :total-time > :complete-total-time :time-per-answer :time-to-first-answer :answer-count)) > ) > > fails after a few minutes with the message: "Implementation error: > Recursive error". > > On OpenCyc: > $ run-cyc.sh > CYC(1): (load "sg_cyc_without_cycle_01.cyc") > T > > CYC(2): (new-cyc-query (LIST #$sg-predicate '?X '?Y) #$BaseKB (LIST > :MAX-TRANSFORMATION-DEPTH nil :metrics (LIST :total-time > :complete-total-time :time-per-answer :time-to-first-answer :answer-count))) > > Implementation error: Recursive error > > This test does the following: we have two kinds of facts: par/2 and sib/2, > where par(X,Y) means that the parent of X is Y and sib(X,Y) means that the X > is sibling of Y. The rules are the following: > - every node X in the graph is in the same generation sg/2 with itself: > sg(X,X) :- par(X,_);par(_,X);sib(X,_);sib(_,X), > - if two nodes are siblings then they are in the same generation: sg(X,Y) > :- sib(X,Y). > - if two nodes are in hte same generation then their parents are in the > same generation: sg(X,Y) :- par(X,Z), sg(Z,Z1), par(Y,Z1). > > The "sg_cyc_without_cycle_01.cyc" example doesn't have any cycles in the > data structure and other systems that we tested (XSB, Yap, dlv, ontobroker) > solve it (finds all solutions) in about a second. > > Please tell us if there is anything that we can do. > > Regards, > Paul Fodor > > |
|
From: Paul F. <fod...@gm...> - 2008-08-15 01:35:58
|
Dear Sir, Our performance tests failed to execute in the OpenCyc system. They work for small tests (a couple of constants), but they fail to work for large number of constants: 50K,100K, 250K, 500K, 1 million. For instance, our smallest test: http://www.lmc.cs.sunysb.edu/~tests/cyc_paul/sg_cyc_without_cycle_01.cyc<http://www.lmc.cs.sunysb.edu/%7Etests/cyc_paul/sg_cyc_without_cycle_01.cyc>with the query for all the tuples sg-predicate: (new-cyc-query (LIST #$sg-predicate '?X '?Y) #$BaseKB (LIST :MAX-TRANSFORMATION-DEPTH nil :metrics (LIST :total-time :complete-total-time :time-per-answer :time-to-first-answer :answer-count)) ) fails after a few minutes with the message: "Implementation error: Recursive error". On OpenCyc: $ run-cyc.sh CYC(1): (load "sg_cyc_without_cycle_01.cyc") T CYC(2): (new-cyc-query (LIST #$sg-predicate '?X '?Y) #$BaseKB (LIST :MAX-TRANSFORMATION-DEPTH nil :metrics (LIST :total-time :complete-total-time :time-per-answer :time-to-first-answer :answer-count))) Implementation error: Recursive error This test does the following: we have two kinds of facts: par/2 and sib/2, where par(X,Y) means that the parent of X is Y and sib(X,Y) means that the X is sibling of Y. The rules are the following: - every node X in the graph is in the same generation sg/2 with itself: sg(X,X) :- par(X,_);par(_,X);sib(X,_);sib(_,X), - if two nodes are siblings then they are in the same generation: sg(X,Y) :- sib(X,Y). - if two nodes are in hte same generation then their parents are in the same generation: sg(X,Y) :- par(X,Z), sg(Z,Z1), par(Y,Z1). The "sg_cyc_without_cycle_01.cyc" example doesn't have any cycles in the data structure and other systems that we tested (XSB, Yap, dlv, ontobroker) solve it (finds all solutions) in about a second. Please tell us if there is anything that we can do. Regards, Paul Fodor |
|
From: Richard H. M. <rh...@pi...> - 2008-08-12 12:42:17
|
I seem to recall that you have to click some link above the Cyc console window to make it display the context. And, having displayed the context, you can change it to a different context before you execute your query. Dick McCullough Ayn Rand do speak od mKR done; mKE do enhance od Real Intelligence done; knowledge := man do identify od existent done; knowledge haspart proposition list; http://mKRmKE.org/ ----- Original Message ----- From: Paul Fodor To: OpenCyc developers Sent: Monday, August 11, 2008 3:59 PM Subject: Re: [OpenCyc-devel] OpenCyc help It seems everything runs in BaseKB: EL Query : (reach-predicate ?X ?Y) Answer Bindings : ?X → node-1 ?Y → node-1 Justifications : [B](implies (edge-predicate ?X ?Y) (reach-predicate ?X ?Y)) in BaseKB [B](implies (and (edge-predicate ?X ?Z) (reach-predicate ?Z ?Y)) (reach-predicate ?X ?Y)) in BaseKB [Def](edge-predicate node-1 node-2) in BaseKB [Def](edge-predicate node-2 node-1) in BaseKB But running the query in the Cyc console and same KB has no response: CYC(27): (new-cyc-query '(#$reach-predicate #$node-1 ?Y) #$BaseKB '(:metrics (:total-time :complete-total-time :time-per-answer :time-to-first-answer :answer-count))) NIL :EXHAUST-TOTAL NIL (0 0 NIL NIL 0) On Mon, Aug 11, 2008 at 6:52 PM, Paul Fodor <pf...@cs...> wrote: > On Mon, Aug 11, 2008 at 6:12 PM, David Whitten > <dav...@gm...> wrote: >> What Microtheory are you using when you give the query to the browser? >> David > > My OpenCyc 1.0 KB browser does not allow me to select a microtheory > for a query. I guess it queries all microtheories. > I guess the OpenCyc Tutorial was written for a newer version of Cyc, > because it also says: "select the microtheory", but the KB browser > doesn't have something like that. > > In the CYC console, I tried them all, but still didn't get an answer: > (new-cyc-query '(#$reach-predicate #$node-1 ?Y) #$graphMT) > (new-cyc-query '(#$reach-predicate #$node-1 ?Y) #$BaseKB) > (new-cyc-query '(#$reach-predicate #$node-1 ?Y)) > > I also changed the program to use the #$BaseKB microtheory for all > assertions and still got the same behaviour: 4 results in KB browser, > but no result in CYC console. > > (WITH-BOOKKEEPING-INFO > (NEW-BOOKKEEPING-INFO NIL > (THE-DATE) NIL > (THE-SECOND)) > (CLET > ( > (*REQUIRE-CASE-INSENSITIVE-NAME-UNIQUENESS* NIL) > (*THE-CYCLIST* NIL) > (*KE-PURPOSE* NIL)) > (KE-CREATE-NOW "node-type"))) > > (WITH-BOOKKEEPING-INFO > (NEW-BOOKKEEPING-INFO NIL > (THE-DATE) NIL > (THE-SECOND)) > (CLET > ( > (*THE-CYCLIST* NIL) > (*KE-PURPOSE* NIL)) > (KE-ASSERT-NOW > (LIST #$comment #$node-type "") #$BaseKB))) > > (WITH-BOOKKEEPING-INFO > (NEW-BOOKKEEPING-INFO NIL > (THE-DATE) NIL > (THE-SECOND)) > (CLET > ( > (*THE-CYCLIST* NIL) > (*KE-PURPOSE* NIL)) > (KE-ASSERT-NOW > (LIST #$isa #$node-type #$FirstOrderCollection) #$UniversalVocabularyMt))) > > (WITH-BOOKKEEPING-INFO > (NEW-BOOKKEEPING-INFO NIL > (THE-DATE) NIL > (THE-SECOND)) > (CLET > ( > (*THE-CYCLIST* NIL) > (*KE-PURPOSE* NIL)) > (KE-ASSERT-NOW > (LIST #$genls #$node-type #$Individual) #$UniversalVocabularyMt))) > > (WITH-BOOKKEEPING-INFO > (NEW-BOOKKEEPING-INFO NIL > (THE-DATE) NIL > (THE-SECOND)) > (CLET > ( > (*REQUIRE-CASE-INSENSITIVE-NAME-UNIQUENESS* NIL) > (*THE-CYCLIST* NIL) > (*KE-PURPOSE* NIL)) > (KE-CREATE-NOW "node-1"))) > > (WITH-BOOKKEEPING-INFO > (NEW-BOOKKEEPING-INFO NIL > (THE-DATE) NIL > (THE-SECOND)) > (CLET > ( > (*THE-CYCLIST* NIL) > (*KE-PURPOSE* NIL)) > (KE-ASSERT-NOW > (LIST #$isa #$node-1 #$node-type) #$BaseKB))) > > (WITH-BOOKKEEPING-INFO > (NEW-BOOKKEEPING-INFO NIL > (THE-DATE) NIL > (THE-SECOND)) > (CLET > ( > (*REQUIRE-CASE-INSENSITIVE-NAME-UNIQUENESS* NIL) > (*THE-CYCLIST* NIL) > (*KE-PURPOSE* NIL)) > (KE-CREATE-NOW "node-2"))) > > (WITH-BOOKKEEPING-INFO > (NEW-BOOKKEEPING-INFO NIL > (THE-DATE) NIL > (THE-SECOND)) > (CLET > ( > (*THE-CYCLIST* NIL) > (*KE-PURPOSE* NIL)) > (KE-ASSERT-NOW > (LIST #$isa #$node-2 #$node-type) #$BaseKB))) > > (WITH-BOOKKEEPING-INFO > (NEW-BOOKKEEPING-INFO NIL > (THE-DATE) NIL > (THE-SECOND)) > (CLET > ( > (*REQUIRE-CASE-INSENSITIVE-NAME-UNIQUENESS* NIL) > (*THE-CYCLIST* NIL) > (*KE-PURPOSE* NIL)) > (KE-CREATE-NOW "edge-predicate"))) > > (WITH-BOOKKEEPING-INFO > (NEW-BOOKKEEPING-INFO NIL > (THE-DATE) NIL > (THE-SECOND)) > (CLET > ( > (*THE-CYCLIST* NIL) > (*KE-PURPOSE* NIL)) > (KE-ASSERT-NOW > (LIST #$isa #$edge-predicate #$BinaryPredicate) #$UniversalVocabularyMt))) > > (WITH-BOOKKEEPING-INFO > (NEW-BOOKKEEPING-INFO NIL > (THE-DATE) NIL > (THE-SECOND)) > (CLET > ( > (*THE-CYCLIST* NIL) > (*KE-PURPOSE* NIL)) > (KE-ASSERT-NOW > (LIST #$comment #$edge-predicate "") #$BaseKB))) > > (WITH-BOOKKEEPING-INFO > (NEW-BOOKKEEPING-INFO NIL > (THE-DATE) NIL > (THE-SECOND)) > (CLET > ( > (*THE-CYCLIST* NIL) > (*KE-PURPOSE* NIL)) > (KE-ASSERT-NOW > (LIST #$argIsa #$edge-predicate 1 #$node-type) #$UniversalVocabularyMt))) > > (WITH-BOOKKEEPING-INFO > (NEW-BOOKKEEPING-INFO NIL > (THE-DATE) NIL > (THE-SECOND)) > (CLET > ( > (*THE-CYCLIST* NIL) > (*KE-PURPOSE* NIL)) > (KE-ASSERT-NOW > (LIST #$argIsa #$edge-predicate 2 #$node-type) #$UniversalVocabularyMt))) > > (WITH-BOOKKEEPING-INFO > (NEW-BOOKKEEPING-INFO NIL > (THE-DATE) NIL > (THE-SECOND)) > (CLET > ( > (*THE-CYCLIST* NIL) > (*KE-PURPOSE* NIL)) > (KE-ASSERT-NOW > (LIST #$genlPreds #$edge-predicate #$conceptuallyRelated) > #$UniversalVocabularyMt))) > > > (WITH-BOOKKEEPING-INFO > (NEW-BOOKKEEPING-INFO NIL > (THE-DATE) NIL > (THE-SECOND)) > (CLET > ( > (*REQUIRE-CASE-INSENSITIVE-NAME-UNIQUENESS* NIL) > (*THE-CYCLIST* NIL) > (*KE-PURPOSE* NIL)) > (KE-CREATE-NOW "reach-predicate"))) > > (WITH-BOOKKEEPING-INFO > (NEW-BOOKKEEPING-INFO NIL > (THE-DATE) NIL > (THE-SECOND)) > (CLET > ( > (*THE-CYCLIST* NIL) > (*KE-PURPOSE* NIL)) > (KE-ASSERT-NOW > (LIST #$isa #$reach-predicate #$BinaryPredicate) > #$UniversalVocabularyMt))) > > (WITH-BOOKKEEPING-INFO > (NEW-BOOKKEEPING-INFO NIL > (THE-DATE) NIL > (THE-SECOND)) > (CLET > ( > (*THE-CYCLIST* NIL) > (*KE-PURPOSE* NIL)) > (KE-ASSERT-NOW > (LIST #$comment #$reach-predicate "") #$BaseKB))) > > (WITH-BOOKKEEPING-INFO > (NEW-BOOKKEEPING-INFO NIL > (THE-DATE) NIL > (THE-SECOND)) > (CLET > ( > (*THE-CYCLIST* NIL) > (*KE-PURPOSE* NIL)) > (KE-ASSERT-NOW > (LIST #$argIsa #$reach-predicate 1 #$node-type) #$UniversalVocabularyMt))) > > (WITH-BOOKKEEPING-INFO > (NEW-BOOKKEEPING-INFO NIL > (THE-DATE) NIL > (THE-SECOND)) > (CLET > ( > (*THE-CYCLIST* NIL) > (*KE-PURPOSE* NIL)) > (KE-ASSERT-NOW > (LIST #$argIsa #$reach-predicate 2 #$node-type) #$UniversalVocabularyMt))) > > (WITH-BOOKKEEPING-INFO > (NEW-BOOKKEEPING-INFO NIL > (THE-DATE) NIL > (THE-SECOND)) > (CLET > ( > (*THE-CYCLIST* NIL) > (*KE-PURPOSE* NIL)) > (KE-ASSERT-NOW > (LIST #$genlPreds #$reach-predicate #$conceptuallyRelated) > #$UniversalVocabularyMt))) > > > (WITH-BOOKKEEPING-INFO > (NEW-BOOKKEEPING-INFO NIL > (THE-DATE) NIL > (THE-SECOND)) > (CLET > ( > (*THE-CYCLIST* NIL) > (*KE-PURPOSE* NIL)) > (KE-ASSERT-NOW > (LIST #$edge-predicate #$node-1 #$node-2) #$BaseKB))) > > (WITH-BOOKKEEPING-INFO > (NEW-BOOKKEEPING-INFO NIL > (THE-DATE) NIL > (THE-SECOND)) > (CLET > ( > (*THE-CYCLIST* NIL) > (*KE-PURPOSE* NIL)) > (KE-ASSERT-NOW > (LIST #$edge-predicate #$node-2 #$node-1) #$BaseKB))) > > > (WITH-BOOKKEEPING-INFO > (NEW-BOOKKEEPING-INFO NIL > (THE-DATE) NIL > (THE-SECOND)) > (CLET > ( > (*THE-CYCLIST* NIL) > (*KE-PURPOSE* NIL)) > (KE-ASSERT-NOW > '(#$implies (#$edge-predicate ?X ?Y) (#$reach-predicate ?X ?Y)) > #$BaseKB))) > > (WITH-BOOKKEEPING-INFO > (NEW-BOOKKEEPING-INFO NIL > (THE-DATE) NIL > (THE-SECOND)) > (CLET > ( > (*THE-CYCLIST* NIL) > (*KE-PURPOSE* NIL)) > (KE-ASSERT-NOW > '(#$implies (#$and (#$edge-predicate ?X ?Z) (#$reach-predicate > ?Z ?Y)) (#$reach-predicate ?X ?Y)) > #$BaseKB))) > > (new-cyc-query '(#$reach-predicate ?X ?Y) #$BaseKB '(:metrics > (:total-time :complete-total-time :time-per-answer > :time-to-first-answer :answer-count))) > (new-cyc-query '(#$reach-predicate #$node-1 ?Y) #$BaseKB '(:metrics > (:total-time :complete-total-time :time-per-answer > :time-to-first-answer :answer-count))) > ------------------------------------------------------------------------------ ------------------------------------------------------------------------- This SF.Net email is sponsored by the Moblin Your Move Developer's challenge Build the coolest Linux based applications with Moblin SDK & win great prizes Grand prize is a trip for two to an Open Source event anywhere in the world http://moblin-contest.org/redirect.php?banner_id=100&url=/ ------------------------------------------------------------------------------ _______________________________________________ OpenCyc-devel mailing list Ope...@li... https://lists.sourceforge.net/lists/listinfo/opencyc-devel |
|
From: Paul F. <pf...@cs...> - 2008-08-11 22:59:29
|
It seems everything runs in BaseKB:
EL Query :
(reach-predicate ?X ?Y)
Answer Bindings :
?X → node-1
?Y → node-1
Justifications :
[B](implies
(edge-predicate ?X ?Y)
(reach-predicate ?X ?Y)) in BaseKB
[B](implies
(and
(edge-predicate ?X ?Z)
(reach-predicate ?Z ?Y))
(reach-predicate ?X ?Y)) in BaseKB
[Def](edge-predicate node-1 node-2) in BaseKB
[Def](edge-predicate node-2 node-1) in BaseKB
But running the query in the Cyc console and same KB has no response:
CYC(27): (new-cyc-query '(#$reach-predicate #$node-1 ?Y) #$BaseKB '(:metrics
(:total-time :complete-total-time :time-per-answer :time-to-first-answer
:answer-count)))
NIL
:EXHAUST-TOTAL
NIL
(0 0 NIL NIL 0)
On Mon, Aug 11, 2008 at 6:52 PM, Paul Fodor <pf...@cs...> wrote:
> On Mon, Aug 11, 2008 at 6:12 PM, David Whitten
> <dav...@gm...> wrote:
>> What Microtheory are you using when you give the query to the browser?
>> David
>
> My OpenCyc 1.0 KB browser does not allow me to select a microtheory
> for a query. I guess it queries all microtheories.
> I guess the OpenCyc Tutorial was written for a newer version of Cyc,
> because it also says: "select the microtheory", but the KB browser
> doesn't have something like that.
>
> In the CYC console, I tried them all, but still didn't get an answer:
> (new-cyc-query '(#$reach-predicate #$node-1 ?Y) #$graphMT)
> (new-cyc-query '(#$reach-predicate #$node-1 ?Y) #$BaseKB)
> (new-cyc-query '(#$reach-predicate #$node-1 ?Y))
>
> I also changed the program to use the #$BaseKB microtheory for all
> assertions and still got the same behaviour: 4 results in KB browser,
> but no result in CYC console.
>
> (WITH-BOOKKEEPING-INFO
> (NEW-BOOKKEEPING-INFO NIL
> (THE-DATE) NIL
> (THE-SECOND))
> (CLET
> (
> (*REQUIRE-CASE-INSENSITIVE-NAME-UNIQUENESS* NIL)
> (*THE-CYCLIST* NIL)
> (*KE-PURPOSE* NIL))
> (KE-CREATE-NOW "node-type")))
>
> (WITH-BOOKKEEPING-INFO
> (NEW-BOOKKEEPING-INFO NIL
> (THE-DATE) NIL
> (THE-SECOND))
> (CLET
> (
> (*THE-CYCLIST* NIL)
> (*KE-PURPOSE* NIL))
> (KE-ASSERT-NOW
> (LIST #$comment #$node-type "") #$BaseKB)))
>
> (WITH-BOOKKEEPING-INFO
> (NEW-BOOKKEEPING-INFO NIL
> (THE-DATE) NIL
> (THE-SECOND))
> (CLET
> (
> (*THE-CYCLIST* NIL)
> (*KE-PURPOSE* NIL))
> (KE-ASSERT-NOW
> (LIST #$isa #$node-type #$FirstOrderCollection)
#$UniversalVocabularyMt)))
>
> (WITH-BOOKKEEPING-INFO
> (NEW-BOOKKEEPING-INFO NIL
> (THE-DATE) NIL
> (THE-SECOND))
> (CLET
> (
> (*THE-CYCLIST* NIL)
> (*KE-PURPOSE* NIL))
> (KE-ASSERT-NOW
> (LIST #$genls #$node-type #$Individual) #$UniversalVocabularyMt)))
>
> (WITH-BOOKKEEPING-INFO
> (NEW-BOOKKEEPING-INFO NIL
> (THE-DATE) NIL
> (THE-SECOND))
> (CLET
> (
> (*REQUIRE-CASE-INSENSITIVE-NAME-UNIQUENESS* NIL)
> (*THE-CYCLIST* NIL)
> (*KE-PURPOSE* NIL))
> (KE-CREATE-NOW "node-1")))
>
> (WITH-BOOKKEEPING-INFO
> (NEW-BOOKKEEPING-INFO NIL
> (THE-DATE) NIL
> (THE-SECOND))
> (CLET
> (
> (*THE-CYCLIST* NIL)
> (*KE-PURPOSE* NIL))
> (KE-ASSERT-NOW
> (LIST #$isa #$node-1 #$node-type) #$BaseKB)))
>
> (WITH-BOOKKEEPING-INFO
> (NEW-BOOKKEEPING-INFO NIL
> (THE-DATE) NIL
> (THE-SECOND))
> (CLET
> (
> (*REQUIRE-CASE-INSENSITIVE-NAME-UNIQUENESS* NIL)
> (*THE-CYCLIST* NIL)
> (*KE-PURPOSE* NIL))
> (KE-CREATE-NOW "node-2")))
>
> (WITH-BOOKKEEPING-INFO
> (NEW-BOOKKEEPING-INFO NIL
> (THE-DATE) NIL
> (THE-SECOND))
> (CLET
> (
> (*THE-CYCLIST* NIL)
> (*KE-PURPOSE* NIL))
> (KE-ASSERT-NOW
> (LIST #$isa #$node-2 #$node-type) #$BaseKB)))
>
> (WITH-BOOKKEEPING-INFO
> (NEW-BOOKKEEPING-INFO NIL
> (THE-DATE) NIL
> (THE-SECOND))
> (CLET
> (
> (*REQUIRE-CASE-INSENSITIVE-NAME-UNIQUENESS* NIL)
> (*THE-CYCLIST* NIL)
> (*KE-PURPOSE* NIL))
> (KE-CREATE-NOW "edge-predicate")))
>
> (WITH-BOOKKEEPING-INFO
> (NEW-BOOKKEEPING-INFO NIL
> (THE-DATE) NIL
> (THE-SECOND))
> (CLET
> (
> (*THE-CYCLIST* NIL)
> (*KE-PURPOSE* NIL))
> (KE-ASSERT-NOW
> (LIST #$isa #$edge-predicate #$BinaryPredicate)
#$UniversalVocabularyMt)))
>
> (WITH-BOOKKEEPING-INFO
> (NEW-BOOKKEEPING-INFO NIL
> (THE-DATE) NIL
> (THE-SECOND))
> (CLET
> (
> (*THE-CYCLIST* NIL)
> (*KE-PURPOSE* NIL))
> (KE-ASSERT-NOW
> (LIST #$comment #$edge-predicate "") #$BaseKB)))
>
> (WITH-BOOKKEEPING-INFO
> (NEW-BOOKKEEPING-INFO NIL
> (THE-DATE) NIL
> (THE-SECOND))
> (CLET
> (
> (*THE-CYCLIST* NIL)
> (*KE-PURPOSE* NIL))
> (KE-ASSERT-NOW
> (LIST #$argIsa #$edge-predicate 1 #$node-type)
#$UniversalVocabularyMt)))
>
> (WITH-BOOKKEEPING-INFO
> (NEW-BOOKKEEPING-INFO NIL
> (THE-DATE) NIL
> (THE-SECOND))
> (CLET
> (
> (*THE-CYCLIST* NIL)
> (*KE-PURPOSE* NIL))
> (KE-ASSERT-NOW
> (LIST #$argIsa #$edge-predicate 2 #$node-type)
#$UniversalVocabularyMt)))
>
> (WITH-BOOKKEEPING-INFO
> (NEW-BOOKKEEPING-INFO NIL
> (THE-DATE) NIL
> (THE-SECOND))
> (CLET
> (
> (*THE-CYCLIST* NIL)
> (*KE-PURPOSE* NIL))
> (KE-ASSERT-NOW
> (LIST #$genlPreds #$edge-predicate #$conceptuallyRelated)
> #$UniversalVocabularyMt)))
>
>
> (WITH-BOOKKEEPING-INFO
> (NEW-BOOKKEEPING-INFO NIL
> (THE-DATE) NIL
> (THE-SECOND))
> (CLET
> (
> (*REQUIRE-CASE-INSENSITIVE-NAME-UNIQUENESS* NIL)
> (*THE-CYCLIST* NIL)
> (*KE-PURPOSE* NIL))
> (KE-CREATE-NOW "reach-predicate")))
>
> (WITH-BOOKKEEPING-INFO
> (NEW-BOOKKEEPING-INFO NIL
> (THE-DATE) NIL
> (THE-SECOND))
> (CLET
> (
> (*THE-CYCLIST* NIL)
> (*KE-PURPOSE* NIL))
> (KE-ASSERT-NOW
> (LIST #$isa #$reach-predicate #$BinaryPredicate)
> #$UniversalVocabularyMt)))
>
> (WITH-BOOKKEEPING-INFO
> (NEW-BOOKKEEPING-INFO NIL
> (THE-DATE) NIL
> (THE-SECOND))
> (CLET
> (
> (*THE-CYCLIST* NIL)
> (*KE-PURPOSE* NIL))
> (KE-ASSERT-NOW
> (LIST #$comment #$reach-predicate "") #$BaseKB)))
>
> (WITH-BOOKKEEPING-INFO
> (NEW-BOOKKEEPING-INFO NIL
> (THE-DATE) NIL
> (THE-SECOND))
> (CLET
> (
> (*THE-CYCLIST* NIL)
> (*KE-PURPOSE* NIL))
> (KE-ASSERT-NOW
> (LIST #$argIsa #$reach-predicate 1 #$node-type)
#$UniversalVocabularyMt)))
>
> (WITH-BOOKKEEPING-INFO
> (NEW-BOOKKEEPING-INFO NIL
> (THE-DATE) NIL
> (THE-SECOND))
> (CLET
> (
> (*THE-CYCLIST* NIL)
> (*KE-PURPOSE* NIL))
> (KE-ASSERT-NOW
> (LIST #$argIsa #$reach-predicate 2 #$node-type)
#$UniversalVocabularyMt)))
>
> (WITH-BOOKKEEPING-INFO
> (NEW-BOOKKEEPING-INFO NIL
> (THE-DATE) NIL
> (THE-SECOND))
> (CLET
> (
> (*THE-CYCLIST* NIL)
> (*KE-PURPOSE* NIL))
> (KE-ASSERT-NOW
> (LIST #$genlPreds #$reach-predicate #$conceptuallyRelated)
> #$UniversalVocabularyMt)))
>
>
> (WITH-BOOKKEEPING-INFO
> (NEW-BOOKKEEPING-INFO NIL
> (THE-DATE) NIL
> (THE-SECOND))
> (CLET
> (
> (*THE-CYCLIST* NIL)
> (*KE-PURPOSE* NIL))
> (KE-ASSERT-NOW
> (LIST #$edge-predicate #$node-1 #$node-2) #$BaseKB)))
>
> (WITH-BOOKKEEPING-INFO
> (NEW-BOOKKEEPING-INFO NIL
> (THE-DATE) NIL
> (THE-SECOND))
> (CLET
> (
> (*THE-CYCLIST* NIL)
> (*KE-PURPOSE* NIL))
> (KE-ASSERT-NOW
> (LIST #$edge-predicate #$node-2 #$node-1) #$BaseKB)))
>
>
> (WITH-BOOKKEEPING-INFO
> (NEW-BOOKKEEPING-INFO NIL
> (THE-DATE) NIL
> (THE-SECOND))
> (CLET
> (
> (*THE-CYCLIST* NIL)
> (*KE-PURPOSE* NIL))
> (KE-ASSERT-NOW
> '(#$implies (#$edge-predicate ?X ?Y) (#$reach-predicate ?X ?Y))
> #$BaseKB)))
>
> (WITH-BOOKKEEPING-INFO
> (NEW-BOOKKEEPING-INFO NIL
> (THE-DATE) NIL
> (THE-SECOND))
> (CLET
> (
> (*THE-CYCLIST* NIL)
> (*KE-PURPOSE* NIL))
> (KE-ASSERT-NOW
> '(#$implies (#$and (#$edge-predicate ?X ?Z) (#$reach-predicate
> ?Z ?Y)) (#$reach-predicate ?X ?Y))
> #$BaseKB)))
>
> (new-cyc-query '(#$reach-predicate ?X ?Y) #$BaseKB '(:metrics
> (:total-time :complete-total-time :time-per-answer
> :time-to-first-answer :answer-count)))
> (new-cyc-query '(#$reach-predicate #$node-1 ?Y) #$BaseKB '(:metrics
> (:total-time :complete-total-time :time-per-answer
> :time-to-first-answer :answer-count)))
>
|
|
From: Paul F. <pf...@cs...> - 2008-08-11 22:51:54
|
On Mon, Aug 11, 2008 at 6:12 PM, David Whitten
<dav...@gm...> wrote:
> What Microtheory are you using when you give the query to the browser?
> David
My OpenCyc 1.0 KB browser does not allow me to select a microtheory
for a query. I guess it queries all microtheories.
I guess the OpenCyc Tutorial was written for a newer version of Cyc,
because it also says: "select the microtheory", but the KB browser
doesn't have something like that.
In the CYC console, I tried them all, but still didn't get an answer:
(new-cyc-query '(#$reach-predicate #$node-1 ?Y) #$graphMT)
(new-cyc-query '(#$reach-predicate #$node-1 ?Y) #$BaseKB)
(new-cyc-query '(#$reach-predicate #$node-1 ?Y))
I also changed the program to use the #$BaseKB microtheory for all
assertions and still got the same behaviour: 4 results in KB browser,
but no result in CYC console.
(WITH-BOOKKEEPING-INFO
(NEW-BOOKKEEPING-INFO NIL
(THE-DATE) NIL
(THE-SECOND))
(CLET
(
(*REQUIRE-CASE-INSENSITIVE-NAME-UNIQUENESS* NIL)
(*THE-CYCLIST* NIL)
(*KE-PURPOSE* NIL))
(KE-CREATE-NOW "node-type")))
(WITH-BOOKKEEPING-INFO
(NEW-BOOKKEEPING-INFO NIL
(THE-DATE) NIL
(THE-SECOND))
(CLET
(
(*THE-CYCLIST* NIL)
(*KE-PURPOSE* NIL))
(KE-ASSERT-NOW
(LIST #$comment #$node-type "") #$BaseKB)))
(WITH-BOOKKEEPING-INFO
(NEW-BOOKKEEPING-INFO NIL
(THE-DATE) NIL
(THE-SECOND))
(CLET
(
(*THE-CYCLIST* NIL)
(*KE-PURPOSE* NIL))
(KE-ASSERT-NOW
(LIST #$isa #$node-type #$FirstOrderCollection) #$UniversalVocabularyMt)))
(WITH-BOOKKEEPING-INFO
(NEW-BOOKKEEPING-INFO NIL
(THE-DATE) NIL
(THE-SECOND))
(CLET
(
(*THE-CYCLIST* NIL)
(*KE-PURPOSE* NIL))
(KE-ASSERT-NOW
(LIST #$genls #$node-type #$Individual) #$UniversalVocabularyMt)))
(WITH-BOOKKEEPING-INFO
(NEW-BOOKKEEPING-INFO NIL
(THE-DATE) NIL
(THE-SECOND))
(CLET
(
(*REQUIRE-CASE-INSENSITIVE-NAME-UNIQUENESS* NIL)
(*THE-CYCLIST* NIL)
(*KE-PURPOSE* NIL))
(KE-CREATE-NOW "node-1")))
(WITH-BOOKKEEPING-INFO
(NEW-BOOKKEEPING-INFO NIL
(THE-DATE) NIL
(THE-SECOND))
(CLET
(
(*THE-CYCLIST* NIL)
(*KE-PURPOSE* NIL))
(KE-ASSERT-NOW
(LIST #$isa #$node-1 #$node-type) #$BaseKB)))
(WITH-BOOKKEEPING-INFO
(NEW-BOOKKEEPING-INFO NIL
(THE-DATE) NIL
(THE-SECOND))
(CLET
(
(*REQUIRE-CASE-INSENSITIVE-NAME-UNIQUENESS* NIL)
(*THE-CYCLIST* NIL)
(*KE-PURPOSE* NIL))
(KE-CREATE-NOW "node-2")))
(WITH-BOOKKEEPING-INFO
(NEW-BOOKKEEPING-INFO NIL
(THE-DATE) NIL
(THE-SECOND))
(CLET
(
(*THE-CYCLIST* NIL)
(*KE-PURPOSE* NIL))
(KE-ASSERT-NOW
(LIST #$isa #$node-2 #$node-type) #$BaseKB)))
(WITH-BOOKKEEPING-INFO
(NEW-BOOKKEEPING-INFO NIL
(THE-DATE) NIL
(THE-SECOND))
(CLET
(
(*REQUIRE-CASE-INSENSITIVE-NAME-UNIQUENESS* NIL)
(*THE-CYCLIST* NIL)
(*KE-PURPOSE* NIL))
(KE-CREATE-NOW "edge-predicate")))
(WITH-BOOKKEEPING-INFO
(NEW-BOOKKEEPING-INFO NIL
(THE-DATE) NIL
(THE-SECOND))
(CLET
(
(*THE-CYCLIST* NIL)
(*KE-PURPOSE* NIL))
(KE-ASSERT-NOW
(LIST #$isa #$edge-predicate #$BinaryPredicate) #$UniversalVocabularyMt)))
(WITH-BOOKKEEPING-INFO
(NEW-BOOKKEEPING-INFO NIL
(THE-DATE) NIL
(THE-SECOND))
(CLET
(
(*THE-CYCLIST* NIL)
(*KE-PURPOSE* NIL))
(KE-ASSERT-NOW
(LIST #$comment #$edge-predicate "") #$BaseKB)))
(WITH-BOOKKEEPING-INFO
(NEW-BOOKKEEPING-INFO NIL
(THE-DATE) NIL
(THE-SECOND))
(CLET
(
(*THE-CYCLIST* NIL)
(*KE-PURPOSE* NIL))
(KE-ASSERT-NOW
(LIST #$argIsa #$edge-predicate 1 #$node-type) #$UniversalVocabularyMt)))
(WITH-BOOKKEEPING-INFO
(NEW-BOOKKEEPING-INFO NIL
(THE-DATE) NIL
(THE-SECOND))
(CLET
(
(*THE-CYCLIST* NIL)
(*KE-PURPOSE* NIL))
(KE-ASSERT-NOW
(LIST #$argIsa #$edge-predicate 2 #$node-type) #$UniversalVocabularyMt)))
(WITH-BOOKKEEPING-INFO
(NEW-BOOKKEEPING-INFO NIL
(THE-DATE) NIL
(THE-SECOND))
(CLET
(
(*THE-CYCLIST* NIL)
(*KE-PURPOSE* NIL))
(KE-ASSERT-NOW
(LIST #$genlPreds #$edge-predicate #$conceptuallyRelated)
#$UniversalVocabularyMt)))
(WITH-BOOKKEEPING-INFO
(NEW-BOOKKEEPING-INFO NIL
(THE-DATE) NIL
(THE-SECOND))
(CLET
(
(*REQUIRE-CASE-INSENSITIVE-NAME-UNIQUENESS* NIL)
(*THE-CYCLIST* NIL)
(*KE-PURPOSE* NIL))
(KE-CREATE-NOW "reach-predicate")))
(WITH-BOOKKEEPING-INFO
(NEW-BOOKKEEPING-INFO NIL
(THE-DATE) NIL
(THE-SECOND))
(CLET
(
(*THE-CYCLIST* NIL)
(*KE-PURPOSE* NIL))
(KE-ASSERT-NOW
(LIST #$isa #$reach-predicate #$BinaryPredicate)
#$UniversalVocabularyMt)))
(WITH-BOOKKEEPING-INFO
(NEW-BOOKKEEPING-INFO NIL
(THE-DATE) NIL
(THE-SECOND))
(CLET
(
(*THE-CYCLIST* NIL)
(*KE-PURPOSE* NIL))
(KE-ASSERT-NOW
(LIST #$comment #$reach-predicate "") #$BaseKB)))
(WITH-BOOKKEEPING-INFO
(NEW-BOOKKEEPING-INFO NIL
(THE-DATE) NIL
(THE-SECOND))
(CLET
(
(*THE-CYCLIST* NIL)
(*KE-PURPOSE* NIL))
(KE-ASSERT-NOW
(LIST #$argIsa #$reach-predicate 1 #$node-type) #$UniversalVocabularyMt)))
(WITH-BOOKKEEPING-INFO
(NEW-BOOKKEEPING-INFO NIL
(THE-DATE) NIL
(THE-SECOND))
(CLET
(
(*THE-CYCLIST* NIL)
(*KE-PURPOSE* NIL))
(KE-ASSERT-NOW
(LIST #$argIsa #$reach-predicate 2 #$node-type) #$UniversalVocabularyMt)))
(WITH-BOOKKEEPING-INFO
(NEW-BOOKKEEPING-INFO NIL
(THE-DATE) NIL
(THE-SECOND))
(CLET
(
(*THE-CYCLIST* NIL)
(*KE-PURPOSE* NIL))
(KE-ASSERT-NOW
(LIST #$genlPreds #$reach-predicate #$conceptuallyRelated)
#$UniversalVocabularyMt)))
(WITH-BOOKKEEPING-INFO
(NEW-BOOKKEEPING-INFO NIL
(THE-DATE) NIL
(THE-SECOND))
(CLET
(
(*THE-CYCLIST* NIL)
(*KE-PURPOSE* NIL))
(KE-ASSERT-NOW
(LIST #$edge-predicate #$node-1 #$node-2) #$BaseKB)))
(WITH-BOOKKEEPING-INFO
(NEW-BOOKKEEPING-INFO NIL
(THE-DATE) NIL
(THE-SECOND))
(CLET
(
(*THE-CYCLIST* NIL)
(*KE-PURPOSE* NIL))
(KE-ASSERT-NOW
(LIST #$edge-predicate #$node-2 #$node-1) #$BaseKB)))
(WITH-BOOKKEEPING-INFO
(NEW-BOOKKEEPING-INFO NIL
(THE-DATE) NIL
(THE-SECOND))
(CLET
(
(*THE-CYCLIST* NIL)
(*KE-PURPOSE* NIL))
(KE-ASSERT-NOW
'(#$implies (#$edge-predicate ?X ?Y) (#$reach-predicate ?X ?Y))
#$BaseKB)))
(WITH-BOOKKEEPING-INFO
(NEW-BOOKKEEPING-INFO NIL
(THE-DATE) NIL
(THE-SECOND))
(CLET
(
(*THE-CYCLIST* NIL)
(*KE-PURPOSE* NIL))
(KE-ASSERT-NOW
'(#$implies (#$and (#$edge-predicate ?X ?Z) (#$reach-predicate
?Z ?Y)) (#$reach-predicate ?X ?Y))
#$BaseKB)))
(new-cyc-query '(#$reach-predicate ?X ?Y) #$BaseKB '(:metrics
(:total-time :complete-total-time :time-per-answer
:time-to-first-answer :answer-count)))
(new-cyc-query '(#$reach-predicate #$node-1 ?Y) #$BaseKB '(:metrics
(:total-time :complete-total-time :time-per-answer
:time-to-first-answer :answer-count)))
|
|
From: David W. <dav...@gm...> - 2008-08-11 22:12:34
|
What Microtheory are you using when you give the query to the browser? David On 8/11/08, Paul Fodor <pf...@cs...> wrote: > Interestingly, if I put he same query in the KB browser: > (#$reach-predicate ?X ?Y) > I get four responses: reach #$node-1->#$node-2, #$node-1->#$node-1, > #$node-2->#$node-1, #$node-2->#$node-2 > > But if I ask: > (new-cyc-query '(#$reach-predicate ?X ?Y)) > in the CYC console, then I get no results. > > Thank you, > Paul Fodor > > On Mon, Aug 11, 2008 at 3:27 PM, Paul Fodor <pf...@cs...> wrote: > > Dear Sir, > > Thank you for your help with defying the #$edge-predicate. > > I have now another question. I defined a rechability predicate in > > graphs, but I cannot figure out why I have no answers. > > > > (WITH-BOOKKEEPING-INFO > > (NEW-BOOKKEEPING-INFO NIL > > (THE-DATE) NIL > > (THE-SECOND)) > > (CLET > > ( > > (*THE-CYCLIST* NIL) > > (*KE-PURPOSE* NIL)) > > (KE-ASSERT-NOW > > '(#$implies (#$edge-predicate ?X ?Y) (#$reach-predicate ?X ?Y)) > > #$graphMT))) > > > > (WITH-BOOKKEEPING-INFO > > (NEW-BOOKKEEPING-INFO NIL > > (THE-DATE) NIL > > (THE-SECOND)) > > (CLET > > ( > > (*THE-CYCLIST* NIL) > > (*KE-PURPOSE* NIL)) > > (KE-ASSERT-NOW > > '(#$implies (#$and (#$edge-predicate ?X ?Z) (#$reach-predicate > > ?Z ?Y)) (#$reach-predicate ?X ?Y)) > > #$graphMT))) > > > > (new-cyc-query '(#$reach-predicate ?X ?Y) #$graphMT '(:metrics > > (:total-time :complete-total-time :time-per-answer > > :time-to-first-answer :answer-count))) > > (new-cyc-query '(#$reach-predicate #$node-1 ?Y) #$graphMT '(:metrics > > (:total-time :complete-total-time :time-per-answer > > :time-to-first-answer :answer-count))) > > > > Both queries above have 0 answers, but the following queries have 2, > > respective 1 answers. > > > > (new-cyc-query '(#$edge-predicate ?X ?Y) #$graphMT '(:metrics > > (:total-time :complete-total-time :time-per-answer > > :time-to-first-answer :answer-count))) > > (new-cyc-query '(#$edge-predicate #$node-1 ?Y) #$graphMT '(:metrics > > (:total-time :complete-total-time :time-per-answer > > :time-to-first-answer :answer-count))) > > > > I attached the whole graph example below. > > Thank you, regards, > > Paul. > > > > (WITH-BOOKKEEPING-INFO > > (NEW-BOOKKEEPING-INFO NIL > > (THE-DATE) NIL > > (THE-SECOND)) > > (CLET > > ( > > (*REQUIRE-CASE-INSENSITIVE-NAME-UNIQUENESS* NIL) > > (*THE-CYCLIST* NIL) > > (*KE-PURPOSE* NIL)) > > (KE-CREATE-NOW "graphMT"))) > > > > (WITH-BOOKKEEPING-INFO > > (NEW-BOOKKEEPING-INFO NIL > > (THE-DATE) NIL > > (THE-SECOND)) > > (CLET > > ( > > (*THE-CYCLIST* NIL) > > (*KE-PURPOSE* NIL)) > > (KE-ASSERT-NOW > > (LIST #$comment #$graphMT "") #$BaseKB))) > > > > (WITH-BOOKKEEPING-INFO > > (NEW-BOOKKEEPING-INFO NIL > > (THE-DATE) NIL > > (THE-SECOND)) > > (CLET > > ( > > (*THE-CYCLIST* NIL) > > (*KE-PURPOSE* NIL)) > > (KE-ASSERT-NOW > > (LIST #$isa #$graphMT #$Microtheory) #$UniversalVocabularyMt))) > > > > (WITH-BOOKKEEPING-INFO > > (NEW-BOOKKEEPING-INFO NIL > > (THE-DATE) NIL > > (THE-SECOND)) > > (CLET > > ( > > (*REQUIRE-CASE-INSENSITIVE-NAME-UNIQUENESS* NIL) > > (*THE-CYCLIST* NIL) > > (*KE-PURPOSE* NIL)) > > (KE-CREATE-NOW "node-type"))) > > > > (WITH-BOOKKEEPING-INFO > > (NEW-BOOKKEEPING-INFO NIL > > (THE-DATE) NIL > > (THE-SECOND)) > > (CLET > > ( > > (*THE-CYCLIST* NIL) > > (*KE-PURPOSE* NIL)) > > (KE-ASSERT-NOW > > (LIST #$comment #$node-type "") #$graphMT))) > > > > (WITH-BOOKKEEPING-INFO > > (NEW-BOOKKEEPING-INFO NIL > > (THE-DATE) NIL > > (THE-SECOND)) > > (CLET > > ( > > (*THE-CYCLIST* NIL) > > (*KE-PURPOSE* NIL)) > > (KE-ASSERT-NOW > > (LIST #$isa #$node-type #$FirstOrderCollection) #$UniversalVocabularyMt))) > > > > (WITH-BOOKKEEPING-INFO > > (NEW-BOOKKEEPING-INFO NIL > > (THE-DATE) NIL > > (THE-SECOND)) > > (CLET > > ( > > (*THE-CYCLIST* NIL) > > (*KE-PURPOSE* NIL)) > > (KE-ASSERT-NOW > > (LIST #$genls #$node-type #$Individual) #$UniversalVocabularyMt))) > > > > (WITH-BOOKKEEPING-INFO > > (NEW-BOOKKEEPING-INFO NIL > > (THE-DATE) NIL > > (THE-SECOND)) > > (CLET > > ( > > (*REQUIRE-CASE-INSENSITIVE-NAME-UNIQUENESS* NIL) > > (*THE-CYCLIST* NIL) > > (*KE-PURPOSE* NIL)) > > (KE-CREATE-NOW "node-1"))) > > > > (WITH-BOOKKEEPING-INFO > > (NEW-BOOKKEEPING-INFO NIL > > (THE-DATE) NIL > > (THE-SECOND)) > > (CLET > > ( > > (*THE-CYCLIST* NIL) > > (*KE-PURPOSE* NIL)) > > (KE-ASSERT-NOW > > (LIST #$isa #$node-1 #$node-type) #$graphMT))) > > > > (WITH-BOOKKEEPING-INFO > > (NEW-BOOKKEEPING-INFO NIL > > (THE-DATE) NIL > > (THE-SECOND)) > > (CLET > > ( > > (*REQUIRE-CASE-INSENSITIVE-NAME-UNIQUENESS* NIL) > > (*THE-CYCLIST* NIL) > > (*KE-PURPOSE* NIL)) > > (KE-CREATE-NOW "node-2"))) > > > > (WITH-BOOKKEEPING-INFO > > (NEW-BOOKKEEPING-INFO NIL > > (THE-DATE) NIL > > (THE-SECOND)) > > (CLET > > ( > > (*THE-CYCLIST* NIL) > > (*KE-PURPOSE* NIL)) > > (KE-ASSERT-NOW > > (LIST #$isa #$node-2 #$node-type) #$graphMT))) > > > > (WITH-BOOKKEEPING-INFO > > (NEW-BOOKKEEPING-INFO NIL > > (THE-DATE) NIL > > (THE-SECOND)) > > (CLET > > ( > > (*REQUIRE-CASE-INSENSITIVE-NAME-UNIQUENESS* NIL) > > (*THE-CYCLIST* NIL) > > (*KE-PURPOSE* NIL)) > > (KE-CREATE-NOW "edge-predicate"))) > > > > (WITH-BOOKKEEPING-INFO > > (NEW-BOOKKEEPING-INFO NIL > > (THE-DATE) NIL > > (THE-SECOND)) > > (CLET > > ( > > (*THE-CYCLIST* NIL) > > (*KE-PURPOSE* NIL)) > > (KE-ASSERT-NOW > > (LIST #$isa #$edge-predicate #$BinaryPredicate) #$UniversalVocabularyMt))) > > > > (WITH-BOOKKEEPING-INFO > > (NEW-BOOKKEEPING-INFO NIL > > (THE-DATE) NIL > > (THE-SECOND)) > > (CLET > > ( > > (*THE-CYCLIST* NIL) > > (*KE-PURPOSE* NIL)) > > (KE-ASSERT-NOW > > (LIST #$comment #$edge-predicate "") #$BaseKB))) > > > > (WITH-BOOKKEEPING-INFO > > (NEW-BOOKKEEPING-INFO NIL > > (THE-DATE) NIL > > (THE-SECOND)) > > (CLET > > ( > > (*THE-CYCLIST* NIL) > > (*KE-PURPOSE* NIL)) > > (KE-ASSERT-NOW > > (LIST #$argIsa #$edge-predicate 1 #$node-type) #$UniversalVocabularyMt))) > > > > (WITH-BOOKKEEPING-INFO > > (NEW-BOOKKEEPING-INFO NIL > > (THE-DATE) NIL > > (THE-SECOND)) > > (CLET > > ( > > (*THE-CYCLIST* NIL) > > (*KE-PURPOSE* NIL)) > > (KE-ASSERT-NOW > > (LIST #$argIsa #$edge-predicate 2 #$node-type) #$UniversalVocabularyMt))) > > > > (WITH-BOOKKEEPING-INFO > > (NEW-BOOKKEEPING-INFO NIL > > (THE-DATE) NIL > > (THE-SECOND)) > > (CLET > > ( > > (*THE-CYCLIST* NIL) > > (*KE-PURPOSE* NIL)) > > (KE-ASSERT-NOW > > (LIST #$genlPreds #$edge-predicate #$conceptuallyRelated) > > #$UniversalVocabularyMt))) > > > > > > (WITH-BOOKKEEPING-INFO > > (NEW-BOOKKEEPING-INFO NIL > > (THE-DATE) NIL > > (THE-SECOND)) > > (CLET > > ( > > (*REQUIRE-CASE-INSENSITIVE-NAME-UNIQUENESS* NIL) > > (*THE-CYCLIST* NIL) > > (*KE-PURPOSE* NIL)) > > (KE-CREATE-NOW "reach-predicate"))) > > > > (WITH-BOOKKEEPING-INFO > > (NEW-BOOKKEEPING-INFO NIL > > (THE-DATE) NIL > > (THE-SECOND)) > > (CLET > > ( > > (*THE-CYCLIST* NIL) > > (*KE-PURPOSE* NIL)) > > (KE-ASSERT-NOW > > (LIST #$isa #$reach-predicate #$BinaryPredicate) > > #$UniversalVocabularyMt))) > > > > (WITH-BOOKKEEPING-INFO > > (NEW-BOOKKEEPING-INFO NIL > > (THE-DATE) NIL > > (THE-SECOND)) > > (CLET > > ( > > (*THE-CYCLIST* NIL) > > (*KE-PURPOSE* NIL)) > > (KE-ASSERT-NOW > > (LIST #$comment #$reach-predicate "") #$BaseKB))) > > > > (WITH-BOOKKEEPING-INFO > > (NEW-BOOKKEEPING-INFO NIL > > (THE-DATE) NIL > > (THE-SECOND)) > > (CLET > > ( > > (*THE-CYCLIST* NIL) > > (*KE-PURPOSE* NIL)) > > (KE-ASSERT-NOW > > (LIST #$argIsa #$reach-predicate 1 #$node-type) #$UniversalVocabularyMt))) > > > > (WITH-BOOKKEEPING-INFO > > (NEW-BOOKKEEPING-INFO NIL > > (THE-DATE) NIL > > (THE-SECOND)) > > (CLET > > ( > > (*THE-CYCLIST* NIL) > > (*KE-PURPOSE* NIL)) > > (KE-ASSERT-NOW > > (LIST #$argIsa #$reach-predicate 2 #$node-type) #$UniversalVocabularyMt))) > > > > (WITH-BOOKKEEPING-INFO > > (NEW-BOOKKEEPING-INFO NIL > > (THE-DATE) NIL > > (THE-SECOND)) > > (CLET > > ( > > (*THE-CYCLIST* NIL) > > (*KE-PURPOSE* NIL)) > > (KE-ASSERT-NOW > > (LIST #$genlPreds #$reach-predicate #$conceptuallyRelated) > > #$UniversalVocabularyMt))) > > > > > > (WITH-BOOKKEEPING-INFO > > (NEW-BOOKKEEPING-INFO NIL > > (THE-DATE) NIL > > (THE-SECOND)) > > (CLET > > ( > > (*THE-CYCLIST* NIL) > > (*KE-PURPOSE* NIL)) > > (KE-ASSERT-NOW > > (LIST #$edge-predicate #$node-1 #$node-2) #$graphMT))) > > > > (WITH-BOOKKEEPING-INFO > > (NEW-BOOKKEEPING-INFO NIL > > (THE-DATE) NIL > > (THE-SECOND)) > > (CLET > > ( > > (*THE-CYCLIST* NIL) > > (*KE-PURPOSE* NIL)) > > (KE-ASSERT-NOW > > (LIST #$edge-predicate #$node-2 #$node-1) #$graphMT))) > > > > > > (WITH-BOOKKEEPING-INFO > > (NEW-BOOKKEEPING-INFO NIL > > (THE-DATE) NIL > > (THE-SECOND)) > > (CLET > > ( > > (*THE-CYCLIST* NIL) > > (*KE-PURPOSE* NIL)) > > (KE-ASSERT-NOW > > '(#$implies (#$edge-predicate ?X ?Y) (#$reach-predicate ?X ?Y)) > > #$graphMT))) > > > > (WITH-BOOKKEEPING-INFO > > (NEW-BOOKKEEPING-INFO NIL > > (THE-DATE) NIL > > (THE-SECOND)) > > (CLET > > ( > > (*THE-CYCLIST* NIL) > > (*KE-PURPOSE* NIL)) > > (KE-ASSERT-NOW > > '(#$implies (#$and (#$edge-predicate ?X ?Z) (#$reach-predicate > > ?Z ?Y)) (#$reach-predicate ?X ?Y)) > > #$graphMT))) > > > > (new-cyc-query '(#$reach-predicate ?X ?Y) #$graphMT '(:metrics > > (:total-time :complete-total-time :time-per-answer > > :time-to-first-answer :answer-count))) > > (new-cyc-query '(#$reach-predicate #$node-1 ?Y) #$graphMT '(:metrics > > (:total-time :complete-total-time :time-per-answer > > :time-to-first-answer :answer-count))) > > > > ------------------------------------------------------------------------- > This SF.Net email is sponsored by the Moblin Your Move Developer's challenge > Build the coolest Linux based applications with Moblin SDK & win great prizes > Grand prize is a trip for two to an Open Source event anywhere in the world > http://moblin-contest.org/redirect.php?banner_id=100&url=/ > _______________________________________________ > OpenCyc-devel mailing list > Ope...@li... > https://lists.sourceforge.net/lists/listinfo/opencyc-devel > |
|
From: David W. <dav...@gm...> - 2008-08-11 22:12:06
|
What Microtheory are you using when you give the query to the browser? David On 8/11/08, Paul Fodor <pf...@cs...> wrote: > Interestingly, if I put he same query in the KB browser: > (#$reach-predicate ?X ?Y) > I get four responses: reach #$node-1->#$node-2, #$node-1->#$node-1, > #$node-2->#$node-1, #$node-2->#$node-2 > > But if I ask: > (new-cyc-query '(#$reach-predicate ?X ?Y)) > in the CYC console, then I get no results. > > Thank you, > Paul Fodor > > On Mon, Aug 11, 2008 at 3:27 PM, Paul Fodor <pf...@cs...> wrote: > > Dear Sir, > > Thank you for your help with defying the #$edge-predicate. > > I have now another question. I defined a rechability predicate in > > graphs, but I cannot figure out why I have no answers. > > > > (WITH-BOOKKEEPING-INFO > > (NEW-BOOKKEEPING-INFO NIL > > (THE-DATE) NIL > > (THE-SECOND)) > > (CLET > > ( > > (*THE-CYCLIST* NIL) > > (*KE-PURPOSE* NIL)) > > (KE-ASSERT-NOW > > '(#$implies (#$edge-predicate ?X ?Y) (#$reach-predicate ?X ?Y)) > > #$graphMT))) > > > > (WITH-BOOKKEEPING-INFO > > (NEW-BOOKKEEPING-INFO NIL > > (THE-DATE) NIL > > (THE-SECOND)) > > (CLET > > ( > > (*THE-CYCLIST* NIL) > > (*KE-PURPOSE* NIL)) > > (KE-ASSERT-NOW > > '(#$implies (#$and (#$edge-predicate ?X ?Z) (#$reach-predicate > > ?Z ?Y)) (#$reach-predicate ?X ?Y)) > > #$graphMT))) > > > > (new-cyc-query '(#$reach-predicate ?X ?Y) #$graphMT '(:metrics > > (:total-time :complete-total-time :time-per-answer > > :time-to-first-answer :answer-count))) > > (new-cyc-query '(#$reach-predicate #$node-1 ?Y) #$graphMT '(:metrics > > (:total-time :complete-total-time :time-per-answer > > :time-to-first-answer :answer-count))) > > > > Both queries above have 0 answers, but the following queries have 2, > > respective 1 answers. > > > > (new-cyc-query '(#$edge-predicate ?X ?Y) #$graphMT '(:metrics > > (:total-time :complete-total-time :time-per-answer > > :time-to-first-answer :answer-count))) > > (new-cyc-query '(#$edge-predicate #$node-1 ?Y) #$graphMT '(:metrics > > (:total-time :complete-total-time :time-per-answer > > :time-to-first-answer :answer-count))) > > > > I attached the whole graph example below. > > Thank you, regards, > > Paul. > > > > (WITH-BOOKKEEPING-INFO > > (NEW-BOOKKEEPING-INFO NIL > > (THE-DATE) NIL > > (THE-SECOND)) > > (CLET > > ( > > (*REQUIRE-CASE-INSENSITIVE-NAME-UNIQUENESS* NIL) > > (*THE-CYCLIST* NIL) > > (*KE-PURPOSE* NIL)) > > (KE-CREATE-NOW "graphMT"))) > > > > (WITH-BOOKKEEPING-INFO > > (NEW-BOOKKEEPING-INFO NIL > > (THE-DATE) NIL > > (THE-SECOND)) > > (CLET > > ( > > (*THE-CYCLIST* NIL) > > (*KE-PURPOSE* NIL)) > > (KE-ASSERT-NOW > > (LIST #$comment #$graphMT "") #$BaseKB))) > > > > (WITH-BOOKKEEPING-INFO > > (NEW-BOOKKEEPING-INFO NIL > > (THE-DATE) NIL > > (THE-SECOND)) > > (CLET > > ( > > (*THE-CYCLIST* NIL) > > (*KE-PURPOSE* NIL)) > > (KE-ASSERT-NOW > > (LIST #$isa #$graphMT #$Microtheory) #$UniversalVocabularyMt))) > > > > (WITH-BOOKKEEPING-INFO > > (NEW-BOOKKEEPING-INFO NIL > > (THE-DATE) NIL > > (THE-SECOND)) > > (CLET > > ( > > (*REQUIRE-CASE-INSENSITIVE-NAME-UNIQUENESS* NIL) > > (*THE-CYCLIST* NIL) > > (*KE-PURPOSE* NIL)) > > (KE-CREATE-NOW "node-type"))) > > > > (WITH-BOOKKEEPING-INFO > > (NEW-BOOKKEEPING-INFO NIL > > (THE-DATE) NIL > > (THE-SECOND)) > > (CLET > > ( > > (*THE-CYCLIST* NIL) > > (*KE-PURPOSE* NIL)) > > (KE-ASSERT-NOW > > (LIST #$comment #$node-type "") #$graphMT))) > > > > (WITH-BOOKKEEPING-INFO > > (NEW-BOOKKEEPING-INFO NIL > > (THE-DATE) NIL > > (THE-SECOND)) > > (CLET > > ( > > (*THE-CYCLIST* NIL) > > (*KE-PURPOSE* NIL)) > > (KE-ASSERT-NOW > > (LIST #$isa #$node-type #$FirstOrderCollection) #$UniversalVocabularyMt))) > > > > (WITH-BOOKKEEPING-INFO > > (NEW-BOOKKEEPING-INFO NIL > > (THE-DATE) NIL > > (THE-SECOND)) > > (CLET > > ( > > (*THE-CYCLIST* NIL) > > (*KE-PURPOSE* NIL)) > > (KE-ASSERT-NOW > > (LIST #$genls #$node-type #$Individual) #$UniversalVocabularyMt))) > > > > (WITH-BOOKKEEPING-INFO > > (NEW-BOOKKEEPING-INFO NIL > > (THE-DATE) NIL > > (THE-SECOND)) > > (CLET > > ( > > (*REQUIRE-CASE-INSENSITIVE-NAME-UNIQUENESS* NIL) > > (*THE-CYCLIST* NIL) > > (*KE-PURPOSE* NIL)) > > (KE-CREATE-NOW "node-1"))) > > > > (WITH-BOOKKEEPING-INFO > > (NEW-BOOKKEEPING-INFO NIL > > (THE-DATE) NIL > > (THE-SECOND)) > > (CLET > > ( > > (*THE-CYCLIST* NIL) > > (*KE-PURPOSE* NIL)) > > (KE-ASSERT-NOW > > (LIST #$isa #$node-1 #$node-type) #$graphMT))) > > > > (WITH-BOOKKEEPING-INFO > > (NEW-BOOKKEEPING-INFO NIL > > (THE-DATE) NIL > > (THE-SECOND)) > > (CLET > > ( > > (*REQUIRE-CASE-INSENSITIVE-NAME-UNIQUENESS* NIL) > > (*THE-CYCLIST* NIL) > > (*KE-PURPOSE* NIL)) > > (KE-CREATE-NOW "node-2"))) > > > > (WITH-BOOKKEEPING-INFO > > (NEW-BOOKKEEPING-INFO NIL > > (THE-DATE) NIL > > (THE-SECOND)) > > (CLET > > ( > > (*THE-CYCLIST* NIL) > > (*KE-PURPOSE* NIL)) > > (KE-ASSERT-NOW > > (LIST #$isa #$node-2 #$node-type) #$graphMT))) > > > > (WITH-BOOKKEEPING-INFO > > (NEW-BOOKKEEPING-INFO NIL > > (THE-DATE) NIL > > (THE-SECOND)) > > (CLET > > ( > > (*REQUIRE-CASE-INSENSITIVE-NAME-UNIQUENESS* NIL) > > (*THE-CYCLIST* NIL) > > (*KE-PURPOSE* NIL)) > > (KE-CREATE-NOW "edge-predicate"))) > > > > (WITH-BOOKKEEPING-INFO > > (NEW-BOOKKEEPING-INFO NIL > > (THE-DATE) NIL > > (THE-SECOND)) > > (CLET > > ( > > (*THE-CYCLIST* NIL) > > (*KE-PURPOSE* NIL)) > > (KE-ASSERT-NOW > > (LIST #$isa #$edge-predicate #$BinaryPredicate) #$UniversalVocabularyMt))) > > > > (WITH-BOOKKEEPING-INFO > > (NEW-BOOKKEEPING-INFO NIL > > (THE-DATE) NIL > > (THE-SECOND)) > > (CLET > > ( > > (*THE-CYCLIST* NIL) > > (*KE-PURPOSE* NIL)) > > (KE-ASSERT-NOW > > (LIST #$comment #$edge-predicate "") #$BaseKB))) > > > > (WITH-BOOKKEEPING-INFO > > (NEW-BOOKKEEPING-INFO NIL > > (THE-DATE) NIL > > (THE-SECOND)) > > (CLET > > ( > > (*THE-CYCLIST* NIL) > > (*KE-PURPOSE* NIL)) > > (KE-ASSERT-NOW > > (LIST #$argIsa #$edge-predicate 1 #$node-type) #$UniversalVocabularyMt))) > > > > (WITH-BOOKKEEPING-INFO > > (NEW-BOOKKEEPING-INFO NIL > > (THE-DATE) NIL > > (THE-SECOND)) > > (CLET > > ( > > (*THE-CYCLIST* NIL) > > (*KE-PURPOSE* NIL)) > > (KE-ASSERT-NOW > > (LIST #$argIsa #$edge-predicate 2 #$node-type) #$UniversalVocabularyMt))) > > > > (WITH-BOOKKEEPING-INFO > > (NEW-BOOKKEEPING-INFO NIL > > (THE-DATE) NIL > > (THE-SECOND)) > > (CLET > > ( > > (*THE-CYCLIST* NIL) > > (*KE-PURPOSE* NIL)) > > (KE-ASSERT-NOW > > (LIST #$genlPreds #$edge-predicate #$conceptuallyRelated) > > #$UniversalVocabularyMt))) > > > > > > (WITH-BOOKKEEPING-INFO > > (NEW-BOOKKEEPING-INFO NIL > > (THE-DATE) NIL > > (THE-SECOND)) > > (CLET > > ( > > (*REQUIRE-CASE-INSENSITIVE-NAME-UNIQUENESS* NIL) > > (*THE-CYCLIST* NIL) > > (*KE-PURPOSE* NIL)) > > (KE-CREATE-NOW "reach-predicate"))) > > > > (WITH-BOOKKEEPING-INFO > > (NEW-BOOKKEEPING-INFO NIL > > (THE-DATE) NIL > > (THE-SECOND)) > > (CLET > > ( > > (*THE-CYCLIST* NIL) > > (*KE-PURPOSE* NIL)) > > (KE-ASSERT-NOW > > (LIST #$isa #$reach-predicate #$BinaryPredicate) > > #$UniversalVocabularyMt))) > > > > (WITH-BOOKKEEPING-INFO > > (NEW-BOOKKEEPING-INFO NIL > > (THE-DATE) NIL > > (THE-SECOND)) > > (CLET > > ( > > (*THE-CYCLIST* NIL) > > (*KE-PURPOSE* NIL)) > > (KE-ASSERT-NOW > > (LIST #$comment #$reach-predicate "") #$BaseKB))) > > > > (WITH-BOOKKEEPING-INFO > > (NEW-BOOKKEEPING-INFO NIL > > (THE-DATE) NIL > > (THE-SECOND)) > > (CLET > > ( > > (*THE-CYCLIST* NIL) > > (*KE-PURPOSE* NIL)) > > (KE-ASSERT-NOW > > (LIST #$argIsa #$reach-predicate 1 #$node-type) #$UniversalVocabularyMt))) > > > > (WITH-BOOKKEEPING-INFO > > (NEW-BOOKKEEPING-INFO NIL > > (THE-DATE) NIL > > (THE-SECOND)) > > (CLET > > ( > > (*THE-CYCLIST* NIL) > > (*KE-PURPOSE* NIL)) > > (KE-ASSERT-NOW > > (LIST #$argIsa #$reach-predicate 2 #$node-type) #$UniversalVocabularyMt))) > > > > (WITH-BOOKKEEPING-INFO > > (NEW-BOOKKEEPING-INFO NIL > > (THE-DATE) NIL > > (THE-SECOND)) > > (CLET > > ( > > (*THE-CYCLIST* NIL) > > (*KE-PURPOSE* NIL)) > > (KE-ASSERT-NOW > > (LIST #$genlPreds #$reach-predicate #$conceptuallyRelated) > > #$UniversalVocabularyMt))) > > > > > > (WITH-BOOKKEEPING-INFO > > (NEW-BOOKKEEPING-INFO NIL > > (THE-DATE) NIL > > (THE-SECOND)) > > (CLET > > ( > > (*THE-CYCLIST* NIL) > > (*KE-PURPOSE* NIL)) > > (KE-ASSERT-NOW > > (LIST #$edge-predicate #$node-1 #$node-2) #$graphMT))) > > > > (WITH-BOOKKEEPING-INFO > > (NEW-BOOKKEEPING-INFO NIL > > (THE-DATE) NIL > > (THE-SECOND)) > > (CLET > > ( > > (*THE-CYCLIST* NIL) > > (*KE-PURPOSE* NIL)) > > (KE-ASSERT-NOW > > (LIST #$edge-predicate #$node-2 #$node-1) #$graphMT))) > > > > > > (WITH-BOOKKEEPING-INFO > > (NEW-BOOKKEEPING-INFO NIL > > (THE-DATE) NIL > > (THE-SECOND)) > > (CLET > > ( > > (*THE-CYCLIST* NIL) > > (*KE-PURPOSE* NIL)) > > (KE-ASSERT-NOW > > '(#$implies (#$edge-predicate ?X ?Y) (#$reach-predicate ?X ?Y)) > > #$graphMT))) > > > > (WITH-BOOKKEEPING-INFO > > (NEW-BOOKKEEPING-INFO NIL > > (THE-DATE) NIL > > (THE-SECOND)) > > (CLET > > ( > > (*THE-CYCLIST* NIL) > > (*KE-PURPOSE* NIL)) > > (KE-ASSERT-NOW > > '(#$implies (#$and (#$edge-predicate ?X ?Z) (#$reach-predicate > > ?Z ?Y)) (#$reach-predicate ?X ?Y)) > > #$graphMT))) > > > > (new-cyc-query '(#$reach-predicate ?X ?Y) #$graphMT '(:metrics > > (:total-time :complete-total-time :time-per-answer > > :time-to-first-answer :answer-count))) > > (new-cyc-query '(#$reach-predicate #$node-1 ?Y) #$graphMT '(:metrics > > (:total-time :complete-total-time :time-per-answer > > :time-to-first-answer :answer-count))) > > > > ------------------------------------------------------------------------- > This SF.Net email is sponsored by the Moblin Your Move Developer's challenge > Build the coolest Linux based applications with Moblin SDK & win great prizes > Grand prize is a trip for two to an Open Source event anywhere in the world > http://moblin-contest.org/redirect.php?banner_id=100&url=/ > _______________________________________________ > OpenCyc-devel mailing list > Ope...@li... > https://lists.sourceforge.net/lists/listinfo/opencyc-devel > |
|
From: Paul F. <pf...@cs...> - 2008-08-11 20:26:44
|
Interestingly, if I put he same query in the KB browser: (#$reach-predicate ?X ?Y) I get four responses: reach #$node-1->#$node-2, #$node-1->#$node-1, #$node-2->#$node-1, #$node-2->#$node-2 But if I ask: (new-cyc-query '(#$reach-predicate ?X ?Y)) in the CYC console, then I get no results. Thank you, Paul Fodor On Mon, Aug 11, 2008 at 3:27 PM, Paul Fodor <pf...@cs...> wrote: > Dear Sir, > Thank you for your help with defying the #$edge-predicate. > I have now another question. I defined a rechability predicate in > graphs, but I cannot figure out why I have no answers. > > (WITH-BOOKKEEPING-INFO > (NEW-BOOKKEEPING-INFO NIL > (THE-DATE) NIL > (THE-SECOND)) > (CLET > ( > (*THE-CYCLIST* NIL) > (*KE-PURPOSE* NIL)) > (KE-ASSERT-NOW > '(#$implies (#$edge-predicate ?X ?Y) (#$reach-predicate ?X ?Y)) > #$graphMT))) > > (WITH-BOOKKEEPING-INFO > (NEW-BOOKKEEPING-INFO NIL > (THE-DATE) NIL > (THE-SECOND)) > (CLET > ( > (*THE-CYCLIST* NIL) > (*KE-PURPOSE* NIL)) > (KE-ASSERT-NOW > '(#$implies (#$and (#$edge-predicate ?X ?Z) (#$reach-predicate > ?Z ?Y)) (#$reach-predicate ?X ?Y)) > #$graphMT))) > > (new-cyc-query '(#$reach-predicate ?X ?Y) #$graphMT '(:metrics > (:total-time :complete-total-time :time-per-answer > :time-to-first-answer :answer-count))) > (new-cyc-query '(#$reach-predicate #$node-1 ?Y) #$graphMT '(:metrics > (:total-time :complete-total-time :time-per-answer > :time-to-first-answer :answer-count))) > > Both queries above have 0 answers, but the following queries have 2, > respective 1 answers. > > (new-cyc-query '(#$edge-predicate ?X ?Y) #$graphMT '(:metrics > (:total-time :complete-total-time :time-per-answer > :time-to-first-answer :answer-count))) > (new-cyc-query '(#$edge-predicate #$node-1 ?Y) #$graphMT '(:metrics > (:total-time :complete-total-time :time-per-answer > :time-to-first-answer :answer-count))) > > I attached the whole graph example below. > Thank you, regards, > Paul. > > (WITH-BOOKKEEPING-INFO > (NEW-BOOKKEEPING-INFO NIL > (THE-DATE) NIL > (THE-SECOND)) > (CLET > ( > (*REQUIRE-CASE-INSENSITIVE-NAME-UNIQUENESS* NIL) > (*THE-CYCLIST* NIL) > (*KE-PURPOSE* NIL)) > (KE-CREATE-NOW "graphMT"))) > > (WITH-BOOKKEEPING-INFO > (NEW-BOOKKEEPING-INFO NIL > (THE-DATE) NIL > (THE-SECOND)) > (CLET > ( > (*THE-CYCLIST* NIL) > (*KE-PURPOSE* NIL)) > (KE-ASSERT-NOW > (LIST #$comment #$graphMT "") #$BaseKB))) > > (WITH-BOOKKEEPING-INFO > (NEW-BOOKKEEPING-INFO NIL > (THE-DATE) NIL > (THE-SECOND)) > (CLET > ( > (*THE-CYCLIST* NIL) > (*KE-PURPOSE* NIL)) > (KE-ASSERT-NOW > (LIST #$isa #$graphMT #$Microtheory) #$UniversalVocabularyMt))) > > (WITH-BOOKKEEPING-INFO > (NEW-BOOKKEEPING-INFO NIL > (THE-DATE) NIL > (THE-SECOND)) > (CLET > ( > (*REQUIRE-CASE-INSENSITIVE-NAME-UNIQUENESS* NIL) > (*THE-CYCLIST* NIL) > (*KE-PURPOSE* NIL)) > (KE-CREATE-NOW "node-type"))) > > (WITH-BOOKKEEPING-INFO > (NEW-BOOKKEEPING-INFO NIL > (THE-DATE) NIL > (THE-SECOND)) > (CLET > ( > (*THE-CYCLIST* NIL) > (*KE-PURPOSE* NIL)) > (KE-ASSERT-NOW > (LIST #$comment #$node-type "") #$graphMT))) > > (WITH-BOOKKEEPING-INFO > (NEW-BOOKKEEPING-INFO NIL > (THE-DATE) NIL > (THE-SECOND)) > (CLET > ( > (*THE-CYCLIST* NIL) > (*KE-PURPOSE* NIL)) > (KE-ASSERT-NOW > (LIST #$isa #$node-type #$FirstOrderCollection) #$UniversalVocabularyMt))) > > (WITH-BOOKKEEPING-INFO > (NEW-BOOKKEEPING-INFO NIL > (THE-DATE) NIL > (THE-SECOND)) > (CLET > ( > (*THE-CYCLIST* NIL) > (*KE-PURPOSE* NIL)) > (KE-ASSERT-NOW > (LIST #$genls #$node-type #$Individual) #$UniversalVocabularyMt))) > > (WITH-BOOKKEEPING-INFO > (NEW-BOOKKEEPING-INFO NIL > (THE-DATE) NIL > (THE-SECOND)) > (CLET > ( > (*REQUIRE-CASE-INSENSITIVE-NAME-UNIQUENESS* NIL) > (*THE-CYCLIST* NIL) > (*KE-PURPOSE* NIL)) > (KE-CREATE-NOW "node-1"))) > > (WITH-BOOKKEEPING-INFO > (NEW-BOOKKEEPING-INFO NIL > (THE-DATE) NIL > (THE-SECOND)) > (CLET > ( > (*THE-CYCLIST* NIL) > (*KE-PURPOSE* NIL)) > (KE-ASSERT-NOW > (LIST #$isa #$node-1 #$node-type) #$graphMT))) > > (WITH-BOOKKEEPING-INFO > (NEW-BOOKKEEPING-INFO NIL > (THE-DATE) NIL > (THE-SECOND)) > (CLET > ( > (*REQUIRE-CASE-INSENSITIVE-NAME-UNIQUENESS* NIL) > (*THE-CYCLIST* NIL) > (*KE-PURPOSE* NIL)) > (KE-CREATE-NOW "node-2"))) > > (WITH-BOOKKEEPING-INFO > (NEW-BOOKKEEPING-INFO NIL > (THE-DATE) NIL > (THE-SECOND)) > (CLET > ( > (*THE-CYCLIST* NIL) > (*KE-PURPOSE* NIL)) > (KE-ASSERT-NOW > (LIST #$isa #$node-2 #$node-type) #$graphMT))) > > (WITH-BOOKKEEPING-INFO > (NEW-BOOKKEEPING-INFO NIL > (THE-DATE) NIL > (THE-SECOND)) > (CLET > ( > (*REQUIRE-CASE-INSENSITIVE-NAME-UNIQUENESS* NIL) > (*THE-CYCLIST* NIL) > (*KE-PURPOSE* NIL)) > (KE-CREATE-NOW "edge-predicate"))) > > (WITH-BOOKKEEPING-INFO > (NEW-BOOKKEEPING-INFO NIL > (THE-DATE) NIL > (THE-SECOND)) > (CLET > ( > (*THE-CYCLIST* NIL) > (*KE-PURPOSE* NIL)) > (KE-ASSERT-NOW > (LIST #$isa #$edge-predicate #$BinaryPredicate) #$UniversalVocabularyMt))) > > (WITH-BOOKKEEPING-INFO > (NEW-BOOKKEEPING-INFO NIL > (THE-DATE) NIL > (THE-SECOND)) > (CLET > ( > (*THE-CYCLIST* NIL) > (*KE-PURPOSE* NIL)) > (KE-ASSERT-NOW > (LIST #$comment #$edge-predicate "") #$BaseKB))) > > (WITH-BOOKKEEPING-INFO > (NEW-BOOKKEEPING-INFO NIL > (THE-DATE) NIL > (THE-SECOND)) > (CLET > ( > (*THE-CYCLIST* NIL) > (*KE-PURPOSE* NIL)) > (KE-ASSERT-NOW > (LIST #$argIsa #$edge-predicate 1 #$node-type) #$UniversalVocabularyMt))) > > (WITH-BOOKKEEPING-INFO > (NEW-BOOKKEEPING-INFO NIL > (THE-DATE) NIL > (THE-SECOND)) > (CLET > ( > (*THE-CYCLIST* NIL) > (*KE-PURPOSE* NIL)) > (KE-ASSERT-NOW > (LIST #$argIsa #$edge-predicate 2 #$node-type) #$UniversalVocabularyMt))) > > (WITH-BOOKKEEPING-INFO > (NEW-BOOKKEEPING-INFO NIL > (THE-DATE) NIL > (THE-SECOND)) > (CLET > ( > (*THE-CYCLIST* NIL) > (*KE-PURPOSE* NIL)) > (KE-ASSERT-NOW > (LIST #$genlPreds #$edge-predicate #$conceptuallyRelated) > #$UniversalVocabularyMt))) > > > (WITH-BOOKKEEPING-INFO > (NEW-BOOKKEEPING-INFO NIL > (THE-DATE) NIL > (THE-SECOND)) > (CLET > ( > (*REQUIRE-CASE-INSENSITIVE-NAME-UNIQUENESS* NIL) > (*THE-CYCLIST* NIL) > (*KE-PURPOSE* NIL)) > (KE-CREATE-NOW "reach-predicate"))) > > (WITH-BOOKKEEPING-INFO > (NEW-BOOKKEEPING-INFO NIL > (THE-DATE) NIL > (THE-SECOND)) > (CLET > ( > (*THE-CYCLIST* NIL) > (*KE-PURPOSE* NIL)) > (KE-ASSERT-NOW > (LIST #$isa #$reach-predicate #$BinaryPredicate) > #$UniversalVocabularyMt))) > > (WITH-BOOKKEEPING-INFO > (NEW-BOOKKEEPING-INFO NIL > (THE-DATE) NIL > (THE-SECOND)) > (CLET > ( > (*THE-CYCLIST* NIL) > (*KE-PURPOSE* NIL)) > (KE-ASSERT-NOW > (LIST #$comment #$reach-predicate "") #$BaseKB))) > > (WITH-BOOKKEEPING-INFO > (NEW-BOOKKEEPING-INFO NIL > (THE-DATE) NIL > (THE-SECOND)) > (CLET > ( > (*THE-CYCLIST* NIL) > (*KE-PURPOSE* NIL)) > (KE-ASSERT-NOW > (LIST #$argIsa #$reach-predicate 1 #$node-type) #$UniversalVocabularyMt))) > > (WITH-BOOKKEEPING-INFO > (NEW-BOOKKEEPING-INFO NIL > (THE-DATE) NIL > (THE-SECOND)) > (CLET > ( > (*THE-CYCLIST* NIL) > (*KE-PURPOSE* NIL)) > (KE-ASSERT-NOW > (LIST #$argIsa #$reach-predicate 2 #$node-type) #$UniversalVocabularyMt))) > > (WITH-BOOKKEEPING-INFO > (NEW-BOOKKEEPING-INFO NIL > (THE-DATE) NIL > (THE-SECOND)) > (CLET > ( > (*THE-CYCLIST* NIL) > (*KE-PURPOSE* NIL)) > (KE-ASSERT-NOW > (LIST #$genlPreds #$reach-predicate #$conceptuallyRelated) > #$UniversalVocabularyMt))) > > > (WITH-BOOKKEEPING-INFO > (NEW-BOOKKEEPING-INFO NIL > (THE-DATE) NIL > (THE-SECOND)) > (CLET > ( > (*THE-CYCLIST* NIL) > (*KE-PURPOSE* NIL)) > (KE-ASSERT-NOW > (LIST #$edge-predicate #$node-1 #$node-2) #$graphMT))) > > (WITH-BOOKKEEPING-INFO > (NEW-BOOKKEEPING-INFO NIL > (THE-DATE) NIL > (THE-SECOND)) > (CLET > ( > (*THE-CYCLIST* NIL) > (*KE-PURPOSE* NIL)) > (KE-ASSERT-NOW > (LIST #$edge-predicate #$node-2 #$node-1) #$graphMT))) > > > (WITH-BOOKKEEPING-INFO > (NEW-BOOKKEEPING-INFO NIL > (THE-DATE) NIL > (THE-SECOND)) > (CLET > ( > (*THE-CYCLIST* NIL) > (*KE-PURPOSE* NIL)) > (KE-ASSERT-NOW > '(#$implies (#$edge-predicate ?X ?Y) (#$reach-predicate ?X ?Y)) > #$graphMT))) > > (WITH-BOOKKEEPING-INFO > (NEW-BOOKKEEPING-INFO NIL > (THE-DATE) NIL > (THE-SECOND)) > (CLET > ( > (*THE-CYCLIST* NIL) > (*KE-PURPOSE* NIL)) > (KE-ASSERT-NOW > '(#$implies (#$and (#$edge-predicate ?X ?Z) (#$reach-predicate > ?Z ?Y)) (#$reach-predicate ?X ?Y)) > #$graphMT))) > > (new-cyc-query '(#$reach-predicate ?X ?Y) #$graphMT '(:metrics > (:total-time :complete-total-time :time-per-answer > :time-to-first-answer :answer-count))) > (new-cyc-query '(#$reach-predicate #$node-1 ?Y) #$graphMT '(:metrics > (:total-time :complete-total-time :time-per-answer > :time-to-first-answer :answer-count))) > |
|
From: Paul F. <pf...@cs...> - 2008-08-11 19:27:05
|
Dear Sir,
Thank you for your help with defying the #$edge-predicate.
I have now another question. I defined a rechability predicate in
graphs, but I cannot figure out why I have no answers.
(WITH-BOOKKEEPING-INFO
(NEW-BOOKKEEPING-INFO NIL
(THE-DATE) NIL
(THE-SECOND))
(CLET
(
(*THE-CYCLIST* NIL)
(*KE-PURPOSE* NIL))
(KE-ASSERT-NOW
'(#$implies (#$edge-predicate ?X ?Y) (#$reach-predicate ?X ?Y))
#$graphMT)))
(WITH-BOOKKEEPING-INFO
(NEW-BOOKKEEPING-INFO NIL
(THE-DATE) NIL
(THE-SECOND))
(CLET
(
(*THE-CYCLIST* NIL)
(*KE-PURPOSE* NIL))
(KE-ASSERT-NOW
'(#$implies (#$and (#$edge-predicate ?X ?Z) (#$reach-predicate
?Z ?Y)) (#$reach-predicate ?X ?Y))
#$graphMT)))
(new-cyc-query '(#$reach-predicate ?X ?Y) #$graphMT '(:metrics
(:total-time :complete-total-time :time-per-answer
:time-to-first-answer :answer-count)))
(new-cyc-query '(#$reach-predicate #$node-1 ?Y) #$graphMT '(:metrics
(:total-time :complete-total-time :time-per-answer
:time-to-first-answer :answer-count)))
Both queries above have 0 answers, but the following queries have 2,
respective 1 answers.
(new-cyc-query '(#$edge-predicate ?X ?Y) #$graphMT '(:metrics
(:total-time :complete-total-time :time-per-answer
:time-to-first-answer :answer-count)))
(new-cyc-query '(#$edge-predicate #$node-1 ?Y) #$graphMT '(:metrics
(:total-time :complete-total-time :time-per-answer
:time-to-first-answer :answer-count)))
I attached the whole graph example below.
Thank you, regards,
Paul.
(WITH-BOOKKEEPING-INFO
(NEW-BOOKKEEPING-INFO NIL
(THE-DATE) NIL
(THE-SECOND))
(CLET
(
(*REQUIRE-CASE-INSENSITIVE-NAME-UNIQUENESS* NIL)
(*THE-CYCLIST* NIL)
(*KE-PURPOSE* NIL))
(KE-CREATE-NOW "graphMT")))
(WITH-BOOKKEEPING-INFO
(NEW-BOOKKEEPING-INFO NIL
(THE-DATE) NIL
(THE-SECOND))
(CLET
(
(*THE-CYCLIST* NIL)
(*KE-PURPOSE* NIL))
(KE-ASSERT-NOW
(LIST #$comment #$graphMT "") #$BaseKB)))
(WITH-BOOKKEEPING-INFO
(NEW-BOOKKEEPING-INFO NIL
(THE-DATE) NIL
(THE-SECOND))
(CLET
(
(*THE-CYCLIST* NIL)
(*KE-PURPOSE* NIL))
(KE-ASSERT-NOW
(LIST #$isa #$graphMT #$Microtheory) #$UniversalVocabularyMt)))
(WITH-BOOKKEEPING-INFO
(NEW-BOOKKEEPING-INFO NIL
(THE-DATE) NIL
(THE-SECOND))
(CLET
(
(*REQUIRE-CASE-INSENSITIVE-NAME-UNIQUENESS* NIL)
(*THE-CYCLIST* NIL)
(*KE-PURPOSE* NIL))
(KE-CREATE-NOW "node-type")))
(WITH-BOOKKEEPING-INFO
(NEW-BOOKKEEPING-INFO NIL
(THE-DATE) NIL
(THE-SECOND))
(CLET
(
(*THE-CYCLIST* NIL)
(*KE-PURPOSE* NIL))
(KE-ASSERT-NOW
(LIST #$comment #$node-type "") #$graphMT)))
(WITH-BOOKKEEPING-INFO
(NEW-BOOKKEEPING-INFO NIL
(THE-DATE) NIL
(THE-SECOND))
(CLET
(
(*THE-CYCLIST* NIL)
(*KE-PURPOSE* NIL))
(KE-ASSERT-NOW
(LIST #$isa #$node-type #$FirstOrderCollection) #$UniversalVocabularyMt)))
(WITH-BOOKKEEPING-INFO
(NEW-BOOKKEEPING-INFO NIL
(THE-DATE) NIL
(THE-SECOND))
(CLET
(
(*THE-CYCLIST* NIL)
(*KE-PURPOSE* NIL))
(KE-ASSERT-NOW
(LIST #$genls #$node-type #$Individual) #$UniversalVocabularyMt)))
(WITH-BOOKKEEPING-INFO
(NEW-BOOKKEEPING-INFO NIL
(THE-DATE) NIL
(THE-SECOND))
(CLET
(
(*REQUIRE-CASE-INSENSITIVE-NAME-UNIQUENESS* NIL)
(*THE-CYCLIST* NIL)
(*KE-PURPOSE* NIL))
(KE-CREATE-NOW "node-1")))
(WITH-BOOKKEEPING-INFO
(NEW-BOOKKEEPING-INFO NIL
(THE-DATE) NIL
(THE-SECOND))
(CLET
(
(*THE-CYCLIST* NIL)
(*KE-PURPOSE* NIL))
(KE-ASSERT-NOW
(LIST #$isa #$node-1 #$node-type) #$graphMT)))
(WITH-BOOKKEEPING-INFO
(NEW-BOOKKEEPING-INFO NIL
(THE-DATE) NIL
(THE-SECOND))
(CLET
(
(*REQUIRE-CASE-INSENSITIVE-NAME-UNIQUENESS* NIL)
(*THE-CYCLIST* NIL)
(*KE-PURPOSE* NIL))
(KE-CREATE-NOW "node-2")))
(WITH-BOOKKEEPING-INFO
(NEW-BOOKKEEPING-INFO NIL
(THE-DATE) NIL
(THE-SECOND))
(CLET
(
(*THE-CYCLIST* NIL)
(*KE-PURPOSE* NIL))
(KE-ASSERT-NOW
(LIST #$isa #$node-2 #$node-type) #$graphMT)))
(WITH-BOOKKEEPING-INFO
(NEW-BOOKKEEPING-INFO NIL
(THE-DATE) NIL
(THE-SECOND))
(CLET
(
(*REQUIRE-CASE-INSENSITIVE-NAME-UNIQUENESS* NIL)
(*THE-CYCLIST* NIL)
(*KE-PURPOSE* NIL))
(KE-CREATE-NOW "edge-predicate")))
(WITH-BOOKKEEPING-INFO
(NEW-BOOKKEEPING-INFO NIL
(THE-DATE) NIL
(THE-SECOND))
(CLET
(
(*THE-CYCLIST* NIL)
(*KE-PURPOSE* NIL))
(KE-ASSERT-NOW
(LIST #$isa #$edge-predicate #$BinaryPredicate) #$UniversalVocabularyMt)))
(WITH-BOOKKEEPING-INFO
(NEW-BOOKKEEPING-INFO NIL
(THE-DATE) NIL
(THE-SECOND))
(CLET
(
(*THE-CYCLIST* NIL)
(*KE-PURPOSE* NIL))
(KE-ASSERT-NOW
(LIST #$comment #$edge-predicate "") #$BaseKB)))
(WITH-BOOKKEEPING-INFO
(NEW-BOOKKEEPING-INFO NIL
(THE-DATE) NIL
(THE-SECOND))
(CLET
(
(*THE-CYCLIST* NIL)
(*KE-PURPOSE* NIL))
(KE-ASSERT-NOW
(LIST #$argIsa #$edge-predicate 1 #$node-type) #$UniversalVocabularyMt)))
(WITH-BOOKKEEPING-INFO
(NEW-BOOKKEEPING-INFO NIL
(THE-DATE) NIL
(THE-SECOND))
(CLET
(
(*THE-CYCLIST* NIL)
(*KE-PURPOSE* NIL))
(KE-ASSERT-NOW
(LIST #$argIsa #$edge-predicate 2 #$node-type) #$UniversalVocabularyMt)))
(WITH-BOOKKEEPING-INFO
(NEW-BOOKKEEPING-INFO NIL
(THE-DATE) NIL
(THE-SECOND))
(CLET
(
(*THE-CYCLIST* NIL)
(*KE-PURPOSE* NIL))
(KE-ASSERT-NOW
(LIST #$genlPreds #$edge-predicate #$conceptuallyRelated)
#$UniversalVocabularyMt)))
(WITH-BOOKKEEPING-INFO
(NEW-BOOKKEEPING-INFO NIL
(THE-DATE) NIL
(THE-SECOND))
(CLET
(
(*REQUIRE-CASE-INSENSITIVE-NAME-UNIQUENESS* NIL)
(*THE-CYCLIST* NIL)
(*KE-PURPOSE* NIL))
(KE-CREATE-NOW "reach-predicate")))
(WITH-BOOKKEEPING-INFO
(NEW-BOOKKEEPING-INFO NIL
(THE-DATE) NIL
(THE-SECOND))
(CLET
(
(*THE-CYCLIST* NIL)
(*KE-PURPOSE* NIL))
(KE-ASSERT-NOW
(LIST #$isa #$reach-predicate #$BinaryPredicate)
#$UniversalVocabularyMt)))
(WITH-BOOKKEEPING-INFO
(NEW-BOOKKEEPING-INFO NIL
(THE-DATE) NIL
(THE-SECOND))
(CLET
(
(*THE-CYCLIST* NIL)
(*KE-PURPOSE* NIL))
(KE-ASSERT-NOW
(LIST #$comment #$reach-predicate "") #$BaseKB)))
(WITH-BOOKKEEPING-INFO
(NEW-BOOKKEEPING-INFO NIL
(THE-DATE) NIL
(THE-SECOND))
(CLET
(
(*THE-CYCLIST* NIL)
(*KE-PURPOSE* NIL))
(KE-ASSERT-NOW
(LIST #$argIsa #$reach-predicate 1 #$node-type) #$UniversalVocabularyMt)))
(WITH-BOOKKEEPING-INFO
(NEW-BOOKKEEPING-INFO NIL
(THE-DATE) NIL
(THE-SECOND))
(CLET
(
(*THE-CYCLIST* NIL)
(*KE-PURPOSE* NIL))
(KE-ASSERT-NOW
(LIST #$argIsa #$reach-predicate 2 #$node-type) #$UniversalVocabularyMt)))
(WITH-BOOKKEEPING-INFO
(NEW-BOOKKEEPING-INFO NIL
(THE-DATE) NIL
(THE-SECOND))
(CLET
(
(*THE-CYCLIST* NIL)
(*KE-PURPOSE* NIL))
(KE-ASSERT-NOW
(LIST #$genlPreds #$reach-predicate #$conceptuallyRelated)
#$UniversalVocabularyMt)))
(WITH-BOOKKEEPING-INFO
(NEW-BOOKKEEPING-INFO NIL
(THE-DATE) NIL
(THE-SECOND))
(CLET
(
(*THE-CYCLIST* NIL)
(*KE-PURPOSE* NIL))
(KE-ASSERT-NOW
(LIST #$edge-predicate #$node-1 #$node-2) #$graphMT)))
(WITH-BOOKKEEPING-INFO
(NEW-BOOKKEEPING-INFO NIL
(THE-DATE) NIL
(THE-SECOND))
(CLET
(
(*THE-CYCLIST* NIL)
(*KE-PURPOSE* NIL))
(KE-ASSERT-NOW
(LIST #$edge-predicate #$node-2 #$node-1) #$graphMT)))
(WITH-BOOKKEEPING-INFO
(NEW-BOOKKEEPING-INFO NIL
(THE-DATE) NIL
(THE-SECOND))
(CLET
(
(*THE-CYCLIST* NIL)
(*KE-PURPOSE* NIL))
(KE-ASSERT-NOW
'(#$implies (#$edge-predicate ?X ?Y) (#$reach-predicate ?X ?Y))
#$graphMT)))
(WITH-BOOKKEEPING-INFO
(NEW-BOOKKEEPING-INFO NIL
(THE-DATE) NIL
(THE-SECOND))
(CLET
(
(*THE-CYCLIST* NIL)
(*KE-PURPOSE* NIL))
(KE-ASSERT-NOW
'(#$implies (#$and (#$edge-predicate ?X ?Z) (#$reach-predicate
?Z ?Y)) (#$reach-predicate ?X ?Y))
#$graphMT)))
(new-cyc-query '(#$reach-predicate ?X ?Y) #$graphMT '(:metrics
(:total-time :complete-total-time :time-per-answer
:time-to-first-answer :answer-count)))
(new-cyc-query '(#$reach-predicate #$node-1 ?Y) #$graphMT '(:metrics
(:total-time :complete-total-time :time-per-answer
:time-to-first-answer :answer-count)))
|
|
From: <dm...@us...> - 2008-08-09 09:01:23
|
> Do you know how can I measure the time it takes to run a query in the > Cyc console? > Thank you, regards, > Paul Fodor > (time ...) CYC(31): (time (sleep 3)) ;; real time 3.0 seconds [Time: 3.0 secs] 3.0 CYC(32): (time (clet (x) (with-timeout (3 x) (sleep 20)))) ;; real time 3.0 seconds [Time: 3.0 secs] 3.0 Hard to know how accurate it is but it did see the .004 seconds here CYC(39): (time (clet (x) (with-timeout (22 x) (sleep 20)))) ;; real time 20.004 seconds [Time: 20.004 secs] 20.004 ----- Original Message ----- From: "Paul Fodor" <pf...@cs...> To: <dm...@us...>; "OpenCyc developers" <ope...@li...> Sent: Friday, August 08, 2008 7:59 AM Subject: Re: [OpenCyc-devel] Query for all instances of a predicate > On Mon, Aug 4, 2008 at 8:41 PM, <dm...@us...> wrote: >> Change >> (NEW-CYC-QUERY >> (LIST #$isa ?X #$SpatialThing) #$PeopleDataMt >> (LIST :MAX-NUMBER 1)) >> to >> >> (NEW-CYC-QUERY >> (LIST #$isa '?X #$SpatialThing) #$PeopleDataMt >> (LIST :MAX-NUMBER 1)) >> Thats a single QUOTE on ?X > > Thank you very much for the code example. > Do you know how can I measure the time it takes to run a query in the > Cyc console? > Thank you, regards, > Paul Fodor > >> Here are some other legal forms: >> >> (NEW-CYC-QUERY >> '(#$isa ?X #$SpatialThing) #$PeopleDataMt >> (LIST :MAX-NUMBER 1)) >> >> (NEW-CYC-QUERY >> (QUOTE (#$isa ?X #$SpatialThing)) #$PeopleDataMt ;; identical to the >> above >> (LIST :MAX-NUMBER 1)) >> >> (NEW-CYC-QUERY >> `(#$isa ?X #$SpatialThing) #$PeopleDataMt ;;; Backquote reader >> (LIST :MAX-NUMBER 1)) >> Here is probly the most prefered: >> >> (NEW-CYC-QUERY >> '(#$isa ?X #$SpatialThing) #$PeopleDataMt >> '(:MAX-NUMBER 1)) >> Here is a backquoted "`" way the backquote means to take the item >> litteral >> the "," in front of COL mean (EVAL COL) -> #$SpatialThing >> >> (CLET ((COL #$SpatialThing)(NUM 1)) >> (NEW-CYC-QUERY >> `(#$isa ?X ,COL) #$PeopleDataMt >> `(:MAX-NUMBER ,NUM))) >> >> >> >> >> >> >> >> >> ----- Original Message ----- >> From: Paul Fodor >> To: OpenCyc developers >> Sent: Monday, August 04, 2008 4:17 PM >> Subject: [OpenCyc-devel] Query for all instances of a predicate >> Dear Sir, >> >> I am a OpenCyc newbie and I have some questions that I could not figure >> out >> yet. If anyone has time and can respond to my questions, please let me >> know. >> >> Question 1: I access OpenCyc from Java and I wonder how can I query for >> all >> instances of a predicate or class. I want to collect a list of all >> results. >> For instance, I want to collect all spatial things: (#$isa ?X >> #$SpatialThing) >> >> or, I want to collect all pairs of people liking other people: >> (#$likesAsFriend ?X ?Y) >> >> For example, >> >> (NEW-CYC-QUERY >> (LIST #$isa #$BillClinton #$SpatialThing) #$PeopleDataMt >> (LIST :MAX-NUMBER 1)) >> >> works, but >> >> (NEW-CYC-QUERY >> (LIST #$isa ?X #$SpatialThing) #$PeopleDataMt >> (LIST :MAX-NUMBER 1)) >> >> tells me that ?X is unbound. >> >> Question 2: How do I collect this list in Java? >> >> Thank you, >> Paul. >> >> ________________________________ >> >> ------------------------------------------------------------------------- >> This SF.Net email is sponsored by the Moblin Your Move Developer's >> challenge >> Build the coolest Linux based applications with Moblin SDK & win great >> prizes >> Grand prize is a trip for two to an Open Source event anywhere in the >> world >> http://moblin-contest.org/redirect.php?banner_id=100&url=/ >> >> ________________________________ >> >> _______________________________________________ >> OpenCyc-devel mailing list >> Ope...@li... >> https://lists.sourceforge.net/lists/listinfo/opencyc-devel >> >> ------------------------------------------------------------------------- >> This SF.Net email is sponsored by the Moblin Your Move Developer's >> challenge >> Build the coolest Linux based applications with Moblin SDK & win great >> prizes >> Grand prize is a trip for two to an Open Source event anywhere in the >> world >> http://moblin-contest.org/redirect.php?banner_id=100&url=/ >> _______________________________________________ >> OpenCyc-devel mailing list >> Ope...@li... >> https://lists.sourceforge.net/lists/listinfo/opencyc-devel >> >> > > ------------------------------------------------------------------------- > This SF.Net email is sponsored by the Moblin Your Move Developer's > challenge > Build the coolest Linux based applications with Moblin SDK & win great > prizes > Grand prize is a trip for two to an Open Source event anywhere in the > world > http://moblin-contest.org/redirect.php?banner_id=100&url=/ > _______________________________________________ > OpenCyc-devel mailing list > Ope...@li... > https://lists.sourceforge.net/lists/listinfo/opencyc-devel |
|
From: <dm...@us...> - 2008-08-09 08:44:06
|
#$node-2 was still undeclared .
CYC(20): (HL-EXPLANATION-OF-WHY-NOT-WFF (LIST #$edge-predicate #$node-1
#$node-2) #$graphMT)
(#$and (#$ist #$graphMT (#$not (#$isa #$node-2 #$node-type)))
#<AS:(#$arg2Isa #$edge-predicate #$node-type):#$UniversalVocabularyMt>)
Here is a function I use alot for my asserts:
CYC(21):
(define osim-assert (sent &rest flags)
(csetq flags (flatten (cons flags #$UniversalVocabularyMt)))
(clet ((mt (car (member-if #'MT? flags)))
(cmd `(ke-assert-now ,(list 'quote sent) ,mt ,(fif (member :default
flags) :default :monotonic) ,(fif (member :BACKWARD flags) :backward
:forward))))
(punless (eval cmd)
(format t "~&~s~& ; ERROR: ~s~&" cmd (HL-EXPLANATION-OF-WHY-NOT-WFF
sent Mt))
(force-output)(ret nil))(ret t)))
[Time: 0.0 secs]
OSIM-ASSERT
CYC(22): (OSIM-ASSERT (LIST #$edge-predicate #$node-1 #$node-2) #$graphMT)
(KE-ASSERT-NOW '(#$edge-predicate #$node-1 #$node-2) #$graphMT :MONOTONIC
:FORWARD)
; ERROR: (#$and (#$ist #$graphMT (#$not (#$isa #$node-2 #$node-type)))
#<AS:(#$arg2Isa #$edge-predicate #$node-type):#$UniversalVocabularyMt>)
[Time: 0.05 secs]
NIL
CYC(23): (OSIM-ASSERT (LIST #$isa #$node-2 #$node-type) #$graphMT)))
[Time: 0.0 secs]
T
CYC(24): (OSIM-ASSERT (LIST #$edge-predicate #$node-1 #$node-2)
#$graphMT)
Time: 0.0 secs]
T
CYC(25):
----- Original Message -----
From: "Paul Fodor" <pf...@cs...>
To: "OpenCyc developers" <ope...@li...>
Cc: "Senlin Liang" <sen...@gm...>; "Hui Wan" <hu...@gm...>;
"Michael Kifer" <ki...@cs...>
Sent: Friday, August 08, 2008 3:58 PM
Subject: Re: [OpenCyc-devel] Query for all instances of a predicate
> To: OpenCyc developers <ope...@li...>
>
> Dear Sir,
> I am trying to do some tests with Cyc and I get an error:
> (:UNKNOWN-ERROR "An unknown error has occurred") every time I am
> trying to assert a binary predicate in the database.
>
> I get the same error with both the Java interface for Cyc or the CYC
> console.
>
> Java:
>
> CycConstant mt = cycAccess.createMicrotheory("graphMT", "",
> "Microtheory", new ArrayList());
> CycFort nodeType =
> cycAccess.createCollection(cycAccess.createNewPermanent("node-type"),
> "", mt, cycAccess.getKnownConstantByName("FirstOrderCollection"),
> cycAccess.getKnownConstantByName("FirstOrderCollection"));
> CycConstant node1 = cycAccess.createNewPermanent("node-1");
> cycAccess.assertIsa(node1,nodeType,mt);
> CycConstant node2 = cycAccess.createNewPermanent("node-2");
> cycAccess.assertIsa(node1,nodeType,mt);
>
> cycAccess.createBinaryPredicate("edge-predicate",cycAccess.getKnownConstantByName("BinaryPredicate"),"",nodeType,nodeType,null,null,null,null,null);
> CycList gaf = cycAccess.makeCycList("(#$edge-predicate #$node-1
> #$node-2)");
> cycAccess.assertGaf(gaf, mt); // fails with the message:
> (:UNKNOWN-ERROR "An unknown error has occurred")
>
> CYC console:
> CYC(1): (load "test.cyc")
>
> test.cyc:
>
> (WITH-BOOKKEEPING-INFO
> (NEW-BOOKKEEPING-INFO NIL
> (THE-DATE) NIL
> (THE-SECOND))
> (CLET
> (
> (*REQUIRE-CASE-INSENSITIVE-NAME-UNIQUENESS* NIL)
> (*THE-CYCLIST* NIL)
> (*KE-PURPOSE* NIL))
> (KE-CREATE-NOW "graphMT")))
>
> (WITH-BOOKKEEPING-INFO
> (NEW-BOOKKEEPING-INFO NIL
> (THE-DATE) NIL
> (THE-SECOND))
> (CLET
> (
> (*THE-CYCLIST* NIL)
> (*KE-PURPOSE* NIL))
> (KE-ASSERT-NOW
> (LIST #$comment #$graphMT "") #$BaseKB)))
>
> (WITH-BOOKKEEPING-INFO
> (NEW-BOOKKEEPING-INFO NIL
> (THE-DATE) NIL
> (THE-SECOND))
> (CLET
> (
> (*THE-CYCLIST* NIL)
> (*KE-PURPOSE* NIL))
> (KE-ASSERT-NOW
> (LIST #$isa #$graphMT #$Microtheory) #$UniversalVocabularyMt)))
>
> (WITH-BOOKKEEPING-INFO
> (NEW-BOOKKEEPING-INFO NIL
> (THE-DATE) NIL
> (THE-SECOND))
> (CLET
> (
> (*REQUIRE-CASE-INSENSITIVE-NAME-UNIQUENESS* NIL)
> (*THE-CYCLIST* NIL)
> (*KE-PURPOSE* NIL))
> (KE-CREATE-NOW "node-type")))
>
> (WITH-BOOKKEEPING-INFO
> (NEW-BOOKKEEPING-INFO NIL
> (THE-DATE) NIL
> (THE-SECOND))
> (CLET
> (
> (*THE-CYCLIST* NIL)
> (*KE-PURPOSE* NIL))
> (KE-ASSERT-NOW
> (LIST #$comment #$node-type "") #$graphMT)))
>
> (WITH-BOOKKEEPING-INFO
> (NEW-BOOKKEEPING-INFO NIL
> (THE-DATE) NIL
> (THE-SECOND))
> (CLET
> (
> (*THE-CYCLIST* NIL)
> (*KE-PURPOSE* NIL))
> (KE-ASSERT-NOW
> (LIST #$isa #$node-type #$FirstOrderCollection)
> #$UniversalVocabularyMt)))
>
> (WITH-BOOKKEEPING-INFO
> (NEW-BOOKKEEPING-INFO NIL
> (THE-DATE) NIL
> (THE-SECOND))
> (CLET
> (
> (*THE-CYCLIST* NIL)
> (*KE-PURPOSE* NIL))
> (KE-ASSERT-NOW
> (LIST #$genls #$node-type #$FirstOrderCollection)
> #$UniversalVocabularyMt)))
>
> (WITH-BOOKKEEPING-INFO
> (NEW-BOOKKEEPING-INFO NIL
> (THE-DATE) NIL
> (THE-SECOND))
> (CLET
> (
> (*REQUIRE-CASE-INSENSITIVE-NAME-UNIQUENESS* NIL)
> (*THE-CYCLIST* NIL)
> (*KE-PURPOSE* NIL))
> (KE-CREATE-NOW "node-1")))
>
> (WITH-BOOKKEEPING-INFO
> (NEW-BOOKKEEPING-INFO NIL
> (THE-DATE) NIL
> (THE-SECOND))
> (CLET
> (
> (*THE-CYCLIST* NIL)
> (*KE-PURPOSE* NIL))
> (KE-ASSERT-NOW
> (LIST #$isa #$node-1 #$node-type) #$graphMT)))
>
> (WITH-BOOKKEEPING-INFO
> (NEW-BOOKKEEPING-INFO NIL
> (THE-DATE) NIL
> (THE-SECOND))
> (CLET
> (
> (*REQUIRE-CASE-INSENSITIVE-NAME-UNIQUENESS* NIL)
> (*THE-CYCLIST* NIL)
> (*KE-PURPOSE* NIL))
> (KE-CREATE-NOW "node-2")))
>
> (WITH-BOOKKEEPING-INFO
> (NEW-BOOKKEEPING-INFO NIL
> (THE-DATE) NIL
> (THE-SECOND))
> (CLET
> (
> (*THE-CYCLIST* NIL)
> (*KE-PURPOSE* NIL))
> (KE-ASSERT-NOW
> (LIST #$isa #$node-1 #$node-type) #$graphMT)))
>
> (WITH-BOOKKEEPING-INFO
> (NEW-BOOKKEEPING-INFO NIL
> (THE-DATE) NIL
> (THE-SECOND))
> (CLET
> (
> (*REQUIRE-CASE-INSENSITIVE-NAME-UNIQUENESS* NIL)
> (*THE-CYCLIST* NIL)
> (*KE-PURPOSE* NIL))
> (KE-CREATE-NOW "edge-predicate")))
>
> (WITH-BOOKKEEPING-INFO
> (NEW-BOOKKEEPING-INFO NIL
> (THE-DATE) NIL
> (THE-SECOND))
> (CLET
> (
> (*THE-CYCLIST* NIL)
> (*KE-PURPOSE* NIL))
> (KE-ASSERT-NOW
> (LIST #$isa #$edge-predicate #$BinaryPredicate)
> #$UniversalVocabularyMt)))
>
> (WITH-BOOKKEEPING-INFO
> (NEW-BOOKKEEPING-INFO NIL
> (THE-DATE) NIL
> (THE-SECOND))
> (CLET
> (
> (*THE-CYCLIST* NIL)
> (*KE-PURPOSE* NIL))
> (KE-ASSERT-NOW
> (LIST #$comment #$edge-predicate "") #$BaseKB)))
>
>
> (WITH-BOOKKEEPING-INFO
> (NEW-BOOKKEEPING-INFO NIL
> (THE-DATE) NIL
> (THE-SECOND))
> (CLET
> (
> (*THE-CYCLIST* NIL)
> (*KE-PURPOSE* NIL))
> (KE-ASSERT-NOW
> (LIST #$argIsa #$edge-predicate 1 #$node-type)
> #$UniversalVocabularyMt)))
>
> (WITH-BOOKKEEPING-INFO
> (NEW-BOOKKEEPING-INFO NIL
> (THE-DATE) NIL
> (THE-SECOND))
> (CLET
> (
> (*THE-CYCLIST* NIL)
> (*KE-PURPOSE* NIL))
> (KE-ASSERT-NOW
> (LIST #$argIsa #$edge-predicate 2 #$node-type)
> #$UniversalVocabularyMt)))
>
> (WITH-BOOKKEEPING-INFO
> (NEW-BOOKKEEPING-INFO NIL
> (THE-DATE) NIL
> (THE-SECOND))
> (CLET
> (
> (*THE-CYCLIST* NIL)
> (*KE-PURPOSE* NIL))
> (KE-ASSERT-NOW
> (LIST #$genlPreds #$edge-predicate #$conceptuallyRelated)
> #$UniversalVocabularyMt)))
>
> (WITH-BOOKKEEPING-INFO
> (NEW-BOOKKEEPING-INFO NIL
> (THE-DATE) NIL
> (THE-SECOND))
> (CLET
> (
> (*THE-CYCLIST* NIL)
> (*KE-PURPOSE* NIL))
> (KE-ASSERT-NOW
> (LIST #$edge-predicate #$node-1 #$node-2) #$graphMT)))
>
> -------------------------------------------------------------------------
> This SF.Net email is sponsored by the Moblin Your Move Developer's
> challenge
> Build the coolest Linux based applications with Moblin SDK & win great
> prizes
> Grand prize is a trip for two to an Open Source event anywhere in the
> world
> http://moblin-contest.org/redirect.php?banner_id=100&url=/
> _______________________________________________
> OpenCyc-devel mailing list
> Ope...@li...
> https://lists.sourceforge.net/lists/listinfo/opencyc-devel
|
|
From: Paul F. <pf...@cs...> - 2008-08-08 22:58:26
|
To: OpenCyc developers <ope...@li...>
Dear Sir,
I am trying to do some tests with Cyc and I get an error:
(:UNKNOWN-ERROR "An unknown error has occurred") every time I am
trying to assert a binary predicate in the database.
I get the same error with both the Java interface for Cyc or the CYC console.
Java:
CycConstant mt = cycAccess.createMicrotheory("graphMT", "",
"Microtheory", new ArrayList());
CycFort nodeType =
cycAccess.createCollection(cycAccess.createNewPermanent("node-type"),
"", mt, cycAccess.getKnownConstantByName("FirstOrderCollection"),
cycAccess.getKnownConstantByName("FirstOrderCollection"));
CycConstant node1 = cycAccess.createNewPermanent("node-1");
cycAccess.assertIsa(node1,nodeType,mt);
CycConstant node2 = cycAccess.createNewPermanent("node-2");
cycAccess.assertIsa(node1,nodeType,mt);
cycAccess.createBinaryPredicate("edge-predicate",cycAccess.getKnownConstantByName("BinaryPredicate"),"",nodeType,nodeType,null,null,null,null,null);
CycList gaf = cycAccess.makeCycList("(#$edge-predicate #$node-1 #$node-2)");
cycAccess.assertGaf(gaf, mt); // fails with the message:
(:UNKNOWN-ERROR "An unknown error has occurred")
CYC console:
CYC(1): (load "test.cyc")
test.cyc:
(WITH-BOOKKEEPING-INFO
(NEW-BOOKKEEPING-INFO NIL
(THE-DATE) NIL
(THE-SECOND))
(CLET
(
(*REQUIRE-CASE-INSENSITIVE-NAME-UNIQUENESS* NIL)
(*THE-CYCLIST* NIL)
(*KE-PURPOSE* NIL))
(KE-CREATE-NOW "graphMT")))
(WITH-BOOKKEEPING-INFO
(NEW-BOOKKEEPING-INFO NIL
(THE-DATE) NIL
(THE-SECOND))
(CLET
(
(*THE-CYCLIST* NIL)
(*KE-PURPOSE* NIL))
(KE-ASSERT-NOW
(LIST #$comment #$graphMT "") #$BaseKB)))
(WITH-BOOKKEEPING-INFO
(NEW-BOOKKEEPING-INFO NIL
(THE-DATE) NIL
(THE-SECOND))
(CLET
(
(*THE-CYCLIST* NIL)
(*KE-PURPOSE* NIL))
(KE-ASSERT-NOW
(LIST #$isa #$graphMT #$Microtheory) #$UniversalVocabularyMt)))
(WITH-BOOKKEEPING-INFO
(NEW-BOOKKEEPING-INFO NIL
(THE-DATE) NIL
(THE-SECOND))
(CLET
(
(*REQUIRE-CASE-INSENSITIVE-NAME-UNIQUENESS* NIL)
(*THE-CYCLIST* NIL)
(*KE-PURPOSE* NIL))
(KE-CREATE-NOW "node-type")))
(WITH-BOOKKEEPING-INFO
(NEW-BOOKKEEPING-INFO NIL
(THE-DATE) NIL
(THE-SECOND))
(CLET
(
(*THE-CYCLIST* NIL)
(*KE-PURPOSE* NIL))
(KE-ASSERT-NOW
(LIST #$comment #$node-type "") #$graphMT)))
(WITH-BOOKKEEPING-INFO
(NEW-BOOKKEEPING-INFO NIL
(THE-DATE) NIL
(THE-SECOND))
(CLET
(
(*THE-CYCLIST* NIL)
(*KE-PURPOSE* NIL))
(KE-ASSERT-NOW
(LIST #$isa #$node-type #$FirstOrderCollection) #$UniversalVocabularyMt)))
(WITH-BOOKKEEPING-INFO
(NEW-BOOKKEEPING-INFO NIL
(THE-DATE) NIL
(THE-SECOND))
(CLET
(
(*THE-CYCLIST* NIL)
(*KE-PURPOSE* NIL))
(KE-ASSERT-NOW
(LIST #$genls #$node-type #$FirstOrderCollection)
#$UniversalVocabularyMt)))
(WITH-BOOKKEEPING-INFO
(NEW-BOOKKEEPING-INFO NIL
(THE-DATE) NIL
(THE-SECOND))
(CLET
(
(*REQUIRE-CASE-INSENSITIVE-NAME-UNIQUENESS* NIL)
(*THE-CYCLIST* NIL)
(*KE-PURPOSE* NIL))
(KE-CREATE-NOW "node-1")))
(WITH-BOOKKEEPING-INFO
(NEW-BOOKKEEPING-INFO NIL
(THE-DATE) NIL
(THE-SECOND))
(CLET
(
(*THE-CYCLIST* NIL)
(*KE-PURPOSE* NIL))
(KE-ASSERT-NOW
(LIST #$isa #$node-1 #$node-type) #$graphMT)))
(WITH-BOOKKEEPING-INFO
(NEW-BOOKKEEPING-INFO NIL
(THE-DATE) NIL
(THE-SECOND))
(CLET
(
(*REQUIRE-CASE-INSENSITIVE-NAME-UNIQUENESS* NIL)
(*THE-CYCLIST* NIL)
(*KE-PURPOSE* NIL))
(KE-CREATE-NOW "node-2")))
(WITH-BOOKKEEPING-INFO
(NEW-BOOKKEEPING-INFO NIL
(THE-DATE) NIL
(THE-SECOND))
(CLET
(
(*THE-CYCLIST* NIL)
(*KE-PURPOSE* NIL))
(KE-ASSERT-NOW
(LIST #$isa #$node-1 #$node-type) #$graphMT)))
(WITH-BOOKKEEPING-INFO
(NEW-BOOKKEEPING-INFO NIL
(THE-DATE) NIL
(THE-SECOND))
(CLET
(
(*REQUIRE-CASE-INSENSITIVE-NAME-UNIQUENESS* NIL)
(*THE-CYCLIST* NIL)
(*KE-PURPOSE* NIL))
(KE-CREATE-NOW "edge-predicate")))
(WITH-BOOKKEEPING-INFO
(NEW-BOOKKEEPING-INFO NIL
(THE-DATE) NIL
(THE-SECOND))
(CLET
(
(*THE-CYCLIST* NIL)
(*KE-PURPOSE* NIL))
(KE-ASSERT-NOW
(LIST #$isa #$edge-predicate #$BinaryPredicate) #$UniversalVocabularyMt)))
(WITH-BOOKKEEPING-INFO
(NEW-BOOKKEEPING-INFO NIL
(THE-DATE) NIL
(THE-SECOND))
(CLET
(
(*THE-CYCLIST* NIL)
(*KE-PURPOSE* NIL))
(KE-ASSERT-NOW
(LIST #$comment #$edge-predicate "") #$BaseKB)))
(WITH-BOOKKEEPING-INFO
(NEW-BOOKKEEPING-INFO NIL
(THE-DATE) NIL
(THE-SECOND))
(CLET
(
(*THE-CYCLIST* NIL)
(*KE-PURPOSE* NIL))
(KE-ASSERT-NOW
(LIST #$argIsa #$edge-predicate 1 #$node-type) #$UniversalVocabularyMt)))
(WITH-BOOKKEEPING-INFO
(NEW-BOOKKEEPING-INFO NIL
(THE-DATE) NIL
(THE-SECOND))
(CLET
(
(*THE-CYCLIST* NIL)
(*KE-PURPOSE* NIL))
(KE-ASSERT-NOW
(LIST #$argIsa #$edge-predicate 2 #$node-type) #$UniversalVocabularyMt)))
(WITH-BOOKKEEPING-INFO
(NEW-BOOKKEEPING-INFO NIL
(THE-DATE) NIL
(THE-SECOND))
(CLET
(
(*THE-CYCLIST* NIL)
(*KE-PURPOSE* NIL))
(KE-ASSERT-NOW
(LIST #$genlPreds #$edge-predicate #$conceptuallyRelated)
#$UniversalVocabularyMt)))
(WITH-BOOKKEEPING-INFO
(NEW-BOOKKEEPING-INFO NIL
(THE-DATE) NIL
(THE-SECOND))
(CLET
(
(*THE-CYCLIST* NIL)
(*KE-PURPOSE* NIL))
(KE-ASSERT-NOW
(LIST #$edge-predicate #$node-1 #$node-2) #$graphMT)))
|
|
From: Richard H. M. <rh...@pi...> - 2008-08-08 15:39:45
|
FYI mkr2cyc passes (...) through to SubL so you can mix mKR and CycL. Dick McCullough Ayn Rand do speak od mKR done; mKE do enhance od Real Intelligence done; knowledge := man do identify od existent done; knowledge haspart proposition list; http://mKRmKE.org/ ----- Original Message ----- From: "Paul Fodor" <pf...@cs...> To: <dm...@us...>; "OpenCyc developers" <ope...@li...> Sent: Friday, August 08, 2008 7:59 AM Subject: Re: [OpenCyc-devel] Query for all instances of a predicate > On Mon, Aug 4, 2008 at 8:41 PM, <dm...@us...> wrote: >> Change >> (NEW-CYC-QUERY >> (LIST #$isa ?X #$SpatialThing) #$PeopleDataMt >> (LIST :MAX-NUMBER 1)) >> to >> >> (NEW-CYC-QUERY >> (LIST #$isa '?X #$SpatialThing) #$PeopleDataMt >> (LIST :MAX-NUMBER 1)) >> Thats a single QUOTE on ?X > > Thank you very much for the code example. > Do you know how can I measure the time it takes to run a query in the > Cyc console? > Thank you, regards, > Paul Fodor > >> Here are some other legal forms: >> >> (NEW-CYC-QUERY >> '(#$isa ?X #$SpatialThing) #$PeopleDataMt >> (LIST :MAX-NUMBER 1)) >> >> (NEW-CYC-QUERY >> (QUOTE (#$isa ?X #$SpatialThing)) #$PeopleDataMt ;; identical to the >> above >> (LIST :MAX-NUMBER 1)) >> >> (NEW-CYC-QUERY >> `(#$isa ?X #$SpatialThing) #$PeopleDataMt ;;; Backquote reader >> (LIST :MAX-NUMBER 1)) >> Here is probly the most prefered: >> >> (NEW-CYC-QUERY >> '(#$isa ?X #$SpatialThing) #$PeopleDataMt >> '(:MAX-NUMBER 1)) >> Here is a backquoted "`" way the backquote means to take the item >> litteral >> the "," in front of COL mean (EVAL COL) -> #$SpatialThing >> >> (CLET ((COL #$SpatialThing)(NUM 1)) >> (NEW-CYC-QUERY >> `(#$isa ?X ,COL) #$PeopleDataMt >> `(:MAX-NUMBER ,NUM))) >> >> >> >> >> >> >> >> >> ----- Original Message ----- >> From: Paul Fodor >> To: OpenCyc developers >> Sent: Monday, August 04, 2008 4:17 PM >> Subject: [OpenCyc-devel] Query for all instances of a predicate >> Dear Sir, >> >> I am a OpenCyc newbie and I have some questions that I could not figure >> out >> yet. If anyone has time and can respond to my questions, please let me >> know. >> >> Question 1: I access OpenCyc from Java and I wonder how can I query for >> all >> instances of a predicate or class. I want to collect a list of all >> results. >> For instance, I want to collect all spatial things: (#$isa ?X >> #$SpatialThing) >> >> or, I want to collect all pairs of people liking other people: >> (#$likesAsFriend ?X ?Y) >> >> For example, >> >> (NEW-CYC-QUERY >> (LIST #$isa #$BillClinton #$SpatialThing) #$PeopleDataMt >> (LIST :MAX-NUMBER 1)) >> >> works, but >> >> (NEW-CYC-QUERY >> (LIST #$isa ?X #$SpatialThing) #$PeopleDataMt >> (LIST :MAX-NUMBER 1)) >> >> tells me that ?X is unbound. >> >> Question 2: How do I collect this list in Java? >> >> Thank you, >> Paul. >> >> ________________________________ >> >> ------------------------------------------------------------------------- >> This SF.Net email is sponsored by the Moblin Your Move Developer's >> challenge >> Build the coolest Linux based applications with Moblin SDK & win great >> prizes >> Grand prize is a trip for two to an Open Source event anywhere in the >> world >> http://moblin-contest.org/redirect.php?banner_id=100&url=/ >> >> ________________________________ >> >> _______________________________________________ >> OpenCyc-devel mailing list >> Ope...@li... >> https://lists.sourceforge.net/lists/listinfo/opencyc-devel >> >> ------------------------------------------------------------------------- >> This SF.Net email is sponsored by the Moblin Your Move Developer's >> challenge >> Build the coolest Linux based applications with Moblin SDK & win great >> prizes >> Grand prize is a trip for two to an Open Source event anywhere in the >> world >> http://moblin-contest.org/redirect.php?banner_id=100&url=/ >> _______________________________________________ >> OpenCyc-devel mailing list >> Ope...@li... >> https://lists.sourceforge.net/lists/listinfo/opencyc-devel >> >> > > ------------------------------------------------------------------------- > This SF.Net email is sponsored by the Moblin Your Move Developer's > challenge > Build the coolest Linux based applications with Moblin SDK & win great > prizes > Grand prize is a trip for two to an Open Source event anywhere in the > world > http://moblin-contest.org/redirect.php?banner_id=100&url=/ > _______________________________________________ > OpenCyc-devel mailing list > Ope...@li... > https://lists.sourceforge.net/lists/listinfo/opencyc-devel > > |
|
From: Paul F. <pf...@cs...> - 2008-08-08 14:59:37
|
On Mon, Aug 4, 2008 at 8:41 PM, <dm...@us...> wrote: > Change > (NEW-CYC-QUERY > (LIST #$isa ?X #$SpatialThing) #$PeopleDataMt > (LIST :MAX-NUMBER 1)) > to > > (NEW-CYC-QUERY > (LIST #$isa '?X #$SpatialThing) #$PeopleDataMt > (LIST :MAX-NUMBER 1)) > Thats a single QUOTE on ?X Thank you very much for the code example. Do you know how can I measure the time it takes to run a query in the Cyc console? Thank you, regards, Paul Fodor > Here are some other legal forms: > > (NEW-CYC-QUERY > '(#$isa ?X #$SpatialThing) #$PeopleDataMt > (LIST :MAX-NUMBER 1)) > > (NEW-CYC-QUERY > (QUOTE (#$isa ?X #$SpatialThing)) #$PeopleDataMt ;; identical to the > above > (LIST :MAX-NUMBER 1)) > > (NEW-CYC-QUERY > `(#$isa ?X #$SpatialThing) #$PeopleDataMt ;;; Backquote reader > (LIST :MAX-NUMBER 1)) > Here is probly the most prefered: > > (NEW-CYC-QUERY > '(#$isa ?X #$SpatialThing) #$PeopleDataMt > '(:MAX-NUMBER 1)) > Here is a backquoted "`" way the backquote means to take the item litteral > the "," in front of COL mean (EVAL COL) -> #$SpatialThing > > (CLET ((COL #$SpatialThing)(NUM 1)) > (NEW-CYC-QUERY > `(#$isa ?X ,COL) #$PeopleDataMt > `(:MAX-NUMBER ,NUM))) > > > > > > > > > ----- Original Message ----- > From: Paul Fodor > To: OpenCyc developers > Sent: Monday, August 04, 2008 4:17 PM > Subject: [OpenCyc-devel] Query for all instances of a predicate > Dear Sir, > > I am a OpenCyc newbie and I have some questions that I could not figure out > yet. If anyone has time and can respond to my questions, please let me know. > > Question 1: I access OpenCyc from Java and I wonder how can I query for all > instances of a predicate or class. I want to collect a list of all results. > For instance, I want to collect all spatial things: (#$isa ?X > #$SpatialThing) > > or, I want to collect all pairs of people liking other people: > (#$likesAsFriend ?X ?Y) > > For example, > > (NEW-CYC-QUERY > (LIST #$isa #$BillClinton #$SpatialThing) #$PeopleDataMt > (LIST :MAX-NUMBER 1)) > > works, but > > (NEW-CYC-QUERY > (LIST #$isa ?X #$SpatialThing) #$PeopleDataMt > (LIST :MAX-NUMBER 1)) > > tells me that ?X is unbound. > > Question 2: How do I collect this list in Java? > > Thank you, > Paul. > > ________________________________ > > ------------------------------------------------------------------------- > This SF.Net email is sponsored by the Moblin Your Move Developer's challenge > Build the coolest Linux based applications with Moblin SDK & win great > prizes > Grand prize is a trip for two to an Open Source event anywhere in the world > http://moblin-contest.org/redirect.php?banner_id=100&url=/ > > ________________________________ > > _______________________________________________ > OpenCyc-devel mailing list > Ope...@li... > https://lists.sourceforge.net/lists/listinfo/opencyc-devel > > ------------------------------------------------------------------------- > This SF.Net email is sponsored by the Moblin Your Move Developer's challenge > Build the coolest Linux based applications with Moblin SDK & win great > prizes > Grand prize is a trip for two to an Open Source event anywhere in the world > http://moblin-contest.org/redirect.php?banner_id=100&url=/ > _______________________________________________ > OpenCyc-devel mailing list > Ope...@li... > https://lists.sourceforge.net/lists/listinfo/opencyc-devel > > |
|
From: Richard H. M. <rh...@Pi...> - 2008-08-05 01:41:39
|
I wrote some Java code to do that a couple of years ago.
Look at
http://mKRmKE.org/java/cyc
http://mKRmKE.org/java/tap
The Java code works with other code written in Unicon
http://mKRmKE.org/src
and UNIX shell
http://mKRmKE.org/bin
http://mKRmKE.org/bin/cyc
http://mKRmKE.org/bin/tap
P.S. It's the first Java code I ever wrote, so you might want
to consult a more experienced Java programmer.
Dick
----- Original Message -----
From: dm...@us...
To: OpenCyc developers
Sent: Monday, August 04, 2008 6:08 PM
Subject: Re: [OpenCyc-devel] Query for all instances of a predicate
Question 2: How do I collect this list in Java?
Well currently to talk to even the java cyc from java you would use the opencyc.jar and do everything over a subl api socket. And the
return CycList which is a List of binding sets which are little CycLists So a list iterator for bindings
so the ansert might be
( (?X . #$BillClinton ) )
http://www.cyc.com/doc/opencyc_api/java_api/org/opencyc/cycobject/CycList.html
or a fast way is cycList.get(0).getDottedElement();
Now from ResearchCyc Prompt
CYC(5): This is a different matter. Does ayone have more suggestions?
----- Original Message -----
From: dm...@us...
To: OpenCyc developers
Sent: Monday, August 04, 2008 5:41 PM
Subject: Re: [OpenCyc-devel] Query for all instances of a predicate
Change
(NEW-CYC-QUERY
(LIST #$isa ?X #$SpatialThing) #$PeopleDataMt
(LIST :MAX-NUMBER 1))
to
(NEW-CYC-QUERY
(LIST #$isa '?X #$SpatialThing) #$PeopleDataMt
(LIST :MAX-NUMBER 1))
Thats a single QUOTE on ?X
Here are some other legal forms:
(NEW-CYC-QUERY
'(#$isa ?X #$SpatialThing) #$PeopleDataMt
(LIST :MAX-NUMBER 1))
(NEW-CYC-QUERY
(QUOTE (#$isa ?X #$SpatialThing)) #$PeopleDataMt ;; identical to the above
(LIST :MAX-NUMBER 1))
(NEW-CYC-QUERY
`(#$isa ?X #$SpatialThing) #$PeopleDataMt ;;; Backquote reader
(LIST :MAX-NUMBER 1))
Here is probly the most prefered:
(NEW-CYC-QUERY
'(#$isa ?X #$SpatialThing) #$PeopleDataMt
'(:MAX-NUMBER 1))
Here is a backquoted "`" way the backquote means to take the item litteral the "," in front of COL mean (EVAL COL) -> #$SpatialThing
(CLET ((COL #$SpatialThing)(NUM 1))
(NEW-CYC-QUERY
`(#$isa ?X ,COL) #$PeopleDataMt
`(:MAX-NUMBER ,NUM)))
----- Original Message -----
From: Paul Fodor
To: OpenCyc developers
Sent: Monday, August 04, 2008 4:17 PM
Subject: [OpenCyc-devel] Query for all instances of a predicate
Dear Sir,
I am a OpenCyc newbie and I have some questions that I could not figure out yet. If anyone has time and can respond to my questions, please let me know.
Question 1: I access OpenCyc from Java and I wonder how can I query for all instances of a predicate or class. I want to collect a list of all results.
For instance, I want to collect all spatial things: (#$isa ?X #$SpatialThing)
or, I want to collect all pairs of people liking other people: (#$likesAsFriend ?X ?Y)
For example,
(NEW-CYC-QUERY
(LIST #$isa #$BillClinton #$SpatialThing) #$PeopleDataMt
(LIST :MAX-NUMBER 1))
works, but
(NEW-CYC-QUERY
(LIST #$isa ?X #$SpatialThing) #$PeopleDataMt
(LIST :MAX-NUMBER 1))
tells me that ?X is unbound.
Question 2: How do I collect this list in Java?
Thank you,
Paul.
--------------------------------------------------------------------------
-------------------------------------------------------------------------
This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
Build the coolest Linux based applications with Moblin SDK & win great prizes
Grand prize is a trip for two to an Open Source event anywhere in the world
http://moblin-contest.org/redirect.php?banner_id=100&url=/
--------------------------------------------------------------------------
_______________________________________________
OpenCyc-devel mailing list
Ope...@li...
https://lists.sourceforge.net/lists/listinfo/opencyc-devel
----------------------------------------------------------------------------
-------------------------------------------------------------------------
This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
Build the coolest Linux based applications with Moblin SDK & win great prizes
Grand prize is a trip for two to an Open Source event anywhere in the world
http://moblin-contest.org/redirect.php?banner_id=100&url=/
----------------------------------------------------------------------------
_______________________________________________
OpenCyc-devel mailing list
Ope...@li...
https://lists.sourceforge.net/lists/listinfo/opencyc-devel
------------------------------------------------------------------------------
-------------------------------------------------------------------------
This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
Build the coolest Linux based applications with Moblin SDK & win great prizes
Grand prize is a trip for two to an Open Source event anywhere in the world
http://moblin-contest.org/redirect.php?banner_id=100&url=/
------------------------------------------------------------------------------
_______________________________________________
OpenCyc-devel mailing list
Ope...@li...
https://lists.sourceforge.net/lists/listinfo/opencyc-devel
Dick McCullough
Ayn Rand do speak od mKR done;
mKE do enhance od Real Intelligence done;
knowledge := man do identify od existent done;
knowledge haspart proposition list;
http://mKRmKE.org/
|
|
From: <dm...@us...> - 2008-08-05 01:06:01
|
Question 2: How do I collect this list in Java? Well currently to talk to even the java cyc from java you would use the opencyc.jar and do everything over a subl api socket. And the return CycList which is a List of binding sets which are little CycLists So a list iterator for bindings so the ansert might be ( (?X . #$BillClinton ) ) http://www.cyc.com/doc/opencyc_api/java_api/org/opencyc/cycobject/CycList.html or a fast way is cycList.get(0).getDottedElement(); Now from ResearchCyc Prompt CYC(5): This is a different matter. Does ayone have more suggestions? ----- Original Message ----- From: dm...@us... To: OpenCyc developers Sent: Monday, August 04, 2008 5:41 PM Subject: Re: [OpenCyc-devel] Query for all instances of a predicate Change (NEW-CYC-QUERY (LIST #$isa ?X #$SpatialThing) #$PeopleDataMt (LIST :MAX-NUMBER 1)) to (NEW-CYC-QUERY (LIST #$isa '?X #$SpatialThing) #$PeopleDataMt (LIST :MAX-NUMBER 1)) Thats a single QUOTE on ?X Here are some other legal forms: (NEW-CYC-QUERY '(#$isa ?X #$SpatialThing) #$PeopleDataMt (LIST :MAX-NUMBER 1)) (NEW-CYC-QUERY (QUOTE (#$isa ?X #$SpatialThing)) #$PeopleDataMt ;; identical to the above (LIST :MAX-NUMBER 1)) (NEW-CYC-QUERY `(#$isa ?X #$SpatialThing) #$PeopleDataMt ;;; Backquote reader (LIST :MAX-NUMBER 1)) Here is probly the most prefered: (NEW-CYC-QUERY '(#$isa ?X #$SpatialThing) #$PeopleDataMt '(:MAX-NUMBER 1)) Here is a backquoted "`" way the backquote means to take the item litteral the "," in front of COL mean (EVAL COL) -> #$SpatialThing (CLET ((COL #$SpatialThing)(NUM 1)) (NEW-CYC-QUERY `(#$isa ?X ,COL) #$PeopleDataMt `(:MAX-NUMBER ,NUM))) ----- Original Message ----- From: Paul Fodor To: OpenCyc developers Sent: Monday, August 04, 2008 4:17 PM Subject: [OpenCyc-devel] Query for all instances of a predicate Dear Sir, I am a OpenCyc newbie and I have some questions that I could not figure out yet. If anyone has time and can respond to my questions, please let me know. Question 1: I access OpenCyc from Java and I wonder how can I query for all instances of a predicate or class. I want to collect a list of all results. For instance, I want to collect all spatial things: (#$isa ?X #$SpatialThing) or, I want to collect all pairs of people liking other people: (#$likesAsFriend ?X ?Y) For example, (NEW-CYC-QUERY (LIST #$isa #$BillClinton #$SpatialThing) #$PeopleDataMt (LIST :MAX-NUMBER 1)) works, but (NEW-CYC-QUERY (LIST #$isa ?X #$SpatialThing) #$PeopleDataMt (LIST :MAX-NUMBER 1)) tells me that ?X is unbound. Question 2: How do I collect this list in Java? Thank you, Paul. ---------------------------------------------------------------------------- ------------------------------------------------------------------------- This SF.Net email is sponsored by the Moblin Your Move Developer's challenge Build the coolest Linux based applications with Moblin SDK & win great prizes Grand prize is a trip for two to an Open Source event anywhere in the world http://moblin-contest.org/redirect.php?banner_id=100&url=/ ---------------------------------------------------------------------------- _______________________________________________ OpenCyc-devel mailing list Ope...@li... https://lists.sourceforge.net/lists/listinfo/opencyc-devel ------------------------------------------------------------------------------ ------------------------------------------------------------------------- This SF.Net email is sponsored by the Moblin Your Move Developer's challenge Build the coolest Linux based applications with Moblin SDK & win great prizes Grand prize is a trip for two to an Open Source event anywhere in the world http://moblin-contest.org/redirect.php?banner_id=100&url=/ ------------------------------------------------------------------------------ _______________________________________________ OpenCyc-devel mailing list Ope...@li... https://lists.sourceforge.net/lists/listinfo/opencyc-devel |
|
From: <dm...@us...> - 2008-08-05 00:39:39
|
Change
(NEW-CYC-QUERY
(LIST #$isa ?X #$SpatialThing) #$PeopleDataMt
(LIST :MAX-NUMBER 1))
to
(NEW-CYC-QUERY
(LIST #$isa '?X #$SpatialThing) #$PeopleDataMt
(LIST :MAX-NUMBER 1))
Thats a single QUOTE on ?X
Here are some other legal forms:
(NEW-CYC-QUERY
'(#$isa ?X #$SpatialThing) #$PeopleDataMt
(LIST :MAX-NUMBER 1))
(NEW-CYC-QUERY
(QUOTE (#$isa ?X #$SpatialThing)) #$PeopleDataMt ;; identical to the above
(LIST :MAX-NUMBER 1))
(NEW-CYC-QUERY
`(#$isa ?X #$SpatialThing) #$PeopleDataMt ;;; Backquote reader
(LIST :MAX-NUMBER 1))
Here is probly the most prefered:
(NEW-CYC-QUERY
'(#$isa ?X #$SpatialThing) #$PeopleDataMt
'(:MAX-NUMBER 1))
Here is a backquoted "`" way the backquote means to take the item litteral the "," in front of COL mean (EVAL COL) -> #$SpatialThing
(CLET ((COL #$SpatialThing)(NUM 1))
(NEW-CYC-QUERY
`(#$isa ?X ,COL) #$PeopleDataMt
`(:MAX-NUMBER ,NUM)))
----- Original Message -----
From: Paul Fodor
To: OpenCyc developers
Sent: Monday, August 04, 2008 4:17 PM
Subject: [OpenCyc-devel] Query for all instances of a predicate
Dear Sir,
I am a OpenCyc newbie and I have some questions that I could not figure out yet. If anyone has time and can respond to my questions, please let me know.
Question 1: I access OpenCyc from Java and I wonder how can I query for all instances of a predicate or class. I want to collect a list of all results.
For instance, I want to collect all spatial things: (#$isa ?X #$SpatialThing)
or, I want to collect all pairs of people liking other people: (#$likesAsFriend ?X ?Y)
For example,
(NEW-CYC-QUERY
(LIST #$isa #$BillClinton #$SpatialThing) #$PeopleDataMt
(LIST :MAX-NUMBER 1))
works, but
(NEW-CYC-QUERY
(LIST #$isa ?X #$SpatialThing) #$PeopleDataMt
(LIST :MAX-NUMBER 1))
tells me that ?X is unbound.
Question 2: How do I collect this list in Java?
Thank you,
Paul.
------------------------------------------------------------------------------
-------------------------------------------------------------------------
This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
Build the coolest Linux based applications with Moblin SDK & win great prizes
Grand prize is a trip for two to an Open Source event anywhere in the world
http://moblin-contest.org/redirect.php?banner_id=100&url=/
------------------------------------------------------------------------------
_______________________________________________
OpenCyc-devel mailing list
Ope...@li...
https://lists.sourceforge.net/lists/listinfo/opencyc-devel
|
|
From: Paul F. <pf...@cs...> - 2008-08-04 23:17:07
|
Dear Sir, I am a OpenCyc newbie and I have some questions that I could not figure out yet. If anyone has time and can respond to my questions, please let me know. Question 1: I access OpenCyc from Java and I wonder how can I query for all instances of a predicate or class. I want to collect a list of all results. For instance, I want to collect all spatial things: (#$isa ?X #$SpatialThing) or, I want to collect all pairs of people liking other people: (#$likesAsFriend ?X ?Y) For example, (NEW-CYC-QUERY (LIST #$isa #$BillClinton #$SpatialThing) #$PeopleDataMt (LIST :MAX-NUMBER 1)) works, but (NEW-CYC-QUERY (LIST #$isa ?X #$SpatialThing) #$PeopleDataMt (LIST :MAX-NUMBER 1)) tells me that ?X is unbound. Question 2: How do I collect this list in Java? Thank you, Paul. |
|
From: <dm...@us...> - 2008-08-04 02:15:46
|
We meet up usualy 2-3 times a month on a Teamspeak Server. Foundation usually communicates via email over cyc...@ya... , so definately join the yahoo group if you can. Title: Conference Call Time: 8:30 pm - 10:30 pm Repeats: This event repeats every month on the first, third and last Wednesday. To participate, please download the TeamSpeak client software here: http://www.goteamspeak.com/index.php?page=getstarted http://www.goteamspeak.com/index.php?page=tutorial_a Our TeamSpeak server's address is 65.99.218.242. For login/passwd email ms...@gm... or known others Schedueling would be something everyone can be involved in as to maximize the attendance. (I am a member but have missed so many meetings to not know what everyones schedules are like) (My prevoius email CC was too long to make ope...@li... happy and stopped the mail going to cyc...@ya... which would have pinged Mark B. and a few of other the foundation people) TeamSpeak is ussually a good enough shared audio system with a USB Mic/Headset My guess would be to give you enough time to set up a demo thats visible over shared desktop space of your choice. We've used a few sharing tools like "Google Presentations" .. Before that, you can attend a regular meeting and we can all work out the details. ----- Original Message ----- From: Richard H. McCullough To: dm...@us... ; OpenCyc developers Sent: Sunday, August 03, 2008 6:22 PM Subject: Re: [OpenCyc-devel] OpenCyc on Ubuntu 7.10 No, but I'd like to. I keep talking to Mark B. about getting started with Cyc Foundation, but we haven't connected yet. I don't know when conference calls are, how to join them, or any other details about Cyc Foundation. Are you a member of Cyc Foundation? Dick McCullough Ayn Rand do speak od mKR done; mKE do enhance od Real Intelligence done; knowledge := man do identify od existent done; knowledge haspart proposition list; http://mKRmKE.org/ ----- Original Message ----- From: dm...@us... To: OpenCyc developers Sent: Sunday, August 03, 2008 5:12 PM Subject: Re: [OpenCyc-devel] OpenCyc on Ubuntu 7.10 Dick, Have you given a presentation on the mKR interface and langauge to the Cyc Foundation durring a Conference call already? If not, (or if so, but there might be new members since then), would you be interested in presenting your system sometime? This is really amazing work ----- Original Message ----- From: Richard H. McCullough To: OpenCyc developers ; dm...@us... ; Paul Fodor Sent: Sunday, August 03, 2008 1:51 PM Subject: Re: [OpenCyc-devel] OpenCyc on Ubuntu 7.10 You might want to try the mKR language interface to Cyc knowledge bases (http://mKRmKE.org/). mKR is an English-like language. It is implemented in the mKE program. mKE connects to both the SubL interface and the newer Concept Browser/Web Services interface. P.S. I'm not suggesting this re: efficiency, only re: a convenient, user-friendly interface. Dick ----- Original Message ----- From: Paul Fodor To: dm...@us... ; OpenCyc developers Sent: Thursday, July 31, 2008 6:59 PM Subject: Re: [OpenCyc-devel] OpenCyc on Ubuntu 7.10 On Thu, Jul 31, 2008 at 9:32 PM, <dm...@us...> wrote: > Paul, > Have you tried the Java RTLs of ResearchCyc? No. I think you are right and it will work, but I don't know what is the performance difference. I am interested in testing the performance of the Cyc inference engine. I was always under the impression that Java based implementations are slower than the original systems. I don't know if this is the case with ResearchCyc. Do you know anything about this? Thanks you, regards, Paul. ---------------------------------------------------------------------------- ------------------------------------------------------------------------- This SF.Net email is sponsored by the Moblin Your Move Developer's challenge Build the coolest Linux based applications with Moblin SDK & win great prizes Grand prize is a trip for two to an Open Source event anywhere in the world http://moblin-contest.org/redirect.php?banner_id=100&url=/ ---------------------------------------------------------------------------- _______________________________________________ OpenCyc-devel mailing list Ope...@li... https://lists.sourceforge.net/lists/listinfo/opencyc-devel |
|
From: Richard H. M. <rh...@pi...> - 2008-08-04 01:22:51
|
No, but I'd like to. I keep talking to Mark B. about getting started with Cyc Foundation, but we haven't connected yet. I don't know when conference calls are, how to join them, or any other details about Cyc Foundation. Are you a member of Cyc Foundation? Dick McCullough Ayn Rand do speak od mKR done; mKE do enhance od Real Intelligence done; knowledge := man do identify od existent done; knowledge haspart proposition list; http://mKRmKE.org/ ----- Original Message ----- From: dm...@us... To: OpenCyc developers Sent: Sunday, August 03, 2008 5:12 PM Subject: Re: [OpenCyc-devel] OpenCyc on Ubuntu 7.10 Dick, Have you given a presentation on the mKR interface and langauge to the Cyc Foundation durring a Conference call already? If not, (or if so, but there might be new members since then), would you be interested in presenting your system sometime? This is really amazing work ----- Original Message ----- From: Richard H. McCullough To: OpenCyc developers ; dm...@us... ; Paul Fodor Sent: Sunday, August 03, 2008 1:51 PM Subject: Re: [OpenCyc-devel] OpenCyc on Ubuntu 7.10 You might want to try the mKR language interface to Cyc knowledge bases (http://mKRmKE.org/). mKR is an English-like language. It is implemented in the mKE program. mKE connects to both the SubL interface and the newer Concept Browser/Web Services interface. P.S. I'm not suggesting this re: efficiency, only re: a convenient, user-friendly interface. Dick ----- Original Message ----- From: Paul Fodor To: dm...@us... ; OpenCyc developers Sent: Thursday, July 31, 2008 6:59 PM Subject: Re: [OpenCyc-devel] OpenCyc on Ubuntu 7.10 On Thu, Jul 31, 2008 at 9:32 PM, <dm...@us...> wrote: > Paul, > Have you tried the Java RTLs of ResearchCyc? No. I think you are right and it will work, but I don't know what is the performance difference. I am interested in testing the performance of the Cyc inference engine. I was always under the impression that Java based implementations are slower than the original systems. I don't know if this is the case with ResearchCyc. Do you know anything about this? Thanks you, regards, Paul. ------------------------------------------------------------------------------ ------------------------------------------------------------------------- This SF.Net email is sponsored by the Moblin Your Move Developer's challenge Build the coolest Linux based applications with Moblin SDK & win great prizes Grand prize is a trip for two to an Open Source event anywhere in the world http://moblin-contest.org/redirect.php?banner_id=100&url=/ ------------------------------------------------------------------------------ _______________________________________________ OpenCyc-devel mailing list Ope...@li... https://lists.sourceforge.net/lists/listinfo/opencyc-devel |
|
From: <dm...@us...> - 2008-08-04 00:10:42
|
Dick, Have you given a presentation on the mKR interface and langauge to the Cyc Foundation durring a Conference call already? If not, (or if so, but there might be new members since then), would you be interested in presenting your system sometime? This is really amazing work ----- Original Message ----- From: Richard H. McCullough To: OpenCyc developers ; dm...@us... ; Paul Fodor Sent: Sunday, August 03, 2008 1:51 PM Subject: Re: [OpenCyc-devel] OpenCyc on Ubuntu 7.10 You might want to try the mKR language interface to Cyc knowledge bases (http://mKRmKE.org/). mKR is an English-like language. It is implemented in the mKE program. mKE connects to both the SubL interface and the newer Concept Browser/Web Services interface. P.S. I'm not suggesting this re: efficiency, only re: a convenient, user-friendly interface. Dick ----- Original Message ----- From: Paul Fodor To: dm...@us... ; OpenCyc developers Sent: Thursday, July 31, 2008 6:59 PM Subject: Re: [OpenCyc-devel] OpenCyc on Ubuntu 7.10 On Thu, Jul 31, 2008 at 9:32 PM, <dm...@us...> wrote: > Paul, > Have you tried the Java RTLs of ResearchCyc? No. I think you are right and it will work, but I don't know what is the performance difference. I am interested in testing the performance of the Cyc inference engine. I was always under the impression that Java based implementations are slower than the original systems. I don't know if this is the case with ResearchCyc. Do you know anything about this? Thanks you, regards, Paul. |
|
From: Richard H. M. <rh...@Pi...> - 2008-08-03 20:52:34
|
You might want to try the mKR language interface to Cyc knowledge bases (http://mKRmKE.org/). mKR is an English-like language. It is implemented in the mKE program. mKE connects to both the SubL interface and the newer Concept Browser/Web Services interface. P.S. I'm not suggesting this re: efficiency, only re: a convenient, user-friendly interface. Dick ----- Original Message ----- From: Paul Fodor To: dm...@us... ; OpenCyc developers Sent: Thursday, July 31, 2008 6:59 PM Subject: Re: [OpenCyc-devel] OpenCyc on Ubuntu 7.10 On Thu, Jul 31, 2008 at 9:32 PM, <dm...@us...> wrote: > Paul, > Have you tried the Java RTLs of ResearchCyc? No. I think you are right and it will work, but I don't know what is the performance difference. I am interested in testing the performance of the Cyc inference engine. I was always under the impression that Java based implementations are slower than the original systems. I don't know if this is the case with ResearchCyc. Do you know anything about this? Thanks you, regards, Paul. > ----- Original Message ----- > From: Paul Fodor > To: OpenCyc developers > Sent: Thursday, July 31, 2008 10:47 AM > Subject: Re: [OpenCyc-devel] OpenCyc on Ubuntu 7.10 > Thanks Yeb. I think I tried all versions of ResearchCyc and OpenCyc on our Ubuntu server (Ubuntu 7.10, 32bits architecture with 3Gb RAM). All except OpenCyc 0.9 give the error at initialization (see previous emails). > OpenCyc 0.9 doesn't give an error at initialization or the server (see below), but once I try to connect with the browser (to the URI: "http://127.0.0.1:3602/cgi-bin/cyccgi/cg?cb-start") it gives "Segmentation fault". > > I guess I will make my programs in the Windows version of ResearchCyc, which seems to work. > > Trace for segmentation fault: > /usr/share/opencyc-0.9/run/bin/latest.bin -w /usr/share/opencyc-0.9/run/world/startWorld.load > > Loading statics. > Mapping in the memory image. > Running initializers ... PROCESS (16391), PROCESS (16414), done. > Reconnected to shared object RED Library (auto-loaded). > Cyc 10 (Linux 32-bit) > Copyright (C) 1995 - 2005 Cycorp, Inc. All rights reserved. > RTL (Green Threads/ASM Contexts) initialized. > CycL Initialized. > Initializing file-backed caches. > Warning: Unable to find file hashtable: data/caches/0001/generic-singular-nl-generation-fort-cache.fht > Enabling base TCP services to port 3600. > > Ready for services. > Process ID: 12488 > System 1.8084 KB 2. > CYC(1): Error: Received signal 8 SIGFPE (Erroneous arithmetic operation). > Note: Running in #<PROCESS Port 3602 server dispatcher "Run" 4ABB01E4>. > [Switching to single-threaded mode ....] > > Select a restart: > 0: Continue waiting for connections. > 1: Restart process Port 3602 server dispatcher. > 2: Exit process Port 3602 server dispatcher. > 3: Recursive read loop. > 4: Exit program. > ? 0 > [Resuming multi-threaded mode ....] > Segmentation fault > > > > On Thu, Jul 31, 2008 at 1:37 PM, Yeb Havinga <yeb...@po...> wrote: >> >> dm...@us... wrote: >> > http://sourceforge.net/project/showfiles.php?group_id=27274 >> > >> > Oops 1.06 is 1.02 >> > I'd give 0.9 a try for sanity to make sure it's not just a Ubuntu thing >> > opencyc-0.9.0-Suse91.tgz >> > <http://downloads.sourceforge.net/opencyc/opencyc-0.9.0-Suse91.tgz?modtime=1109427630&big_mirror=0> >> > Mirror >> > <http://sourceforge.net/project/mirror_picker.php?height=350&width=300&group_id=27274&use_mirror=voxel&filename=opencyc-0.9.0-Suse91.tgz&abmode=> >> Hi all, >> >> For what it's worth. I've used the latest version of opencyc on a recent >> (half year) debian x86_64 as well as Ubuntu 8.10 (intrepid) x86_64, >> using the suse opencyc binary. Both recent intel processors (EM64T) as >> amd processors support amd's 64 bit architecture. (Do not confuse intels >> IA64 for the itanium with EM64T) >> >> regards, >> Yeb >> >> >> ------------------------------------------------------------------------- >> This SF.Net email is sponsored by the Moblin Your Move Developer's challenge >> Build the coolest Linux based applications with Moblin SDK & win great prizes >> Grand prize is a trip for two to an Open Source event anywhere in the world >> http://moblin-contest.org/redirect.php?banner_id=100&url=/ >> _______________________________________________ >> OpenCyc-devel mailing list >> Ope...@li... >> https://lists.sourceforge.net/lists/listinfo/opencyc-devel > > ________________________________ > > ------------------------------------------------------------------------- > This SF.Net email is sponsored by the Moblin Your Move Developer's challenge > Build the coolest Linux based applications with Moblin SDK & win great prizes > Grand prize is a trip for two to an Open Source event anywhere in the world > http://moblin-contest.org/redirect.php?banner_id=100&url=/ > > ________________________________ > > _______________________________________________ > OpenCyc-devel mailing list > Ope...@li... > https://lists.sourceforge.net/lists/listinfo/opencyc-devel > > ------------------------------------------------------------------------- > This SF.Net email is sponsored by the Moblin Your Move Developer's challenge > Build the coolest Linux based applications with Moblin SDK & win great prizes > Grand prize is a trip for two to an Open Source event anywhere in the world > http://moblin-contest.org/redirect.php?banner_id=100&url=/ > _______________________________________________ > OpenCyc-devel mailing list > Ope...@li... > https://lists.sourceforge.net/lists/listinfo/opencyc-devel > Thank you, Paul Fodor ------------------------------------------------------------------------------ ------------------------------------------------------------------------- This SF.Net email is sponsored by the Moblin Your Move Developer's challenge Build the coolest Linux based applications with Moblin SDK & win great prizes Grand prize is a trip for two to an Open Source event anywhere in the world http://moblin-contest.org/redirect.php?banner_id=100&url=/ ------------------------------------------------------------------------------ _______________________________________________ OpenCyc-devel mailing list Ope...@li... https://lists.sourceforge.net/lists/listinfo/opencyc-devel Dick McCullough Ayn Rand do speak od mKR done; mKE do enhance od Real Intelligence done; knowledge := man do identify od existent done; knowledge haspart proposition list; http://mKRmKE.org/ |
|
From: Paul F. <pf...@cs...> - 2008-08-01 14:16:36
|
Ok, that is great, then I should switch to the Java version then. My observation was in general and is very wrong then. Thank you, Paul. |
4 messages has been excluded from this view by a project administrator.
