Stack Overflow
Stack Overflow

Questions tagged [reasoning]

For questions relating to reasoning tasks that can be be performed by programming tools. To be used with relevant tool, language and environment tags. Not to be use for questions related to program logic or algorithms, or the act of human reasoning. Reasoning tools are based on either a rule engine, OWL, RDFS, and can be inclusions in tools such as Jena, Oracle Spatial, or add ons such as Pellet.

For questions relating to reasoning tasks that can be be performed by programming tools. To be used with relevant tool, language and environment tags. Not to be related to program logic or algorithms, or the act of human reasoning.

Reasoning tools are based on either a rule engine, OWL, RDFS, and can be inclusions in tools such as Jena, Oracle Spatial, or add ons such as Pellet.

Recent releases and modified reasoners:

  • Jena, a Java RDF API and toolkit (last modified: 19 January 2016)
  • ELK (last modified: 14 January 2016)
  • RDFSharp (last modified: 22 December 2015)
  • Stardog (last modified: 27 March 2015)
  • Blazegraph (Formerly Bigdata®) (last modified: 18 February 2015)
248 questions
4
votes
1 answer

OWL and DL Reasoning: Why is Eros not beautiful?

I have created an ontology based on: Every person is beautiful if one of his/her parents is beautiful Aphrodite is a parent of Eros Aphrodite is beautiful thus we would expect Eros to be beautiful too! However, the Pellet reasoner doesn't…
gsamaras
  • 71,951
  • 46
  • 188
  • 305
4
votes
1 answer

Removing unwanted superclass answers in SPARQL

I have an OWL file that includes a taxonomic hierarchy that I want to write a query where the answer includes each individual and its immediate taxonomic parent. Here's an example (the full query is rather messier). @prefix rdfs:…
user2246336
  • 43
  • 4
4
votes
1 answer

counting down in scala for loop

Possible Duplicate: Decreasing for loop in Scala? While working through Scala For The Impatient, I came upon the following exercise: Write a Scala equivalent for the Java loop for (int i = 10; i >= 0; i--) System.out.println(i); It did…
pohl
  • 3,158
  • 1
  • 30
  • 48
3
votes
1 answer

When using rdfs:subClassOf or owl:equivalentClass in case of existential quantification (owl:SomeValuesFrom) for a OWL class restriction constructor?

We define a class A as owl:equivalentClass and a class A2 as rdfs:subClassOf based on the intersection (AND) of instances having a relation a_to_b and a_to_c with an instance of B or C respectively. Please see the example: :A rdf:type owl:Class ; …
user3352632
  • 617
  • 6
  • 18
3
votes
2 answers

Logical reasoning at Klarna interview

I get this reasoning question in Klarna pre test. Please help me to solve this. Question is in image
Rupanjali
  • 31
  • 1
  • 3
3
votes
0 answers

ALC tableau algorithm example

I'm trying to solve the following example using the tableau algorithm for ALC. Given the following TBox T: A⊆B A⊆C B⊆∃R.D̸ C⊆∃R.D E⊆∀R.D̸ Tell whether the concept A is satisfiable. So I put A(a) in my ABox and I start the algorithm,…
MoreOver
  • 381
  • 1
  • 5
  • 17
3
votes
1 answer

Different reasoning results between Stardog and Protege

I'm trying to understand why I'm obtaining different results between Stardog and Protege reasoning. I have the following ontology in both tools: Number Class: Number Number DisjointUnionOf OddNumber,EvenNumber OddNumber OddNumber subClassOf…
semanticuy
  • 31
  • 1
3
votes
1 answer

OWL reasoning: Necessary and sufficient conditions for inferring a property

We are trying to get a reasoner (e.g. HermiT in Protege) to infer that a more specific sub-property can be used instead of the asserted general property. Classes: - Patient - Finding - Dyspnea - ObservationStatus - Inclusion -…
Wolfgang
  • 211
  • 1
  • 2
  • 10
3
votes
1 answer

OWL API - OWL classes subsumption test in context of web service discovery

I've got very difficult task ahead of me, so any help and suggestion would me welcome. I have to implement Java web service which would match two other given web services for semantic similarity. These two other web service will be described with…
UserException
  • 31
  • 1
3
votes
1 answer

Reasoning with Pellet on SWRL rules in Jena Framework

I am trying to use Jena framework to edit an existing ontology built with Protoge 4.2. i.e. to change property values or add individuals or classes and then do reasoning. Assume in the ontology we have a rule such that:…
Hasti
  • 239
  • 1
  • 3
  • 17
3
votes
1 answer

OutOfMemoryError using Pellet as Reasoner

I'm trying to infer data using Pellet, but my application always crashes during reasoning due to an "OutOfMemoryError: Java heap space". As suggested elsewhere I have already tried to increase heap size and currently I am using these VM arguments:…
Pedro
  • 4,100
  • 10
  • 58
  • 96
2
votes
1 answer

ALC - Ontology consistency checking

I have to check whether the following ontology is correct using the ALC tableux algorithm. A ⊑ ∃s.¬B C ⊑ A ⊓ B C(x) C(y) s(x,y) So first i use C ⊑ A ⊓ B to label x and y with A and B. So x and y now have the lables A,B and C. Then i use the ⊑-rule…
Alex
  • 81
  • 6
2
votes
0 answers

Build a SKOS Reasoner rule-based

I have to build a reasoner for ontologies SKOS to reason with rules made ​​in CLIPS / Jess. I want to have simple forms of automated reasoning. I could not find anything specifically to help me create a reasoner for ontologies with rules, not even…
frencisdrame
  • 53
  • 1
  • 5
2
votes
1 answer

Brave/Cautious reasoning in clingo

In Clingo guide, there are two modes called cautious and brave introduced as the follows: brave Compute the brave consequences (union of all answer sets) of a logic program. cautious Compute the cautious consequences (intersection of all answer…
BobHU
  • 402
  • 5
  • 18
2
votes
1 answer

How to represent the unknown knowledge to be reasoned in Answer Set Programming?

Here is the problem to solve: If Jim does not buy toys for his children, Jim’s children will not receive toys for Christmas. If Jim’s children do not write their Christmas letters, Jim will not buy them toys. Jim’s children do receive toys for…
BobHU
  • 402
  • 5
  • 18
1
2
3
…
16 17