本体编辑器（ontor）

基于Owlready2构建的本体编辑器

功能性

ontor 类的每个实例都代表一个单独的本体，并提供以下支持：

• 创建新的、加载现有的和保存本体
• 修改本体：
  • 导入其他本体
  • 简单地提取公理和类限制等信息
  • 插入类、属性、实例、关系和限制
  • 使用 Owlready2 的解决方法插入一般类公理
  • 删除类、属性、实例、关系和限制，但通过适当地重新分配子类和实例来保留本体的结构
• 通过交互删除有问题的公理对本体进行推理和调试
• 可视化整个本体或其选定部分

ontor 为本体编辑提供基于元组的语法和 JSON 和 CSV 支持，以方便关注本体的内容

要求和安装

• Python 3.9+
• 使用 pip 安装 ontor
  • 来自 PyPI：pip install ontor
  • 来自 GitHub，处于可编辑模式：pip install -e .
• 使用docs/中的 makefile 通过 sphinx 生成文档：make html

演示

目录example/包含一个受Protégé 的披萨示例启发的演示应用程序

一般类公理

除了类公理之外，通用类公理 (GCA) 可以表达更复杂的语句 - 通用公理
在示例中使用辅助类等价，为所有带有海鲜配料的比萨设置统一价格 5，而不使用明确定义的这些比萨饼的类：\

[
  ["has_topping",null,"min",1,"seafood_topping",null,null,null,null,null,null,null,true],
  ["has_price",null,"value",null,null,"float",null,null,5,null,null,null,true]
]

这允许推理者推断所有seafood_pizza 实例以及Another_pizza实例的价格为5

交互式调试

在示例中以交互方式调试本体
：ontor3.debug_onto()

可视化

可视化焦点节点周围给定半径内的选定实例、类和属性；例如，示例中节点“John”周围两个关系半径内的所有节点
：ontor3.visualize(classes=["human", "pizza"], properties=["likes", "diameter_in_cm"], focusnode="John", radius=2)

工作流程

从头开始创建本体时，请注意某些函数必须按特定顺序调用：

1. add_taxo - 必须首先创建分类法以确保定义所有类，这是属性、公理和个体所需的
2. add_ops , add_dps - 必须在指定公理之前定义属性
3. add_axioms , add_gcas , add_instances - 只有在定义了所有必要的类和属性后才能添加公理和实例

执照

GPL v3.0

接触

费利克斯·奥克 - felix.ocker@googlemail.com