Inproceedings (iswc_ht02)
Horrocks, I. & Tessaris, S.
Querying the Web: A formal Approach
2002, 177-191