Virtuoso OWL 2 DL Reasoning...

Problem with setting up config for Fuseki server - Exception in initialization: org/apache/jena/reas...

Inconsistencies in OWL classes...

OWL reasoners in owlready2 : how to reduce computation time...

How to generate specific inference using owlapi?...

In Semantic Web, are OWL EL, RL, QL all instances of DL? What is the difference? More inside...

Problem with 'getInstanceExplanations' when using OWL-API and Pellet reasoner...

What flavors of reasoning are supported in VOS?...

protege reflexive property usage...

Protege 5: How can I infer a class membership of an individual through its data properties?...

Cant get openllet running on Fuseki...

OWL: complementary behavior in equivalent class definition...

Protege : Equivalent class definition issue...

OWL: inverse of a property...

How to correctly import Pellet 2.3.0 in Jena 3.0.1 (Eclipse)?...

OWL2: Is it possible put Annotation on an ObjectIntersectionOf?...

How to use Openllet OWL2 reasoner (or any other) with Jena TDB?...

How to process SWRL rules using Openllet and OWL api?...

How do I fix this AbstractMethodError when I try to get Pellet working with OWL API?...

OWL/Protégé : EquivalentTo Class Definition...

Ontapi Runtime Error including openllet 2.6.3...

OWL-API 4.0.1 compatiable pellet reasoner?...

How to reproduce rules in Pellet reasoner...

"Unsupported axiom" when using Pellet Reasoner on AllegroGraph RDF Triple Store...

HermiT does not seem to show inferenced DataProperties ?...

How to extend Pellet 2.4.0 with custom SWRL built-ins?...

BlackBoxExplanation or GlassBoxExplanation, which one should I use?...

Using Jena with Pellet; NoClassDefFoundError Exception...

Understanding Universal Quantification in Protege with Pellet and HermiT...

Why isn't Pellet reasoner inferring subclass relationships?...