2 citations · 2 across the 1 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2010★ 1 cited
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…
cs.LO2007★ 2 cited
Guarded Hybrid Knowledge Bases
Stijn Heymans, Jos de Bruijn, Livia Predoiu +2
Recently, there has been a lot of interest in the integration of Description Logics and rules on the Semantic Web.We define guarded hybrid knowledge bases (or g-hybrid knowledge ba…