StackOverflow Questions for Tag: reasoner

Bayzid

Reputation: 95

Consistency checking using Hermit reasoner in Python for an Ontology

pythonontologyreasonerowlready

Score: 0

Answers: 2

onkar kunjir

Reputation: 11

Defining class equivalent to negation of object property

owlontologyprotegereasoner

Score: 1

Answers: 0

Skrapgon

Reputation: 1

NullPointerException when using Openllet in Java

owl-apipelletreasoner

Score: 0

Answers: 1

Teesha

Reputation: 23

How to perform SWRL rule based reasoning on an ontology owl file in Python to infer individuals into subclasses

pythonontologyrulesswrlreasoner

Score: 0

Answers: 0

Oliver Smith

Reputation: 63

Get explanations with OWL API + Pellet

owlprotegeowl-apipelletreasoner

Score: 0

Answers: 0

Barbara Gendron

Reputation: 443

OWL reasoners in owlready2 : how to reduce computation time

ontologypelletowlreadyreasonerhermit

Score: 1

Answers: 1

SteliosKts

Reputation: 65

HermiT entailments that contain negation

javaowl-apireasoningreasonerhermit

Score: 0

Answers: 1

Rami Dhouib

Reputation: 13

Check if a class is inconsistent in Konclude

owlreasoningreasoner

Score: 0

Answers: 0

user14086860

Reputation: 1

python OWLReady2 ontology cannot execute the code getting access denied error

owlontologyaccess-deniedowlreadyreasoner

Score: 0

Answers: 1

Anzal Harris

Reputation: 1

How to use Pellet reasoner in OWL API

jenaowl-apipelletreasoner

Score: 0

Answers: 2

Spencer Crosswy

Reputation: 21

Inferring Subclasses from Property Restrictions

owlontologyprotegereasoner

Score: 1

Answers: 0

user0221441

Reputation: 346

Modelling class as complement / negation of Parent Sibling Class OWL/Protege

owlontologyprotegeowl-apireasoner

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

user0221441

Reputation: 346

OWL Equivalent Classes as complement of Sibling SubClass

owlprotegeinferencereasoner

Score: 0

Answers: 1

AviShaked

Reputation: 19

Inferring the existence of individuals using Protege

owlontologyprotegereasonerhermit

Score: 2

Answers: 0

Stubborn

Reputation: 968

Using only constraint in owl leads to inconsistency

owlontologyprotegereasonerhermit

Score: 0

Answers: 1

Stefani Guneshka

Reputation: 15

Infer Anonymous class in Protege with the Rules Tab

ontologyrulesprotegeswrlreasoner

Score: 0

Answers: 1

very_interesting

Reputation: 355

Define Cardinality in OWL across different properties

owlprotegecardinalityreasoner

Score: 1

Answers: 0

Grapheneer

Reputation: 947

How to reason or make inferences in Neo4j?

neo4jowlgraph-databasesinference-enginereasoner

Score: 8

Answers: 3

slowpoke

Reputation: 19

Inferencing the Sematincs of Equality (OWL 2 RL) using owlapi

javainferenceowl-apireasoner

Score: 0

Answers: 1

PreviousPage 1Next