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

Infer Anonymous class in Protege with the Rules Tab

I would like to infer an anonymous class definition for my Individuals in Protege. I have a simple Ontology with the Classes Rain NoRain and Scene, The object Property has_weather. My desire is to be able to infer "has_weather(?x, ?noRain),…
Stefani Guneshka
  • 15
  • 3
0
votes
1 answer

Inferencing the Sematincs of Equality (OWL 2 RL) using owlapi

I'm trying to produce entailment for the rule in OWL 2 RL 'The Semantics of Equality' using owl-api. I already tried to follow: Why the inferences visualised in Protege differ from the exported inferred axioms genInferred.add(new…
slowpoke
  • 19
  • 5
0
votes
1 answer

reason over a rather large ontology

I have a rather large ontology (about 80 GB). I think the reasoner brings the whole ontology into the memory for reasoning process, doesn't it? is there any way to reason over a 80 GB ontology with 16 GB of RAM?
hitter
  • 3
  • 1
0
votes
0 answers

What slows down the Reasoner the most in Protege 5?

My ontology is 3000 axioms for now but I have a lot of individuals that must be there in the future. Reasoner slows around 10 minutes for reasoning on it. I think this is not normal and I am trying to make it better and solve it somehow. May be I…
Seb
  • 85
  • 9
0
votes
0 answers

OWL-Reasoner for NodeJS

I´m looking for an owl-reasoner for nodejs. Are there any sutible packages out there? I have searched the npm, but didn´t found anything good. best regards
frm
  • 35
  • 4
0
votes
1 answer

Why is HermiT or Pellet Reasoner for Protegev5.5 is not detecting inconsistency in Ontology

I have used an object property O to relate Class A with Class B. I also have instance a and b of classes A and B respectively. I have used the same object property O to relate the instances a and b. Again, I have used the same object property O to…
Debashisenator
  • 1,621
  • 4
  • 17
  • 16
0
votes
0 answers

Which reasoner do I have to use to validate the given example?

I've created a model with the Jena Lib and I want to validate it against a specific schema.rdf. However when I start the validation, it says everything okay, but I have a significant schema-violation in my Model as you can see below. In my example,…
fandrale
  • 21
  • 2
0
votes
0 answers

How to parallelized OWLlink server for Konclude reasoning?

in some articles, I read that they have configured Konclude and Elk as parallel reasoners with different threads. How can I parallelize Konclude reasoning? can someone link me the useful documentation about it? Thank you very much Rita
Ritulla
  • 33
  • 3
0
votes
0 answers

The reasoner's realisation does not work in slightly larger ontologies. How can I solve?

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

Inconsistency and satisfiability of an OWL ontology in Java using Pellet reasoner

I am trying to see whether an ontology is consistent or not. The ontology can be consistent, but still, it might have some unsatisfiable classes. Let’s call it Case A. But my problem is, when the ontology can not pass the consistency test, i.e., it…
Sami
  • 1
  • 1
0
votes
1 answer

Non-simple property used in a cardinality restriction HermiT

I am trying to reasoning my ontology in Java using HermiT but it results an error like below: Exception in thread "main" java.lang.IllegalArgumentException: Non-simple property 'InverseOf(owl:topObjectProperty)' or its inverse appears in the…
Ulfa Amalia
  • 23
  • 5
0
votes
1 answer

why Jena fuseki has no response to owl reasoning?

I want to use Jena Fuseki to construct a SPARQL endpoint for some ontology file. and my fuseki config as follow: @prefix fuseki: . @prefix rdf: . @prefix rdfs: …
xrds
  • 61
  • 3
0
votes
0 answers

How to persist auto-generated OWL rules or at least not hold them all in memory at once?

I have a data set with about 9 million triples in it and the owl reasoner enabled. When the first sparql query is sent I get a seemingly endless stream of lines in the log file that look similar this: Adding rule [ ( ?P ?V)…
Roman
  • 21
  • 3
0
votes
0 answers

Protege not inferring subclasses of a class as domain

I am getting a confusion with Protege. May be it is a setting that I should configure somewhere that I am not doing. Suppose I have an object property hasFriend. The domain and range of this object property is both Person. Now Person has two…
user2202810
0
votes
1 answer

OWL Ontology: how to write a complement class definition?

The reasoner fails to classify classes under a class A that is defined as a complement of another class B. I have created a minimal OWL ontology example (based on the famous pizza example) in protege 5 to illustrate this problem. There are two pizza…
Ali
  • 183
  • 1
  • 7
1 2
3
4