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
1
vote
1 answer

Federated store with repositories on different server with reasoning

I want to create a federated store with reasoning in Allegrograph; i can do that with 2 repositories in the same Allegrograph system but when i try to create a federated store with two repositories located on different server; the method…
j hsn
  • 47
  • 8
1
vote
1 answer

Does Apache Jena support reasoning over OWL restrictions?

The capabilities of Jena's OWL reasoner listed here would seem to imply that Jena supports inference over restriction classes. However, I am not observing this to be true. Specifically, I have an entity that is detected to be of a particular class,…
levand
  • 8,440
  • 3
  • 41
  • 54
1
vote
1 answer

How to define semantic reasoning path and area on ontologies based on RDF with pellet reasoner?

I created a complex ontology that represents a product structure. I defined the most rules to describe configuration of the product (if you use Part A1 you can't use Part B1 --> you have to choose Part B2 or Part B3). Now I create a product by…
Grapheneer
  • 897
  • 8
  • 25
1
vote
0 answers

Infer knowledge where only all parts are present

I have an ontology which defines Roles, Skills, and Competencies. Roles require Skills and Skills are part of Competencies. I want to be able to infer the competencies required by a Role. Here is a sample of my ontology: @prefix :…
Chris
  • 119
  • 2
  • 10
1
vote
2 answers

comparing AC and BC dates

I have a prolog implementation which allows me to compare time points in events using a prolog-based representation of the 13 Allen's relationships. Each event has a start point (YYYY-MM-DD) and an end point (YYYY-MM-DD) and I can check whether two…
panza
  • 1,341
  • 7
  • 38
  • 68
1
vote
1 answer

Modeling complex constraints in OWL

Let us suppose 3 kinds of entities: Algorithm: whose instances are specific algorithms; - Task: whose instances are specific tasks, for example “recognizing a specific texture in images”. Parametrization: define a set of parameters and values…
Juan
  • 95
  • 2
  • 5
1
vote
1 answer

Why the inferences visualised in Protege differ from the exported inferred axioms

I have an ontology with two main classes (code and subject) and one object property (subject obtained code) where: Code(class) contains all available codes(instances) Code's(class) subclasses categorise these codes(instances); manually…
vpapez
  • 21
  • 1
1
vote
2 answers

How to write OR operation in sqwrl query

For AND operation in sqwrl query, it is like : Symptom(fever) ^ Symptom(vomiting) ^ Disease(?y) ^ hasSymptom(?y,fever) ^ hasSymptom(?y,vomiting) -> sqwrl:select(?y) From the above rule, it is selecting the diseases that have both symptoms. What…
Muzogeek
  • 53
  • 7
1
vote
2 answers

How to get individual results while solving Einstein's riddle with OWL in Protégé?

I would like to better understand ontologies and reasoning. There is an interesting puzzle called Einstein's riddle on the net that can be solved with the help of ontologies and reasoning. I downloaded the OWL ontology from that site and imported…
rmv
  • 3,195
  • 4
  • 26
  • 29
1
vote
1 answer

Understanding Universal Quantification in Protege with Pellet and HermiT

I am new to Protégé so I have a very basic question. I have the classes Child and Parent. Child has the subclass Girl. child1 has the type Girl, child2 has the type Child and anna and peter have both the type Parent. In addition, there are the…
marli
  • 529
  • 10
  • 19
1
vote
0 answers

Why is owl:Restriction inference not working in Blazegraph

I'm trying to follow the example given in this answer on OWL reasoning in Blazegraph, but the query: select * where { :John rdf:type ?type } returns only: type: owl:NamedIndividual, owl:Thing but not the expected inference: type:…
igor.br
  • 29
  • 7
1
vote
1 answer

Unable to infer instances using axioms

I want to gather data via ontology matching and reasoning. To do that, I'd like to first identify relevant Individuals for later use if they fulfill certain criteria (using general class axioms). Currently however, I am unable to achieve the…
hexapod
  • 13
  • 5
1
vote
1 answer

Get Inferred Object Property Assertions Hermit Reasoner

Say that I have some ontology created in Protege and there is an instance of a class with some object property, and a list of object properties, has shown in the following pictures: The hierarchy of object properties is as follows: Now, when I…
luispcosta
  • 542
  • 1
  • 6
  • 20
1
vote
0 answers

Commutative production systems

For the following production systems, how can I test and justify whether they are commutative or not? Production System 1 Knowledge Base : If A & B then C, If C then D, If A & D then E Initial Working memory : {A,B} Production System 2 Knowledge…
code_guy
  • 11
  • 2
1
vote
2 answers

Exception in java program, using owl api

I am trying to run a simple example of a java program for owl ontology reasoning that i found online. It uses owl api and hermit reasoner. So i added the org.semanticweb.HermiT and owlapi-osgidistribution-4.0.2 libraries. Still i get the following…
Katerina Dimitraki
  • 105
  • 1
  • 5
1 2 3
…
16 17