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

Jena reasoner delete statements from infModel

I have an ontology which I run the jena reasoner with custom rules on. Now, I want to add new data (experimental results) to the model und delete some old data, if a the model gets to big (due to memory issues) with getting the infModel…
user3785942
  • 11
  • 1
1
vote
1 answer

Inserting statements in triple stores

I have a question regarding inserting and deleting statements in triple stores such as Virtuoso, Stardog, 4store, Allegrograph, Oracle11g. When inserting a new statement, do they insert the inferred statements in the store or they use reasonners in…
riad
  • 361
  • 1
  • 9
  • 19
1
vote
2 answers

Using multiple EqReasoning instantiations conveniently

Is there a way to conveniently use multiple instantiations of EqReasoning where the underlying Setoid is not necessarily semantic equality (i.e. ≡-Reasoning cannot be used)? The reason that ≡-Reasoning is convenient is that the type argument is…
Helmut Grohne
  • 6,578
  • 2
  • 31
  • 67
1
vote
1 answer

DisjointClasses error while using opencyc owl in java

I'm currently working on a natural language processing project attempting to use openCYC as a KB. At the moment I'm simply trying to load the ontology and instantiate a reasoner using the java owl api v3.4.8 and HermiT, however whenever I try to…
user3163073
  • 11
  • 1
  • 3
1
vote
1 answer

Reasoning over a triples saved in Fuseki

I have individuals saved in Fuseki and ontology related to these individuals in different file. Now I need to make some basic reasoning over individuals saved in Fuseki, for example to get only an individuals of some type. I use OWLAPI. As a simple…
user3024710
  • 515
  • 1
  • 6
  • 15
1
vote
1 answer

HermiT Resoner with Protege OWL API

I'm using the Protege OWL API 4.3 (OWL API 3.4.2). It has the HermiT Reasoner Plugin installed wth it. My problem is that whatever query I have for the reasoner, there is no output, it does not provide any instances. This is how my ontology looks…
Keks
  • 77
  • 7
1
vote
1 answer

rdf reasoning rules via Jena

I want to express this relation: if article X has author Y, and the author has the influenceFactor medium or high(3 classes: low , medium, high) then this article is regarded as highly recommended. (?x computer-science#hasAuthor ?y)(?y…
Sarotti
  • 65
  • 1
  • 3
  • 10
1
vote
1 answer

Store data in Jena TDB and use reasoning

I have an OWL ontology file as RDF and want to store my data in a TDB and want to use reasoning. Actually this sounds simple so far :) But here is the point where I'm confuesd: I created a TDB an stored via SPARQL some statements. Then I tried to…
JimBob
  • 156
  • 1
  • 15
1
vote
1 answer

Recursive hypothesis-building with ambiguites - what's it called?

There's a problem I've encountered a lot (in the broad fields of data analyis or AI). However I can't name it, probably because I don't have a formal CS background. Please bear with me, I'll give two examples: Imagine natural language parsing: The…
jdm
  • 9,470
  • 12
  • 58
  • 110
1
vote
2 answers

Logic programming with integer or even floating point domains

I am reading a lot about logic programming - ASP (Answer Set Programming) is one example or this. They (logic programs) are usually in the form: [Program 1] Rule1: a <- a1, a2, ..., not am, am+1; Rule2: ... This set of rules is called the logic…
TomR
  • 2,696
  • 6
  • 34
  • 87
0
votes
0 answers

How to model occupation in a personal ontology with Wikidata?

I am trying to describe myself in a personal ontology and to integrate semantic triples from Wikidata with Protégé. I want to be sure to follow the best practices in personal ontologies to further apply automatic reasoning in a consistent way. For…
Ludovic Bocken
  • 187
  • 10
0
votes
1 answer

How to generate specific inference using owlapi?

I am working on this project which requires to perform ontology reasoning in code, so far I have written this rule. I am implementing this in java with the help of owlapi, and clarkparsia.pellet.owlapiv3.PelletReasoner. //dexpi:Pump(?pump) ^…
Satyam G
  • 3
  • 3
0
votes
1 answer

OWL API, Hermit materialization

I have two questions: What is the reasoner of OWL API? Is it Hermit? So when I have: OWLReasonerFactory reasoner_factory = new ReasonerFactory(); OWLReasoner reasoner = reasoner_factory.createReasoner(ontology); Which reasoner is called? When I…
Eleni T
  • 3
  • 3
0
votes
0 answers

How to get the individual with the minimum data property in owl?

I have the following ontology: where there are individuals from the Participant class, each one of them having many data properties, where one of them is the age. I would like to do a query (in owl, NOT SPARQL) to get the youngest parcipant, but I…
Andrei Manolache
  • 766
  • 1
  • 8
  • 17
0
votes
0 answers

SWRL rules (or Jena rules) for reasoning on set

I am trying to write a SWRL rule that takes the facts : Robot:robot1 hasSkill RobotSkill:location. Robot:robot1 hasSkill RobotSkill:move. Robot:robot2 hasSkill RobotSkill:location. Robot:robot2 hasSkill RobotSkill:greeting. RobotTask:guide2visitor…
Alex
  • 21
  • 1
  • 7
1 2 3
…
16 17