KBSET——基于知识的学术编辑与文本处理支持工具：采用声明式 LaTeX 标记并以 SWI-Prolog 编写核心
人工智能
2020-05-12 v1 计算与语言
摘要
KBSET 是一个为学术编辑提供支持的环境，有两种形式：第一，作为实用工具 KBSET/Letters，它伴随通信集（特别是 18 和 19 世纪的通信）版本的完整开发，从源文档到 PDF 和 HTML 呈现；第二，作为原型工具 KBSET/NER，用于实验性地研究以自动化命名实体识别为中心的新型版本工作方式。KBSET 能够处理以 LaTeX 记号表达的声明式应用特定标记，并整合通常以 RDF 提供的大型外部事实库。KBSET 包含专门开发的 LaTeX 样式和一个用 SWI-Prolog 编写的核心系统，其中 Prolog 被用作多种角色，利用了其作为统一语言的潜力。
引用
@article{arxiv.2002.10329,
title = {KBSET -- Knowledge-Based Support for Scholarly Editing and Text Processing with Declarative LaTeX Markup and a Core Written in SWI-Prolog},
author = {Jana Kittelmann and Christoph Wernhard},
journal= {arXiv preprint arXiv:2002.10329},
year = {2020}
}
备注
To appear in DECLARE 2019 Revised Selected Papers