Ahmed Arara Robert Laurini Formal Contextual Ontologies for Intelligent Information Systems. 303-306 2005 conf/wec/2005i WEC (5) db/conf/wec/wec2005i.html#AraraL05