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


Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.