Page Index - quoll/DLe GitHub Wiki

24 page(s) in this GitHub Wiki:

• Home
• Welcome to DLe.
• DLe: Description Logic - Extended
• What is it?
• How do I use it?
• What this is for
• Why Description Logic?
• Example
• Default Namespace
• Extensions to DL
• Extension Example
• Design principles
• 1. Description Logic Syntax
• Please reload this page
• 2. DL and OWL
• Please reload this page
• 3. DL Semantics
• Please reload this page
• 4. Non‐DL Syntax
• Please reload this page
• 5. OWL DL Translations
• Please reload this page
• Rationale
• Please reload this page