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 - Semantics
-
Semantics follow standard FOL model theory
-
Description Logics are a fragment of FOL
-
The vocabulary is the set of names (concepts and roles) used
-
I.e. Mother, Father, Person, knows, isRelatedTo, hasChild, …
-
An interpretation I is a tuple (∆I, ⋅I)
-
∆I is the domain (a set)
-
⋅I is a mapping that maps:
-
Names of objects (individuals) to elements of the domain
-
Names of unary predicates (classes/concepts) to subsets of the domain
-
Names of binary predicates (properties/roles) to subsets of ∆I x ∆I