Current Slide

Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.

A basic Description Logic - ALC

  • Individual assertions :
    • a ∈ C
    • Mary is a Woman.

  • Role assertions:
    • 〈a, b〉 ∈ R
    • E.g. Marry loves Peter.

  • Axioms:
    • C ⊑ D
    • C ≡ D, because C ≡ D ⇔ C ⊑ D and D ⊑ C
    • E.g.: A Dog is an animal. A man is a male Person.

Speaker notes:

Content Tools


There are currently no sources for this slide.