F-Logic\#: Loosely Coupling F-Logic Rules and Ontologies. Proc. of the 2010 IEEE/WIC/ACM International Conference on Web Intelligence, 2010. [PUMA: ontologies toread] URL
Identifying the Minimal Transversals of a Hypergraph and Related Problems. SIAM J. Comput., (24)6:1278--1304, Society for Industrial and Applied Mathematics, Philadelphia, PA, USA, 1995. [PUMA: conp theory hypergraph complexity] URL
Effective Integration of Declarative Rules with External Evaluations for Semantic-Web Reasoning.. ESWC, 273-287, 2006. [PUMA: reason european rules proceedings 2006 semantic conference eswc and web]