Predefined Semantic Styles of RuleML 1.03
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:
- Horn-PSOA Tarski (http://ruleml.org/1.03/profiles/HornPSOA-Tarski)
- Horn Logic Herbrand (http://ruleml.org/1.03/profiles/Horn-Herbrand)
- First-Order Logic Herbrand (http://ruleml.org/1.03/profiles/FOL-Herbrand)
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.