Stack Overflow
Stack Overflow

Questions tagged [reasoner]

The term 'reasoner' is usually applied to inference engines that infers logical consequences from facts and axioms written in ontology languages.

Example semantic reasoners are , and .

60 questions
1
vote
1 answer

How to understand reasoner ProgressMonitor output?

I'm new in the semantic web field and I'm trying to compare more reasoners. This is my code: OWLOntologyManager manager = OWLManager.createOWLOntologyManager(); File file = new File(args[0]); OWLOntology ontology =…
Ritulla
  • 33
  • 3
1
vote
0 answers

Why OWL-DL reasoning is so efficient?

It has always been hard to me to understand why OWL-DL reasoning is so efficient in real-world application. For example, I often use ontologies which are in ALCQI fragment processed by the Fact++ reasoner, and it is well-known that concept…
Wall
  • 293
  • 3
  • 13
1
vote
1 answer

Reasoner in Virtuoso Jena program

I am using Virtuoso Jena Provider to query my graph which is uploaded on Virtuoso but I also want to add reasoning in my queries. I have tried this code but I get an error on the .execSelect(); line Exception in thread "main"…
Stelios Botonakis
  • 183
  • 1
  • 3
  • 11
1
vote
0 answers

RDF/OWL knowledge base : Python or Java?

I am trying to make a knowledge base, that has an ontology, I want to add more data to it where I use the data to do graph like queries. I also want to create some kind of knowledge graph to extract data from documents and put it to the knowledge…
PitPartizan
  • 21
  • 3
1
vote
1 answer

closed world reasoner protege

Making an individual to become 'instance' of a class by 'exactly 1 restriction' doesn't seem to work with default reasoners in protege. Is there any other way except closure axiom or any closed world reasoner?
EBrahim Dadgar
  • 11
  • 1
0
votes
1 answer

HermiT entailments that contain negation

Is there a way to get inferences from HermiT reasoner that contain negation (ObjectComplementOf)? Here is what I tried: OWLOntologyManager manager = OWLManager.createOWLOntologyManager(); dataFactory = manager.getOWLDataFactory(); IRI iri =…
SteliosKts
  • 65
  • 1
  • 9
0
votes
0 answers

Check if a class is inconsistent in Konclude

I'm using Konclude reasoner .I know inconsistent Classes are shown in red in Protégé .How can I check if a class is Inconsistent in Konclude?
Rami Dhouib
  • 3
  • 2
0
votes
0 answers

Satisfiability checking failed in Konclude

Im checking class Satisfability in Konclude with : Konclude satisfiability -i test.owl -x http://w3id.org/gbo/mgg#subtract_with_borrow Had the error message : {error} 17:51:30:123 >> Satisfiability checking failed. With full Message: {info}…
Rami Dhouib
  • 3
  • 2
0
votes
0 answers

OWL analysis of reasoner Hermit's response in Protégé

I'm trying to build a OWL-S in Protégé and I used the reasoner Hermit and I got the return that is in the attached image. Can someone explain to me what Hermit is trying to tell me? I created the process ontology and would like to check if there is…
ats
  • 1
  • 1
0
votes
1 answer

python OWLReady2 ontology cannot execute the code getting access denied error

I am trying to execute ontology code which is mentioned in the documentation https://owlready2.readthedocs.io/en/latest/reasoning.html . I have also mentioned the Java path for the reasoner part but still I am getting access denied error. Since I am…
user14086860
  • 1
0
votes
2 answers

How to use Pellet reasoner in OWL API

I have an Ontology which have some SWRL rules (created using Protege). I am using OWL API to manipulate the ontology and using JENA API for SPARQL Queries. I need to reason this ontology using Pellet (As pellet supports SWRL and i have sed the…
Anzal Harris
  • 1
  • 1
0
votes
1 answer

Modelling class as complement / negation of Parent Sibling Class OWL/Protege

I'm trying to model, desires and intentions in OWL as follows. There are four sub-classes of Parent Class Desire as shown and Intention specialize as the intersection of two of them, i.e. AchievableDesire and NonConflictingDesire. I have…
user0221441
  • 368
  • 4
  • 11
0
votes
0 answers

Why is Protege not able to infer all implicit axioms in one operation?

I use Pellet/Hermit to reason on the following family ontology and export all the inferred axioms to a new family ontology. Then I reason on the new ontology and export all the inferred axioms to another new family ontology again. New axioms are…
liubin0314
  • 1
  • 1
0
votes
1 answer

OWL Equivalent Classes as complement of Sibling SubClass

I have the following made up example class hierarchy for clearing my doubt. The class of Dog and Human are subclasses of Animal. Also present is the class Leash. I have modelled the Dog class as a Defined Class with a property restriction on an…
user0221441
  • 368
  • 4
  • 11
0
votes
1 answer

Using only constraint in owl leads to inconsistency

I am trying to model the following situation: A degree may be Bachelor or Master A student may be BachelorStudent or MasterStudent A degree may have students: Bachelor degrees only have BachelorStudents and viceversa. I want to experiment with the…
Stubborn
  • 995
  • 4
  • 17
  • 30
1
2
3 4