本体论与OWL语言概要.pptVIP

5 Properties 关系（5） [3] Logical characteristics of properties owl:TransitiveProperty 可传递关系 P(x, y) and P(y ,z) implies P(x, z). owl:SymmetricProperty 对称关系 P(x, y) iff P(y, x). 6 Individuals 个体 Individual identity owl:sameAs and owl:sameIndividualAs 相同个体 两个个体完全一样（就是一个） owl:differentFrom 与不同 owl:AllDifferent 均不同 这两者的区别在于： A differentFrom (B, C, ..)只保证A和B、C不同 A AllDifferent (B, C, ..)保证A、B、C互不相同 7 Datatypes 数据类型 RDF Datatypes RDF数据类型 指向XML Schema Datatypes xsd:boolean xsd:int xsd:time xsd:andURI….. 数据值就是RDFS类rdfs:Literal的实体 Enumerated datatypes 枚举数据类型 owl:oneOf 8 Three sublanguages 三种子语言 (1) RDF和RDFS OWL Full OWL DL OWL Lite 8 Three sublanguages 三种子语言 (2) Every legal OWL Lite ontology is a legal OWL DL ontology. （所有合法的OWL Lite实体肯定是合法的OWL DL实体） Every legal OWL DL ontology is a legal OWL Full ontology. （所有合法的OWL DL实体肯定是合法的OWL Full实体。） Every valid OWL Lite conclusion is a valid OWL DL conclusion. （所有合理的OWL Lite结论肯定是合理的OWL DL结论。） Every valid OWL DL conclusion is a valid OWL Full conclusion. （所有合理的OWL DL结论肯定是合理的OWL Full结论。） 8.1 OWL Full 包含所有的OWL语言结构，允许完全不受约束的OWL和RDF的混合 ( owl:Class和rdfs:Class等同,OWL DL和OWL Lite中，owl:Class是rdfs:Class的子类） 允许class被当作individual等等 数据属性值也被看成个体。即：Object properties和datatype properties不是脱节的 结合OWL的表达能力和RDF的灵活性 丧失了OWL DL和OWL Lite提供的在推理系统系统中提供的保证 8.2 OWL DL (1) classes, datatypes, datatype properties, object properties, individuals, data values and built-in vocabulary：彼此区分开，不能兼有 object properties和datatype properties是完全脱节的。也就是说：inverse of（相反）, inverse functional（反函数）, symmetric（对称）和transitive（传递）不可用于datatype properties Transitive properties（传递关系）不能被限制cardinality 匿名类只允许在特定的情况下出现 所有的描述必须是很完整的，不能有冗余或者遗漏部分，必须是树状结构 8.2 OWL DL (2) OWL DL类如果引入OWL Full类则变成OWL Full类 OWL DL的是在保证完全的可推理的前提下的OWL Full的最大子集。 8.3 OWL Lite (1) 遵守所有OWL DL的限制。除此之外： 允许三种形式的类公理 rdfs:sub