Predefined Semantic Styles of RuleML 1.03

From RuleML Wiki
Jump to: navigation, search

Notice of Development

This draft specification may change at any time. The current version of the RuleML system of families of languages is 1.02. See Specification of RuleML 1.02.

Some under-specified profiles have been predefined in RuleML 1.03, as follows:

Some semantic profiles that provide fully-specified semantics for their syntactic scope, have also been predefined in RuleML 1.03:

The current version of the predefined semantic profiles of RuleML is always available from http://ruleml.org/profiles/ .

For the general requirements for semantic styles in RuleML 1.03, see Semantic Styles of RuleML 1.03.

References