Hybrid Reasoning with Simple Forest Logic Programs

pen Answer Set Programming (OASP) is an attractive framework for integrating ontologies and rules. Although several decidable fragments of OASP have been identified, few reasoning procedures exist. I