13 citations · 20 across the 4 of their papers we have counts for
5 papers
Logical Foundations of RDF(S) with Datatypes
Jos de Bruijn, Stijn Heymans
The Resource Description Framework (RDF) is a Semantic Web standard that provides a data language, simply called RDF, as well as a lightweight ontology language, called RDF Schema.…
Query Answering in Object Oriented Knowledge Bases in Logic Programming: Description and Challenge for ASP
Vinay K. Chaudhri, Stijn Heymans, Michael Wessel +1
Research on developing efficient and scalable ASP solvers can substantially benefit by the availability of data sets to experiment with. KB_Bio_101 contains knowledge from a biolog…
Reasoning with Forest Logic Programs and f-hybrid Knowledge Bases
Cristina Feier, Stijn Heymans
Open Answer Set Programming (OASP) is an undecidable framework for integrating ontologies and rules. Although several decidable fragments of OASP have been identified, few reasonin…
An Optimization for Reasoning with Forest Logic Programs
Cristina Feier, Stijn Heymans
Open Answer Set Programming (OASP) is an attractive framework for integrating ontologies and rules. In general OASP is undecidable. In previous work we provided a tableau-based alg…
Open Answer Set Programming with Guarded Programs
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
Open answer set programming (OASP) is an extension of answer set programming where one may ground a program with an arbitrary superset of the program's constants. We define a fixed…