Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

PSOA prova: PSOA translation of pure production rules to the prova engine

 
: Grätz, Lukas; Boley, Harold; Paschke, Adrian

:
Fulltext (PDF; )

Faber, W.:
RuleML+RR-DCC 2018 Doctoral Consortium and Challenge @ RuleML+RR 2018. Online resource : Proceedings of the Doctoral Consortium and Challenge @ RuleML+RR 2018 hosted by 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018) Luxembourg, September 20-26, 2018
La Clusaz: CEUR, 2018 (CEUR Workshop Proceedings 2204)
http://ceur-ws.org/Vol-2204/
ISSN: 1613-0073
17 pp.
International Joint Conference on Rules and Reasoning (RuleML+RR) <2, 2018, Luxembourg>
Doctoral Consortium and Challenge @ RuleML+RR (RuleML+RR-DCC) <2018, Luxembourg>
English
Conference Paper, Electronic Publication
Fraunhofer FOKUS ()

Abstract
PSOA Prova enriches PSOA RuleML with parts of Reaction RuleML. It is implemented by combining PSOATransRun and Prova, a Prolog-based language and engine which supports object orientation, reactive programming as well as several other programming paradigms. A modified Prova engine targeted by PSOA RuleML's PSOATransRun translators is introduced and then extended to top-level assert and retract by allowing KB consult and unconsult at runtime. PSOA is further extended to pure production rules, a conclusion-asserting subset of Production RuleML, hence Reaction RuleML. This is exemplified for a PSOA Prova knowledge base about the British "Succession to the Crown Act 2013". These extensions yield a PSOA Prova language and engine available on GitHub. The PSOA Prova concepts are demonstrated with three formalization approaches for the British "Succession to the Crown Act 2013".

: http://publica.fraunhofer.de/documents/N-520863.html