List Question
20 TechQA 2024-03-13T18:50:20.977000Find what creates the inconsistency using OWLAPI
24 views
Asked by Costas Ginos
How to perform existential quantification inferences in ontologies?
111 views
Asked by Davy Souza
OWL reasoners in owlready2 : how to reduce computation time
164 views
Asked by Barbara Gendron
OWLAPI and HermiT reasoner: non-asserted deleted individuals are still inferred
46 views
Asked by Chaos
OWL API, Hermit materialization
84 views
Asked by Eleni T
OWLAPI and HermiT reasoner: can not force irreflexive transitive object property
43 views
Asked by Chaos
Using Hermit Reasoner to check if an Ontology is Consistant
40 views
Asked by Rami Dhouib
HermiT entailments that contain negation
63 views
Asked by SteliosKts
How to model Logical Expression using Protege OWL
97 views
Asked by Tanuja Gupta
Create reasoner does not work on Tomcat deployment
107 views
Asked by c.almendra
Why is Protege not able to infer all implicit axioms in one operation?
147 views
Asked by liubin0314
OWLAPI: Reasoning over ontology with disjunctions
81 views
Asked by IvetX
Inferring the existence of individuals using Protege
146 views
Asked by AviShaked
Infer non-trivial OWL superclasses (or subclasses) assertions using a Java reasoner
74 views
Asked by user402843
Using only constraint in owl leads to inconsistency
94 views
Asked by Stubborn
graphdb reasoning classify individual based on value range
108 views
Asked by Bill
Aren't anonymous classes automatically a type of owl:Class?
204 views
Asked by stan_plogic
owlready2 reasoner does not generate inferred object property assertions with a SWRL rule
745 views
Asked by HMCheong
What flavors of reasoning are supported in VOS?
217 views
Asked by Ric
Using Hermit with ONT-API and SPARQL Query
319 views
Asked by Marcelo Machado