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
2
votes
1 answer

Problems with inference examples from Apache Jena framework

I have a serious problem to get any reasoner up and running. Also the examples from the documentation: https://jena.apache.org/documentation/inference/ does not work here. I transferred the example into a unit test, so that the problem might be…
Macilias
  • 3,279
  • 2
  • 31
  • 43
2
votes
2 answers

Jena infers rdfs:Resource to be in range of a owl:DatatypeProperty. Why?

If I have any property with some XMLSchema data type in its rdfs:range, the Jena reasoner (OWL_MEM_RULE_INF spec in my case) automatically adds rdfs:Resource to that range. Why is that? Doesn't that mean I can use literally anything as a value of…
Newerth
  • 449
  • 2
  • 12
2
votes
1 answer

Protégé 4.3 : Ontology consistency

I'm currently creating an Ontology about Inventions in Protégé 4. I declared : a property fulfills two classes : Invention and Need Still on Protégé, my class Invention is defined by the following assertion : Invention subClassOf fulfills exactly…
Spadon_
  • 495
  • 2
  • 5
  • 11
2
votes
0 answers

Issues with Jena OWL reasoner

I am new to Jena but now encountered with some problems. I have a superclass Query Processing and its four subclasses: Query Processing — Query intent — Query reformulation — Query representation — Query suggestion When I use: PREFIX Article:…
Sarotti
  • 65
  • 1
  • 3
  • 10
2
votes
1 answer

Using Excluded By in OWL

Dear Semantic Web folks, I'm questioning myself how I could define an "Excluded by" construction in OWL. For now the only solution I can think of is using disjointWith. What I mean with "Excluded by" is demonstrated in the example code. The House…
martijnplaat
  • 55
  • 4
2
votes
1 answer

OWLIM-lite does not infer any statements

I am using OWLIM-lite (5.2) for owl2rl ontology reasoning. Storing of axioms seems to work, repository initialized, but the system does not infer any implicit statements (when I query number of implicit statements, the system returns 0). I also…
malejpavouk
  • 4,297
  • 6
  • 41
  • 67
1
vote
1 answer

"Ignoring transitivity and/or complex subproperty axioms"

I'm trying to obtain to model a property that is transitive, asymmetric and irreflexive. I understand that OWL reasoning does not support for this complex relationship. However, is there a way to "trick" the reasoner? I want to use this for…
António Antunes
  • 13
  • 3
1
vote
0 answers

OWL - associate transitive child with great-parent

I would like to simplify my SHACL definitions by reversing the relations between shapes, properties and groups. A typical NodeShape looks like this. Two properties in a group: <> a sh:NodeShape ; sh:property [ sh:name "Property 1" ; …
Tomasz Pluskiewicz
  • 3,622
  • 1
  • 19
  • 42
1
vote
2 answers

OWL reasoning from command line with minimal dependencies

I have an OWL file in rdf/xml syntax which contains an asserted ontology. I want to apply an OWL DL reasoner to derive additional axioms. I know I could open the file in protegé and apply the reasoner there. However I look for a command line…
cknoll
  • 2,130
  • 4
  • 18
  • 34
1
vote
1 answer

How to define advanced custom rule in GraphDb ruleset

Let's start from the begin. There are some persons stored in graph database with predicates like birthDate, name, etc. I'm currently trying to write custom rule which add some new fact for persons older than e.g. 50 years. So to achieve that two…
Paweł Goławski
  • 11
  • 2
1
vote
0 answers

GraphDB behaves inconsistent when a statement with symmetricProperty is deleted

I configured a repository in graphDB with the ruleset OWL2-RL, such that I get the most powerful reasoning capability that graphDB supports in order to check how graphDB behaves when SPARQL updates affect implicit statements. My first experiment…
Immanuel Normann
  • 11
  • 2
1
vote
2 answers

Why is this Python function to sort integers contained as strings slower than this?

I have two python functions for sorting a list of integers contained as strings. They are follows: import random n = 10000000 unsorted = [str(x) for x in range(n)] random.shuffle(unsorted) def sort_alg1(unsorted): unsorted.sort(key = lambda x:…
Prithvidiamond
  • 327
  • 2
  • 15
1
vote
1 answer

Property Chains with assertions on intermediate nodes

I have a use case where I'm trying to infer if a specific user has admin access to a resource. I'm using GraphDB. My ontology contains Users, Roles, Permissions and Resources. A User can have N roles. Each Role has different Permissions, one of…
elvaras
  • 25
  • 4
1
vote
0 answers

Model OWL-class of individuals with a property containing a certain string, where string content is partly dependent on other individuals/other class

Here is a (crude) piece of OWL modelling concerning a template for a formal financial budget bill document of the Ministries in my country. It shows the class of a Budget Bill title, as a part of the front matter of such a document (amidst colophon,…
DatedLink
  • 11
  • 2
1
vote
0 answers

Protege inference on Object property assertions

I am trying to build a simple ontology to check how class expressions are inferred in protege, using the reasoner Hermit 1.4.3. The ontology is as follows: There are two classes Robot and Head, one object property hasPart and a class expression that…
epd
  • 11
  • 4
1 2 3
…
16 17