[Top] [All Lists]

[ontolog-forum] is CycL decidable?

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "Jie Bao" <baojie@xxxxxxxxx>
Date: Mon, 18 Jun 2007 02:56:08 -0500
Message-id: <b6b357670706180056r6479488ew4bc038d3253c9b3@xxxxxxxxxxxxxx>
Greets for all.    (01)

I wish there is somebody that knows the answers to the following
questions, or the right reference that addressing those questions.    (02)

Is the CycL language (for Cyc) in general decidable? It is a
frame-based language, or a subset  of FOL? If it is a subset of FOL,
which subset it is?    (03)

Thank you in advance for your kind attention.    (04)

Jie Bao
Department of Computer Science
Iowa State University
baojie@xxxxxxxxxxxxxx    (05)

Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/  
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (06)

<Prev in Thread] Current Thread [Next in Thread>