BibSonomy publications for /user/jochenreutelshoefer/markupFri Apr 08 15:42:14 CEST 2011K-CAP '11: Proceedings of the sixth international conference on Knowledge CaptureIncremental Compilation of Knowledge Documents for Markup-based Closed-World Authoring 2011inremental_compilation knowledge_acquisition knowledge_engineering knowwe markup myown rokt wiki Text-based authoring using knowledge markups is an increasingly popular editing paradigm in manual knowledge acquisition. Closed world authoring environments support the user to form a coherent knowledge base by checking the referenced objects against a set of declared domain objects. In this scenario, the task of efficient translation (compilation) of the text sources is non-trivial. Additionally, in realworld applications frequent small changes are performed on the source documents and instant feedback to the author is crucial. Therefore, a scalable compilation into the target knowledge representations is necessary. In this paper, we introduce a general algorithm for the incremental compilation of knowledge documents, that analyzes the current document modications and performs minimal updates on the knowledge base. We provide a formal proof of the correctness of the algorithm and show the effectivenes of the approach in several case studies, using various kinds of knowledge representations and markups.Tue Jun 23 14:26:59 CEST 2009LWAconf/lwa/2007340Using Knowledge Wikis to Support Scientific Communities.2007KnowWE markup myown rokt wiki Tue Jun 23 14:26:59 CEST 2009K-CAPconf/kcap/2007189-190KnowWE: community-based knowledge capture with knowledge wikis.2007KnowWE markup myown rokt wiki Tue Jun 23 14:26:59 CEST 2009SAAKMconf/kcap/2007saakmCEUR Workshop ProceedingsMarkups for Knowledge Wikis.2892007KnowWE markup myown rokt wiki Tue Jun 23 14:26:59 CEST 2009New York, NY, USAK-CAP '07: Proceedings of the 4th international conference on Knowledge capture189--190KnowWE: community-based knowledge capture with knowledge wikis2007KnowWE markup myown rokt wiki