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

Protege reasoner not inferring subclasses of inverse of a property

I am using protege5-5 and the reasoner HermiT 1.4 3.456. I have a class Animal containing 2 subclasses Animal1 and Animal2. I have a property eats and a property isEatenBy which is defined as the inverse of eats. When I add in the description of …
adarch darchif
  • 35
  • 5
1
vote
1 answer

How to determine where the problem is in an ontology from HermiT output

I am quite new in protege. I have been able to run some of the examples like pizza.owl or travel.owl. I then opened an ontology that someone else created and when I run the HermiT reasoner I get the following error: An error occurred during…
geguze
  • 203
  • 1
  • 7
1
vote
1 answer

Is this ontology well formed?

I'm trying to perform reasoners in this ontology. I post below the ontology.
Ritulla
  • 33
  • 3
1
vote
1 answer

Get part-Of class from OWL Ontology

I have an ontology made with protègè, I defined an ObjectProperty named part-Of. I'm parsing an OWLClass trying to find out whether or not the subclasses are part-Of the parsed class. In this case, I am parsing At_Home when the subclasses, ANA and…
DiegLuthor
  • 195
  • 1
  • 14
1
vote
0 answers

Could OWL reasoner inherit ranges of data properties from parent properties?

Could OWL reasoner inherit ranges of data properties from parent properties? For example, there is the data property "hasEventYear". It has the domain "Person" and the range "xsd:integer". When the subproperty "hasBirthYear" is added the reasoner…
geeknet
  • 57
  • 7
1
vote
1 answer

Reset sync_reasoner inferences

I am using the owlready2 python module on a local ontology. I have connected an API endpoint, to submit queries on this ontology. I need to submit some queries on the original ontology and some other on the updated (with the inferences)…
argyris
  • 23
  • 7
1
vote
0 answers

How can I query individuals which are reasoned from a class with sparql wh

I have started the Fact++ reasoner in Protege and now I want to query the reasoned individuals from this class C. SELECT ?x WHERE { ?x rdf:type ex:C.} This query does not give any result. Can I query rasoned content from sparql in Protege or does…
user3352632
  • 617
  • 6
  • 18
1
vote
0 answers

Hermit reasoning inconsistency checking and memory consumption

I use Hermit via Protege to check the consistency of my OWL model. However, it seems that the ontologies that I import in my model, lead to failure due to lack of memory. I run on a 16GB RAM PC and even when I use Xmx14500M -Xms14000M parameters for…
Pantelis Natsiavas
  • 5,293
  • 5
  • 21
  • 36
0
votes
1 answer

OWLAPI and HermiT reasoner: non-asserted deleted individuals are still inferred

I am currently using OWLAPI jointly with HermiT reasoner and I am experiencing what appears to me as a bug. I defined several methods that update the ontology and during unit testing I reached several contradictory results. My methods can add,…
Chaos
  • 101
  • 3
0
votes
1 answer

OWL API, Hermit materialization

I have two questions: What is the reasoner of OWL API? Is it Hermit? So when I have: OWLReasonerFactory reasoner_factory = new ReasonerFactory(); OWLReasoner reasoner = reasoner_factory.createReasoner(ontology); Which reasoner is called? When I…
Eleni T
  • 3
  • 3
0
votes
0 answers

OWLAPI and HermiT reasoner: can not force irreflexive transitive object property

I am currently using OWLAPI and the HermiT reasoner on a simple ontology O modelling delegation. O represents the M.W.E. showing the issue I am facing and defines a single class Person, a single object property delegates(.,.) (whose domain and range…
Chaos
  • 101
  • 3
0
votes
0 answers

Using Hermit Reasoner to check if an Ontology is Consistant

does anyone know how to use Hermit reasoner to check if the Ontology is inconsistent/consistent ? i want to use it from command line and would be better if I can save the result in result.txt like Konclude.
Rami Dhouib
  • 3
  • 2
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

Issue downloading HERMIT, selecting old GHC in GHCup

I'm trying to download the HERMIT tool using the command cabal install hermit. I dowloaded Haskell using GHCup. If I try to install with GHC 9.2.5 (recommended version by GHCup), I get errors like the…
broland
  • 11
  • 2
0
votes
0 answers

How to model Logical Expression using Protege OWL

I have structure like below Now I have some expression which states which Part combination is a valid one like these Logical representation: (Part1_3 and Part2_A and (Part3_0 or Part3_1)) or (Part1_4 and Part2_B and (Part3_0 or…
Tanuja Gupta
  • 89
  • 1
  • 3
  • 12
1
2
3 4