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
http://www.cs.iastate.edu/~baojie
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)
|