如何解决HiOWL 2 QL和OWL 2 Full中的元建模
我正在阅读有关本体中的元模型的知识,但我不太了解是什么使OWL 2 Full中的元模型无法确定,以及什么使Hi(OWL 2 QL)中的元模型不可确定。有一点可能是OWL 2 Full没有强加严格的类型分离,但这不是元建模所必需的吗?如果不需要,那么在具有严格分离类型的Hi(OWL 2 QL)中元模型如何工作?如果有人用两种语言指出(不确定)可判定性的原因,那就太好了。谢谢你。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。