Rule based system initial fact processing...

Why is owl:Restriction reasoning not working in Blazegraph?...

Unable to infer instances using axioms...

OWL: How to get inheritance of property relations between two classes from those of superclasses?...

Reasoning and datatypes of Literals...

No children and happiness combined?...

OWL and DL Reasoning: Why is Eros not beautiful?...

How to classificate individuals in a class according to its cardinality...

How to associate data with owl object property to link individuals...

How to retrieve all classes connected by an object property given some other class?...

Protege marks ontology inconsistent, however Hermit and Pellet Reasoner does not...

Solve Einstein's riddle with Stardog reasoner?...

Closure axiom for instances so that reasoner can correctly classify instances in ontology...

Write in SWRL a mathematical expression to calculate probability distributions...

How to infer a sameAs relation between objects with the same name...

How to check if OWLObjectPropertyExpression between classes exists?...

OWLIM-lite does not infer any statements...

Jena RDFS reasoning not returning expected results...

For an OWL class A; Getting all properties that A is their domain...

How to disinguish between inferred and explicit axiom?...

QCRs vs functional property...

What are the rules used by a reasoner...

Any benchmark for evaluating the reasoning performance of a triple store?...

What can be done using OWL reasoning?...

Enable Reasoning for SPARQL request via Jena?...

Inserting statements in triple stores...

Jena infers rdfs:Resource to be in range of a owl:DatatypeProperty. Why?...

Protégé 4.3 : Ontology consistency...

Disjunction inside SWRL rule...

OWL Intersection on class level...