Activity for OpenCyc

Tomasz Stachera created ticket #10

Tomasz Stachera — Tue, 15 Oct 2024 13:49:33 -0000

Download link

Mark Adamik posted a comment on discussion Help

Mark Adamik — Tue, 22 Mar 2022 10:51:06 -0000

Hi, The problem is that OpenCyc uses an older version of Java. I removed my Java 11 sudo apt remove --autoremove openjdk-11-* and installed the version it needs: sudo apt-get install icedtea-netx

Miguel A Rodriguez posted a comment on discussion Help

Miguel A Rodriguez — Mon, 08 Nov 2021 18:52:25 -0000

Hello, I don't have an answer to your question but did you discover OpenCyc on the Lex Fridman podcast?

Priyank Soni posted a comment on discussion Help

Priyank Soni — Fri, 24 Sep 2021 16:37:57 -0000

Hi, I am running run-cyc.sh on linux (ubuntu), I am getting this issue: Exception in thread "SubL Thread #1" java.lang.ExceptionInInitializerError at com.cyc.tool.subl.jrtl.nativeCode.subLisp.Eval.(Eval.java:351) at java.base/jdk.internal.misc.Unsafe.ensureClassInitialized0(Native Method) at java.base/jdk.internal.misc.Unsafe.ensureClassInitialized(Unsafe.java:1042) at java.base/jdk.internal.reflect.UnsafeFieldAccessorFactory.newFieldAccessor(UnsafeFieldAccessorFactory.java:43) at java.base/jdk.internal.reflect.ReflectionFactory.newFieldAccessor(ReflectionFactory.java:186)...

Ian Harris posted a comment on discussion Help

Ian Harris — Wed, 19 Oct 2016 03:59:17 -0000

Does anyone know if there is any documentation for an NL interface to Research Cyc?...

Ian Harris posted a comment on discussion Help

Ian Harris — Tue, 18 Oct 2016 04:05:26 -0000

Is there some bulk method of adding lots of constants at once?

David Sekora posted a comment on discussion Help

David Sekora — Wed, 24 Aug 2016 18:56:40 -0000

Of course, it's still awkward that the query (loves ?X TestPerson1234) doesn't find...

Douglas Summers-Stay posted a comment on discussion Help

Douglas Summers-Stay — Wed, 24 Aug 2016 17:58:16 -0000

