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.
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
Set of Fromulae
We specify for each of the WSML variants the restrictions the variant imposes on the logical expression syntax