首页 > 解决方案 > 什么情况下可以在 PTIME 完成 OWL EL 中的查询回答?

问题描述

什么情况下可以在 PTIME 完成 OWL EL 中的查询回答?

OWL EL 中的联合查询回答可以在 EXPTIME 中完成,并且如果属性层次结构可以转换为多项式大小的非确定性有限自动机(https://www.w3.org/TR/owl2-profiles/#计算属性)。那么,在什么条件下可以将属性层次结构转换为多项式大小的非确定性有限自动机?

标签: time-complexityowlontologyfinite-automatadescription-logic

解决方案


推荐阅读