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.

Introduction

  • Logical expressions occur within axioms and the capabilities which are specified in the descriptions of goals and Semantic Web services
  • We give a syntax specification for general logical expressions in WSML; the general logical expression syntax encompasses all WSML variants and is thus equivalent to the WSML-Full logical expression syntax
    • Vocabulary
    • Terms
    • Set of Fromulae
  • We specify for each of the WSML variants the restrictions the variant imposes on the logical expression syntax

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.