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.
Questions tagged [hermit]
52 questions
5
votes
1 answer
Use HermiT in Python
We have an ontology but we need to use the reasoner HermiT to infer the sentiment of a given expression. We have no idea how to use and implement a reasoner in python and we could not find a good explanation on the internet. We found that we can use…
K. Project
- 112
- 7
4
votes
1 answer
HermiT does not seem to show inferenced DataProperties ?
I created an ontology using Protege, and added SWRL rules, using Hermit Reasoner, everything was fine, but it does not show inferenced DataProperties.
I tried using Pellet, it was able to inference DataProperties, but, all my SWRL rules i created…
Mahdi Zouch
- 95
- 5
3
votes
1 answer
don't know how to get object property from ontology in java with Hermit
I'm trying to get an object property from a class, in particular: I'm trying to understand when a class is a part of some other class (the construct used could be seen in the screenshot).
I've already tried to use the OWL-api function…
DiegLuthor
- 195
- 1
- 14
3
votes
1 answer
Hermit Reasoner - SPARQL Query
I'm using Hermit Reasoner with OWL-API 5 as follows:
OWLOntologyManager manager= OWLManager.createOWLOntologyManager(); //create the manager
OWLOntology ontology=manager.loadOntologyFromOntologyDocument(new File("ontologies/E1G1.owl"));
…
Discipulos
- 423
- 8
- 23
3
votes
1 answer
Different reasoning results between Stardog and Protege
I'm trying to understand why I'm obtaining different results between Stardog and Protege reasoning.
I have the following ontology in both tools:
Number
Class: Number
Number DisjointUnionOf OddNumber,EvenNumber
OddNumber
OddNumber subClassOf…
semanticuy
- 31
- 1
2
votes
1 answer
Aren't anonymous classes automatically a type of owl:Class?
This ontology does not quite seem to do what I have in mind:
@prefix xsd: .
@prefix rdf: .
@prefix rdfs: …
stan_plogic
- 113
- 8
2
votes
1 answer
owlready2 reasoner does not generate inferred object property assertions with a SWRL rule
Suppose an OWL ontology contains the following SWRL rule:
has_part(?x, ?y) ^ participates(?x, ?z) -> participates(?y, ?z)
and following object property assertions:
o1 has_part o2
o1 participates p1
When I run the Hermit reasoner in Protege, I…
HMCheong
- 79
- 1
- 7
2
votes
2 answers
What flavors of reasoning are supported in VOS?
What kind of OWL profiles are supported in VOS DL, EL, QL ,RL?
Is is possible to use or integrate standard reasoners? (Hermit, Pellets, etc.)
Ric
- 65
- 9
2
votes
2 answers
Reasoning over OWL cardinality restriction
I think I still have a fundamental misunderstanding of OWL axioms :(.
Here is a small test ontology I created:
@prefix xsd: .
@prefix rdf: .
@prefix rdfs: …
stan_plogic
- 113
- 8
2
votes
1 answer
protege reflexive property usage
In protege a reflexive property is assigned to all individuals relgardless of domain and range and the class to which individuals belongs.
so what is the use of this restriction?
P.S: lets say there is three individuals:
NamedIndividual( :John…
alex
- 7,551
- 13
- 48
- 80
2
votes
1 answer
Why HermiT considers asymmetric sub-property to symmetric property consistent?
Following the definition of symmetric and asymmetric properties in OWL 2 and the explanation in Inheritance of property characteristic by sub-properties I would assume that the declaration of an asymmetric property as sub-property to a symmetric…
GVogeler
- 50
- 4
2
votes
1 answer
Reasoner sets two different classes equivalent to each other and owl:Thing
I am working on an ontology for video games for an university course project, specifically focused on the relations between different genres. I have included this ontology in my project and expanded on it. The current state of the OWL document is…
5ar
- 2,069
- 10
- 27
2
votes
1 answer
Creating regex restriction on OWL class
I'm trying to create a simple ontology that has two classes: class1 and class2,- and two instances that have simple text data property with the same name (hasName: "string1"^^xsd:string and hasName "string2"^^xsd:string respectivly). I want to…
Андрей Барышников
- 121
- 1
- 3
1
vote
0 answers
Inferring the existence of individuals using Protege
I am trying to infer the existence of individuals in Protege, and can use some help.
Consider the following ontology as the example scenario: Persons may be siblings. If they are siblings then they have at least one mutual/common parent.
I defined a…
AviShaked
- 11
- 1
1
vote
1 answer
Using Hermit with ONT-API and SPARQL Query
I am using the OWL-API to load and owl ontology with SWRL rules.
I loaded an ontology with the following code:
IRI iri = IRI.create(BASE_URL);
OntologyManager manager = OntManagers.createManager();
// Load an ontology
Ontology ontologyWithRules =…
Marcelo Machado
- 1,179
- 2
- 13
- 33