Integration and Evaluation of an ASP-Solver as an Alternative Reasoning Backend in the Rulewerk Toolkit
Integration and Evaluation of an ASP-Solver as an Alternative Reasoning Backend in the Rulewerk Toolkit
Vortrag von Steffen Breuer
- Veranstaltungsort: online
- Beginn: 17. Dezember 2020 um 13:00
- Ende: 17. Dezember 2020 um 14:30
- iCal
Rulewerk is a Java API, that is build to abstract the access to data sources for the rule-based reasoner VLog. Since the VLog reasoner is actively developed, there is always a need to evaluate potential improvements and to compare VLogs performance to other systems. A good way to make it way easier to compare multiple reasoners is to provide them easy access to the same and also diverse data sources. A potential first alternative reasoning backend is the ASP system Clingo. In this thesis I present a translation form the datalog-based input language of Rulewerk into the ASP-based input language of Clingo. I also show a direct comparison of the performance of both backends.
This talk will take place via BigBlueButton. To access the room, take one of the following links:
with ZIH-Login:
https://selfservice.zih.tu-dresden.de/l/link.php?m=56216&p=bb0e03e2
without ZIH-Login: