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