Lukas Schweizer

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

2015 · arXiv (Cornell University)

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 …