Menu
▾
▴
opencyc-devel — OpenCyc application developers
You can subscribe to this list here.
| 2002 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
(38) |
Jul
(10) |
Aug
(2) |
Sep
|
Oct
|
Nov
(7) |
Dec
|
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 2003 |
Jan
(47) |
Feb
(5) |
Mar
(8) |
Apr
(12) |
May
|
Jun
|
Jul
(4) |
Aug
(7) |
Sep
|
Oct
|
Nov
|
Dec
(11) |
| 2004 |
Jan
(1) |
Feb
(1) |
Mar
(3) |
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
(1) |
Oct
(3) |
Nov
|
Dec
|
| 2006 |
Jan
(1) |
Feb
|
Mar
|
Apr
(2) |
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
(1) |
Nov
|
Dec
|
| 2007 |
Jan
|
Feb
(1) |
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
(9) |
Sep
|
Oct
|
Nov
|
Dec
|
| 2008 |
Jan
|
Feb
|
Mar
|
Apr
|
May
(1) |
Jun
|
Jul
(12) |
Aug
(36) |
Sep
|
Oct
|
Nov
|
Dec
|
| 2009 |
Jan
|
Feb
(1) |
Mar
|
Apr
(4) |
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
| 2010 |
Jan
|
Feb
|
Mar
(10) |
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
| 2011 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
(2) |
Oct
|
Nov
|
Dec
|
| 2012 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
(1) |
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
|
From: Joshua H. <zit...@gm...> - 2012-07-25 01:17:19
|
To all, I have run the linux version of opencyc on mac os x without modification on 10.7. You should say the linux version also supports mac os x. I'm on Darwin Joshuas-MacBook-Air.local 11.4.0 Darwin Kernel Version 11.4.0: Mon Apr 9 19:32:15 PDT 2012; root:xnu-1699.26.8~1/RELEASE_X86_64 x86_64 Attached is the run log Sincerely, Joshua Herman ---Profile:--- http://www.google.com/profiles/zitterbewegung |
|
From: Conrad T. <con...@gm...> - 2011-09-03 19:23:43
|
On Sat, Sep 3, 2011 at 11:48 AM, kosgi santosh <san...@gm...>wrote: > i'm planning to use open cyc for my project but i'm getting some > errors while running run-cyc file the errors are > > > Error occurred during initialization of VM > Could not reserve enough space for object heap > Could not create the Java virtual machine. > > Hi, from the messages above, you do not have enough RAM. How much RAM do you have? In any case, you'll need to add more RAM. Good luck, -Conrad > i'll be thankful if u can help me out in figuring out the errors > > > > > > Regards, > SantoshKosgi. > > > ------------------------------------------------------------------------------ > Special Offer -- Download ArcSight Logger for FREE! > Finally, a world-class log management solution at an even better > price-free! And you'll get a free "Love Thy Logs" t-shirt when you > download Logger. Secure your free ArcSight Logger TODAY! > http://p.sf.net/sfu/arcsisghtdev2dev > _______________________________________________ > OpenCyc-devel mailing list > Ope...@li... > https://lists.sourceforge.net/lists/listinfo/opencyc-devel > |
|
From: kosgi s. <san...@gm...> - 2011-09-03 18:48:49
|
i'm planning to use open cyc for my project but i'm getting some errors while running run-cyc file the errors are Error occurred during initialization of VM Could not reserve enough space for object heap Could not create the Java virtual machine. i'll be thankful if u can help me out in figuring out the errors Regards, SantoshKosgi. |
|
From: John De O. <jo...@cy...> - 2010-03-24 20:33:44
|
Re: "Does OpenCyc include axioms ('complex rules') beyond taxonomic
assertions mentioned above?"
No. OpenCyc does not contain the "complex rules". That is what makes up much
of the content of Full Cyc. Those implication rules and other non-taxonomic
ground atomic formulae (GAFs) are in Cyc but not in OpenCyc.
Regards,
John D.
On Wed, Mar 24, 2010 at 12:25 PM, Cameron Ross <cr...@ko...> wrote:
> Thanks for the link to Wikipedia Paul.
>
> The section describing OpenCyc either does not describe what is contained
> in OpenCyc 2.0, or there is a typo with the reference to OpenCyc 1.0 in the
> second sentence:
>
> "The latest version of OpenCyc, 2.0, was released in July 2009. OpenCyc
> 1.0 includes the entire Cyc ontology containing hundreds of thousands of
> terms, along with millions of assertions relating the terms to each other,
> however these are mainly taxonomic assertions, not the complex rules
> available in Cyc. The knowledge base contains 47,000 concepts and 306,000
> facts and can be browsed on the OpenCyc website."
>
> As to whether or not OpenCyc comprise the entire Cyc ontology... I guess it
> depends on where you draw the boundaries between the ontology and the
> knowledge-base. Therefore, I'll re-state my question as follows. Does
> OpenCyc include axioms ('complex rules') beyond taxonomic assertions
> mentioned above?
>
> Thanks,
> Cameron.
>
>
> On Wed, Mar 24, 2010 at 12:22 PM, Paul Fodor <fod...@gm...> wrote:
>
>> On Wed, Mar 24, 2010 at 12:09 PM, Cameron Ross <cr...@ko...>
>> wrote:
>> > Hi Paul,
>> > Yes. OpenCyc is a subset of Cyc. My question is whether or not the OWL
>> > ontology is a subset of OpenCyc, not Cyc.
>>
>> Ok. OWL ontology is a subset of OpenCyc.
>> "OpenCyc includes the entire Cyc ontology" (Wikipedia)
>> OpenCyc does include most their database of knowledge, but it includes
>> the ontology.
>> I had access to OpenCyc, ResearchCyc and their latest internal version
>> of Cyc (in Java) and all have the same ontology.
>> Regards,
>> Paul.
>>
>> > Cameron.
>> >
>> > On Wed, Mar 24, 2010 at 12:05 PM, Paul Fodor <fod...@gm...>
>> wrote:
>> >>
>> >> On Wed, Mar 24, 2010 at 11:17 AM, Cameron Ross <cr...@ko...>
>> wrote:
>> >> > 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?
>> >>
>> >> Cyc has many axioms and special reasoners. Cyc is definitely a
>> >> superset of OWL as a knowledge representation language. Up to what I
>> >> know it contains everything that OWL has (maybe even OWL 2 constraints
>> >> can be implemented, but I don't know if Cycorp did it yet).
>> >>
>> >> Last year we tested at Stony Brook University a big set of rule
>> >> languages and one of the systems that we tested was Cyc. We learned
>> >> that Cyc has many things: KR features (e.g., classes, properties,
>> >> instances, micro theories (modules)), logic implication, backward
>> >> chaining and forward chaining reasoners, special reasoners, etc.
>> >>
>> >> I know that you are interested in the KR part, but if you want to take
>> >> a look at our report or our test suite, please check here:
>> >> http://rulebench.projects.semwebcentral.org
>> >> It tested the same rule features (logic operands and implication)
>> >> efficiency in many languages: logic programming (XSB, YAP, SWI
>> >> Prologs, dlv), production rules (Jena, Jess, Drools, Prova), deductive
>> >> databases (OntoBroker), and RDF triple engines.
>> >>
>> >> So, yes. Cyc has #$implies. For example:
>> >> (#$implies (#$and (#$and (#$isa-predicate ?X #$node-cn #$node-provi)
>> >> (#$att-predicate ?X #$node-cn #$node-number ?A) ) (#$att-predicate ?X
>> >> #$node-cn #$node-number2 ?D) ) (#$queryrule-predicate ?X ?A ?D)
>> >> However, in other places we used special reasoners. For instance, to
>> >> compute the transitive closure of some relation, we just used a parent
>> >> relation TransitiveRelation which is a higher order property that
>> >> takes as an input any relation and computes its transitive closure.
>> >>
>> >> Regards,
>> >> Paul.
>> >>
>> >> > 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® 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® 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
>> >> >
>> >> >
>> >> >
>> ------------------------------------------------------------------------------
>> >> > Download Intel® 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® 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
>> >
>> >
>> ------------------------------------------------------------------------------
>> > Download Intel® 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® 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
>
>
> ------------------------------------------------------------------------------
> Download Intel® 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
>
>
--
Website: http://www.actionitem.com
Twitter: http://twitter.com/johndeo
LinkedIn: http://www.linkedin.com/in/johndeo
Twine: http://www.twine.com/user/johndeo
|
|
From: Paul F. <fod...@gm...> - 2010-03-24 17:57:12
|
On Wed, Mar 24, 2010 at 1:25 PM, Cameron Ross <cr...@ko...> wrote:
> Thanks for the link to Wikipedia Paul.
> The section describing OpenCyc either does not describe what is contained in
> OpenCyc 2.0, or there is a typo with the reference to OpenCyc 1.0 in the
> second sentence:
> "The latest version of OpenCyc, 2.0, was released in July 2009. OpenCyc 1.0
> includes the entire Cyc ontology containing hundreds of thousands of terms,
> along with millions of assertions relating the terms to each other, however
> these are mainly taxonomic assertions, not the complex rules available in
> Cyc. The knowledge base contains 47,000 concepts and 306,000 facts and can
> be browsed on the OpenCyc website."
> As to whether or not OpenCyc comprise the entire Cyc ontology... I guess it
> depends on where you draw the boundaries between the ontology and the
> knowledge-base. Therefore, I'll re-state my question as follows. Does
> OpenCyc include axioms ('complex rules') beyond taxonomic assertions
> mentioned above?
I see. I guess only someone from Cycorp can respond accurately to your question.
Paul.
> Thanks,
> Cameron.
>
> On Wed, Mar 24, 2010 at 12:22 PM, Paul Fodor <fod...@gm...> wrote:
>>
>> On Wed, Mar 24, 2010 at 12:09 PM, Cameron Ross <cr...@ko...> wrote:
>> > Hi Paul,
>> > Yes. OpenCyc is a subset of Cyc. My question is whether or not the OWL
>> > ontology is a subset of OpenCyc, not Cyc.
>>
>> Ok. OWL ontology is a subset of OpenCyc.
>> "OpenCyc includes the entire Cyc ontology" (Wikipedia)
>> OpenCyc does include most their database of knowledge, but it includes
>> the ontology.
>> I had access to OpenCyc, ResearchCyc and their latest internal version
>> of Cyc (in Java) and all have the same ontology.
>> Regards,
>> Paul.
>>
>> > Cameron.
>> >
>> > On Wed, Mar 24, 2010 at 12:05 PM, Paul Fodor <fod...@gm...>
>> > wrote:
>> >>
>> >> On Wed, Mar 24, 2010 at 11:17 AM, Cameron Ross <cr...@ko...>
>> >> wrote:
>> >> > 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?
>> >>
>> >> Cyc has many axioms and special reasoners. Cyc is definitely a
>> >> superset of OWL as a knowledge representation language. Up to what I
>> >> know it contains everything that OWL has (maybe even OWL 2 constraints
>> >> can be implemented, but I don't know if Cycorp did it yet).
>> >>
>> >> Last year we tested at Stony Brook University a big set of rule
>> >> languages and one of the systems that we tested was Cyc. We learned
>> >> that Cyc has many things: KR features (e.g., classes, properties,
>> >> instances, micro theories (modules)), logic implication, backward
>> >> chaining and forward chaining reasoners, special reasoners, etc.
>> >>
>> >> I know that you are interested in the KR part, but if you want to take
>> >> a look at our report or our test suite, please check here:
>> >> http://rulebench.projects.semwebcentral.org
>> >> It tested the same rule features (logic operands and implication)
>> >> efficiency in many languages: logic programming (XSB, YAP, SWI
>> >> Prologs, dlv), production rules (Jena, Jess, Drools, Prova), deductive
>> >> databases (OntoBroker), and RDF triple engines.
>> >>
>> >> So, yes. Cyc has #$implies. For example:
>> >> (#$implies (#$and (#$and (#$isa-predicate ?X #$node-cn #$node-provi)
>> >> (#$att-predicate ?X #$node-cn #$node-number ?A) ) (#$att-predicate ?X
>> >> #$node-cn #$node-number2 ?D) ) (#$queryrule-predicate ?X ?A ?D)
>> >> However, in other places we used special reasoners. For instance, to
>> >> compute the transitive closure of some relation, we just used a parent
>> >> relation TransitiveRelation which is a higher order property that
>> >> takes as an input any relation and computes its transitive closure.
>> >>
>> >> Regards,
>> >> Paul.
>> >>
>> >> > 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® 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® 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
>> >> >
>> >> >
>> >> >
>> >> > ------------------------------------------------------------------------------
>> >> > Download Intel® 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® 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
>> >
>> >
>> > ------------------------------------------------------------------------------
>> > Download Intel® 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® 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
>
> ------------------------------------------------------------------------------
> Download Intel® 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
>
>
|
|
From: Cameron R. <cr...@ko...> - 2010-03-24 17:30:47
|
Thanks for the link to Wikipedia Paul.
The section describing OpenCyc either does not describe what is contained in
OpenCyc 2.0, or there is a typo with the reference to OpenCyc 1.0 in the
second sentence:
"The latest version of OpenCyc, 2.0, was released in July 2009. OpenCyc 1.0
includes the entire Cyc ontology containing hundreds of thousands of terms,
along with millions of assertions relating the terms to each other, however
these are mainly taxonomic assertions, not the complex rules available in
Cyc. The knowledge base contains 47,000 concepts and 306,000 facts and can
be browsed on the OpenCyc website."
As to whether or not OpenCyc comprise the entire Cyc ontology... I guess it
depends on where you draw the boundaries between the ontology and the
knowledge-base. Therefore, I'll re-state my question as follows. Does
OpenCyc include axioms ('complex rules') beyond taxonomic assertions
mentioned above?
Thanks,
Cameron.
On Wed, Mar 24, 2010 at 12:22 PM, Paul Fodor <fod...@gm...> wrote:
> On Wed, Mar 24, 2010 at 12:09 PM, Cameron Ross <cr...@ko...> wrote:
> > Hi Paul,
> > Yes. OpenCyc is a subset of Cyc. My question is whether or not the OWL
> > ontology is a subset of OpenCyc, not Cyc.
>
> Ok. OWL ontology is a subset of OpenCyc.
> "OpenCyc includes the entire Cyc ontology" (Wikipedia)
> OpenCyc does include most their database of knowledge, but it includes
> the ontology.
> I had access to OpenCyc, ResearchCyc and their latest internal version
> of Cyc (in Java) and all have the same ontology.
> Regards,
> Paul.
>
> > Cameron.
> >
> > On Wed, Mar 24, 2010 at 12:05 PM, Paul Fodor <fod...@gm...>
> wrote:
> >>
> >> On Wed, Mar 24, 2010 at 11:17 AM, Cameron Ross <cr...@ko...>
> wrote:
> >> > 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?
> >>
> >> Cyc has many axioms and special reasoners. Cyc is definitely a
> >> superset of OWL as a knowledge representation language. Up to what I
> >> know it contains everything that OWL has (maybe even OWL 2 constraints
> >> can be implemented, but I don't know if Cycorp did it yet).
> >>
> >> Last year we tested at Stony Brook University a big set of rule
> >> languages and one of the systems that we tested was Cyc. We learned
> >> that Cyc has many things: KR features (e.g., classes, properties,
> >> instances, micro theories (modules)), logic implication, backward
> >> chaining and forward chaining reasoners, special reasoners, etc.
> >>
> >> I know that you are interested in the KR part, but if you want to take
> >> a look at our report or our test suite, please check here:
> >> http://rulebench.projects.semwebcentral.org
> >> It tested the same rule features (logic operands and implication)
> >> efficiency in many languages: logic programming (XSB, YAP, SWI
> >> Prologs, dlv), production rules (Jena, Jess, Drools, Prova), deductive
> >> databases (OntoBroker), and RDF triple engines.
> >>
> >> So, yes. Cyc has #$implies. For example:
> >> (#$implies (#$and (#$and (#$isa-predicate ?X #$node-cn #$node-provi)
> >> (#$att-predicate ?X #$node-cn #$node-number ?A) ) (#$att-predicate ?X
> >> #$node-cn #$node-number2 ?D) ) (#$queryrule-predicate ?X ?A ?D)
> >> However, in other places we used special reasoners. For instance, to
> >> compute the transitive closure of some relation, we just used a parent
> >> relation TransitiveRelation which is a higher order property that
> >> takes as an input any relation and computes its transitive closure.
> >>
> >> Regards,
> >> Paul.
> >>
> >> > 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® 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® 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
> >> >
> >> >
> >> >
> ------------------------------------------------------------------------------
> >> > Download Intel® 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® 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
> >
> >
> ------------------------------------------------------------------------------
> > Download Intel® 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® 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
|
|
From: Paul F. <fod...@gm...> - 2010-03-24 16:23:23
|
On Wed, Mar 24, 2010 at 12:09 PM, Cameron Ross <cr...@ko...> wrote: > Hi Paul, > Yes. OpenCyc is a subset of Cyc. My question is whether or not the OWL > ontology is a subset of OpenCyc, not Cyc. Ok. OWL ontology is a subset of OpenCyc. "OpenCyc includes the entire Cyc ontology" (Wikipedia) OpenCyc does include most their database of knowledge, but it includes the ontology. I had access to OpenCyc, ResearchCyc and their latest internal version of Cyc (in Java) and all have the same ontology. Regards, Paul. > Cameron. > > On Wed, Mar 24, 2010 at 12:05 PM, Paul Fodor <fod...@gm...> wrote: >> >> On Wed, Mar 24, 2010 at 11:17 AM, Cameron Ross <cr...@ko...> wrote: >> > 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? >> >> Cyc has many axioms and special reasoners. Cyc is definitely a >> superset of OWL as a knowledge representation language. Up to what I >> know it contains everything that OWL has (maybe even OWL 2 constraints >> can be implemented, but I don't know if Cycorp did it yet). >> >> Last year we tested at Stony Brook University a big set of rule >> languages and one of the systems that we tested was Cyc. We learned >> that Cyc has many things: KR features (e.g., classes, properties, >> instances, micro theories (modules)), logic implication, backward >> chaining and forward chaining reasoners, special reasoners, etc. >> >> I know that you are interested in the KR part, but if you want to take >> a look at our report or our test suite, please check here: >> http://rulebench.projects.semwebcentral.org >> It tested the same rule features (logic operands and implication) >> efficiency in many languages: logic programming (XSB, YAP, SWI >> Prologs, dlv), production rules (Jena, Jess, Drools, Prova), deductive >> databases (OntoBroker), and RDF triple engines. >> >> So, yes. Cyc has #$implies. For example: >> (#$implies (#$and (#$and (#$isa-predicate ?X #$node-cn #$node-provi) >> (#$att-predicate ?X #$node-cn #$node-number ?A) ) (#$att-predicate ?X >> #$node-cn #$node-number2 ?D) ) (#$queryrule-predicate ?X ?A ?D) >> However, in other places we used special reasoners. For instance, to >> compute the transitive closure of some relation, we just used a parent >> relation TransitiveRelation which is a higher order property that >> takes as an input any relation and computes its transitive closure. >> >> Regards, >> Paul. >> >> > 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® 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® 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 >> > >> > >> > ------------------------------------------------------------------------------ >> > Download Intel® 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® 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 > > ------------------------------------------------------------------------------ > Download Intel® 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 > > |
|
From: Cameron R. <cr...@ko...> - 2010-03-24 16:10:06
|
Hi Paul, Yes. OpenCyc is a subset of Cyc. My question is whether or not the OWL ontology is a subset of OpenCyc, not Cyc. Cameron. On Wed, Mar 24, 2010 at 12:05 PM, Paul Fodor <fod...@gm...> wrote: > On Wed, Mar 24, 2010 at 11:17 AM, Cameron Ross <cr...@ko...> wrote: > > 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? > > Cyc has many axioms and special reasoners. Cyc is definitely a > superset of OWL as a knowledge representation language. Up to what I > know it contains everything that OWL has (maybe even OWL 2 constraints > can be implemented, but I don't know if Cycorp did it yet). > > Last year we tested at Stony Brook University a big set of rule > languages and one of the systems that we tested was Cyc. We learned > that Cyc has many things: KR features (e.g., classes, properties, > instances, micro theories (modules)), logic implication, backward > chaining and forward chaining reasoners, special reasoners, etc. > > I know that you are interested in the KR part, but if you want to take > a look at our report or our test suite, please check here: > http://rulebench.projects.semwebcentral.org > It tested the same rule features (logic operands and implication) > efficiency in many languages: logic programming (XSB, YAP, SWI > Prologs, dlv), production rules (Jena, Jess, Drools, Prova), deductive > databases (OntoBroker), and RDF triple engines. > > So, yes. Cyc has #$implies. For example: > (#$implies (#$and (#$and (#$isa-predicate ?X #$node-cn #$node-provi) > (#$att-predicate ?X #$node-cn #$node-number ?A) ) (#$att-predicate ?X > #$node-cn #$node-number2 ?D) ) (#$queryrule-predicate ?X ?A ?D) > However, in other places we used special reasoners. For instance, to > compute the transitive closure of some relation, we just used a parent > relation TransitiveRelation which is a higher order property that > takes as an input any relation and computes its transitive closure. > > Regards, > Paul. > > > 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® 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® 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 > > > > > ------------------------------------------------------------------------------ > > Download Intel® 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® 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 |
|
From: Paul F. <fod...@gm...> - 2010-03-24 16:05:42
|
On Wed, Mar 24, 2010 at 11:17 AM, Cameron Ross <cr...@ko...> wrote: > 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? Cyc has many axioms and special reasoners. Cyc is definitely a superset of OWL as a knowledge representation language. Up to what I know it contains everything that OWL has (maybe even OWL 2 constraints can be implemented, but I don't know if Cycorp did it yet). Last year we tested at Stony Brook University a big set of rule languages and one of the systems that we tested was Cyc. We learned that Cyc has many things: KR features (e.g., classes, properties, instances, micro theories (modules)), logic implication, backward chaining and forward chaining reasoners, special reasoners, etc. I know that you are interested in the KR part, but if you want to take a look at our report or our test suite, please check here: http://rulebench.projects.semwebcentral.org It tested the same rule features (logic operands and implication) efficiency in many languages: logic programming (XSB, YAP, SWI Prologs, dlv), production rules (Jena, Jess, Drools, Prova), deductive databases (OntoBroker), and RDF triple engines. So, yes. Cyc has #$implies. For example: (#$implies (#$and (#$and (#$isa-predicate ?X #$node-cn #$node-provi) (#$att-predicate ?X #$node-cn #$node-number ?A) ) (#$att-predicate ?X #$node-cn #$node-number2 ?D) ) (#$queryrule-predicate ?X ?A ?D) However, in other places we used special reasoners. For instance, to compute the transitive closure of some relation, we just used a parent relation TransitiveRelation which is a higher order property that takes as an input any relation and computes its transitive closure. Regards, Paul. > 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® 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® 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 > > ------------------------------------------------------------------------------ > Download Intel® 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 > > |
|
From: Cameron R. <cr...@ko...> - 2010-03-24 15:17:43
|
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® 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® 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 |
|
From: Paul F. <fod...@gm...> - 2010-03-24 15:11:17
|
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® 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 > > |
|
From: Cameron R. <cr...@ko...> - 2010-03-24 13:42:50
|
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. |
|
From: Cameron R. <cr...@ko...> - 2010-03-14 04:06:05
|
Hi, I'd like to generate a Common Logic translaiton of the OpenCyc ontology. What is my best source for the OpenCyc ontology? Are there sources available ot do I have to extract it from the knowledge server? Thanks, Cameron. |
|
From: Conrad T. <con...@gm...> - 2009-04-12 02:47:31
|
Hi, are there any plans on the road map for a Mac OS version of Cyc for both 32 and 64bit? I asked this several years ago and it has only been a Linux and Windows implementation to date. At this time, I'm looking to integrate Cyc into both Mac and iPhone applications. Furthermore, these applications will be either web and non-web enabled. Well, thanks for any information that you can provide as to the state of the road map. -Conrad |
|
From: John De O. <jo...@cy...> - 2009-04-03 19:21:37
|
Conrad, I just spoke with Cycorp, and they said: - They plan to have their new OWL export of OpenCyc out on Tuesday of next week. - A new executable of OpenCyc is expected to follow shortly (which could mean within a week). - There is some outdated information on the website, for which they apologize. They plan to fix some of it this weekend. The OpenCyc executable is not available on other *nix platforms, but the OpenCyc ontology is, of course, usable from any platform. Regards, John De Oliveira On Fri, Apr 3, 2009 at 4:40 AM, Conrad Taylor <con...@gm...> wrote: > Hi, where can I locate the latest release of OpenCyc? On some pages, it > says that 0.6, 0.7, 0.9, or 1.0. For example, > http://www.opencyc.org/license/doc/install/install_v07 > > Also, when I get to the download, it's not clear as to what version one > should download: > tptp_elaboration_challenge_problem_set.tgz<http://sourceforge.net/project/downloading.php?group_id=27274&use_mirror=superb-west&filename=tptp_elaboration_challenge_problem_set.tgz&a=90577298> > > or > > tptp_scaling_challenge_problem_set.tgz<http://sourceforge.net/project/downloading.php?group_id=27274&use_mirror=superb-west&filename=tptp_scaling_challenge_problem_set.tgz&a=44583466> > > Thus, can someone clear this up? Next, does OpenCyc support other flavors > on Unix systems like Mac OS and BSD? > > Thanks in advance, > > -Conrad > > > > ------------------------------------------------------------------------------ > > _______________________________________________ > OpenCyc-devel mailing list > Ope...@li... > https://lists.sourceforge.net/lists/listinfo/opencyc-devel > > -- Website: http://www.actionitem.com Twitter: http://twitter.com/johndeo LinkedIn: http://www.linkedin.com/in/johndeo Twine: http://www.twine.com/user/johndeo |
|
From: <eas...@sn...> - 2009-04-03 11:41:44
|
Read the web site. They have taken down OpenCyc downloads for the indefinite future, while a "new and better" release is being prepared. It's sad that the release is such a closed process, but until it is done, you cannot download opencyc. Cheers, Richard. From: Conrad Taylor conradwt-at-gmail.com |OpenCyc Mailing List/1.0-Allow| [mailto:...] Sent: Friday, April 03, 2009 5:40 AM To: Richard M. Tew Subject: [OpenCyc-devel] Getting Started with OpenCyc Hi, where can I locate the latest release of OpenCyc? On some pages, it says that 0.6, 0.7, 0.9, or 1.0. For example, http://www.opencyc.org/license/doc/install/install_v07 Also, when I get to the download, it's not clear as to what version one should download: tptp_elaboration_challenge_problem_set.tgz<http://sourceforge.net/project/downloading.php?group_id=27274&use_mirror=superb-west&filename=tptp_elaboration_challenge_problem_set.tgz&a=90577298> or tptp_scaling_challenge_problem_set.tgz<http://sourceforge.net/project/downloading.php?group_id=27274&use_mirror=superb-west&filename=tptp_scaling_challenge_problem_set.tgz&a=44583466> Thus, can someone clear this up? Next, does OpenCyc support other flavors on Unix systems like Mac OS and BSD? Thanks in advance, -Conrad |
|
From: Conrad T. <con...@gm...> - 2009-04-03 09:40:32
|
Hi, where can I locate the latest release of OpenCyc? On some pages, it says that 0.6, 0.7, 0.9, or 1.0. For example, http://www.opencyc.org/license/doc/install/install_v07 Also, when I get to the download, it's not clear as to what version one should download: tptp_elaboration_challenge_problem_set.tgz<http://sourceforge.net/project/downloading.php?group_id=27274&use_mirror=superb-west&filename=tptp_elaboration_challenge_problem_set.tgz&a=90577298> or tptp_scaling_challenge_problem_set.tgz<http://sourceforge.net/project/downloading.php?group_id=27274&use_mirror=superb-west&filename=tptp_scaling_challenge_problem_set.tgz&a=44583466> Thus, can someone clear this up? Next, does OpenCyc support other flavors on Unix systems like Mac OS and BSD? Thanks in advance, -Conrad |
|
From: Andreas H. <an...@ha...> - 2009-02-25 00:22:06
|
Hello, the file at [1] says cyc:IndependentCountry owl:sameAs dbpedia:Ireland . Is that intended? Cheers, Andreas. [1] http://sw.opencyc.org/2008/06/10/concept/en/IndependentCountry -- http://visinav.deri.org/ |
|
From: David W. <dav...@gm...> - 2008-08-22 18:39:37
|
I understand denotation in contrast to connotation, and that it is a way of describing the specific meaning of a term in a high degree of detail. It looks like the OpenCyc meaning is more limited. Perhaps someone else can tell us, or we can research, to find out possible values for SPEECH-PART, and what the meaning of the "N" is in the argument list. I expect N is just there to disambiguate possible choices. but how do you know which ones are tied to which number ? David On Tue, Aug 19, 2008 at 3:13 PM, Richard H. McCullough <rh...@pi...> wrote: > Using what I learned in last week's conference call, > I used this mKR > English phrase has denotation = ?; > to represent the meaning of the OpenCyc Web Services > query for "denotation". > > But when I looked up the "comment" for "denotation" > denotation has comment = ?; > I found that "denotation" is a quaternary predicate > (#$denotation WORD SPEECH-PART N TERM) > where WORD corresponds to my "English phrase", > and TERM corresponds to my "?". > > What is the actual CycL query? > Are SPEECH-PART and N and TERM all variables? > Are all possible values of TERM found? > What context (space,time,microtheory) is used? > > Dick McCullough > Ayn Rand do speak od mKR done; > mKE do enhance od Real Intelligence done; > knowledge := man do identify od existent done; > knowledge haspart proposition list; > http://mKRmKE.org/ > > __._,_.___ > Messages in this topic (1) Reply (via web post) | Start a new topic > Messages | Files | Photos | Links | Database | Polls | Members | Calendar > Change settings via the Web (Yahoo! ID required) > Change settings via email: Switch delivery to Daily Digest | Switch format > to Traditional > Visit Your Group | Yahoo! Groups Terms of Use | Unsubscribe > Visit Your Group > Yahoo! Finance > > It's Now Personal > > Guides, news, > > advice & more. > > Dog Groups > > on Yahoo! Groups > > Share pictures & > > stories about dogs. > > Ads on Yahoo! > > Learn more now. > > Reach customers > > searching for you. > > . > __,_._,___ |
|
From: Richard H. M. <rh...@pi...> - 2008-08-20 14:49:52
|
In the last two days, I have tried both Concept Browser and Web Services, using IE 7 IE 8 Beta Firefox 3 Opera 9.52 Only IE 7 worked on both Concept Browser & Web Services. The other three failed on either Concept Browser or Web Services. Dick McCullough Ayn Rand do speak od mKR done; mKE do enhance od Real Intelligence done; knowledge := man do identify od existent done; knowledge haspart proposition list; http://mKRmKE.org/ |
|
From: Richard H. M. <rh...@Pi...> - 2008-08-19 20:19:15
|
Using what I learned in last week's conference call,
I used this mKR
English phrase has denotation = ?;
to represent the meaning of the OpenCyc Web Services
query for "denotation".
But when I looked up the "comment" for "denotation"
denotation has comment = ?;
I found that "denotation" is a quaternary predicate
(#$denotation WORD SPEECH-PART N TERM)
where WORD corresponds to my "English phrase",
and TERM corresponds to my "?".
What is the actual CycL query?
Are SPEECH-PART and N and TERM all variables?
Are all possible values of TERM found?
What context (space,time,microtheory) is used?
Dick McCullough
Ayn Rand do speak od mKR done;
mKE do enhance od Real Intelligence done;
knowledge := man do identify od existent done;
knowledge haspart proposition list;
http://mKRmKE.org/
|
|
From: <dm...@us...> - 2008-08-18 08:12:59
|
This is what I used -server -Xmx7g -Xms4g -XX:MaxPermSize=256m -XX:+AggressiveOpts -XX:+UseBiasedLocking -XX:+UseFastAccessorMethods -XX:+RelaxAccessControlCheck -XX:-UseSpinning -XX:PreBlockSpin=10 -XX:+PrintCommandLineFlags -XX:+UseConcMarkSweepGC -XX:+CMSPermGenSweepingEnabled -XX:+UseAdaptiveGCBoundary But try -Xmx3500m If your machine will let you But if you are stuck on 32bits? Here was a nifty trick I found if you have patience, rebuild the Java RTL using http://www.excelsior-usa.com/jetdleval.html In fact JET only supports 32bit mode java Initialization time = 58.926 secs. Start time: Wed Aug 06 11:20:14 PDT 2008 Lisp implementation: Cycorp Java SubL Runtime Environment JVM: Excelsior, LLC Excelsior JET 1.6.0_07 Current KB: 7133 Patch Level: 1.13022 Running on: titan OS: Linux 2.6.27-0.208.rc1.git2.fc10.x86_64 (i386) Working directory: /opensim/bin Total memory allocated to VM: 2294MB. Memory currently used: 2066MB. Memory currently available: 227MB. HTTP server listening on port 3602. Connect via URL http://titan:3602/cgi-bin/cg?cb-start Ready for services. CYC(1): the GOOD part is the less heap overhead of memory needed to run the App. AS Compared to OpenJDK Initialization time = 53.171 secs. Start time: Tue Aug 05 22:55:53 PDT 2008 Lisp implementation: Cycorp Java SubL Runtime Environment JVM: Sun Microsystems Inc. OpenJDK 64-Bit Server VM 1.6.0-b09 Current KB: 7133 Patch Level: 1.13022 Running on: titan OS: Linux 2.6.27-0.208.rc1.git2.fc10.x86_64 (amd64) Working directory: /opensim/bin Total memory allocated to VM: 4268MB. Memory currently used: 2538MB. Memory currently available: 1729MB. HTTP server listening on port 3602. Connect via URL http://titan:3602/cgi-bin/cg?cb-start Ready for services. CYC(1): Now only using XJAVA (Part of the JET Eval above) the Memory currently used: 1577MB. However it runs much slower in this Interpreted mode. But all the java heap object are way smaller! ----- Original Message ----- From: Paul Fodor To: dm...@us... ; OpenCyc developers Sent: Friday, August 15, 2008 8:19 PM Subject: Re: [OpenCyc-devel] Cyc engine > Looks like the Research CYC JRTL is working: Yes, thank you very much. Everything seems correct. How much memory did you allocated for the Java Virtual Machine? I allocated -Xmx1500m. Regards, thank you, Paul Fodor. |
|
From: Richard H. M. <rh...@pi...> - 2008-08-16 14:33:03
|
After I type concept name & hit enter, nothing happens. Dick McCullough Ayn Rand do speak od mKR done; mKE do enhance od Real Intelligence done; knowledge := man do identify od existent done; knowledge haspart proposition list; http://mKRmKE.org/ |
|
From: <dm...@us...> - 2008-08-16 03:48:27
|
This is what I used -server -Xmx7g -Xms4g -XX:MaxPermSize=256m -XX:+AggressiveOpts -XX:+UseBiasedLocking -XX:+UseFastAccessorMethods -XX:+RelaxAccessControlCheck -XX:-UseSpinning -XX:PreBlockSpin=10 -XX:+PrintCommandLineFlags -XX:+UseConcMarkSweepGC -XX:+CMSPermGenSweepingEnabled -XX:+UseAdaptiveGCBoundary But try -Xmx3500m If your machine will let you But if you are stuck on 32bits? Here was a nifty trick I found if you have patience, rebuild the Java RTL using http://www.excelsior-usa.com/jetdleval.html In fact JET only supports 32bit mode java Initialization time = 58.926 secs. Start time: Wed Aug 06 11:20:14 PDT 2008 Lisp implementation: Cycorp Java SubL Runtime Environment JVM: Excelsior, LLC Excelsior JET 1.6.0_07 Current KB: 7133 Patch Level: 1.13022 Running on: titan OS: Linux 2.6.27-0.208.rc1.git2.fc10.x86_64 (i386) Working directory: /opensim/bin Total memory allocated to VM: 2294MB. Memory currently used: 2066MB. Memory currently available: 227MB. HTTP server listening on port 3602. Connect via URL http://titan:3602/cgi-bin/cg?cb-start Ready for services. CYC(1): the GOOD part is the less heap overhead of memory needed to run the App. AS Compared to OpenJDK Initialization time = 53.171 secs. Start time: Tue Aug 05 22:55:53 PDT 2008 Lisp implementation: Cycorp Java SubL Runtime Environment JVM: Sun Microsystems Inc. OpenJDK 64-Bit Server VM 1.6.0-b09 Current KB: 7133 Patch Level: 1.13022 Running on: titan OS: Linux 2.6.27-0.208.rc1.git2.fc10.x86_64 (amd64) Working directory: /opensim/bin Total memory allocated to VM: 4268MB. Memory currently used: 2538MB. Memory currently available: 1729MB. HTTP server listening on port 3602. Connect via URL http://titan:3602/cgi-bin/cg?cb-start Ready for services. CYC(1): Now only using XJAVA (Part of the JET Eval above) the Memory currently used: 1577MB. However it runs much slower in this Interpreted mode. But all the java heap object are way smaller! ----- Original Message ----- From: Paul Fodor To: dm...@us... ; OpenCyc developers Sent: Friday, August 15, 2008 8:19 PM Subject: Re: [OpenCyc-devel] Cyc engine > Looks like the Research CYC JRTL is working: Yes, thank you very much. Everything seems correct. How much memory did you allocated for the Java Virtual Machine? I allocated -Xmx1500m. Regards, thank you, Paul Fodor. On Fri, Aug 15, 2008 at 9:56 PM, <dm...@us...> wrote: > Looks like the Research CYC JRTL is working: > > > Is this the correct test? > > > CYC(3):(load "sg_cyc_without_cycle_01.cyc") > [Time: 234.4 secs] > T > CYC(4): (new-cyc-query (LIST #$sg-predicate '?X '?Y) #$BaseKB (LIST > :MAX-TRANSFORMATION-DEPTH nil :metrics (LIST :total-time > :complete-total-time :time-per-answer :time-to-first-answer :answer-count)) > ) > > [Time: 13.843 secs] > (((?X . #$node-87) (?Y . #$node-425)) ((?X . #$node-425) (?Y . #$node-425)) > ((?X . #$node-87) (?Y . #$node-87)) ((?X . #$node-129) (?Y . #$node-256)) > ((?X . #$node-256) (?Y . #$node-256)) ((?X . #$node-129) (?Y . #$node-129)) > ((?X . #$node-96) (?Y . #$node-151)) ((?X . #$node-151) (?Y . #$node-151)) > ((?X . #$node-96) (?Y . #$node-96)) ((?X . #$node-29) (?Y . #$node-143)) > ((?X . #$node-143) (?Y . #$node-143)) ((?X . #$node-29) (?Y . #$node-29)) > ((?X . #$node-324) (?Y . #$node-489)) ((?X . #$node-489) (?Y . #$node-489)) > ((?X . #$node-324) (?Y . #$node-324)) ((?X . #$node-311) (?Y . #$node-372)) > ((?X . #$node-372) (?Y . #$node-372)) ((?X . #$node-311) (?Y . #$node-311)) > ((?X . #$node-144) (?Y . #$node-363)) ((?X . #$node-363) (?Y . #$node-363)) > ((?X . #$node-144) (?Y . #$node-144)) ((?X . #$node-132) (?Y . #$node-394)) > ((?X . #$node-394) (?Y . #$node-394)) ((?X . #$node-132) (?Y . #$node-132)) > ((?X . #$node-53) (?Y . #$node-443)) ((?X . #$node-443) (?Y . #$node-443)) > ((?X . #$node-53) (?Y . #$node-53)) ((?X . #$node-374) (?Y . #$node-497)) > ((?X . #$node-497) (?Y . #$node-497)) ((?X . #$node-374) (?Y . #$node-374)) > ((?X . #$node-257) (?Y . #$node-286)) ((?X . #$node-286) (?Y . #$node-286)) > ((?X . #$node-257) (?Y . #$node-257)) ((?X . #$node-136) (?Y . #$node-480)) > ((?X . #$node-480) (?Y . #$node-480)) ((?X . #$node-136) (?Y . #$node-136)) > ((?X . #$node-85) (?Y . #$node-215)) ((?X . #$node-215) (?Y . #$node-215)) > ((?X . #$node-85) (?Y . #$node-85)) ((?X . #$node-28) (?Y . #$node-105)) > ((?X . #$node-105) (?Y . #$node-105)) ((?X . #$node-28) (?Y . #$node-28)) > ((?X . #$node-72) (?Y . #$node-104)) ((?X . #$node-104) (?Y . #$node-104)) > ((?X . #$node-72) (?Y . #$node-72)) ((?X . #$node-118) (?Y . #$node-192)) > ((?X . #$node-192) (?Y . #$node-192)) ((?X . #$node-118) (?Y . #$node-118)) > ((?X . #$node-279) (?Y . #$node-313)) ((?X . #$node-313) (?Y . #$node-313)) > ((?X . #$node-279) (?Y . #$node-279)) ((?X . #$node-206) (?Y . #$node-387)) > ((?X . #$node-387) (?Y . #$node-387)) ((?X . #$node-206) (?Y . #$node-206)) > ((?X . #$node-250) (?Y . #$node-414)) ((?X . #$node-414) (?Y . #$node-414)) > ((?X . #$node-250) (?Y . #$node-250)) ((?X . #$node-54) (?Y . #$node-210)) > ((?X . #$node-210) (?Y . #$node-210)) ((?X . #$node-54) (?Y . #$node-54)) > ((?X . #$node-39) (?Y . #$node-169)) ((?X . #$node-169) (?Y . #$node-169)) > ((?X . #$node-39) (?Y . #$node-39)) ((?X . #$node-75) (?Y . #$node-352)) > ((?X . #$node-352) (?Y . #$node-352)) ((?X . #$node-75) (?Y . #$node-75)) > ((?X . #$node-56) (?Y . #$node-482)) ((?X . #$node-482) (?Y . #$node-482)) > ((?X . #$node-56) (?Y . #$node-56)) ((?X . #$node-464) (?Y . #$node-472)) > ((?X . #$node-472) (?Y . #$node-472)) ((?X . #$node-464) (?Y . #$node-464)) > ((?X . #$node-80) (?Y . #$node-492)) ((?X . #$node-492) (?Y . #$node-492)) > ((?X . #$node-80) (?Y . #$node-80)) ((?X . #$node-131) (?Y . #$node-368)) > ((?X . #$node-368) (?Y . #$node-368)) ((?X . #$node-131) (?Y . #$node-131)) > ((?X . #$node-54) (?Y . #$node-137)) ((?X . #$node-137) (?Y . #$node-137)) > ((?X . #$node-42) (?Y . #$node-288)) ((?X . #$node-288) (?Y . #$node-288)) > ((?X . #$node-42) (?Y . #$node-42)) ((?X . #$node-186) (?Y . #$node-186)) > ((?X . #$node-233) (?Y . #$node-499)) ((?X . #$node-499) (?Y . #$node-499)) > ((?X . #$node-233) (?Y . #$node-233)) ((?X . #$node-179) (?Y . #$node-238)) > ((?X . #$node-238) (?Y . #$node-238)) ((?X . #$node-179) (?Y . #$node-179)) > ((?X . #$node-38) (?Y . #$node-357)) ((?X . #$node-357) (?Y . #$node-357)) > ((?X . #$node-38) (?Y . #$node-38)) ((?X . #$node-216) (?Y . #$node-462)) > ((?X . #$node-462) (?Y . #$node-462)) ((?X . #$node-216) (?Y . #$node-216)) > ((?X . #$node-39) (?Y . #$node-320)) ((?X . #$node-320) (?Y . #$node-320)) > ((?X . #$node-53) (?Y . #$node-254)) ((?X . #$node-254) (?Y . #$node-254)) > ... ) > :EXHAUST-TOTAL > NIL > (13.743 13.843 0.009180360721442887 0.059 1497) > CYC(5): (new-cyc-query > (LIST #$sg-predicate '?X '?Y) #$BaseKB > (LIST :MAX-TRANSFORMATION-DEPTH nil :metrics (LIST :total-time > :complete-total-time :time-per-answer :time-to-first-answer :answer-count)) > ) > [Time: 10.88 secs] > (((?X . #$node-87) (?Y . #$node-425)) ((?X . #$node-425) (?Y . #$node-425)) > ((?X . #$node-87) (?Y . #$node-87)) ((?X . #$node-129) (?Y . #$node-256)) > ((?X . #$node-256) (?Y . #$node-256)) ((?X . #$node-129) (?Y . #$node-129)) > ((?X . #$node-96) (?Y . #$node-151)) ((?X . #$node-151) (?Y . #$node-151)) > ((?X . #$node-96) (?Y . #$node-96)) ((?X . #$node-29) (?Y . #$node-143)) > ((?X . #$node-143) (?Y . #$node-143)) ((?X . #$node-29) (?Y . #$node-29)) > ((?X . #$node-324) (?Y . #$node-489)) ((?X . #$node-489) (?Y . #$node-489)) > ((?X . #$node-324) (?Y . #$node-324)) ((?X . #$node-311) (?Y . #$node-372)) > ((?X . #$node-372) (?Y . #$node-372)) ((?X . #$node-311) (?Y . #$node-311)) > ((?X . #$node-144) (?Y . #$node-363)) ((?X . #$node-363) (?Y . #$node-363)) > ((?X . #$node-144) (?Y . #$node-144)) ((?X . #$node-132) (?Y . #$node-394)) > ((?X . #$node-394) (?Y . #$node-394)) ((?X . #$node-132) (?Y . #$node-132)) > ((?X . #$node-53) (?Y . #$node-443)) ((?X . #$node-443) (?Y . #$node-443)) > ((?X . #$node-53) (?Y . #$node-53)) ((?X . #$node-374) (?Y . #$node-497)) > ((?X . #$node-497) (?Y . #$node-497)) ((?X . #$node-374) (?Y . #$node-374)) > ((?X . #$node-257) (?Y . #$node-286)) ((?X . #$node-286) (?Y . #$node-286)) > ((?X . #$node-257) (?Y . #$node-257)) ((?X . #$node-136) (?Y . #$node-480)) > ((?X . #$node-480) (?Y . #$node-480)) ((?X . #$node-136) (?Y . #$node-136)) > ((?X . #$node-85) (?Y . #$node-215)) ((?X . #$node-215) (?Y . #$node-215)) > ((?X . #$node-85) (?Y . #$node-85)) ((?X . #$node-28) (?Y . #$node-105)) > ((?X . #$node-105) (?Y . #$node-105)) ((?X . #$node-28) (?Y . #$node-28)) > ((?X . #$node-72) (?Y . #$node-104)) ((?X . #$node-104) (?Y . #$node-104)) > ((?X . #$node-72) (?Y . #$node-72)) ((?X . #$node-118) (?Y . #$node-192)) > ((?X . #$node-192) (?Y . #$node-192)) ((?X . #$node-118) (?Y . #$node-118)) > ((?X . #$node-279) (?Y . #$node-313)) ((?X . #$node-313) (?Y . #$node-313)) > ((?X . #$node-279) (?Y . #$node-279)) ((?X . #$node-206) (?Y . #$node-387)) > ((?X . #$node-387) (?Y . #$node-387)) ((?X . #$node-206) (?Y . #$node-206)) > ((?X . #$node-250) (?Y . #$node-414)) ((?X . #$node-414) (?Y . #$node-414)) > ((?X . #$node-250) (?Y . #$node-250)) ((?X . #$node-54) (?Y . #$node-210)) > ((?X . #$node-210) (?Y . #$node-210)) ((?X . #$node-54) (?Y . #$node-54)) > ((?X . #$node-39) (?Y . #$node-169)) ((?X . #$node-169) (?Y . #$node-169)) > ((?X . #$node-39) (?Y . #$node-39)) ((?X . #$node-75) (?Y . #$node-352)) > ((?X . #$node-352) (?Y . #$node-352)) ((?X . #$node-75) (?Y . #$node-75)) > ((?X . #$node-56) (?Y . #$node-482)) ((?X . #$node-482) (?Y . #$node-482)) > ((?X . #$node-56) (?Y . #$node-56)) ((?X . #$node-464) (?Y . #$node-472)) > ((?X . #$node-472) (?Y . #$node-472)) ((?X . #$node-464) (?Y . #$node-464)) > ((?X . #$node-80) (?Y . #$node-492)) ((?X . #$node-492) (?Y . #$node-492)) > ((?X . #$node-80) (?Y . #$node-80)) ((?X . #$node-131) (?Y . #$node-368)) > ((?X . #$node-368) (?Y . #$node-368)) ((?X . #$node-131) (?Y . #$node-131)) > ((?X . #$node-54) (?Y . #$node-137)) ((?X . #$node-137) (?Y . #$node-137)) > ((?X . #$node-42) (?Y . #$node-288)) ((?X . #$node-288) (?Y . #$node-288)) > ((?X . #$node-42) (?Y . #$node-42)) ((?X . #$node-186) (?Y . #$node-186)) > ((?X . #$node-233) (?Y . #$node-499)) ((?X . #$node-499) (?Y . #$node-499)) > ((?X . #$node-233) (?Y . #$node-233)) ((?X . #$node-179) (?Y . #$node-238)) > ((?X . #$node-238) (?Y . #$node-238)) ((?X . #$node-179) (?Y . #$node-179)) > ((?X . #$node-38) (?Y . #$node-357)) ((?X . #$node-357) (?Y . #$node-357)) > ((?X . #$node-38) (?Y . #$node-38)) ((?X . #$node-216) (?Y . #$node-462)) > ((?X . #$node-462) (?Y . #$node-462)) ((?X . #$node-216) (?Y . #$node-216)) > ((?X . #$node-39) (?Y . #$node-320)) ((?X . #$node-320) (?Y . #$node-320)) > ((?X . #$node-53) (?Y . #$node-254)) ((?X . #$node-254) (?Y . #$node-254)) > ... ) > :EXHAUST-TOTAL > NIL > (10.88 10.88 0.007267869071476286 0 1497) > CYC(6): > > > > ----- Original Message ----- > From: Paul Fodor > To: OpenCyc developers > Sent: Friday, August 15, 2008 2:03 PM > Subject: Re: [OpenCyc-devel] Cyc engine > Dear Sir, > > We tested the recursive same generation test for smaller tests (500 nodes) > than our initial tests and it is working. > > For 1000 nodes it stops working with the error "Implementation error: > Recursive error" > > Do you know any option that could make it run for bigger tests (such as, the > one that I put online for you: > http://www.lmc.cs.sunysb.edu/~tests/cyc_paul/sg_cyc_without_cycle_01.cyc ) ? > > For 500 node, we get: > > CYC(1): (load "sg_cyc_500nodes.cyc") > T > CYC(2): (new-cyc-query (LIST #$sg-predicate '?X '?Y) #$BaseKB (LIST > :MAX-TRANSFORMATION-DEPTH nil :metrics (LIST :total-time > :complete-total-time :time-per-answer :time-to-first-answer :answer-count)) > ) > (((?X . #$node-190) (?Y . #$node-190)) ((?X . #$node-374) (?Y . #$node-374)) > ((?X . #$node-491) ...) > :EXHAUST-TOTAL > NIL > (7.90625 7.921875 0.007743633692458374 0.015625 1021) > CYC(3): > > Please tell me if there is any option to make it work for bigger examples. > > Regards, thank you, > Paul. > > On Thu, Aug 14, 2008 at 9:36 PM, Paul Fodor <fod...@gm...> wrote: >> >> Dear Sir, >> >> Our performance tests failed to execute in the OpenCyc system. They work >> for small tests (a couple of constants), but they fail to work for large >> number of constants: 50K,100K, 250K, 500K, 1 million. For instance, our >> smallest test: >> >> http://www.lmc.cs.sunysb.edu/~tests/cyc_paul/sg_cyc_without_cycle_01.cyc >> with the query for all the tuples sg-predicate: >> >> (new-cyc-query >> (LIST #$sg-predicate '?X '?Y) #$BaseKB >> (LIST :MAX-TRANSFORMATION-DEPTH nil :metrics (LIST :total-time >> :complete-total-time :time-per-answer :time-to-first-answer :answer-count)) >> ) >> >> fails after a few minutes with the message: "Implementation error: >> Recursive error". >> >> On OpenCyc: >> $ run-cyc.sh >> CYC(1): (load "sg_cyc_without_cycle_01.cyc") >> T >> >> CYC(2): (new-cyc-query (LIST #$sg-predicate '?X '?Y) #$BaseKB (LIST >> :MAX-TRANSFORMATION-DEPTH nil :metrics (LIST :total-time >> :complete-total-time :time-per-answer :time-to-first-answer :answer-count))) >> >> Implementation error: Recursive error >> >> This test does the following: we have two kinds of facts: par/2 and sib/2, >> where par(X,Y) means that the parent of X is Y and sib(X,Y) means that the X >> is sibling of Y. The rules are the following: >> - every node X in the graph is in the same generation sg/2 with itself: >> sg(X,X) :- par(X,_);par(_,X);sib(X,_);sib(_,X), >> - if two nodes are siblings then they are in the same generation: sg(X,Y) >> :- sib(X,Y). >> - if two nodes are in hte same generation then their parents are in the >> same generation: sg(X,Y) :- par(X,Z), sg(Z,Z1), par(Y,Z1). >> >> The "sg_cyc_without_cycle_01.cyc" example doesn't have any cycles in the >> data structure and other systems that we tested (XSB, Yap, dlv, ontobroker) >> solve it (finds all solutions) in about a second. >> >> Please tell us if there is anything that we can do. >> >> Regards, >> Paul Fodor >> > > ________________________________ > > ------------------------------------------------------------------------- > This SF.Net email is sponsored by the Moblin Your Move Developer's challenge > Build the coolest Linux based applications with Moblin SDK & win great > prizes > Grand prize is a trip for two to an Open Source event anywhere in the world > http://moblin-contest.org/redirect.php?banner_id=100&url=/ > > ________________________________ > > _______________________________________________ > OpenCyc-devel mailing list > Ope...@li... > https://lists.sourceforge.net/lists/listinfo/opencyc-devel > > ------------------------------------------------------------------------- > This SF.Net email is sponsored by the Moblin Your Move Developer's challenge > Build the coolest Linux based applications with Moblin SDK & win great > prizes > Grand prize is a trip for two to an Open Source event anywhere in the world > http://moblin-contest.org/redirect.php?banner_id=100&url=/ > _______________________________________________ > OpenCyc-devel mailing list > Ope...@li... > https://lists.sourceforge.net/lists/listinfo/opencyc-devel > > |
|
From: Paul F. <pf...@cs...> - 2008-08-16 03:19:22
|
> Looks like the Research CYC JRTL is working: Yes, thank you very much. Everything seems correct. How much memory did you allocated for the Java Virtual Machine? I allocated -Xmx1500m. Regards, thank you, Paul Fodor. On Fri, Aug 15, 2008 at 9:56 PM, <dm...@us...> wrote: > Looks like the Research CYC JRTL is working: > > > Is this the correct test? > > > CYC(3):(load "sg_cyc_without_cycle_01.cyc") > [Time: 234.4 secs] > T > CYC(4): (new-cyc-query (LIST #$sg-predicate '?X '?Y) #$BaseKB (LIST > :MAX-TRANSFORMATION-DEPTH nil :metrics (LIST :total-time > :complete-total-time :time-per-answer :time-to-first-answer :answer-count)) > ) > > [Time: 13.843 secs] > (((?X . #$node-87) (?Y . #$node-425)) ((?X . #$node-425) (?Y . #$node-425)) > ((?X . #$node-87) (?Y . #$node-87)) ((?X . #$node-129) (?Y . #$node-256)) > ((?X . #$node-256) (?Y . #$node-256)) ((?X . #$node-129) (?Y . #$node-129)) > ((?X . #$node-96) (?Y . #$node-151)) ((?X . #$node-151) (?Y . #$node-151)) > ((?X . #$node-96) (?Y . #$node-96)) ((?X . #$node-29) (?Y . #$node-143)) > ((?X . #$node-143) (?Y . #$node-143)) ((?X . #$node-29) (?Y . #$node-29)) > ((?X . #$node-324) (?Y . #$node-489)) ((?X . #$node-489) (?Y . #$node-489)) > ((?X . #$node-324) (?Y . #$node-324)) ((?X . #$node-311) (?Y . #$node-372)) > ((?X . #$node-372) (?Y . #$node-372)) ((?X . #$node-311) (?Y . #$node-311)) > ((?X . #$node-144) (?Y . #$node-363)) ((?X . #$node-363) (?Y . #$node-363)) > ((?X . #$node-144) (?Y . #$node-144)) ((?X . #$node-132) (?Y . #$node-394)) > ((?X . #$node-394) (?Y . #$node-394)) ((?X . #$node-132) (?Y . #$node-132)) > ((?X . #$node-53) (?Y . #$node-443)) ((?X . #$node-443) (?Y . #$node-443)) > ((?X . #$node-53) (?Y . #$node-53)) ((?X . #$node-374) (?Y . #$node-497)) > ((?X . #$node-497) (?Y . #$node-497)) ((?X . #$node-374) (?Y . #$node-374)) > ((?X . #$node-257) (?Y . #$node-286)) ((?X . #$node-286) (?Y . #$node-286)) > ((?X . #$node-257) (?Y . #$node-257)) ((?X . #$node-136) (?Y . #$node-480)) > ((?X . #$node-480) (?Y . #$node-480)) ((?X . #$node-136) (?Y . #$node-136)) > ((?X . #$node-85) (?Y . #$node-215)) ((?X . #$node-215) (?Y . #$node-215)) > ((?X . #$node-85) (?Y . #$node-85)) ((?X . #$node-28) (?Y . #$node-105)) > ((?X . #$node-105) (?Y . #$node-105)) ((?X . #$node-28) (?Y . #$node-28)) > ((?X . #$node-72) (?Y . #$node-104)) ((?X . #$node-104) (?Y . #$node-104)) > ((?X . #$node-72) (?Y . #$node-72)) ((?X . #$node-118) (?Y . #$node-192)) > ((?X . #$node-192) (?Y . #$node-192)) ((?X . #$node-118) (?Y . #$node-118)) > ((?X . #$node-279) (?Y . #$node-313)) ((?X . #$node-313) (?Y . #$node-313)) > ((?X . #$node-279) (?Y . #$node-279)) ((?X . #$node-206) (?Y . #$node-387)) > ((?X . #$node-387) (?Y . #$node-387)) ((?X . #$node-206) (?Y . #$node-206)) > ((?X . #$node-250) (?Y . #$node-414)) ((?X . #$node-414) (?Y . #$node-414)) > ((?X . #$node-250) (?Y . #$node-250)) ((?X . #$node-54) (?Y . #$node-210)) > ((?X . #$node-210) (?Y . #$node-210)) ((?X . #$node-54) (?Y . #$node-54)) > ((?X . #$node-39) (?Y . #$node-169)) ((?X . #$node-169) (?Y . #$node-169)) > ((?X . #$node-39) (?Y . #$node-39)) ((?X . #$node-75) (?Y . #$node-352)) > ((?X . #$node-352) (?Y . #$node-352)) ((?X . #$node-75) (?Y . #$node-75)) > ((?X . #$node-56) (?Y . #$node-482)) ((?X . #$node-482) (?Y . #$node-482)) > ((?X . #$node-56) (?Y . #$node-56)) ((?X . #$node-464) (?Y . #$node-472)) > ((?X . #$node-472) (?Y . #$node-472)) ((?X . #$node-464) (?Y . #$node-464)) > ((?X . #$node-80) (?Y . #$node-492)) ((?X . #$node-492) (?Y . #$node-492)) > ((?X . #$node-80) (?Y . #$node-80)) ((?X . #$node-131) (?Y . #$node-368)) > ((?X . #$node-368) (?Y . #$node-368)) ((?X . #$node-131) (?Y . #$node-131)) > ((?X . #$node-54) (?Y . #$node-137)) ((?X . #$node-137) (?Y . #$node-137)) > ((?X . #$node-42) (?Y . #$node-288)) ((?X . #$node-288) (?Y . #$node-288)) > ((?X . #$node-42) (?Y . #$node-42)) ((?X . #$node-186) (?Y . #$node-186)) > ((?X . #$node-233) (?Y . #$node-499)) ((?X . #$node-499) (?Y . #$node-499)) > ((?X . #$node-233) (?Y . #$node-233)) ((?X . #$node-179) (?Y . #$node-238)) > ((?X . #$node-238) (?Y . #$node-238)) ((?X . #$node-179) (?Y . #$node-179)) > ((?X . #$node-38) (?Y . #$node-357)) ((?X . #$node-357) (?Y . #$node-357)) > ((?X . #$node-38) (?Y . #$node-38)) ((?X . #$node-216) (?Y . #$node-462)) > ((?X . #$node-462) (?Y . #$node-462)) ((?X . #$node-216) (?Y . #$node-216)) > ((?X . #$node-39) (?Y . #$node-320)) ((?X . #$node-320) (?Y . #$node-320)) > ((?X . #$node-53) (?Y . #$node-254)) ((?X . #$node-254) (?Y . #$node-254)) > ... ) > :EXHAUST-TOTAL > NIL > (13.743 13.843 0.009180360721442887 0.059 1497) > CYC(5): (new-cyc-query > (LIST #$sg-predicate '?X '?Y) #$BaseKB > (LIST :MAX-TRANSFORMATION-DEPTH nil :metrics (LIST :total-time > :complete-total-time :time-per-answer :time-to-first-answer :answer-count)) > ) > [Time: 10.88 secs] > (((?X . #$node-87) (?Y . #$node-425)) ((?X . #$node-425) (?Y . #$node-425)) > ((?X . #$node-87) (?Y . #$node-87)) ((?X . #$node-129) (?Y . #$node-256)) > ((?X . #$node-256) (?Y . #$node-256)) ((?X . #$node-129) (?Y . #$node-129)) > ((?X . #$node-96) (?Y . #$node-151)) ((?X . #$node-151) (?Y . #$node-151)) > ((?X . #$node-96) (?Y . #$node-96)) ((?X . #$node-29) (?Y . #$node-143)) > ((?X . #$node-143) (?Y . #$node-143)) ((?X . #$node-29) (?Y . #$node-29)) > ((?X . #$node-324) (?Y . #$node-489)) ((?X . #$node-489) (?Y . #$node-489)) > ((?X . #$node-324) (?Y . #$node-324)) ((?X . #$node-311) (?Y . #$node-372)) > ((?X . #$node-372) (?Y . #$node-372)) ((?X . #$node-311) (?Y . #$node-311)) > ((?X . #$node-144) (?Y . #$node-363)) ((?X . #$node-363) (?Y . #$node-363)) > ((?X . #$node-144) (?Y . #$node-144)) ((?X . #$node-132) (?Y . #$node-394)) > ((?X . #$node-394) (?Y . #$node-394)) ((?X . #$node-132) (?Y . #$node-132)) > ((?X . #$node-53) (?Y . #$node-443)) ((?X . #$node-443) (?Y . #$node-443)) > ((?X . #$node-53) (?Y . #$node-53)) ((?X . #$node-374) (?Y . #$node-497)) > ((?X . #$node-497) (?Y . #$node-497)) ((?X . #$node-374) (?Y . #$node-374)) > ((?X . #$node-257) (?Y . #$node-286)) ((?X . #$node-286) (?Y . #$node-286)) > ((?X . #$node-257) (?Y . #$node-257)) ((?X . #$node-136) (?Y . #$node-480)) > ((?X . #$node-480) (?Y . #$node-480)) ((?X . #$node-136) (?Y . #$node-136)) > ((?X . #$node-85) (?Y . #$node-215)) ((?X . #$node-215) (?Y . #$node-215)) > ((?X . #$node-85) (?Y . #$node-85)) ((?X . #$node-28) (?Y . #$node-105)) > ((?X . #$node-105) (?Y . #$node-105)) ((?X . #$node-28) (?Y . #$node-28)) > ((?X . #$node-72) (?Y . #$node-104)) ((?X . #$node-104) (?Y . #$node-104)) > ((?X . #$node-72) (?Y . #$node-72)) ((?X . #$node-118) (?Y . #$node-192)) > ((?X . #$node-192) (?Y . #$node-192)) ((?X . #$node-118) (?Y . #$node-118)) > ((?X . #$node-279) (?Y . #$node-313)) ((?X . #$node-313) (?Y . #$node-313)) > ((?X . #$node-279) (?Y . #$node-279)) ((?X . #$node-206) (?Y . #$node-387)) > ((?X . #$node-387) (?Y . #$node-387)) ((?X . #$node-206) (?Y . #$node-206)) > ((?X . #$node-250) (?Y . #$node-414)) ((?X . #$node-414) (?Y . #$node-414)) > ((?X . #$node-250) (?Y . #$node-250)) ((?X . #$node-54) (?Y . #$node-210)) > ((?X . #$node-210) (?Y . #$node-210)) ((?X . #$node-54) (?Y . #$node-54)) > ((?X . #$node-39) (?Y . #$node-169)) ((?X . #$node-169) (?Y . #$node-169)) > ((?X . #$node-39) (?Y . #$node-39)) ((?X . #$node-75) (?Y . #$node-352)) > ((?X . #$node-352) (?Y . #$node-352)) ((?X . #$node-75) (?Y . #$node-75)) > ((?X . #$node-56) (?Y . #$node-482)) ((?X . #$node-482) (?Y . #$node-482)) > ((?X . #$node-56) (?Y . #$node-56)) ((?X . #$node-464) (?Y . #$node-472)) > ((?X . #$node-472) (?Y . #$node-472)) ((?X . #$node-464) (?Y . #$node-464)) > ((?X . #$node-80) (?Y . #$node-492)) ((?X . #$node-492) (?Y . #$node-492)) > ((?X . #$node-80) (?Y . #$node-80)) ((?X . #$node-131) (?Y . #$node-368)) > ((?X . #$node-368) (?Y . #$node-368)) ((?X . #$node-131) (?Y . #$node-131)) > ((?X . #$node-54) (?Y . #$node-137)) ((?X . #$node-137) (?Y . #$node-137)) > ((?X . #$node-42) (?Y . #$node-288)) ((?X . #$node-288) (?Y . #$node-288)) > ((?X . #$node-42) (?Y . #$node-42)) ((?X . #$node-186) (?Y . #$node-186)) > ((?X . #$node-233) (?Y . #$node-499)) ((?X . #$node-499) (?Y . #$node-499)) > ((?X . #$node-233) (?Y . #$node-233)) ((?X . #$node-179) (?Y . #$node-238)) > ((?X . #$node-238) (?Y . #$node-238)) ((?X . #$node-179) (?Y . #$node-179)) > ((?X . #$node-38) (?Y . #$node-357)) ((?X . #$node-357) (?Y . #$node-357)) > ((?X . #$node-38) (?Y . #$node-38)) ((?X . #$node-216) (?Y . #$node-462)) > ((?X . #$node-462) (?Y . #$node-462)) ((?X . #$node-216) (?Y . #$node-216)) > ((?X . #$node-39) (?Y . #$node-320)) ((?X . #$node-320) (?Y . #$node-320)) > ((?X . #$node-53) (?Y . #$node-254)) ((?X . #$node-254) (?Y . #$node-254)) > ... ) > :EXHAUST-TOTAL > NIL > (10.88 10.88 0.007267869071476286 0 1497) > CYC(6): > > > > ----- Original Message ----- > From: Paul Fodor > To: OpenCyc developers > Sent: Friday, August 15, 2008 2:03 PM > Subject: Re: [OpenCyc-devel] Cyc engine > Dear Sir, > > We tested the recursive same generation test for smaller tests (500 nodes) > than our initial tests and it is working. > > For 1000 nodes it stops working with the error "Implementation error: > Recursive error" > > Do you know any option that could make it run for bigger tests (such as, the > one that I put online for you: > http://www.lmc.cs.sunysb.edu/~tests/cyc_paul/sg_cyc_without_cycle_01.cyc ) ? > > For 500 node, we get: > > CYC(1): (load "sg_cyc_500nodes.cyc") > T > CYC(2): (new-cyc-query (LIST #$sg-predicate '?X '?Y) #$BaseKB (LIST > :MAX-TRANSFORMATION-DEPTH nil :metrics (LIST :total-time > :complete-total-time :time-per-answer :time-to-first-answer :answer-count)) > ) > (((?X . #$node-190) (?Y . #$node-190)) ((?X . #$node-374) (?Y . #$node-374)) > ((?X . #$node-491) ...) > :EXHAUST-TOTAL > NIL > (7.90625 7.921875 0.007743633692458374 0.015625 1021) > CYC(3): > > Please tell me if there is any option to make it work for bigger examples. > > Regards, thank you, > Paul. > > On Thu, Aug 14, 2008 at 9:36 PM, Paul Fodor <fod...@gm...> wrote: >> >> Dear Sir, >> >> Our performance tests failed to execute in the OpenCyc system. They work >> for small tests (a couple of constants), but they fail to work for large >> number of constants: 50K,100K, 250K, 500K, 1 million. For instance, our >> smallest test: >> >> http://www.lmc.cs.sunysb.edu/~tests/cyc_paul/sg_cyc_without_cycle_01.cyc >> with the query for all the tuples sg-predicate: >> >> (new-cyc-query >> (LIST #$sg-predicate '?X '?Y) #$BaseKB >> (LIST :MAX-TRANSFORMATION-DEPTH nil :metrics (LIST :total-time >> :complete-total-time :time-per-answer :time-to-first-answer :answer-count)) >> ) >> >> fails after a few minutes with the message: "Implementation error: >> Recursive error". >> >> On OpenCyc: >> $ run-cyc.sh >> CYC(1): (load "sg_cyc_without_cycle_01.cyc") >> T >> >> CYC(2): (new-cyc-query (LIST #$sg-predicate '?X '?Y) #$BaseKB (LIST >> :MAX-TRANSFORMATION-DEPTH nil :metrics (LIST :total-time >> :complete-total-time :time-per-answer :time-to-first-answer :answer-count))) >> >> Implementation error: Recursive error >> >> This test does the following: we have two kinds of facts: par/2 and sib/2, >> where par(X,Y) means that the parent of X is Y and sib(X,Y) means that the X >> is sibling of Y. The rules are the following: >> - every node X in the graph is in the same generation sg/2 with itself: >> sg(X,X) :- par(X,_);par(_,X);sib(X,_);sib(_,X), >> - if two nodes are siblings then they are in the same generation: sg(X,Y) >> :- sib(X,Y). >> - if two nodes are in hte same generation then their parents are in the >> same generation: sg(X,Y) :- par(X,Z), sg(Z,Z1), par(Y,Z1). >> >> The "sg_cyc_without_cycle_01.cyc" example doesn't have any cycles in the >> data structure and other systems that we tested (XSB, Yap, dlv, ontobroker) >> solve it (finds all solutions) in about a second. >> >> Please tell us if there is anything that we can do. >> >> Regards, >> Paul Fodor >> > > ________________________________ > > ------------------------------------------------------------------------- > This SF.Net email is sponsored by the Moblin Your Move Developer's challenge > Build the coolest Linux based applications with Moblin SDK & win great > prizes > Grand prize is a trip for two to an Open Source event anywhere in the world > http://moblin-contest.org/redirect.php?banner_id=100&url=/ > > ________________________________ > > _______________________________________________ > OpenCyc-devel mailing list > Ope...@li... > https://lists.sourceforge.net/lists/listinfo/opencyc-devel > > ------------------------------------------------------------------------- > This SF.Net email is sponsored by the Moblin Your Move Developer's challenge > Build the coolest Linux based applications with Moblin SDK & win great > prizes > Grand prize is a trip for two to an Open Source event anywhere in the world > http://moblin-contest.org/redirect.php?banner_id=100&url=/ > _______________________________________________ > OpenCyc-devel mailing list > Ope...@li... > https://lists.sourceforge.net/lists/listinfo/opencyc-devel > > |
4 messages has been excluded from this view by a project administrator.
