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.

WTriple: WSML

A set of concrete languages for the various tasks:

  • Ontology / Rule Languages (static view)
    • WSML Core
      • efficiency and compatibility
    • WSML DL
      • decidability, open world semantics
    • WSML Rule
      • efficient existing rule engines
    • WSML Full
      • unifying language, theorem proving
  • Languages for dynamics
    • Transaction Logic over ASMs
  • Mapping languages
    • for dynamics (process mediation)
    • or data (data mediation)

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.