Hi Paul,

My question is whether or not the OWL ontology is a subset of OpenCyc.  That is, does OpenCyc contain axioms that are not represented in the OWL file because of the limited nature of OWL, or is the OWL ontology more-or-less representative of what is in OpenCyc?

Cameron.

On Wed, Mar 24, 2010 at 11:10 AM, Paul Fodor <fodor.paul@gmail.com> wrote:
On Wed, Mar 24, 2010 at 9:11 AM, Cameron Ross <cross@kojeware.com> wrote:
> The OWL file provided for the OpenCyc ontology doesn't contain axioms for
> implications, biconditionals etc.  Is this because OWL doesn't support such
> constructs, or is it because the OpenCyc subset of Cyc does not contain them
> (or both perhaps)?
> Cameron.

OWL doesn't have implication. OWL is based on description logics, so
it has knowledge representation constructs, such as: an object is an
instance of a class, classes are subclasses of other classes,
properties of classes.
Regarding biconditionals, the only thing that OWL has is equality and
inequality (of classes, properties and individuals). See:
http://www.w3.org/TR/2004/REC-owl-features-20040210/#s3.2
Regards,
Paul.

> ------------------------------------------------------------------------------
> Download Intel&#174; Parallel Studio Eval
> Try the new software tools for yourself. Speed compiling, find bugs
> proactively, and fine-tune applications for parallel performance.
> See why Intel Parallel Studio got high marks during beta.
> http://p.sf.net/sfu/intel-sw-dev
> _______________________________________________
> OpenCyc-devel mailing list
> OpenCyc-devel@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/opencyc-devel
>
>

------------------------------------------------------------------------------
Download Intel&#174; Parallel Studio Eval
Try the new software tools for yourself. Speed compiling, find bugs
proactively, and fine-tune applications for parallel performance.
See why Intel Parallel Studio got high marks during beta.
http://p.sf.net/sfu/intel-sw-dev
_______________________________________________
OpenCyc-devel mailing list
OpenCyc-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/opencyc-devel



--
Kojeware Corporation