Jeff Z. Pan, Ian Horrocks: RDFS(FA): A DL-ised Sub-language of RDFS. Description Logics 2003