Kohlhase M, Schäfer JF (2026)
Publication Type: Conference contribution
Publication year: 2026
Publisher: Springer Science and Business Media Deutschland GmbH
Book Volume: 16136 LNCS
Pages Range: 208-221
Conference Proceedings Title: Lecture Notes in Computer Science
Event location: Brasilia, BRA
ISBN: 9783032070203
DOI: 10.1007/978-3-032-07021-0_12
Semantic annotations enable services that make the knowledge in documents more accessible. In the case of ALeA, an adaptive learning assistant we use as a case study, they enable, for example, guided tours and practice problems tailored to the learner’s competencies. However, the cost of semantic authoring is substantial and tool support is limited. In this paper we discuss the nature of the semantic authoring task and argue that, while sharing aspects of both classical (informal) authoring and formal authoring, it is a task of its own that needs special editing support facilities. We present and evaluate a simple utility that supports the process of annotating technical terms with semantic references to a flexiformal content commons and increases annotation productivity by almost an order of magnitude.
APA:
Kohlhase, M., & Schäfer, J.F. (2026). Semantic Authoring in a Flexiformal Context — Bulk Annotation of Rigorous Documents. In Valeria de Paiva, Peter Koepke (Eds.), Lecture Notes in Computer Science (pp. 208-221). Brasilia, BRA: Springer Science and Business Media Deutschland GmbH.
MLA:
Kohlhase, Michael, and Jan Frederik Schäfer. "Semantic Authoring in a Flexiformal Context — Bulk Annotation of Rigorous Documents." Proceedings of the 18th International Conference on Intelligent Computer Mathematics, CICM 2025, Brasilia, BRA Ed. Valeria de Paiva, Peter Koepke, Springer Science and Business Media Deutschland GmbH, 2026. 208-221.
BibTeX: Download