DR-Prolog: A System for Reasoning with Rules and Ontologies on the Semantic Web.

Antonis Bikakis, Grigoris Antoniou

Browse the full AAAI paper archive.