Work

Bound Your Models! How to Make OWL an ASP Modeling Language

Year: 2015

Type: preprint

Abstract: To exploit the Web Ontology Language OWL as an answer set programming (ASP) language, we introduce the notion of bounded model semantics, as an intuitive and computationally advantageous alternative to its classical semantics. We show that a translation into ASP allows for solving a wide range of bounded-model reasoning tasks, including satisfiability and axiom entailment but also novel ones such as model extraction and enumeration. Ultimately, our work facilitates harnessing advanced semantic web modeling environments for the logic programming community through an "off-label use" of OWL.

Source: arXiv (Cornell University)

DOI: 10.48550/arxiv.1511.00924

Authors: Gaggl, Sarah Alice, Rudolph, Sebastian, Schweizer, Lukas

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W2228484641

Cites:

Cited by: 3

Related to: 10