Why is this statement of logical equivalence true? f ∨ g ∧ h ≡ (f ∨ g) ∧ (f ∨ h)...

Inconsistencies in OWL classes...

Exporting result of eye reasoner query into a file...

Removing unwanted superclass answers in SPARQL...

How to generate specific inference using owlapi?...

OWL API, Hermit materialization...

ALC - Ontology consistency checking...

"Ignoring transitivity and/or complex subproperty axioms"...

what is the best approach to the cost compare...

How is: "A subclassOf of B, C" interpreted? As AND or OR in rdfs / owl / description logic...

When using rdfs:subClassOf or owl:equivalentClass in case of existential quantification (owl:SomeVal...

Why is this Python function to sort integers contained as strings slower than this?...

How to distinguish ontology individuals with same name...

Property Chains with assertions on intermediate nodes...

How do I get a Negative Object Property Assertion inferred?...

Print the number of ways in which you can pay the amount as described...

Reasoning when adding new triples in a named graph in Jena Fuseki...

reason over a rather large ontology...

Using Jena reasoner on Neo4J db...

OWL reasoning based on subset of relationships...

How to create a condition to obtain an automatic object property relation in Protege?...

RDFS-Plus Reasoning for rdfs:domain and range in GraphDB...

GraphDB custom ruleset for inference over RDF* statements...

Why does DigitalOcean use uuid for user id and integers for Droplet id?...

How to determine least common subsumers using the owlapi...

Cant get openllet running on Fuseki...

Protégé & Reasoning: Infer sameIndividualAs with enumerated classes...

Artificial Intelligence A Modern Approach - Probabilistic Reasoning over Time...

Kripke semantics: learning software available?...

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