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

Autor:	Gaggl, Sarah Alice, Rudolph, Sebastian, Schweizer, Lukas
Rok vydání:	2015
Předmět:	Computer Science - Programming Languages Computer Science - Artificial Intelligence
Druh dokumentu:	Working Paper
Popis:	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. Comment: International Workshop on User-Oriented Logic Programming (IULP 2015), co-located with the 31st International Conference on Logic Programming (ICLP 2015), Proceedings of the International Workshop on User-Oriented Logic Programming (IULP 2015), Editors: Stefan Ellmauthaler and Claudia Schulz, pages 33-49, August 2015
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/1511.00924 Zobrazit plný text záznamu View this record from Arxiv