Possible worlds explorer: Datalog and answer set programming for the rest of us

Sahil Gupta, Yi Yun Cheng, Bertram Ludaescher

Research output: Contribution to journalConference article

Abstract

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 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.

Original languageEnglish (US)
Pages (from-to)44-55
Number of pages12
JournalCEUR Workshop Proceedings
Volume2368
StatePublished - Jan 1 2019
Event3rd International Workshop on the Resurgence of Datalog in Academia and Industry, Datalog 2.0 2019 - Philadelphia, United States
Duration: Jun 4 2019Jun 5 2019

Fingerprint

Computer systems programming
Time series
Visualization
Atoms

ASJC Scopus subject areas

  • Computer Science(all)

Cite this

Possible worlds explorer : Datalog and answer set programming for the rest of us. / Gupta, Sahil; Cheng, Yi Yun; Ludaescher, Bertram.

In: CEUR Workshop Proceedings, Vol. 2368, 01.01.2019, p. 44-55.

Research output: Contribution to journalConference article

@article{58115582472240c485b6fce7e1b7375c,
title = "Possible worlds explorer: Datalog and answer set programming for the rest of us",
abstract = "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 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.",
author = "Sahil Gupta and Cheng, {Yi Yun} and Bertram Ludaescher",
year = "2019",
month = "1",
day = "1",
language = "English (US)",
volume = "2368",
pages = "44--55",
journal = "CEUR Workshop Proceedings",
issn = "1613-0073",
publisher = "CEUR-WS",

}

TY - JOUR

T1 - Possible worlds explorer

T2 - Datalog and answer set programming for the rest of us

AU - Gupta, Sahil

AU - Cheng, Yi Yun

AU - Ludaescher, Bertram

PY - 2019/1/1

Y1 - 2019/1/1

N2 - 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 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.

AB - 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 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.

UR - http://www.scopus.com/inward/record.url?scp=85067202182&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85067202182&partnerID=8YFLogxK

M3 - Conference article

AN - SCOPUS:85067202182

VL - 2368

SP - 44

EP - 55

JO - CEUR Workshop Proceedings

JF - CEUR Workshop Proceedings

SN - 1613-0073

ER -