arXiv:2507.13759cs.AI2025-07

OntView让语义网知识库可视化更直观,所见即所得。

OntView: What you See is What you Meant

  • 基于本体逻辑推理,动态展示真实推断出的知识结构
  • 首次支持广义概念包含(GCI)的图形化呈现
  • 提供摘要、聚焦视图和动态隐藏等防过载功能,适合知识工程人员

在知识管理与计算机科学领域,本体为特定领域知识提供了结构化建模框架,定义了概念及其关系。然而,缺乏有效的可视化工具仍是重大挑战。尽管存在众多本体编辑器与查看器,大多数无法以有意义且不混乱的方式图形化表示本体结构,限制了用户对大型本体框架中依赖关系与属性的理解。本文提出OntView,一个面向用户的本体查看工具,通过友好界面直观展示概念及其形式化定义。该系统依托描述逻辑推理机,遵循“所见即所想”原则,呈现实际推断出的知识。其关键优势在于支持广义概念包含(GCI)的可视化,而现有工具普遍缺失此功能。为避免信息过载,OntView还提供三种简化视图方式:1)根据多种算法评估概念重要性生成本体摘要;2)聚焦于两个给定类之间的TBox元素;3)动态隐藏/显示分支而不损失语义。OntView已开源,供整个社区使用。

原文摘要 · Abstract (English)

In the field of knowledge management and computer science, ontologies provide a structured framework for modeling domain-specific knowledge by defining concepts and their relationships. However, the lack of tools that provide effective visualization is still a significant challenge. While numerous ontology editors and viewers exist, most of them fail to graphically represent ontology structures in a meaningful and non-overwhelming way, limiting users' ability to comprehend dependencies and properties within large ontological frameworks. In this paper, we present OntView, an ontology viewer that is designed to provide users with an intuitive visual representation of ontology concepts and their formal definitions through a user-friendly interface. Building on the use of a DL reasoner, OntView follows a "What you see is what you meant" paradigm, showing the actual inferred knowledge. One key aspect for this is its ability to visualize General Concept Inclusions (GCI), a feature absent in existing visualization tools. Moreover, to avoid a possible information overload, OntView also offers different ways to show a simplified view of the ontology by: 1) creating ontology summaries by assessing the importance of the concepts (according to different available algorithms), 2) focusing the visualization on the existing TBox elements between two given classes and 3) allowing to hide/show different branches in a dynamic way without losing the semantics. OntView has been released with an open-source license for the whole community.

本体可视化知识图谱DL推理语义网

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。