Describir: Logical foundations of Web ontologies