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

How to associate data with owl object property to link individuals

I have following ontology …
Narendra Kulkarni
  • 75
  • 8
1
vote
0 answers

How to find the instances having a specific relation with a given instance in an ontology using FuXi?

I have developed an ontology in Protege which will carry my data (as instances of the ontology) inside it along with their relations with each other (I developed it based on my question here). The instantiated ontology file could be found here. Now…
msc87
  • 943
  • 3
  • 17
  • 39
1
vote
2 answers

Solve Einstein's riddle with Stardog reasoner?

Is it possible to solve Einstein's riddle (aka Zebra puzzle) with the Stardog reasoner? I.e. the following query does not yield the expected result einsteins_riddle_en:Old_Gold stardog query myDatabase --reasoning "SELECT ?o WHERE…
rmv
  • 3,195
  • 4
  • 26
  • 29
1
vote
1 answer

Explanations for Inconsistency in OWL 2 ontology in Java

I am trying to find out whether an ontology is inconsistent or not, and if it is inconsistent then to print which are the classes/ axioms which cause the inconsistency. I am getting the correct result regarding the inconsistency check, however I am…
Sayandeep Mitra
  • 51
  • 6
1
vote
1 answer

UnloadableImportException when loading ontology file with OWLAPI

I am developing a maven plugin to validate OWL ontologies using OWL-API v3.4.3 and HermiT 1.3.8.4. Some of the OWL ontologies are proprietary, and thus are not available on the Web. Looking at the documentation, I'm using…
Quentin Reul
  • 11
  • 1
1
vote
2 answers

Reasoning and datatypes of Literals

In Turtle-RDF it is convenient to omit the datatype extension ^^xsd:string for string literals. But when i try to do reasoning with StarDog, http://www.stardog.com/, only the individual :YYY with the extension "green"^^xsd:string is found to be a…
rmv
  • 3,195
  • 4
  • 26
  • 29
1
vote
1 answer

Problem in inferring instances that have integer cardinality constraint

I have created an RDF/OWL file using Protege 4.1 alpha. I also created a defined class in Protege called CheapPhone. This class has a restriction which is shown below : (hasPrice some integer[< 350]) Whenever, a price of a phone is below 350, it…
yihlamur
  • 382
  • 1
  • 5
  • 17
1
vote
1 answer

Evaluate performance of an algorithm that uses a reasoner

I have developed an algorithm (java piece of code) that finds specific paths (property chains) between two given classes in an OWL-DL ontology. Here is the ontology Actually, Pellet reasoner is taking too much time to respond to my queries, about…
Median Hilal
  • 1,483
  • 9
  • 17
1
vote
3 answers

Why is owl:Restriction reasoning not working in Blazegraph?

With the following RDF in Blazegraph (taken from this answer): :eats rdf:type owl:ObjectProperty . :Vegetable rdf:type owl:Class ; rdfs:subClassOf owl:Thing . :Vegetarian rdf:type owl:Class ; owl:equivalentClass [ rdf:type…
kaychaks
  • 1,715
  • 3
  • 21
  • 28
1
vote
1 answer

Create and connect individuals with an OWL DL reasoner

I have an ontology with different type of events. Therefore I have three classes: A, B, C and a helper class Temp. I want the reasoner to create a new individual as a subclass of C for every pair of individuals a (rdf:typeOf A) and b (rdf:typeOf B)…
ImmaCute
  • 57
  • 7
1
vote
2 answers

How to infer a sameAs relation between objects with the same name

I want to infer a owl:sameAs relation between objects that have the same value for a property using RDF reasoning. i.e. object1 dc:title someTitle object2 dc:title someTitle What would be the code to infer the relation between all objects with…
Sijmen
  • 69
  • 1
  • 1
  • 10
1
vote
0 answers

SPARQL 1.1 entailment regimes and query with FROM clause (follow-up)

This is a follow-up question from SPARQL 1.1 entailment regimes and query with FROM clause I'm currently documenting/testing about SPARQL 1.1 entailment regimes and the recommendation repeatedly states that The scoping graph is graph-equivalent to…
Max
  • 685
  • 4
  • 14
1
vote
0 answers

Inferencing and best fit

Do you think I could use OWL reasoning to get of the following ontology a sorted result like: JobSeeker2 JobSeeker1 or the new relations, something like this: Vacancy1 --> JobSeeker2 Vacancy1 --> JobSeeker1 Because JobSeeker2 is the…
myborobudur
  • 4,385
  • 8
  • 40
  • 61
1
vote
1 answer

What can be done using OWL reasoning?

I'm working on an OWL ontology and I need some specific issues I only need ontology schema (TBox) and I got lost, what are the operations that can be completed using reasoning and sparql and OWL API? More specifically, I need the following: 1-…
Median Hilal
  • 1,483
  • 9
  • 17
1
vote
1 answer

Enable Reasoning for SPARQL request via Jena?

Problem environment: I have to access some RDF data stored in a virtuoso server via SPARQL. Reasoning has to be enabled for that graph I want to access. On the client side jena 2.11.x has to be used. Now the problem: To enable reasoning I have to…
mschenk74
  • 3,561
  • 1
  • 21
  • 34
1 2 3
…
16 17