no code implementations • 3 Nov 2015 • 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 advantageous alternative to its classical semantics.