Edinburgh Research Explorer

Higher-order Representation and Reasoning for Automated Ontology Evolution

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Standard

Higher-order Representation and Reasoning for Automated Ontology Evolution. / Chan, M.; Lehmann, J.; Bundy, Alan.

KEOD 2010 - Proceedings of the International Conference on Knowledge Engineering and Ontology Development. 2010.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Chan, M, Lehmann, J & Bundy, A 2010, Higher-order Representation and Reasoning for Automated Ontology Evolution. in KEOD 2010 - Proceedings of the International Conference on Knowledge Engineering and Ontology Development. KEOD 2010 - Proceedings of the International Conference on Knowledge Engineering and Ontology Development, Valencia, Spain, 25/10/10.

APA

Chan, M., Lehmann, J., & Bundy, A. (2010). Higher-order Representation and Reasoning for Automated Ontology Evolution. In KEOD 2010 - Proceedings of the International Conference on Knowledge Engineering and Ontology Development

Vancouver

Chan M, Lehmann J, Bundy A. Higher-order Representation and Reasoning for Automated Ontology Evolution. In KEOD 2010 - Proceedings of the International Conference on Knowledge Engineering and Ontology Development. 2010.

Author

Chan, M. ; Lehmann, J. ; Bundy, Alan. / Higher-order Representation and Reasoning for Automated Ontology Evolution. KEOD 2010 - Proceedings of the International Conference on Knowledge Engineering and Ontology Development. 2010.