Paola, (01)
IKL is a superset of Common Logic (CL), and those extra
features were added to support many systems, such as Cyc,
which need that extra expressive capability. The CLIF
and CGIF dialects of CL have been extended to support
the IKL features. (02)
CL can also be used to reason about various kinds of
time-dependent situations. But IKL can represent some
of the reasoning methods that go beyond CL. (03)
The semantic foundation of OWL and RDF is a subset of
the CL semantics. That means anything represented in
those languages can be automatically translated to CL
and IKL. (04)
> ... in a semantic data model, does your conclusion
> recommend that IKL is used as representation of K
> (or data) on the web rather than RDF/OWL, or in
> combination with rdf/owl (05)
That depends on what you're trying to do. It's possible
to represent an ontology that has no time dependencies
in OWL, translate that to CL or IKL, and do the time
dependent reasoning in those languages. (06)
John (07)
_________________________________________________________________
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 (08)
|