Understanding universal restriction of a concept in Description Logic (DL)...

ALC - Ontology consistency checking...

OWL: Create a class definition that has multiple object properties that need to be related?...

Translate "there exists one" from English sentence to ALCQO description logic...

Translate English expression "exactly four" in ALCQO description logic...

Translate english sentences to ALC description logic...

ALC: define an ALC Knowledge Base...

Connection failed with racer reasoner...

Adding statements of knowledge to an OWL Ontology in Protege)...

How to distinguish the terms 'primitives' 'axioms' 'expressions' 'basic ...

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

Description Logic representation that requires the modelling of sameness or distiction of two indivi...

How to add qualified cardinality in JENA...

How to generate axioms in Description Logic from ontologies using Protege?...

Range Definition in DL...

Owl Formal Semantics...

Usage of Existential Quantifiers in Description Logic...

DL expression generation using OWL API...

OWL 2 QL vs. RDFS...

Why can't I directly use merger in owlapi to merge ABox and TBox?...

retrieving most specific classes of instances...

Can this be expressed using ALCQ syntax?...

In OWL 2, why is the semantics of key axioms specific to named individuals?...

Writing ontologies in DL syntax?...

How to write a nested DL query...

Restriction on object property ontology in Protege...

property assertions on class level for every individual in OWL 2 (concept product)...

(Un)Inferred Subclass Rules Protégé vs OWL API...

DL Reasoner vs Rule Engine: can you explain the difference?...

Nomenclature: parametrized classes in RDF graphs...