KWARC » projects » docOnto » pubs

Document Ontology – Publications

Publications

Note: in older works, the more generic term “system ontology” is used instead of “document ontology”.

Table of Contents

Articles in Collections

  1. Christoph Lange, Michael Kohlhase. A Semantic Wiki for Mathematical Knowledge Management; pp. 47–68 in Jörg Rech, Björn Decker, Eric Ras, eds.: Emerging Technologies for Semantic Work Environments: Techniques, Methods, and Applications; IGI Global April 2008. ¶
  2. Christoph Lange, Michael Kohlhase. SWiM – An OMDoc-based Semantic Wiki; chap. 26.10 in textscOMDoc – An open markup format for mathematical documents [Version 1.2]; LNAI 4180, Springer Verlag August 2006. ¶

Conference and Workshop Contributions

  1. Andrea Kohlhase, Michael Kohlhase, Christoph Lange. Dimensions of Formality: A Case Study for MKM in Software Engineering; pp. 355–369 in Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Laurence Rideau, Renaud Rioboo, Alan P. Sexton, eds.: Intelligent Computer Mathematics; LNAI 6167, Springer Verlag 2010. ¶
  2. Andrea Kohlhase, Michael Kohlhase, Christoph Lange. sTeX – A System for Flexible Formalization of Linked Data; in Adrian Paschke, Nicola Henze, Tassilo Pellegrini, Hans Weigand, eds.: Proceedings of the 6th International Conference on Semantic Systems (I-Semantics) and the 5th International Conference on Pragmatic Web; ACM 2010. ¶
  3. Catalin David, Michael Kohlhase, Christoph Lange, Florian Rabe, Nikita Zhiltsov, Vyacheslav Zholudev. Publishing Math Lecture Notes as Linked Data; pp. 370–375 in Lora Aroyo, Grigoris Antoniou, Eero Hyvönen, Annette Teije, Heiner Stuckenschmidt, Liliana Cabral, Tania Tudorache, eds.: The Semantic Web: Research and Applications (Part II), 7th Extended Semantic Web Conference (ESWC), 2010-05-30/2010-06-03 in Hersonissos, Crete, Greece; Lecture Notes in Computer Science 6089, Springer Verlag 2010. ¶
  4. Christoph Lange, Michael Kohlhase. A Mathematical Approach to Ontology Authoring and Documentation; in Christoph Lange, Jochen Reutelshöfer, eds.: Wissens- und Erfahrungsmanagement (Knowledge and Experience Management), FGWM; September 2009. ¶
  5. Christoph Lange, Michael Kohlhase. A Mathematical Approach to Ontology Authoring and Documentation; pp. 389–404 in Jacques Carette, Lucas Dixon, Claudio Coen, Stephen M. Watt, eds.: MKM/Calculemus Proceedings; LNAI 5625, Springer Verlag July 2009. ¶
  6. Christoph Lange, Michael Kohlhase. Documenting Ontologies the Mathematical Way; in , ed.: Poster Proceedings of the 6th European Semantic Web Conference (ESWC); June 2009. ¶
  7. Christoph Lange. Krextor – An Extensible XML$to$RDF Extraction Framework; in Chris Bizer, Sören Auer, Gunnar AAstrand Grimnes, eds.: Scripting and Development for the Semantic Web (SFSW); CEUR Workshop Proceedings 449, May 2009. ¶
  8. Christoph Lange. SWiM – A semantic wiki for mathematical knowledge management; pp. 832–837 in Sean Bechhofer, Manfred Hauswirth, Jörg Hoffmann, Manolis Koubarakis, eds.: The Semantic Web: Research and Applications, 5th European Semantic Web Conference (ESWC), 2008-06-01/2008-06-05 in Tenerife, Spain; Lecture Notes in Computer Science 5021, Springer Verlag 2008. ¶
  9. Christoph Lange. Mathematical Semantic Markup in a Wiki: The Roles of Symbols and Notations; in Christoph Lange, Sebastian Schaffert, Hala Skaf-Molli, Max Völkel, eds.: 3rd Workshop on Semantic Wikis, , 2008-06-02 in Costa Adeje, Tenerife, Spain; CEUR Workshop Proceedings 360, 2008. ¶
  10. Christoph Lange. Towards a Semantic Wiki for Science; in Elena Simperl, Jörg Diederich, Guus Schreiber, eds.: Proceedings of the KWEPSY (Knowledge Web PhD Symposium), , 2007-06 in Innsbruck, Austria; CEUR Workshop Proceedings 275, 2007. ¶
  11. Normen Müller. An Ontology-Driven Management of Change; pp. 186–193 in Wissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) conference proceedings; 2006. ¶

Monographs and Proceedings

  1. Christoph Lange, . Enabling Collaboration on Semiformal Mathematical Knowledge by Semantic Web Integration; AKA Verlag and IOS Press 2011. ¶

Theses

  1. Christoph Lange. Enabling Collaboration on Semiformal Mathematical Knowledge by Semantic Web Integration; Ph.D. Thesis, Jacobs University Bremen 2011. ¶

Technical Reports

  1. Christoph Lange, Michael Kohlhase. A Mathematical Approach to Ontology Authoring and Documentation; KWARC Report 2008-3, Jacobs University Bremen December 2008. ¶
  2. Christoph Lange. SWiM – A Semantic Wiki for Mathematical Knowledge Management; Technical Report 5, Jacobs University Bremen March 2007. ¶

Miscellaneous

  1. Christoph Lange. Towards a Semantic Wiki for Science; , February 2007. Research proposal for a Ph. D. thesis ¶
  2. Normen Müller. Towards an Ontology-Driven Management of Change – Research proposal for a Ph.D. thesis; , 2006. ¶
  3. Christoph Lange, Others. Krextor – The KWARC RDF Extractor;  ¶
  4. Christoph Lange, Normen Müller, Christine Müller. Document Ontologies; project homepage at http://kwarc.info/projects/docOnto/ ¶

(last regeneration: 2012-02-07+01:00)

© 2006 Copyrights KWARC. | XHTML 1.0 | CSS | Page generated from XML sources with the WSML package