Home Publications Research Grants Inventions & Patents Awards Additional Research Activities Faculties & Institutions Research Areas

A mathematical approach to ontology authoring and documentation

Lange-Bever C, Kohlhase M (2009)

---

Publication Status: Published

Publication Type: Conference contribution, Original article

Publication year: 2009

Pages Range: 389-404

Event location: Grand Bend, ON

ISBN: 9783642026133

DOI: 10.1007/978-3-642-02614-0_31

Authors with CRIS profile

How to cite

APA:

Lange-Bever, C., & Kohlhase, M. (2009). A mathematical approach to ontology authoring and documentation. In Proceedings of the 16th Symp. on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2009 and 8th Int. Conf. on Mathematical Knowledge Management, MKM 2009. Held as part of the Confs. on Intelligent Computer Mathematics, CICM 2009 (pp. 389-404). Grand Bend, ON.

MLA:

Lange-Bever, Christoph, and Michael Kohlhase. "A mathematical approach to ontology authoring and documentation." Proceedings of the 16th Symp. on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2009 and 8th Int. Conf. on Mathematical Knowledge Management, MKM 2009. Held as part of the Confs. on Intelligent Computer Mathematics, CICM 2009, Grand Bend, ON 2009. 389-404.

BibTeX: Download