Search Results for author: Lukas Schweizer

Found 1 papers, 0 papers with code

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

no code implementations3 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.

Model extraction Translation

Cannot find the paper you are looking for? You can Submit a new open access paper.