On Feb 18, 2009, at 9:26 PM, Mitch Harris wrote: (01)
> On Wed, Feb 18, 2009 at 5:08 PM, Pat Hayes <phayes@xxxxxxx> wrote:
>> On Feb 18, 2009, at 12:07 PM, Ian Bailey wrote:
>>>
>>> As part of an ontology-based reference data demonstrator I'm
>>> working on, I
>>> decided to go look what was out there for free, or at least under
>>> creative
>>> commons. I downloaded the OpenCyc OWL file and loaded it into my OWL
>>> editor (all 124MB of it!).
>>
>> Bear in mind that OWL isn't expressive enough to capture more than a
>> fraction of what is in OpenCyc.
>
> I don't know much about Cyc or OpenCyc...in what way is OpenCyc more
> expressive? Is it full FOL? (02)
Yes, and then some. It uses full FOL expressivity in a CL-like format
that looks like higher-order logic plus the context-logic-based
microtheories machinery. The Cyc reasoner also has several hundred
special-purpose reasoning modules, and the Cyc formalism is sometimes
adapted so as to take advantage of them. For example, rather than
writing the axiom
(forall (x)(if (P x)(Q x)))
Cyc will prefer the form (genls P Q), which means exactly the same but
is recognized by the Cyc inference machinery and treated in a highly
efficient way. (03)
Pat (04)
>
>
> --
> Mitchell A. Harris
> Research Faculty (Instructor in Computer Science)
> Department of Radiology
> Massachusetts General Hospital/Harvard Medical School
>
> _________________________________________________________________
> Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
> Config Subscr: 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 join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
> To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx
>
>
> (05)
------------------------------------------------------------
IHMC (850)434 8903 or (650)494 3973
40 South Alcaniz St. (850)202 4416 office
Pensacola (850)202 4440 fax
FL 32502 (850)291 0667 mobile
phayesAT-SIGNihmc.us http://www.ihmc.us/users/phayes (06)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: 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 join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (07)
|