基于规则的 OWL 建模：ROWLTab Protege 插件
人工智能
2018-08-31 v1 数据库
计算机科学中的逻辑
摘要
有观点认为，使用规则而非 OWL（或描述逻辑（DL））公理来传达逻辑陈述要容易得多。基于近期关于规则与描述逻辑之间转换的理论进展，我们开发了 ROWLTab，一个允许用户通过规则输入 OWL 公理的 Protege 插件；该插件随后尽可能将这些规则自动转换为 OWL 2 DL 公理，并在无法在不削弱规则语义的情况下进行转换时提示用户。本文介绍 ROWLTab，并针对其与使用标准 Protege 界面输入公理相比的有效性进行用户评估。我们的评估表明，使用 ROWLTab 建模比标准界面快得多，同时对于困难建模任务也更不易出错。
关键词
引用
@article{arxiv.1808.10108,
title = {Rule-based OWL Modeling with ROWLTab Protege Plugin},
author = {Md. Kamruzzaman Sarker and Adila Krisnadhi and David Carral and Pascal Hitzler},
journal= {arXiv preprint arXiv:1808.10108},
year = {2018}
}
备注
Accepted at ESWC 2017