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