Higher-order Representation and Reasoning for Automated Ontology Evolution

Michael Chan, Jos Lehmann, Alan Bundy. Higher-order Representation and Reasoning for Automated Ontology Evolution. In Joaquim Filipe, Jan L. G. Dietz, editors, KEOD 2010 - Proceedings of the International Conference on Knowledge Engineering and Ontology Development, Valencia, Spain, October 25-28, 2010. pages 84-93, SciTePress, 2010.

Abstract

Abstract is missing.