. Berners-lee, The semantic web Tim Berners- Lee Semantic web roadmap OntoMorph: a translation system for symbolic knowledge Ontology-based semantics, html. [Berners-Lee Proceedings of 7th international conference on knowledge representation and reasoning (KR), BreckenridgeCiocoiu and Nau, 2000] Mihai Ciocoiu and Dana Nau Proceedings of 7th international conference on knowledge representation and reasoning (KR), pp.471-482, 1998.