中文

用规则建模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