Active Semantic Profile of RuleML 1.02
From RuleML Wiki
- Identifier: http://ruleml.org/1.02/profiles/active
- Laws of Deduction:
- Laws of Post-conditions:
- Parent: Predefined Semantic Profiles of RuleML 1.02
- This page was last modified on 20 June 2016, at 13:50.
