Faceted Answer-Set Navigation

Alrabbaa, Christian; Rudolph, Sebastian; Schweizer, Lukas

doi:10.1007/978-3-319-99906-7_14

Cited by 4 publications

(8 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The back-end uses a Java application which computes the following: (1) the AD of a given OWL ontology, using the algorithm from Horridge et al [VHP*20] ; (2) various types of proofs for a given entailment using the approaches described by Alrabbaa et al [ABB*22]; (3) all diagnoses for a given axiom, which are computed based on INCA, a tool for navigating answer sets of ASP programs [ARS18]. In order to serve the data to multiple independent views, we establish socket connections using Socket.io.…”

Section: Evonne: Technologies and Toolsmentioning

confidence: 99%

Evonne: A Visual Tool for Explaining Reasoning with OWL Ontologies and Supporting Interactive Debugging

Méndez

Alrabbaa

Koopmann

et al. 2023

Computer Graphics Forum

View full text Add to dashboard Cite

OWL is a powerful language to formalize terminologies in an ontology. Its main strength lies in its foundation on description logics, allowing systems to automatically deduce implicit information through logical reasoning. However, since ontologies are often complex, understanding the outcome of the reasoning process is not always straightforward. Unlike already existing tools for exploring ontologies, our visualization tool Evonne is tailored towards explaining logical consequences. In addition, it supports the debugging of unwanted consequences and allows for an interactive comparison of the impact of removing statements from the ontology. Our visual approach combines (1) specialized views for the explanation of logical consequences and the structure of the ontology, (2) employing multiple layout modes for iteratively exploring explanations, (3) detailed explanations of specific reasoning steps, (4) cross‐view highlighting and colour coding of the visualization components, (5) features for dealing with visual complexity and (6) comparison and exploration of possible fixes to the ontology. We evaluated Evonne in a qualitative study with 16 experts in logics, and their positive feedback confirms the value of our concepts for explaining reasoning and debugging ontologies.

show abstract

Section: Evonne: Technologies and Toolsmentioning

confidence: 99%

Evonne: A Visual Tool for Explaining Reasoning with OWL Ontologies and Supporting Interactive Debugging

Méndez

Alrabbaa

Koopmann

et al. 2023

Computer Graphics Forum

View full text Add to dashboard Cite

show abstract

“…By ∆ Π s := {δ ∈ ∆ Π | AS(Π δ ) = ∅} we define safe routes over AS(Π). Once an unsafe route is taken, some sort of redirection, which relates to the notion of correction sets (Alrabbaa, Rudolph, and Schweizer 2018), i.e., a route obtained by retracting conflicting facets, is required to continue navigation. For a program Π, δ ∈ ∆ Π and f ∈ F (Π), we denote all redirections of δ with respect to…”

Section: Routes and Navigation Modesmentioning

confidence: 99%

“…The idea of free and goal-oriented navigation was mentioned by Alrabbaa, Rudolph, and Schweizer (2018). While free navigation follows no particular strategy, during goaloriented navigation, we narrow down the solution space.…”

Section: Routes and Navigation Modesmentioning

confidence: 99%

“…Related Work. Alrabbaa, Rudolph, and Schweizer (2018) proposed a framework in which solutions are systematically pruned with respect to facets (partial solutions). While this allows one to move within the answer set space, the user has absolutely no information on how big the effect of activating a facet is in advance, similar to assumptions in propositional satisfiability (Eén and Sörensson 2003).…”

Section: Introductionmentioning

confidence: 99%

“…Accordingly, a navigation step from Π to Π is obtained by modifying Π such that Π = Π ∪ ic(f ). Faceted navigation with respect to some program Π is possible as long as Alrabbaa, Rudolph, and Schweizer (2018) AS(Π) as a solution space, we refer to the topological space induced by 2 AS(Π) on AS(Π). Thus, answer set navigation means choosing among subsets of answer sets.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Rushing and Strolling among Answer Sets – Navigation Made Easy

Fichte

Gaggl

Rusovac

2022

AAAI

View full text Add to dashboard Cite

Answer set programming (ASP) is a popular declarative programming paradigm with a wide range of applications in artificial intelligence. Oftentimes, when modeling an AI problem with ASP, and in particular when we are interested beyond simple search for optimal solutions, an actual solution, differences between solutions, or number of solutions of the ASP program matter. For example, when a user aims to identify a specific answer set according to her needs, or requires the total number of diverging solutions to comprehend probabilistic applications such as reasoning in medical domains. Then, there are only certain problem specific and handcrafted encoding techniques available to navigate the solution space of ASP programs, which is oftentimes not enough. In this paper, we propose a formal and general framework for interactive navigation toward desired subsets of answer sets analogous to faceted browsing. Our approach enables the user to explore the solution space by consciously zooming in or out of sub-spaces of solutions at a certain configurable pace. We illustrate that weighted faceted navigation is computationally hard. Finally, we provide an implementation of our approach that demonstrates the feasibility of our framework for incomprehensible solution spaces.

show abstract

A Fast and Accurate ASP Counting Based Network Reliability Estimator

Kabir¹,

Meel²

EPiC Series in Computing

View full text Add to dashboard Cite

The quantification of system reliability is fundamental to the assessment of a system’s safety and resilience, and has been of interest to decision-makers. Since quantifying the system reliability is shown to be computationally intractable, researchers aim to find approximations. Existing approaches to approximate reliability either suffer from poor scalability or lack of correctness guarantees. Answer Set Programming (ASP) is a powerful tool for knowledge representation that can specify complex combinatorial problems. In recent years, the new applications of ASP have propelled the emergence of well-engineered ASP systems. This paper proposes a new ASP counting based framework, RelNet-ASP, to approximate or estimate the reliability of a system or network. The framework reduces the problem of reliability estimation to an approximate model counting problem on ASP programs, offering formal guarantees of the estimated reliability. The experimental evaluation demonstrates that RelNet-ASP outperforms state-of-the-art techniques in terms of both runtime performance and accuracy.

show abstract

Faceted Answer-Set Navigation

Cited by 4 publications

References 11 publications

Evonne: A Visual Tool for Explaining Reasoning with OWL Ontologies and Supporting Interactive Debugging

Evonne: A Visual Tool for Explaining Reasoning with OWL Ontologies and Supporting Interactive Debugging

Rushing and Strolling among Answer Sets – Navigation Made Easy

A Fast and Accurate ASP Counting Based Network Reliability Estimator

Contact Info

Product

Resources

About