“Description Logic” (cont.)

• Traditional DL has its own terminology:

• • named objects or concepts ⇔ definition of classes, relationships among classes
  • roles ⇔ properties
  • (terminological) axioms ⇔ subclass and subproperty relationships
  • facts or assertions ⇔ statements on individuals (owl:Thing-s)

• There is also a compact mathematical notation for axioms, assertions, etc:

• • Literature ≣ Novel ⊔ Short_Story ⊔ Poetry
  • Listed_Price ⊑ ∀currency.Currencies

• You may see these in papers, books…