GenEd 使用Common Lisp和CLIM编写的具有关于形式化推理的通用语义的编辑器,用于视觉表示法 关于 我拥有25年历史的Lisp归档文件中的另一个Common Lisp&CLIM(通用Lisp接口管理器)旧版软件:-)在2021年仍然可以完美运行。在32位Motif端口Ubuntu上使用LispWorks 6.1和CLIM进行了测试。 该程序写于1996年,是在汉堡大学计算机科学系Bernd Neumann认知系统实验室的一部分。 这项工作由Volker Haarslev监督,他的想法是通过描述逻辑定义(视觉形式主义或正式指定的视觉语言的)视觉语法和语义。 一个关键的创新功能是它能够利用CLASSIC Description Logic系统的ABox实现/ ABox实例分类服务对图形对象群进行分类。 图形元素的视觉语法和此类元素的星座可以通过将CLASSIC知识库加载到系