用规则建模OWL:ROWL Protege插件
人工智能
2018-08-31 v1
摘要
根据我们的经验,一些本体用户发现使用规则而非OWL(或描述逻辑)公理来表达逻辑语句要容易得多。基于近期关于规则与描述逻辑之间转换的理论进展,我们开发了ROWL,一个Protege插件,允许用户通过规则输入OWL公理;该插件随后尽可能将这些规则自动转换为OWL DL公理,并在这种转换不可避免地削弱规则语义时提示用户。
引用
@article{arxiv.1808.10104,
title = {Modeling OWL with Rules: The ROWL Protege Plugin},
author = {Md. Kamruzzaman Sarker and David Carral and Adila A. Krisnadhi and Pascal Hitzler},
journal= {arXiv preprint arXiv:1808.10104},
year = {2018}
}
备注
Accepted at ISWC 2016