Translating OWL and Semantic Web Rules into Prolog: Moving Toward Description Logic Programs

Ken Samuel, Leo Obrst, Suzette Stoutenberg +7

To appear in Theory and Practice of Logic Programming (TPLP), 2008. We are researching the interaction between the rule and the ontology layers of the Semantic Web, by comparing tw…