When I try the following query using shallow inference, it gets no results: (and...

David Sekora posted a comment on discussion Help

David Sekora — Wed, 24 Aug 2016 17:35:36 -0000

Oh, that's what I was missing! I just tested it out, and a query like this works...

David Baxter posted a comment on discussion Help

David Baxter — Wed, 24 Aug 2016 16:51:45 -0000

I think you're right about the skolem term not being returned as a binding because...

David Sekora modified a comment on discussion Help

David Sekora — Wed, 24 Aug 2016 16:44:47 -0000

When I write a formula involving thereExists, Skolemization appears to happen. For...

David Sekora posted a comment on discussion Help

David Sekora — Wed, 24 Aug 2016 16:42:10 -0000

When I write a formula involving thereExists, Skolemization appears to happen. For...

Andrew Smart modified a comment on discussion Help

Andrew Smart — Fri, 03 Jun 2016 22:28:02 -0000

@Jonatan Regarding the translation from OWL to CycL(?), when looking over old notes...

Andrew Smart modified a comment on discussion Help

Andrew Smart — Fri, 03 Jun 2016 22:25:08 -0000

@Jonatan Regarding the translation from OWL to CycL(?), when looking over old notes...

Andrew Smart modified a comment on discussion Help

Andrew Smart — Fri, 03 Jun 2016 22:13:59 -0000

@Jonatan Regarding the translation from OWL to CycL, when looking over old notes...

Andrew Smart posted a comment on discussion Help

Andrew Smart — Fri, 03 Jun 2016 22:12:52 -0000

@Jonatan Regarding the translation from OWL to CycL, when looking over old notes...

Andrew Smart modified a comment on discussion Help

Andrew Smart — Thu, 02 Jun 2016 00:29:41 -0000

Hi! I can't give a more complete answer, but your understanding that CycL is more...

Andrew Smart posted a comment on discussion Help

Andrew Smart — Fri, 27 May 2016 08:01:51 -0000

Hi! I can't give a more complete answer, but your understanding that CycL is more...

Jonatan Lauritsen posted a comment on discussion Help

Jonatan Lauritsen — Sun, 15 May 2016 14:16:54 -0000

Hi! Are there modal operators in Cyc and is it possible to extend Cyc by instroducing...

Douglas Summers-Stay posted a comment on discussion Help

Douglas Summers-Stay — Tue, 10 May 2016 16:09:16 -0000

I think this works. (and (?X Dog CanineAnimal) (isa ?X Predicate) (arg1Isa ?X Collection)...

Douglas Summers-Stay modified a comment on discussion Help

Douglas Summers-Stay — Tue, 10 May 2016 13:41:21 -0000

When I try the following query: (and (?X #$Dog #$CanineAnimal) (isa ?X BinaryPredicate)...

Douglas Summers-Stay posted a comment on discussion Help

Douglas Summers-Stay — Tue, 10 May 2016 13:32:15 -0000

When I try the following query: (and (?X #$Dog #$CanineAnimal) (isa ?X BinaryPredicate)...

Nathan Winant posted a comment on discussion Help

Nathan Winant — Thu, 07 Apr 2016 22:01:12 -0000

Hi Sergei, Our APIs support asyncronous queries, wherein you register event listeners...

Nathan Winant posted a comment on discussion Help

Nathan Winant — Thu, 07 Apr 2016 21:50:56 -0000

Hi Sergei, I can provide an example. May I ask which version of Cyc you're using?...

Sergei posted a comment on discussion Help

Sergei — Tue, 05 Apr 2016 17:26:14 -0000

I am trying to implement a scrollable answer set where the next view of the answers...

Sergei posted a comment on discussion Help

Sergei — Tue, 05 Apr 2016 17:17:59 -0000

Processing justifications is time costly, so I want to get justifications by request...

David Baxter posted a comment on discussion Help

David Baxter — Mon, 28 Mar 2016 19:50:28 -0000

Hi Luke, Is it possible that the presentation you saw used not OpenCyc, but ResearchCyc,...

Douglas R. Miles posted a comment on discussion Help

Douglas R. Miles — Sun, 27 Mar 2016 12:39:26 -0000

On Sun, Mar 27, 2016 at 4:59 AM, Luke Seabrook luke-s@users.sf.net wrote: I'm new...

Luke Seabrook posted a comment on discussion Help

Luke Seabrook — Sun, 27 Mar 2016 11:59:09 -0000

I'm new to OpenCyc but I feel like I'm starting to get the hang of the language it...

lorenz_ posted a comment on discussion Open Discussion

lorenz_ — Sun, 16 Aug 2015 18:44:18 -0000

Hi Michael, nice to find you. If I release part of the ontology as Free Software...

Michael Witbrock modified a comment on discussion Open Discussion

Michael Witbrock — Wed, 12 Aug 2015 18:04:47 -0000

Hi Lorenz, These vocabularies look very interesting. Unfortunately, as it stands,...

Michael Witbrock posted a comment on discussion Open Discussion

Michael Witbrock — Wed, 12 Aug 2015 17:45:22 -0000

Hi Lorenz, These vocabularies look very interesting. Unfortunately, as it stands,...

lorenz_ modified a comment on discussion Open Discussion

lorenz_ — Wed, 12 Aug 2015 16:59:54 -0000

Hi, with my friends we developed a set of RDF vocabularies focused on space-related...

lorenz_ posted a comment on discussion Open Discussion

lorenz_ — Wed, 12 Aug 2015 16:15:42 -0000

Hi, with my friends we developed a set of RDF vocabularies focused on space-related...

Vijay Raj posted a comment on discussion Help

Vijay Raj — Thu, 06 Aug 2015 14:51:10 -0000

Hi Hengwei, The APIs are the same for all platforms. Some API calls might return...

Hengwei Guo modified a comment on discussion Help

Hengwei Guo — Wed, 05 Aug 2015 20:38:58 -0000

Hi, I'm just wondering how I can get the wornet mappings and prettyString from openCyc...

Hengwei Guo modified a comment on discussion Help

Hengwei Guo — Wed, 05 Aug 2015 20:38:36 -0000

Hi, I'm just wondering how I can get the wornet mappings and prettyString from openCyc...

Hengwei Guo posted a comment on discussion Help

Hengwei Guo — Wed, 05 Aug 2015 20:38:05 -0000

Hi, I'm just wondering how I can get the wornet mappings and prettyString from openCyc...

Vijay Raj posted a comment on discussion Help

Vijay Raj — Tue, 21 Jul 2015 16:25:36 -0000

Hi Jason, We have released a new set of APIs. Please refer: http://dev.cyc.com/cyc-api/index.html...

Jason Hong posted a comment on discussion Help

Jason Hong — Tue, 21 Jul 2015 05:03:36 -0000

Hi, guys. I tried to change opencyc inference engine mode like this: String queryString...

Chris Deaton posted a comment on discussion Help

Chris Deaton — Tue, 30 Jun 2015 22:12:50 -0000

RCyc doesn't have a complete theory of which physical properties carry over to the...

Douglas Summers-Stay posted a comment on discussion Help

Douglas Summers-Stay — Thu, 18 Jun 2015 12:53:16 -0000

I am trying to understand how physical properties work in Cyc. I would think that...

Douglas Summers-Stay posted a comment on discussion Help

Douglas Summers-Stay — Thu, 28 May 2015 14:23:49 -0000

I thought maybe someone would be interested to know you can use a similar method...

Douglas Summers-Stay posted a comment on discussion Open Discussion

Douglas Summers-Stay — Sat, 07 Feb 2015 18:11:30 -0000

First you would create a microtheory encapsulating the world of Fred and the bear...

Douglas Summers-Stay modified a comment on discussion Open Discussion

Douglas Summers-Stay — Wed, 26 Nov 2014 00:55:40 -0000

Cool. I don't know any way I could have discovered that without asking for help....

Douglas Summers-Stay posted a comment on discussion Open Discussion

Douglas Summers-Stay — Wed, 26 Nov 2014 00:55:27 -0000

Cool. I don't know any way I could have discovered that without asking for help.

David Baxter posted a comment on discussion Open Discussion

David Baxter — Tue, 25 Nov 2014 23:06:57 -0000

There is a global that gates whether these NL tags are added to noun phrases parses....

Douglas Summers-Stay modified a comment on discussion Open Discussion

Douglas Summers-Stay — Tue, 25 Nov 2014 23:02:47 -0000

That was just a hypothetical to make the issue easy to understand. One real answer...

Douglas Summers-Stay posted a comment on discussion Open Discussion

Douglas Summers-Stay — Tue, 25 Nov 2014 23:02:20 -0000

That was just a hypothetical to make the issue easy to understand. The real answer...

David Baxter posted a comment on discussion Open Discussion

David Baxter — Tue, 25 Nov 2014 19:46:46 -0000

What's the NL query you're using? On Tue, Nov 25, 2014 at 12:10 PM, Douglas Summers-Stay...

Douglas Summers-Stay posted a comment on discussion Open Discussion

Douglas Summers-Stay — Tue, 25 Nov 2014 18:10:09 -0000

Suppose I used a natural language query on the string "small dog." One result I get...

Douglas Summers-Stay posted a comment on discussion Help

Douglas Summers-Stay — Tue, 25 Nov 2014 17:50:00 -0000

Thanks! that's helpful.

David Baxter posted a comment on discussion Help

David Baxter — Fri, 21 Nov 2014 18:26:55 -0000

The second question might be too hard to answer. There are so many possible ways...

Douglas Summers-Stay modified a comment on discussion Help

Douglas Summers-Stay — Fri, 21 Nov 2014 16:48:23 -0000

(assertedPredicateArg OBJ N PREDICATE) This seems to work as an answer the first...

Douglas Summers-Stay modified a comment on discussion Help

Douglas Summers-Stay — Fri, 21 Nov 2014 16:47:56 -0000

(assertedPredicateArg OBJ N PREDICATE) This seems to work as an answer the first...

Douglas Summers-Stay posted a comment on discussion Help

Douglas Summers-Stay — Fri, 21 Nov 2014 16:43:44 -0000

(assertedPredicateArg OBJ N PREDICATE) This seems to work as an answer the first...

Douglas Summers-Stay posted a comment on discussion Help

Douglas Summers-Stay — Fri, 21 Nov 2014 15:19:55 -0000

How would one find out the following? (If it's impossible using a Cyc query, a subl...

Nathan Winant posted a comment on discussion Open Discussion

Nathan Winant — Wed, 12 Nov 2014 01:43:58 -0000

Hi, Andrew! It's great that you're enthusiastic about Cyc. We absolutely hear you....

Andrew Smart posted a comment on discussion Open Discussion

Andrew Smart — Tue, 04 Nov 2014 20:21:21 -0000

Thanks! I just felt like tinkering- was my first experience with JavaScript really....

Nathan Winant posted a comment on discussion Open Discussion

Nathan Winant — Fri, 31 Oct 2014 19:49:07 -0000

Hi Andrew, that's fantastic! One of the tools we've been developing in-house at Cycorp...

Andrew Smart modified a comment on discussion Open Discussion

Andrew Smart — Sun, 19 Oct 2014 18:50:44 -0000

Ok, now any token can be autocompleted within the text (unlike before only the last...

Andrew Smart posted a comment on discussion Open Discussion

Andrew Smart — Sat, 18 Oct 2014 23:54:30 -0000

Ok, now any token can be autocompleted within the text (unlike before only the last...

Andrew Smart posted a comment on discussion Open Discussion

Andrew Smart — Mon, 06 Oct 2014 21:47:33 -0000

Well, I had implemented autocompletion within the 'Assert Sentence' tool of the web...

Andrew Smart posted a comment on discussion Open Discussion

Andrew Smart — Thu, 02 Oct 2014 04:59:54 -0000

I decided to tinker with OpenCyc yesterday. I wanted to add auto-completion to the...

Vijay Raj posted a comment on discussion Help

Vijay Raj — Mon, 18 Aug 2014 18:26:17 -0000

Non Atomic Terms have everything to define them specified in the term itself. So,...

Michael Anderson posted a comment on discussion Help

Michael Anderson — Sat, 09 Aug 2014 17:38:31 -0000

That's a helpful link I had not found. TYVM

Vijay Raj posted a comment on discussion Help

Vijay Raj — Sat, 09 Aug 2014 17:05:00 -0000

OpenCyc does have fewer functions than other versions such as ResearchCyc. Please...

Michael Anderson modified a comment on discussion Help

Michael Anderson — Sat, 09 Aug 2014 14:48:13 -0000

I'm trying to follow along with CYCL tutorial. When I execute (#$BorderBetweenFn...

Michael Anderson posted a comment on discussion Help

Michael Anderson — Sat, 09 Aug 2014 13:28:59 -0000

I've downloaded version 4.0 Linux version. Where are the logs being written or is...

Michael Anderson posted a comment on discussion Help

Michael Anderson — Sat, 09 Aug 2014 13:18:22 -0000

I'm trying to follow along with CYCL tutorial. When I execute (#$BorderBetweenFn...

OpenCyc released /OldFiles/opencyc-1.0.1-linux.tgz