Fixed equivalency error in DisjointClasses
Added much of the homepage README text, making this wiki more self-contained
Updated 4. Non‐DL Syntax (markdown)
Updated 5. OWL DL Translations (markdown)
Fixed disjoint classes
Provides some examples of equivalent OWL and DL
Updated Home (markdown)
Updated Rationale (markdown)
Created Rationale (markdown)
Updated 2. DL and OWL (markdown)
Updated Non‐DL Syntax (markdown)
Updated 3. Description Logic Semantics (markdown)
Updated DL and OWL (markdown)
Updated Description Logic Semantics (markdown)
Updated Description Logic Syntax (markdown)
Updated Description Logic (markdown)
Created DL and OWL (markdown)
Added annotations
Created Non-DL Syntax (markdown)