Menu
▾
▴
Re: [OpenCyc-devel] Query for all instances of a predicate
|
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
|
