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
16
votes
3 answers

First Order Logic Engine

I'd like to create an application that can do simple reasoning using first order logic. Can anyone recommend an "engine" that can accept an arbitrary number of FOL expressions, and allow querying of those expressions (preferably accessible via…
Cerin
  • 60,957
  • 96
  • 316
  • 522
7
votes
1 answer

Why is there no static QDir::makepath()?

I know, that to create a new path in Qt from a given absolute path, you use QDir::makepath() as dir.makepath(path), as it is suggested in this question. I do not have any trouble in using it and it works fine. My question is directed, as to why the…
T3 H40
  • 2,326
  • 8
  • 32
  • 43
7
votes
3 answers

Using Jena reasoner on Neo4J db

it's my first time writing here but i'm really struck with a problem: is it possible to use the Jena reasoner on a No-SQL database, like Neo4J, already filled with data? I've a Neo4J's graph rappresenting a bunch of triples and I would like to use…
Ancelot182
  • 149
  • 1
  • 7
6
votes
1 answer

What is import java.util.UUID used for?

import java.util.UUID public class Person implements Serializable { private UUID uuid; public Person() { uuid = UUID.fromString("3856c3da-ea56-4717-9f58-85f6c5f560a5"); } public UUID getUuid() { …
theJava
  • 14,620
  • 45
  • 131
  • 172
5
votes
1 answer

Define rules for AllegroGraph triples and how to apply them

I'm using AllegroGraph to store statement like this: I would like to define a rule on this staments that says: if the subject newsid1 hasAnnotation either Gamma or Beta, then add a new…
florins
  • 1,605
  • 1
  • 17
  • 33
5
votes
1 answer

Last non-zero digits of a very large factorial

How can one calculate the last few non-zero digits of a factorial of a large number? By large, i mean like n=10^100 or something (EDIT : 10^100 is the magnitude of 'n' in n! ) By few, i mean till 7-8... I tried googling it and found this - Last…
Harshit Singhal
  • 152
  • 8
5
votes
2 answers

Reasoning with Fuseki, TDB and named graphs?

I'm serving a dataset containing 10-20 named graphs from a TDB dataset in Fuseki 2. I'd like to use a reasoner to do inference on my data. The behaviour I'd like to see is that triples inferred within each graph should appear within those graphs…
Johan Nystrom
  • 157
  • 1
  • 9
5
votes
2 answers

Reasoning of Semantic web in Distributed systems

I want to use the Web-scale Parallel Inference Engine (WebPIE) reasoner over Hadoop platform. I have already implemented Hadoop structure with two Ubuntu virtual machines and it’s functioning well. When I want to use WebPie to do reasoning over RDF…
user1997327
  • 51
  • 1
4
votes
2 answers

Kripke semantics: learning software available?

I am stuck on Kripke semantics, and wonder if there is educational software through which I can test equivalence of statements etc, since Im starting to think its easier to learn by example (even if on abstract variables). I will use ☐A to write…
propaganda
  • 470
  • 2
  • 6
  • 14
4
votes
0 answers

How can I integrate a semantic reasoner into Sesame?

I'm working on the API for TripleStore in Sesame. It has a reasoner which works with RDFs. As I also work with OWL. So I want to add another semantic reasoner such as Pellet or ITM ... It appears that the SAIL API supports customisable reasoning…
pseudo2188
  • 55
  • 5
4
votes
4 answers

Forward chaining and Backward chaining in java

What will be the best approach to implement forward chaining and backward chaining for reasoning process in java? We have been given Horn-form knowledge base which has set of statements. I have tried to search on internet but I was unable to find…
TeaCupApp
  • 11,316
  • 18
  • 70
  • 150
4
votes
1 answer

Reasoning in Apache Jena Fuseki: "Reload" dataset or "trigger" inference

We have an Apache-Fuseki Server running with the following configuration: @prefix : . @prefix tdb: . @prefix tdb2: . @prefix rdf: …
hsteinmueller
  • 55
  • 5
4
votes
2 answers

What's the difference between an inference machine and a semantic reasoner?

I found some short articles about both, and for me it sounds like both figure out things through logic, similar to how Prolog works. I must add I am new to this field so I might be wrong. Very wrong.
SecretService - not really
  • 1,103
  • 2
  • 12
  • 20
4
votes
1 answer

Member of an owl:Class versus owl:NamedIndividual

Is it right, that in OWL-DL, if some :x has an rdf:type of something which is an owl:Class, e.g. :Car :Car rdf:type owl:Class . :x rdf:type :Car . or equivalent :Car a owl:Class . :x a :Car . it cannot be deduced, that :x must be…
rmv
  • 3,195
  • 4
  • 26
  • 29
4
votes
1 answer

Is there a C/C++ library that allows you to find out whether a set of expressions are mutually exclusive?

I'm writing a compiler for a dataflow programming language I have designed. One of the features that I really like about it is that you can express the following: x <- a + 1 if b > 3; x <- a - 1 if b <= 3; Which implies something like: x <- a - 1 +…
dan_waterworth
  • 6,261
  • 1
  • 30
  • 41
1
2 3
…
16 17