Kripke semantics: learning software available?...

How to get an explanation for an inconsistency using the owlexplanation project...

Can I implement a if else in LHS of rule for the following type rule?...

Reasoner infers wrong axioms in protege...

Brave/Cautious reasoning in clingo...

Neo4j reasoning alternatives to Prolog...

How to represent the unknown knowledge to be reasoned in Answer Set Programming?...

using arithmetic functions in custom GraphDB ruleset...

Allegrograph reasoning...

GraphDB reasoning makes different inference for Classes...

reasoning in belief network with prolog...

Why random numbers in Bayes' Net Sampling...

Federated store with repositories on different server with reasoning...

Problems with inference examples from Apache Jena framework...

Jena GenericRuleReasoner...

Ho to achieve Mapping between namespaces in Apache Jena thru Reasoning?...

rdf reasoning rules via Jena...

How to write OR operation in sqwrl query...

Does Apache Jena support reasoning over OWL restrictions?...

Last non-zero digits of a very large factorial...

Get enumerated values with a reasoner...

Get InverseObjectProperty with a reasoner...

Get representative classes from an OWL "or" class expression...

Test whether a OWL class is a domain/range of a property...

How to select elements from UNION operation in sqwrl query...

Barack doesn’t like anything that Donald likes...

What should be the outcome of this ontology?...

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

Alloy Analyzer: finding a model for a given instance...

what are datatypes supported by FACT ++?...