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
1 answer

Allegrograph reasoning

I'm getting familiar with RDF stores on example of Allegrograph. One of part I'm interested in is reasoning. I've taken an example from here: https://franz.com/agraph/support/documentation/6.4.3/agraph-introduction.html and trying to make it…
Ralfeus
  • 845
  • 9
  • 31
0
votes
2 answers

Clarification requests about Description Logic and OWL

I have two main Questions: 1/ If we speak about OWL 2 semantics in academic manuscripts (ex. thesis) : do we include the description provided in this W3C official page, which consists of more than one interpretation functions OR the one provided in…
OntoBLW
  • 3
  • 4
0
votes
1 answer

RDF + OWL reasoning

Let's suppose I have an RDF data about Socrates. The data is shown below subject, predicate, object man, being, mortal Socrates, being, man To check whether Socrates is mortal I have a request SELECT * FROM RDFData t1 JOIN RDFData t2 ON t1.subject…
renataleb
  • 21
  • 5
0
votes
1 answer

GraphDB reasoning makes different inference for Classes

I loaded the following statements in a repo with a ruleset OWL-Horst (Optimized). @prefix : . :Foo rdf:type owl:Class . :Bar rdf:type owl:Class . :Baz rdf:type owl:Class ; rdfs:subClassOf :Bar . If I look at the…
floatingpurr
  • 7,749
  • 9
  • 46
  • 106
0
votes
1 answer

As a newbie in rule-based reasoning,how can I have a basic knowledge of the Resoning component of Apache Jena?

just like how Jena works in reasoning?or some relevant papers in rule-based reasoning?Thank U very much.
TtC
  • 43
  • 4
0
votes
0 answers

Reasoning over `exactly` and `some ` clause

This is regarding the inference made on the Result class on the below ontology. Right now the reasoner is running with Goal being defined equivalent to Goal and fulfilledBy only Requirement which does not classify it. When the axiom is changed as…
visraj
  • 25
  • 6
0
votes
2 answers

Why random numbers in Bayes' Net Sampling

I am trying to wrap my head around sampling in Bayesian Networks (simple unoptimized prior sampling for now). From what I understand, the idea is to produce a limited number of samples and see, how they propagate through the network. I do not…
Helge Löding
  • 45
  • 1
  • 8
0
votes
0 answers

Prolog: store results from transitive relationship into list

I am new to Prolog and now I have to implement a path consistency algorithm for RCC8 calculus/Allen Time Interval Algebra in Prolog. I am struggling with basic problems. A small example of my Background Knowledge. It is all about a given…
swageta
  • 115
  • 1
  • 7
0
votes
1 answer

AI reasoning system

I'm wondering if there is any system/infrastructure able to do some human reasoning process, for example: Context: A is a pen Question: is A vertical or horizontal Reasoning process: 1. horizontal is anything parallel to the ground 2. A is parallel…
Zhenshan Jin
  • 379
  • 3
  • 10
0
votes
1 answer

How to express in RDF(S)/OWL that two entities are somehow related?

I would like to express in RDF that two entities ex:e1 and ex:e2 are somehow related via some property. Unfortunately, blank nodes are not allowed in property position. In OWL there is owl:topProperty, but its extension contains all combinations of…
lambdaB
  • 1
0
votes
1 answer

How to check ABOX consistency using Hermit Reasoner

I am trying to learn how to use properly the OWLAPI but i am getting some troubles: i have an ontology which structures the activities (e.g. individual and social activities); my aim is to create an easy example of inconsistency in order to get used…
Giovanni Laganà
  • 1
  • 1
0
votes
1 answer

Iterating multiple reasoned literals from the same property

The title may be a bit confusing but basically this is the problem: I am using Jena and a Pellet reasoner to produce property literals from a resource called Patient_Doug. The triple looks like this: Patient_Doug-> hasSuggestion-> Literal inferred…
Phil
  • 31
  • 4
0
votes
0 answers

Lack of type inheritance using a backward chaining reasoner?

I'm learning about reasoning and knowledge engineering and I made up the following example: @prefix : . @prefix owl: . @prefix rdf: . @prefix xml:…
BobRoy
  • 31
  • 2
0
votes
1 answer

Get enumerated values with a reasoner

Assumedly I have a data property named fooType with 2 possible values {"Low", "High"}:
MiP
  • 5,846
  • 3
  • 26
  • 41
0
votes
1 answer

Get InverseObjectProperty with a reasoner

How can I query an inverse of an object property using a reasoner? For example, a Person can have a Gun and vice versa:
MiP
  • 5,846
  • 3
  • 26
  • 41
1 2 3
…
16 17