Abstract of RuleML Technical Memo: RuleML Controlled Language

From RuleML Wiki
Jump to: navigation, search

2020-06-27: Abstract of RuleML Technical Memo: RuleML Controlled Language
By Harold Boley
RuleML Controlled Language (RCL) is proposed as an interface for RuleML, especially for PSOA RuleML's Presentation Syntax (PS), employing natural-language-like templates, initially English-like, so it can be easily (a) used by domain experts and (b) mapped to and from RuleML syntax. For targeting the PSOA RuleML systematics of atoms, RCL employs keywords as follows: a (prefixing the predicate), thru (infixing any two final tuple elements), plus (infixing any two final slots), of (prefixing any dependent tuple / tuple sequence or slot / slot sequence), and with (prefixing any independent version of such a descriptor / descriptor sequence). For targeting the RuleML Assert and Query performatives, RCL employs these key phrases: There is (prefixing atoms to be asserted) and Is there (prefixing atoms to be queried). For more information, see RuleML Controlled Language.