RuleML 入门(未完成版)

免责声明

此文档提供的信息是初始版本

RuleML 入门
概要此文档解释RuleML，规则标记语言。RuleML是在万维网上发布和共享规则的标记语言。RuleML是XML，RDF，XSLT和OWL的子集。数据存储语言核心RuleML的核心就是基于数据存储的洪氏逻辑语言。数据记录和SQL，Prolog语言存在交集。所以这些可以看做一种展现数据库或者表数据的编程。所以，在数据记录中，我们定义的facts可以看做表中的数据行，rules是隐式定义视图中的表。RuleML 数据记录，作为一种标记语言，关联的所有信息可以使用自然语言来表达。为了说明数据记录着一功能，我们使用RuleML开发了一个例子使用自然语言规则的RuleML。这个例子是”获得资格“功能在Terry Moriary's 商业逻辑规则中。语句：Peter Miller‘s 上一年花费了至少5000EUR。她可以转化成一下RuleML的数据记录<Atom>  <Rel>spending</Rel>  <Ind>Peter Miller</Ind>  <Ind>min 5000 euro</Ind>  <Ind>previous year</Ind></Atom这段标记语言可以看做一个语法树，Tags作为不是终点的节点，比如'Atom'，叶子节点，比如'Rel':
通过观察Tags，