Re: [OpenCyc-devel] Rules within OpenCyc

[Paul F. <fod...@gm...>]

On Wed, Mar 24, 2010 at 9:11 AM, Cameron Ross <cr...@ko...> 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
> Ope...@li...
> https://lists.sourceforge.net/lists/listinfo/opencyc-devel
>
>