Predefined Semantic Styles of RuleML 1.02

From RuleML Wiki
Jump to: navigation, search

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

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

The current version of the predefined semantic profiles of RuleML is always available from .

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