新科学想法 › 文献管理 › 浏览文献

Initial Results on the F-logic to OWL Bi-directional Translation on a Tabled Prolog Engine

twinsen 添加于 2010-6-5 15:54 | 1885 次阅读 | 0 个评论

作者
Fodor P
摘要
In this paper, we show our results on the bi-directional data exchange between the F-logic language supported by the Flora2 system and the OWL language. Most of the TBox and ABox axioms are translated preserving the semantics between the two representations, such as: proper inclusion, individual definition, functional properties, while some axioms and restrictions require a change in the semantics, such as: numbered and qualified cardinality restrictions. For the second case, we translate the OWL definite style inference rules into F-logic style constraints. We also describe a set of reasoning examples using the above translation, including the reasoning in Flora2 of a variety of ABox queries.
详细资料
- 关键词: cs.AI; cs.SE
- 文献种类:期刊
- 备注:arXiv:0808.1721v1
标签

Description Logic F-Logic Flora2
相关链接 URL
附件
Initial Results on the F-logic to OWL Bi-directional Translation on a Tabled Prolog Engine