Extracting Class content such as (onProperty, somevalueFrom , unioinOf (which contain a collection) ...

Using multiple EqReasoning instantiations conveniently...

HermiT Resoner with Protege OWL API...

How to get individual results while solving Einstein's riddle with OWL in Protégé?...

Is it possible to implement mathematical deduce in semantic web?...

Basic RDFS inferencing with the Jena API...

Using Excluded By in OWL...

OutOfMemoryError using Pellet as Reasoner...

Define rules for AllegroGraph triples and how to apply them...

Are there semantic reasoners which are compatible with the Web Ontology Language, running natively o...

What's the difference between an inference machine and a semantic reasoner?...

Jena recursive reasoning issue...

What is import java.util.UUID used for?...

comparing AC and BC dates...

Is there a C/C++ library that allows you to find out whether a set of expressions are mutually exclu...

Problem in inferring instances that have integer cardinality constraint...

Monitoring Reasoning Progress using the Pellet Reasoner...

First Order Logic Engine...