ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] OpenCyc OWL Files

To: "'[ontolog-forum] '" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "Ian Bailey" <ian@xxxxxxxxxxxxxxxx>
Date: Thu, 19 Feb 2009 08:24:36 -0000
Message-id: <01ba01c9926b$81330410$83990c30$@com>
Hi All,    (01)

Thanks for the responses. David Baxter from Cycorp has been in touch and is
looking into the issue.     (02)

PS - I finally found a text editor that could load the file, and it turns
out there was no subClassOf clause in the orphan classes.
So...thankfully...it doesn't seem to be my OWL editor. The idea of
bug-fixing with a test file of 124MB was not appealing.     (03)

Cheers
--
Ian    (04)

-----Original Message-----
From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx
[mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx] On Behalf Of Pat Hayes
Sent: 19 February 2009 05:25
To: [ontolog-forum] 
Subject: Re: [ontolog-forum] OpenCyc OWL Files    (05)


On Feb 18, 2009, at 9:26 PM, Mitch Harris wrote:    (06)

> 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?    (07)

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.    (08)

Pat    (09)

>
>
> -- 
> 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
>
>
>    (010)

------------------------------------------------------------
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    (011)






_________________________________________________________________
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    (012)



_________________________________________________________________
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    (013)

<Prev in Thread] Current Thread [Next in Thread>