Prerelease of PSOA RuleML 1.03 and Release of PSOATransRun 1.4.3 with Web-based Service

From RuleML Wiki
Jump to: navigation, search

2019-12-22: Prerelease of PSOA RuleML 1.03 and Release of PSOATransRun 1.4.3 with Web-based Service
By Harold Boley, Theodoros Mitsikas, Gen Zou
This is a prerelease of PSOA RuleML 1.03, whose schemas for XML serialization need to be finished, as well as the release of PSOATransRun 1.4.3, which executes PSOA RuleML 1.03's finished presentation syntax. The arXiv-maintained paper Perspectival Knowledge in PSOA RuleML: Representation, Model Theory, and Translation, v3, introduces both the PSOA RuleML 1.03 language and the PSOATransRun 1.4.2 system. PSOATransRun 1.4.3 updates the TPTP-targeting Web-based Service. This new online PSOA RuleML reasoner provides instant access to the expressiveness of the downloadable version, except for built-ins. It comes with a pre-entered KB and query for a workmix-extended RichTA example, which can be easily modified or replaced. Recent additions to the Prolog-targeting instantiations include SWI Prolog backend support. For more information, see PSOATransRun 1.4.3 usage, PSOATransRun on GitHub, PSOA RuleML on the RuleML Wiki.