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

Defining a class individuals as a combination of another class individuals

In an OWL ontology, given a class Student; I want to define another class StudentsPair, which is any pair of students, in such a way that automatically computes all the possible dual combinations of Student, i.e. Student(x) and Student (y) -->…
Median Hilal
  • 1,483
  • 9
  • 17
0
votes
0 answers

Returning DataSomeValues of an Equal Class

I try to return DataSomeValuesFrom values of an Equal class. Some piece of my ontology is as follows: As you can see I have Electronics class, it has a data property named Keyword, and definition of my class is Keyword some…
funda
  • 1
  • 1
0
votes
0 answers

Howto get Dataproperty inherited from superclass

I am working on my ontology using owlapi and java, but I cant find a solution in such a case: Here I have a class structure such as: Electronics Radio Handy I created individuals to these classes having the same name as their class. As…
funda
  • 1
  • 1
0
votes
0 answers

Protege reasoners cannot infer inverse property

I have a simple ontology with a class "Person" that has 3 individuals 'A','B','C'. They are related each other by an object property named isFatherOf, for example, A isFatherOf B B isFatherOf C and I set another property hasFather, which is an…
user2870222
  • 269
  • 1
  • 3
  • 13
0
votes
1 answer

Does Jena support SPARQL 1.1 entailment regimes?

First of all, Jena has its own reasoner and even together with Pellet and RDF serialization, we can inference over RDF graph using SPARQL. I am wondering what is the role of SPARQL entailment regimes here? How does Jena support the SPARQL entailment…
Enayat
  • 3,904
  • 1
  • 33
  • 47
0
votes
1 answer

No children and happiness combined?

This question is related to this: OWL and DL Reasoning: Why is Eros not beautiful? I am trying to create an ontology with these features: Every person is happy if all his children are successful. Aphrodite is a parent of Eros. Eros is…
gsamaras
  • 71,951
  • 46
  • 188
  • 305
0
votes
1 answer

What are the Jena OWL Reasoners Limitations?

I have been making some tests using Jena OWL Reasoner, but I don´t understand some results obtained, for example, if I have the following KB: Class A Class B Class C rdfs:subClassOf A A owl:disjointWith B ...and if I ask "C owl:disjointWith B"? to…
Leandro
  • 61
  • 6
0
votes
1 answer

Reasoning on ontology

I have some problem with reasoning: how can I retrieve the instance of a class if I load ONLY the TBox of an ontology? OWLOntologyManager manager = OWLManager.createOWLOntologyManager(); OWLDataFactory dataFactory =…
blinkettaro
  • 341
  • 6
  • 18
0
votes
1 answer

Reasoner's explanations on inconsistency

I am using the code of the owlexplanation project by Matthew Horridge on GitHub. I get the following reasoner inconsistency explanation. Could you please tell me why is that? My range is betwwen 4-9 and i gave the number 5.What is the…
Katerina Dimitraki
  • 105
  • 1
  • 5
0
votes
1 answer

reason behind javascript particle performance in great number compare to other software and programs

Hello I'm new to programming and I made a simple JavaScript that draws simple canvas.arc circles that moves in 2D x,y-coordinates. and just out of curiosity I ran the animation with 1 particle 10, 100, 1000 and so on and on increasing the number of…
Paul
  • 39
  • 1
  • 8
0
votes
1 answer

While loop condition reasoning, logic trouble, returning the sum of squares <= n (my first input

I'm having trouble with my logic and reasoning with a while loop, and returning the sum of positive numbers n, and the sum of inputs n squared. Please see my code and assist when possible, thank you. The exercise was: /* Write a short Java method…
ggx7
  • 49
  • 8
0
votes
1 answer

How to classificate individuals in a class according to its cardinality

I have created this ontology which contains two classes Car, Person and the object property hasCar that has Person as domain and Car as range. I want to classify individuals(Persons) in multiCarOwner and OnlyCar person, here is the ontology that…
E.Luque
  • 3
  • 3
0
votes
2 answers

How do you prove termination of a recursive list length?

Suppose we have a list: List = nil | Cons(car cdr:List). Note that I am talking about modifiable lists! And a trivial recursive length function: recursive Length(List l) = match l with | nil => 0 | Cons(car cdr) => 1 + Length…
Necto
  • 2,594
  • 1
  • 20
  • 45
0
votes
1 answer

How to retrieve all classes connected by an object property given some other class?

Assuming there are several class definitions in an ontology: A …
Scholle
  • 1,521
  • 2
  • 23
  • 44
0
votes
1 answer

Protege marks ontology inconsistent, however Hermit and Pellet Reasoner does not

I am trying to run consistency check on an inconsistent ontology, for which Pellet and Hermit Reasoner is not giving an inconsistency. However Protege successfuly marks the inconsistent classes. In details, I am changing SBVR Rules to OWL 2.0. So…
Sayandeep Mitra
  • 51
  • 6
1 2 3
…
16 17