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

Any benchmark for evaluating the reasoning performance of a triple store?

Does anyone know of a benchmark to evaluate the reasoning performance of a triple store? I am using Stardog which uses Pellet as its reasoner engine and looking for a benchmark to assess the reasoning performance. If there is no then any suggestion…
Amin
  • 111
  • 9
0
votes
1 answer

Jena GenericRuleReasoner

What happens if we put a variable in the head of a GenericRuleReasoner, which does not appear in the body of the rule? For instance if we have the following rule : rule1: (?x rdf:type :Person) -> (?y :father ?x) The rule says that every person has…
riad
  • 361
  • 1
  • 9
  • 19
0
votes
3 answers

QCRs vs functional property

I have question based on the topic: SOF - Einstein puzzle in OWL In the owl, all cardinality restrictions are based on functional and inverse functional properties of Object Properties. I have remodeled it using QCRs. Old model (example): man…
Michal Joštiak
  • 161
  • 9
0
votes
0 answers

OWL reasonnement, how to infer relative to two different classes?

i am working about inferences. I am using Jena OWL reasoner. I have two kind of idividuals, Servers and Applications. Servers can host Applications, the object property responsible to make the link is "data:heberge". I would locate the applications…
user3179215
  • 11
  • 1
0
votes
1 answer

equal instruction inside SWRL rule not working

I am using Protege 4.3 to make some SWRL rules. I have one class called "Person" with one property called "name". I created individuals from the class with different names, and some names are the same. I want to write a rule that creates instances…
riad
  • 361
  • 1
  • 9
  • 19
0
votes
1 answer

Disjunction inside SWRL rule

I am using Protege 4.3 to make some SWRL rules. Is it possible to write a rule that contains a disjunction in it For instance : Person(?x), Age(?x,?age), (?age < 10 or ?age > 30) -> blabla(?x) Meaning all people having age < 10 OR > 30
riad
  • 361
  • 1
  • 9
  • 19
0
votes
0 answers

Jena reasoning: dynamically adding new resources in the conclusion

From what I have seen so far, all Jena reasoning rules are in the form below : [hirarchyExpansion: (?x dbo:isPartOf ?loc) (?loc dbo:isPartOf ?highloc) -> (?x dbo:isPartOf ?highloc) ] This implies that no new resource can be added in the conclusion.…
Soheila DehghanZadeh
  • 379
  • 2
  • 4
  • 14
0
votes
2 answers

OWL Intersection on class level

I have a class hierarchy like this: Thing - ClassA -ClassC -ClassD - ClassB -ClassC -ClassE Class C is a subclass of both, ClassA and ClassB while ClassD and ClassE are only subclasses of either ClassA or ClassB Now I would like…
casualcoder
  • 480
  • 4
  • 17
0
votes
0 answers

jena reasoning on 2 dataset and add new entity in consequence

i have a result binding in jena query solution(say sol1: user=u1, location=loc1, LocationType=type1) and I want to use a dataset to extend my result binding using a set of jena rules. in fact, having sol1 and having loc1 location:ispartof…
Soheila DehghanZadeh
  • 379
  • 2
  • 4
  • 14
0
votes
1 answer

How convert MQ Error to more descriptive text

How can I convert MQ API exception text to more descriptive text in my java app? sample exception message >"MQJE001: Completion Code '2', Reason '2038'" To > "An MQINQ call was issued to inquire object attributes, but the object had not been opened…
Moh Tarvirdi
  • 685
  • 1
  • 13
  • 25
0
votes
1 answer

Error when importing java class in jruby script

I want to use HermiT reasoner in my jruby script as described here http://hermit-reasoner.com/java.html. As described there I have to have HermiT.jar in my classpath. So I did require for jar file and also I want to import Reasoner class. My script…
user3024710
  • 515
  • 1
  • 6
  • 15
0
votes
1 answer

Extracting Class content such as (onProperty, somevalueFrom , unioinOf (which contain a collection) and equivalentClass)

I'm trying to extract class's content from owl file which consists of onProperty and someValuesFrom where the someValueFrom consists of class that contain a unionOf (onProperty, someValueFrom and equivalentClass), I have created a SPARQL query to…
Abdullah Almuhaimeed
  • 49
  • 8
0
votes
1 answer

Pellet Reasoner with Jena + PermGen spaces

I am running Pellet with Jena as the following: public void storeInferredModel(Data data) { System.out.println("creating inferred dataset "); Dataset dataset = TDBFactory.createDataset(data.getInferredResultsPath()); …
Dr.AdeeB
  • 31
  • 1
  • 4
0
votes
1 answer

Is it possible to implement mathematical deduce in semantic web?

For example: we have premises a < b and b < c, can you deduce a < c in Semanric web?
WuZhu
  • 75
  • 6
0
votes
1 answer

Basic RDFS inferencing with the Jena API

I'm currently following the Jena API inferencing tutorial: https://jena.apache.org/documentation/inference/ and as an exercise to test my understanding, I'd like to rewrite the first example, which demonstrates a trivial RDFS reasoning from a…
cjauvin
  • 3,433
  • 4
  • 29
  • 38
1 2 3
…
16
17