Mills, (01)
I consider *every* theorem prover and processor for any and every
subset of classical FOL to be an implementation of a subset of
CL and IKL. (02)
> So, when will we seeing tooling for (a) CL and (b) the IKL
> extensions to it? (03)
There's 40+ years of subset implementations, including all the
work on RDF(S) and OWL. Those can be used today, and any work
that people do on the extensions can take advantage of any or
all of the existing work immediately. (04)
That is the beauty of CL and IKL -- the implementations have
been available for years. What the standard does is to specify
a common semantics for all of them. (05)
John (06)
_________________________________________________________________
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 (07)
|