StackOverflow Questions for Tag: hermit

Costas Ginos

Reputation: 11

Find what creates the inconsistency using OWLAPI

ontologyprotegeowl-apireasoninghermit

Score: 1

Answers: 1

andimon

Reputation: 25

Why does transitivity works with other property characteristics when using SWRL?

swrlhermit

Score: 1

Answers: 1

Davy Souza

Reputation: 33

How to perform existential quantification inferences in ontologies?

logicowlontologyowl-apihermit

Score: 0

Answers: 1

Barbara Gendron

Reputation: 471

OWL reasoners in owlready2 : how to reduce computation time

ontologypelletowlreadyreasonerhermit

Score: 1

Answers: 1

Rami Dhouib

Reputation: 13

Using Hermit Reasoner to check if an Ontology is Consistant

reasoninghermit

Score: 1

Answers: 1

Chaos

Reputation: 113

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

javaowl-apihermitdlquery

Score: 0

Answers: 1

Eleni T

Reputation: 3

OWL API, Hermit materialization

javaowl-apireasoninghermit

Score: 0

Answers: 1

Chaos

Reputation: 113

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

javaowl-apiswrldescription-logichermit

Score: 0

Answers: 0

SteliosKts

Reputation: 65

HermiT entailments that contain negation

javaowl-apireasoningreasonerhermit

Score: 0

Answers: 1

Tanuja Gupta

Reputation: 89

How to model Logical Expression using Protege OWL

owlontologyprotegerdfshermit

Score: 0

Answers: 0

Marcelo Machado

Reputation: 1409

Using Hermit with ONT-API and SPARQL Query

javasparqljenaowl-apihermit

Score: 1

Answers: 1

c.almendra

Reputation: 3

Create reasoner does not work on Tomcat deployment

tomcat9owl-apihermit

Score: 0

Answers: 1

liubin0314

Reputation: 1

Why is Protege not able to infer all implicit axioms in one operation?

ontologyprotegepelletreasonerhermit

Score: 0

Answers: 0

AviShaked

Reputation: 19

Inferring the existence of individuals using Protege

owlontologyprotegereasonerhermit

Score: 2

Answers: 0

IvetX

Reputation: 11

OWLAPI: Reasoning over ontology with disjunctions

ontologyowl-apireasoningpellethermit

Score: 0

Answers: 1

user402843

Reputation: 89

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

javaowlowl-apidescription-logichermit

Score: 0

Answers: 1

Stubborn

Reputation: 968

Using only constraint in owl leads to inconsistency

owlontologyprotegereasonerhermit

Score: 0

Answers: 1

Ritulla

Reputation: 33

Is this ontology well formed?

javaontologyowl-apihermit

Score: 1

Answers: 1

Bill

Reputation: 179

graphdb reasoning classify individual based on value range

owlprotegegraphdbhermit

Score: 0

Answers: 0

stan_plogic

Reputation: 125

Aren't anonymous classes automatically a type of owl:Class?

rdfowlsemantic-webprotegehermit

Score: 2

Answers: 1

PreviousPage 1Next

StackOverflow Questions for Tag: hermit

Find what creates the inconsistency using OWLAPI

Why does transitivity works with other property characteristics when using SWRL?

How to perform existential quantification inferences in ontologies?

OWL reasoners in owlready2 : how to reduce computation time

Using Hermit Reasoner to check if an Ontology is Consistant

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

OWL API, Hermit materialization

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

HermiT entailments that contain negation

How to model Logical Expression using Protege OWL

Using Hermit with ONT-API and SPARQL Query

Create reasoner does not work on Tomcat deployment

Why is Protege not able to infer all implicit axioms in one operation?

Inferring the existence of individuals using Protege

OWLAPI: Reasoning over ontology with disjunctions

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

Using only constraint in owl leads to inconsistency

Is this ontology well formed?

graphdb reasoning classify individual based on value range

Aren&#39;t anonymous classes automatically a type of owl:Class?

Aren't anonymous classes automatically a type of owl:Class?