Alex He

摘要： 1. 逻辑，特别是谓词逻辑(一阶逻辑)是知识表示的基础。 2. Specializations of Predicate Logic:RDF and OWL 描述逻辑(description logic)是谓词逻辑的子集，就像Horn子句一样，RDF/S 和 OWL (Lite and DL) 基本上可以与描述逻辑对应。 3. 描述逻辑与Horn逻辑Description Logics vs. H... 阅读全文

摘要： 1. RDF一般限于指定二元谓词关系，RDFS一般限于指定类和属性的层次关系还有定义于这些属性之上的domain和range。需要这样的本体语言，让用户显示的书写正式概念化的领域模型，这就需要这种语言具有定义良好的语法、有效的推理能力、正式的语义、有效的表达能力和方便表达。 2. 对语义和推理的支持一般是要把本体语言映射到逻辑形式上去，通过在这些逻辑形式上的自动推理工具完成语义化。OWL一般映射到... 阅读全文

摘要： 1. RDF数据模型的基本单位是object-attribute-value三元组(也称为一个声明)。XML Schema限制了XML文档的结构，但是RDF Schema定义了RDF数据模型中使用的词汇(vocabulary)。 In RDFS we can define the vocabulary, specify which properties apply to which kinds o... 阅读全文

摘要： 1. HTML文档不是结构化的信息。 XML中可以对元素的值进行定义(正则); XML让内容和显示分开; 2. XML schema将逐步取代DTD；XPath用户存取和查询XML文档；使用XSL和XSLT转换显示XML文档； 3. 一个XML文档由文档头、一些元素和可选的文档尾组成： 1) 文档头Prolog <?xml version="1.0" encoding="UTF-16"?> <?... 阅读全文