Nuno Lopes 0002 Cláudio Fernandes Salvador Abreu Contextual Logic Programming for Ontology Representation and Querying. 2007 ALPSWS http://ceur-ws.org/Vol-287/paper_10.pdf conf/iclp/2007alpsws db/conf/iclp/alpsws2007.html#LopesFA07