Stack Overflow
Stack Overflow

Questions tagged [hermit]

HermiT is a conformant OWL 2 DL reasoner that uses the direct semantics. It supports all OWL 2 DL constructs and the datatypes required by the OWL 2 specification.

Resources

52 questions
0
votes
1 answer

Create reasoner does not work on Tomcat deployment

Context: I am working on a Java Spring Boot web application that manipulates OWL and RDF data for various tasks (ontology loading, consistency checking, inconsistency explanations generations and querying thru SPARQL). I am using OWLAPI, HermiT,…
c.almendra
  • 3
  • 1
  • 2
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

OWLAPI: Reasoning over ontology with disjunctions

I have an ontology with one individual a and 6 classes (A, B, C, D, E, F). Individual belongs to the following disjunctions: (A or B; C or D; E or F). There is some way how can I infer that an individual has to be in one of the two classes from each…
IvetX
  • 1
  • 3
0
votes
1 answer

Infer non-trivial OWL superclasses (or subclasses) assertions using a Java reasoner

I want to express the following DL assertions in OWL A ⊑ B A ⊑ ∃R meaning that A is subconcept of B and all the instances of A must have a relation R with something else. I'm expressing it with the following OWL…
user402843
  • 89
  • 1
  • 9
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
0
votes
0 answers

graphdb reasoning classify individual based on value range

I am trying to use the GraphDB free version 9.5.1 to classify individuals according value ranges. But, despite using the OWL-RL reasoner, I am not getting the expected results. I have set up a simple ontology with three classes. A person class, with…
Bill
  • 179
  • 8
0
votes
1 answer

OWL api Java find Annotation

I have a .owl file with the syntax like this: subject object So I can get the annotations of an…
DorianHUN
  • 13
  • 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
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

OWLAPI: modify ontology after creating (HermiT) reasoner

I use OWLAPI with HermiT and it works unless I try to modify the ontology after the reasoner has been created. Should the reasoner be notified of modifications of the ontology? Or do I need to recreate the reasoner, or can I notify the reasoner that…
peschü
  • 1,299
  • 12
  • 21
0
votes
1 answer

HermiT reasoner thows “UnsupportedDatatypeException” for datatype

I want to exctract DBPedia ontology classes hiearchy from an ontology file dbpedia_2016-10.owl (downloaded from https://wiki.dbpedia.org/downloads-2016-10, and I built this method by refering to some other codes as I am beginner in this area: …
Betty
  • 237
  • 6
  • 16
0
votes
1 answer

NoSuchMethodError while creating HermiT instance

I'm trying to create an instance of HermiT reasoner, but the console continue to show the exception "noSuchMethodError". In particular this is the error from the java console: Caused by: java.lang.NoSuchMethodError:…
DiegLuthor
  • 195
  • 1
  • 14
0
votes
0 answers

scalability of OWL ontology (is it large or small)

I'm going to create an ontology, containing more than 500 000 simple facts, and reason it by Hermit or Pellet (it might get, saying, 1 000 000 facts). And I'd like to save the inferred results to a RDF datastore (in order to implement their…
geeknet
  • 57
  • 7
0
votes
1 answer

How to disable inference in hermiT

I am using OWL-Api and hermiT reasoner, while trying to retrieve the partOf subClasses using hermiT, it give back the right result, so the partOf subclasses, but it also give back the inferenced subclasses (which i don't need). This is the function…
DiegLuthor
  • 195
  • 1
  • 14
0
votes
0 answers

OWL reasoner does not work for "min" cardinalities (but works for "some")

I am creating a simple ontology in Protege, there is a problem with reasoning over cardinalities. Below is the toy model of the ontology. There are three instances of A, B, and C, that each one has 1, 2 and 3 hasOwner property, respectively. There…
PitPartizan
  • 21
  • 3
1 2
3
4