Re: [OpenCyc-devel] Rules within OpenCyc

[Cameron R. <cr...@ko...>]

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 <fod...@gm...> wrote:

> 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
> >
> >
>
>
> ------------------------------------------------------------------------------
> 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
>



-- 
Kojeware Corporation