I'm new to OpenCyc but I feel like I'm starting to get the hang of the language it uses, but whenever I pass a query that's more complicated than a direct relation it just returns 'Query was not proven' and 'Status : Suspended, Exhaust'. I assumed the 'Exhaust' part meant that it had searched through the entire Knowledge Base or Microtherory it was using so I switched that to EverythingPSC but I'm still getting the same result.
Querys like: (#$isa #$Socrates #$Person) return true because thats a relationship it knows.
But anything like: (#$isa #$Socrates #$Mortal) it just runs out of data to check.
Am I doing something wrong? Or am I expecting too much? I tried those examples because I saw a presentation of OpenCyc use that as an example and I've checked and my version has all those definitions stored. Oh and I'm using the webpage interface to do all of this.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
I'm new to OpenCyc but I feel like I'm starting to get the hang of the
language it uses, but whenever I pass a query that's more complicated than
a direct relation it just returns 'Query was not proven' and 'Status :
Suspended, Exhaust'. I assumed the 'Exhaust' part meant that it had
searched through the entire Knowledge Base or Microtherory it was using so
I switched that to EverythingPSC but I'm still getting the same result.
Also try InferencePSC
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Is it possible that the presentation you saw used not OpenCyc, but ResearchCyc, or another version that includes more knowledge? The copy of OpenCyc that I have (KB 5023) does not include the knowledge that "all men are mortal", so it can't prove that Socrates is mortal.
Further, #$Mortal is not a fully ontologized term. In my KB it says
...which means that the Noun Learner tool read something that used "mortal" as a noun and stubbed out a term for it. It's not really connected to much else in the ontology.
In ResearchCyc, the fact that "all men are mortal" is represented like so:
(relationExistsAll bodilyDoer Dying Organism-Whole) in BiologyMt
Roughly, every whole organism (not just humans, but plants, animals, viruses, etc.) dies (eventually).
I'm new to OpenCyc but I feel like I'm starting to get the hang of the language it uses, but whenever I pass a query that's more complicated than a direct relation it just returns 'Query was not proven' and 'Status : Suspended, Exhaust'. I assumed the 'Exhaust' part meant that it had searched through the entire Knowledge Base or Microtherory it was using so I switched that to EverythingPSC but I'm still getting the same result.
Querys like: (#$isa #$Socrates #$Person) return true because thats a relationship it knows.
But anything like: (#$isa #$Socrates #$Mortal) it just runs out of data to check.
Am I doing something wrong? Or am I expecting too much? I tried those examples because I saw a presentation of OpenCyc use that as an example and I've checked and my version has all those definitions stored. Oh and I'm using the webpage interface to do all of this.
On Sun, Mar 27, 2016 at 4:59 AM, Luke Seabrook luke-s@users.sf.net wrote:
Also try InferencePSC
Hi Luke,
Is it possible that the presentation you saw used not OpenCyc, but ResearchCyc, or another version that includes more knowledge? The copy of OpenCyc that I have (KB 5023) does not include the knowledge that "all men are mortal", so it can't prove that Socrates is mortal.
Further, #$Mortal is not a fully ontologized term. In my KB it says
Mt : CycNounLearnerMt
quotedIsa : PoorlyOntologized StubTerm
...which means that the Noun Learner tool read something that used "mortal" as a noun and stubbed out a term for it. It's not really connected to much else in the ontology.
In ResearchCyc, the fact that "all men are mortal" is represented like so:
(relationExistsAll bodilyDoer Dying Organism-Whole) in BiologyMt
Roughly, every whole organism (not just humans, but plants, animals, viruses, etc.) dies (eventually).
So to ask if Socrates is moral, one has to ask
(relationExistsInstance bodilyDoer Dying Socrates)
For a non-trivial query that should work in your OpenCyc, try asking
(isa Socrates Organism-Whole) in InferencePSC.