基于OIL和RDFS的语义化Web逻辑扩展

1引言Web的发展使得Internet能够迅速地普及,通过Web人们可以得到各种各样的服务.随着新的应用不断加入到Web应用,Web的发展面临着应用标准不兼容、语义定义不严格、有效性和结构化缺乏等大量问题.这些问题使得针对Web资源难以进行机器自动查询、检索.

利用自动机研究描述逻辑的推理问题

首先介绍如何把描述逻辑转化为一个不确定型有穷自动机,分析这种转化过程中存在的问题,在B.Nebel的基础上提出了利用自动机的最小化理论对上述得到的自动机进行优化处理,以提高推理的效率。