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 Syntax- Roles

  • Roles relate to individuals to each other
    • I.e. directedBy(Pool Sharks, Edwin Middleton), hasChild(Jonny, Sue)

  • Roles have a domain and a range

  • Example:
    • Domain(directedBy, Movie)
    • Range(directedBy, Person)
    • Given the above definitions we can conclude that Pool Sharks is a move and that Edwin Middleton is (was) a person.

  • Functional Roles
    • Roles which have exactly one value
    • Usually used with primitive datavalues
    • A special case of (unqualified) number restriction ≤1 R

Speaker notes:

Content Tools


There are currently no sources for this slide.