Possible Worlds Explorer: Datalog & Answer Set Programming for the Rest of Us

Sahil Gupta, Yi-Yun Cheng, Bertram Ludäscher
2019 Datalog  
Datalog and Answer Set Programming (ASP) are powerful languages for rule-based querying and constraint solving, respectively. We have developed Possible Worlds Explorer (PWE), an open source Python-based toolkit that employs Jupyter notebooks to make working with Datalog and ASP systems easier and more productive. PWE can parse output from different reasoners (Clingo and DLV) and then run analytical queries over all answer sets or "possible worlds" (PWs), e.g., to calculate relative frequencies
more » ... of atoms across PWs or to hierarchically cluster PWs based on user-defined complexity and similarity measures. PWE also has support for well-founded Datalog models (from DLV) and temporal models that use a special state argument. Using simple Python functions, generic as well as user-definable presentation and visualization formats can be easily created, e.g., to display all PWs (world views), the unique three-valued well-founded model (partial views), and temporal models (timelines and time series). We provide containerized versions of PWE that can be run in the cloud or locally. We hope that in this way Datalog and ASP can be made more accessible for a wider audience.
dblp:conf/datalog/GuptaCL19 fatcat:2choamhvw5b5xgzt6ufdsms3vi