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

Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer

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 advant…