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.

Description Logic - Reasoning

  • Main reasoning tasks for DL systems:

    • Satisfiability : Check if the assertions in a KB have a model

    • Instance checking : Check if an instance belongs to a certain concept

    • Concept satisfiability : Check if the definition of a concept can be satisfied

    • Subsumption : Check if a concept A subsumes a concept B (if every individual of a concept B is also of concept A)

    • Equivalence : A ≡ B ⇔ B ⊑ A and A ⊑ B

    • Retrieval : Retrieve a set of instances that belong to a certain concept

Speaker notes:

Content Tools


There are currently no sources for this slide.