面向科学知识形式化与可视化的本体
人工智能
2021-07-15 v2 数字图书馆
计算机科学中的逻辑
摘要
本文所提出的科学知识对象本体的构建，是面向科学知识可视化方法开发的一部分。其动机在于：用于组织科学知识的那些概念（定理、定律、实验、证明等）虽出现于现有本体中，但这些本体无一以该主题为中心，且未以简单易懂的方式呈现它们。该本体通过以下方式构建：1）选取出现于高层本体或特定领域知识对象本体中的概念；2）访谈不同领域的科学家。我们已将该本体与部分所用来源对齐，从而验证了其相对于这些来源的一致性。本体的验证在于用它形式化来自不同来源的知识，我们已在物理学领域着手进行。
引用
@article{arxiv.2107.04347,
title = {An ontology for the formalization and visualization of scientific knowledge},
author = {Vincenzo Daponte and Gilles Falquet},
journal= {arXiv preprint arXiv:2107.04347},
year = {2021}
}