First-Order-Deontic-Alethic Semantic Profile of RuleML 1.02

From RuleML Wiki
Jump to: navigation, search