Release of Deliberation PSOA RuleML 1.03
From RuleML Wiki
Addressing the feedback received on the candidate release of Deliberation PSOA RuleML 1.03, its final release is now available at PSOA RuleML#Specification. It creates a synchronization point with the upcoming Specification of Deliberation RuleML 1.03. Deliberation PSOA RuleML 1.03 permits (XSLT-)transformation -- e.g., normalization -- and (RNC/XSD-)validation in serialization (XML) syntax as well as authoring and querying in presentation (plain-text) syntax. Its model-theoretic semantics is implemented by the operational semantics of the PSOATransRun 1.4.3 system. PSOA RuleML use cases include the Decision Management Challenge "Port Clearance Rules" and the FAA/ICAO-regulation-supporting "Air Traffic Control KB".
- 2020-03-29: Addendum: Subsection on Round-Tripping Between RuleML/XML and RuleML/JSON.
- 2020-05-19: Enhancements: Centered on Combining Atoms and Expressions.
For more information, see Learn PSOA RuleML.