Re: [OpenCyc-devel] Query for all instances of a predicate

[Paul F. <pf...@cs...>]

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)))