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

How to connect over owlapi to the reasoner RacerPro and get no connectivity errors?

I try to connect to the reasoner Racer. But I get the connectivity error. I know that there are many threads about the following error. I read most of them. But I could not solve this issue. Here is my code: import…
javaowlapi
  • 1
  • 1
0
votes
1 answer

Error while loading ontology in Protege

I am trying to load an OWL 2.0 ontology in Protege 3.5. However it is giving an error everytime I try. The error is as follows: Jena Parse error message: content is not allowed in prolog Exception class org.xml.sax.SAXParseExceotion: content is…
Sayandeep Mitra
  • 51
  • 6
0
votes
1 answer

OWL 2 ontology consistency check

I am trying to change SBVR Rules to Ontologies(OWL 2) and then running a consistency check on them using Hermit Reasoner. However even in case of inconsistent rules and thus inconsistent ontologies, the Hermit Reasoner is showing the ontology to be…
Sayandeep Mitra
  • 51
  • 6
0
votes
1 answer

Write in SWRL a mathematical expression to calculate probability distributions

I am new on Semantic Web Rules Language and I am writing some rules in order to calculate the probability of - discrete and continuous - distributions. I know that with SWRL I can do subtractions, addition, multiplication and divisions. But what…
KeyPi
  • 516
  • 5
  • 20
0
votes
1 answer

Jena; Domains and Ranges for a property differs upon selected Reasoner

Using Jena, I am trying to get domains and ranges for a property. Let's consider the following ontology @prefix : . @prefix owl: …
Median Hilal
  • 1,483
  • 9
  • 17
0
votes
1 answer

OWL Properties domain and range inheritance semantics

Actually, I'm getting lost with domain and range semantics when a subsummption exists, in addition to restriction inheritance between class taxonomy members. Please see the following cases. Let's consider (1) hasCar Domain driver (2) driver…
Median Hilal
  • 1,483
  • 9
  • 17
0
votes
1 answer

Reasoning with transitive roles in Protégé

I have a problem about reasoning with transitive roles in Protégé. I created a simple ontology that says: "Any rod is part of some engine." "Any engine is part of some car." "PartOf relation is transitive." I expected Protégé to recognise this DL…
Stanislav
  • 1
  • 1
0
votes
2 answers

How to check if OWLObjectPropertyExpression between classes exists?

Assuming two types of classes, one (A) "isManagedBy" by the other (B). The following owl snipped illustrates this scenario. There are multiple classes of type A (which are "managed by" other classes) and multiple classes of B. In fact, there is also…
Scholle
  • 1,521
  • 2
  • 23
  • 44
0
votes
1 answer

Does Virtuoso support OWL Full reasoning?

I read a tutorial in Inference Rules & Reasoning for Virtuoso. In the example 16.14.9 they mentioned the following: SQL>ttlp (' a . a . a . a . "John" . …
Programmer
  • 69
  • 6
0
votes
1 answer

Modeling a sum of 2 or more individuals in Protege

I'm trying to use Protegé to solve the following mathematical riddle: Find a SIX digit number in which the FIRST digit is ONE more than the THIRD, the SECOND digit is ONE less than the FOURTH, the FIFTH digit is ONE less than the THIRD, and the…
Kristian
  • 21,204
  • 19
  • 101
  • 176
0
votes
1 answer

Jena RDFS reasoning not returning expected results

I have the following two triples: . . And the…
Valentino
  • 162
  • 1
  • 6
0
votes
1 answer

For an OWL class A; Getting all properties that A is their domain

First I know this topic maybe repeated, but actually I have further questions. I'm using Jena to manipulate OWL ontology. Given a class A, I want to find all properties that A is their domain whether this is explicit or inferred. Let's consider the…
Median Hilal
  • 1,483
  • 9
  • 17
0
votes
1 answer

How to disinguish between inferred and explicit axiom?

I have one basic question concerning working with OWL API and reasoners. I have tried JFact Reasoner, successfully ran it and got a lot of axioms (some of them inferred, some of them explicitly stated in the original ontology). I need to distinguish…
Hawk
  • 392
  • 4
  • 24
0
votes
0 answers

DL; Generic reasoning algorithms

Actually, I'm getting lost about what can be done and cannot be done using a reasoner in general. My question is two fold: I used to think that a reasoner is only dedicated for sumbsumption and taxonomies. Recently, I discovered that a reasoner can…
Median Hilal
  • 1,483
  • 9
  • 17
0
votes
1 answer

What are the rules used by a reasoner

In OWL. I know that if ObjectProperty AB and AB domain A and AB range B and A subClassOf AB something then the reasoner can infer that A subClassOf B 1- What is the notion behind this inference? 2- Is there any references that explains the…
Median Hilal
  • 1,483
  • 9
  • 17
1 2 3
…
16 17