Class relations in OWL...

Applying Description Logic to a model...

How to express this individual in Description logic...

Domain modeling using ontology, a special case...

OWL 2 rolification...

An Example from Description Logic Handbook...

Is it possible to make property assertions on class level in OWL 2?...

Cyclic or Acyclic TBox...

Known motivation for multiple SubPropertyOf?...

Description Logics; mandatory participation...

Why does not this DL query return expected results?...

How to represent an ontology using description logic?...

Is property with exact cardinality one functional?...

Declaring both sub- and super-properties in instance data, or just sub- properties?...

How to set up generic owl object relationships...

How to define composition properties on Protege?...

Inheritance of property characteristic by sub-properties...

Make every value of one property less than every value of another property?...

Using Property Chains to get inferred Knowledge in an OWL Ontology(Protege)...

Forcing a closed world assumption on an OWL class...

OWL restrictions for must...

SWRL rules don't infer new Object and Data Property Assertions...

How to relate each instance of class with each instance of another class?...

What is the owl:Nothing class designed to do?...

Difference in owl:hasValue and owl:oneOf support in Jena's OWLMicroReasoner?...

Sparql query Subclass or EquivalentTo...

Adding more complicated subclass axiom...

DL query for individuals not connected to others by a property...

Why is this DL-Query not returning any individuals?...

How to represent this sentence in description logic?...