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
0
votes
0 answers

Owl reasoners that can use multiple cpus

Are there OWl reasoners except ELK that can use multiple cpu well? I have a python Program that need like 3000+ classifications , so at best the owl reasoner works with cmd command or with python directly and works well with parallelism.
Rami Dhouib
  • 3
  • 2
0
votes
0 answers

Using a Property Chain with a reasoner is considered to be reasoning. Would it also be considered as reasoning if this is done via a SPARQL query?

We can define the followin property chain: SubObjectPropertyOf( ObjectPropertyChain( :hasParent :hasParent ) :hasGrandparent ) And using a reasoner would add the hasGrandparent relation accordingly. This process is obviously reasoning. I…
user3352632
  • 617
  • 6
  • 18
0
votes
1 answer

When I use a (complex) SPARQL query to infer something (e.g. that a is in some relation to b that is only given through the query) is it reasoning?

When I use a (complex) SPARQL query to infer something (e.g., a is in some relation to b that is only given through the query), is the execution of the query / retrieving the information considered to be a form of reasoning? So only through the…
user3352632
  • 617
  • 6
  • 18
0
votes
0 answers

Inductive reasoning questions

I'm struggling to find the right answer to the following inductive reasoning puzzles. I do not know if my reasoning is correct as the correct answer is not given afterwards. Q3: I believe the pattern in the amount of black dots makes sure that it…
eavb123
  • 11
  • 2
0
votes
0 answers

Using Hermit Reasoner to check if an Ontology is Consistant

does anyone know how to use Hermit reasoner to check if the Ontology is inconsistent/consistent ? i want to use it from command line and would be better if I can save the result in result.txt like Konclude.
Rami Dhouib
  • 3
  • 2
0
votes
1 answer

HermiT entailments that contain negation

Is there a way to get inferences from HermiT reasoner that contain negation (ObjectComplementOf)? Here is what I tried: OWLOntologyManager manager = OWLManager.createOWLOntologyManager(); dataFactory = manager.getOWLDataFactory(); IRI iri =…
SteliosKts
  • 65
  • 1
  • 9
0
votes
0 answers

Check if a class is inconsistent in Konclude

I'm using Konclude reasoner .I know inconsistent Classes are shown in red in Protégé .How can I check if a class is Inconsistent in Konclude?
Rami Dhouib
  • 3
  • 2
0
votes
0 answers

Satisfiability checking failed in Konclude

Im checking class Satisfability in Konclude with : Konclude satisfiability -i test.owl -x http://w3id.org/gbo/mgg#subtract_with_borrow Had the error message : {error} 17:51:30:123 >> Satisfiability checking failed. With full Message: {info}…
Rami Dhouib
  • 3
  • 2
0
votes
0 answers

Flowchart - Logical test - reasoning

In the following problems, you are told something about the result, and you must determine what the contents of the boxes must have been in order to obtain that result. In these problems, the expression [number in box X] is abbreviated as [X]. For…
Jacyslaw
  • 1
0
votes
0 answers

Questions in ontology reasoning in Neo4j

currently, I want to use the ontology function of the NEO4j. According to the tutorials, https://neo4j.com/labs/neosemantics/4.0/inference/. I can use this code to do reasoning. But this code is only limited to one path. MATCH (cat:LCSHTopic {…
james_66
  • 1
  • 5
0
votes
0 answers

Spatial Reasoning Using SparQ tool

I am trying to use the SparQ too, the tool has been installed but when building it says the error attached in the screenshot. Any help or advice would be appreciated! Here is the tool: https://github.com/dwolter/SparQ Qualitative reasoning about…
Hanan
  • 1
0
votes
1 answer

Comparing date variables in rule permises of a custom ruleset file

I need to write rules that compares dates. I modificated builtin_rdfsPlus-optimized.pie file by adding some prefices : Prefices { time : http://www.w3.org/2006/time# swrlb : http://www.w3.org/2003/11/swrlb# } And this rule : Rules { …
alicer
  • 1
0
votes
1 answer

How to disply answer sets without facts

Please, can someone tell me how to display all the resulted answer sets in a logic program compiled with Clingo , without displaying the facts, i need to see only rules without facts.
Nadia
  • 1
  • 1
0
votes
0 answers

Is there a way to infer existentially quantified statements in OWL?

Consider the following chain of reasoning: 1. Simba is a lion. 2. All lions have at least one parent. 3. So, Simba has at least one parent. This is a perfectly valid inference, and it can be represented in predicate logic as follows: s = Simba L…
da71
  • 25
  • 3
0
votes
0 answers

What are the semantics of RDF reifications?

I am using Apache Jena, and I need to use RDF reification to express hypothetical statements about facts. For example, consider this: Alex "assumes" Eva was born between 1980 and 1990. Suppose we express the fact that Eva's birth occurred between…
Adel
  • 3,542
  • 8
  • 30
  • 31
1 2 3
…
16 17