Bibitem:

@TECHREPORT{Straccia04c,
AUTHOR ="Straccia, Umberto", 
TITLE ="Uncertainty and Description Logic Programs: A Proposal for 
Expressing Rules and Uncertainty on Top of Ontologies", 
INSTITUTION ="Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche",
ADDRESS ="Pisa, Italy", 
YEAR ="2004", 
TYPE ="Technical Report", 
NUMBER ="ISTI-2004-TR" 
}