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

A simple SPIN rule doesn't work in RDF4J

I've just started using the triple store RDF4J (I am using its workbench, version 2.3.1, run on Windows 10 with Tomcat 9.0) I want to use the SPIN rules in RDF4J. Therefore, I created a new repository (In memory with RDFS+SPIN support). I wanted to…
W.Huang
  • 21
  • 2
2
votes
0 answers

Using external ontology and loading it into a database

I would like to use external ontologies https://www.w3.org/ns/locn, https://www.w3.org/2006/time, and https://www.w3.org/2003/01/geo/ into my ontologies. As far as I understand, if I use "import" to access these ontologies, I can obtain the…
Mav
  • 123
  • 1
  • 8
2
votes
1 answer

Reasoning an ontology using OWL API

I have used OWL API 4.1.3 to load my ontology which is not big. As I need to use inferred information I also carried out reasoning using Hermit 1.3.8.413 library. The following code shows how I have done it. public class ReasonRDF { public static…
msc87
  • 943
  • 3
  • 17
  • 39
2
votes
1 answer

Reasoner in Protege not working with Restrictions/Cardinalities

I am currently building/modifying a larger ontology. As I had problems to define restrictions I build a very short example: I have EuropeanCountry as a class and IslandCountry as a class:
tanktoo
  • 181
  • 12
2
votes
0 answers

Performance issue while listing statements of an inferred model

I am developing an application using Apache Jena to work with RDF triples and OWL ontologies. The problem What I am currently trying to do is to get a model from a TDB triplestore, to infer on this model and to find some statements in the inferred…
Grégoire G.
  • 719
  • 4
  • 11
2
votes
1 answer

OWL: How to get inheritance of property relations between two classes from those of superclasses?

Let's say we have two classes named People and Disease. These classes are related by the Object Property has. :People :has :Disease People has subclass (or individual) John, and Disease has subclass (or individual) Cancer. :John a :People :Cancer…
MJ Park
  • 303
  • 1
  • 10
2
votes
1 answer

SPARQL - Get asserted class when reasoning is enabled

When reasoning is activated in a triplestore, the following query SELECT ?classiri WHERE { ex:myElement rdf:type ?classiri } will produce as a result: owl:Thing ex:Animal ex:Human ex:MaleHuman Is there a way to get only the explicitly asserted…
user1156544
  • 1,725
  • 2
  • 25
  • 51
2
votes
1 answer

Programming deontic logic

I need to write rules for deontic logic, is there any programming language to do that? I saw prolog and I'm learning now but how to express deontic logic in PROLOG? please help
karthi
  • 2,762
  • 4
  • 30
  • 28
2
votes
1 answer

Barack doesn’t like anything that Donald likes

How to express: Barack doesn’t like anything that Donald likes. in Protege? My attempt: I have Barack and Donald as individuals and like as a property, however, when clicking on Barack, the best I can get is: Barack like Donald which is not…
gsamaras
  • 71,951
  • 46
  • 188
  • 305
2
votes
2 answers

How to get an explanation for an inconsistency using the owlexplanation project

I have a question regarding the owlexplanation project by Matthew Horridge on GitHub. In the README file there is the following code : import org.semanticweb.owl.explanation.api.*; import org.semanticweb.owlapi.model.*; import…
Katerina Dimitraki
  • 105
  • 1
  • 5
2
votes
1 answer

Closure axiom for instances so that reasoner can correctly classify instances in ontology

I am a geographer and a new comer in the field of ontology trying to make sense out of these two. Therefore, I have created a simple ontology, as follows: Thing Feature Lane Segment(equivalent to Arc) Geometry Arc…
msc87
  • 943
  • 3
  • 17
  • 39
2
votes
2 answers

Monitoring Reasoning Progress using the Pellet Reasoner

I am currently constructing an OWL ontology, which - until very recently classified rapidly using the Pellet reasoner. However, since the introduction of several new classes, the reasoning performance has slowed to a crawl. Although the reasoner…
Nico Adams
  • 1,684
  • 13
  • 15
2
votes
0 answers

Setting up ConceptNet5 locally

I am trying to set up ConceptNet5 (link) locally onto my system. ConceptNet has 3 APIs Lookup, Search and Association api which is given onto this page(link). I tried to set up these Apis locally as described into Running your own copy. The command…
Gunjan
  • 2,775
  • 27
  • 30
2
votes
2 answers

Setting up the Conceptnet with apache solr

I am trying to use common sense reasoning. In which I came across this cool thing called Conceptnet http://conceptnet5.media.mit.edu/. There is a also search page for searching different concepts. Here is the Search Page(link) for that. I wanted to…
Gunjan
  • 2,775
  • 27
  • 30
2
votes
1 answer

Ho to achieve Mapping between namespaces in Apache Jena thru Reasoning?

Goal: I wan´t to achieve a rule based Mapping between ontologies in order to fulfill a common task of data migration. Way to achieve the goal: To achieve this i developed a abstract data structure which is capable to store all information provided…
Macilias
  • 3,279
  • 2
  • 31
  • 43
1 2
3
…
16 17