55 questions
- Bountied 0
- Unanswered
- Frequent
- Score
- Trending
- Week
- Month
- Unanswered (my tags)
1
vote
1
answer
53
views
Why does transitivity works with other property characteristics when using SWRL?
Defining an object property as transitive and asymmetric is not permitted in OWL DL since it can lead to undecidability. Hence HermiT throws a non-simple property exception in this scenario, but when ...
1
vote
1
answer
52
views
Find what creates the inconsistency using OWLAPI
I am currently trying to learn how to use HermiT reasoner from the OWLAPI library. To understand more about it, I have created this INCONSISTENT to experiment on. If you are interested, I have upload ...
0
votes
1
answer
70
views
How to perform existential quantification inferences in ontologies?
I'm attempting to compute existential quantification inferences in an ontology, as exemplified below. Given the ontology:
Politician(Albert)
Politician(Bob)
related(Albert, Bob)
I would like to have ...
1
vote
1
answer
328
views
OWL reasoners in owlready2 : how to reduce computation time
To give some context, I'm currently working on a dialog ontology and I have a python script that generate a dialog representation regarding the classes and properties in the ontology. Meaning that my ...
0
votes
1
answer
70
views
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 ...
0
votes
1
answer
111
views
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....
0
votes
0
answers
69
views
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 ...
1
vote
1
answer
117
views
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 ...
0
votes
1
answer
72
views
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 =...
0
votes
0
answers
96
views
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
(...
0
votes
1
answer
100
views
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 ...
0
votes
0
answers
104
views
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 ...
0
votes
1
answer
95
views
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 ...
2
votes
0
answers
228
views
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 ...
0
votes
1
answer
101
views
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 ...