OWL Lite语言的构词(constructs)
时间:2009-08-14 来源:sinkingboat
RDF Schema特性:
* Class (Thing, Nothing)
* rdfs:subClassOf
* rdf:Property
* rdfs:subPropertyOf
* rdfs:domain
* rdfs:range
* Individual (不)等价性:
* equivalentClass
* equivalentProperty
* sameAs
* differentFrom
* AllDifferent
* distinctMembers 属性特征:
* ObjectProperty
* DatatypeProperty
* inverseOf
* TransitiveProperty
* SymmetricProperty
* FunctionalProperty
* InverseFunctionalProperty 属性约束:
* Restriction
* onProperty
* allValuesFrom
* someValuesFrom 受限基数:
* minCardinality (仅仅0或1)
* maxCardinality (仅仅0或1)
* cardinality (仅仅0或1) 头信息:
* Ontology
* imports 类的交集:
* intersectionOf 版本信息:
* versionInfo
* priorVersion
* backwardCompatibleWith
* incompatibleWith
* DeprecatedClass
* DeprecatedProperty 注解属性:
* rdfs:label
* rdfs:comment
* rdfs:seeAlso
* rdfs:isDefinedBy
* AnnotationProperty
* OntologyProperty 数据类型:
* xsd datatypes
OWL DL和Full概要: 类的公理:
* oneOf, dataRange
* disjointWith
* equivalentClass (可应用于类表达式)
* rdfs:subClassOf (可应用于类表达式) 类表达式的布尔组合:
* unionOf
* complementOf
* intersectionOf 任意的基数:
* minCardinality
* maxCardinality
* cardinality 填充值信息:
* hasValue
摘自《OWL学习笔记一》
* Class (Thing, Nothing)
* rdfs:subClassOf
* rdf:Property
* rdfs:subPropertyOf
* rdfs:domain
* rdfs:range
* Individual (不)等价性:
* equivalentClass
* equivalentProperty
* sameAs
* differentFrom
* AllDifferent
* distinctMembers 属性特征:
* ObjectProperty
* DatatypeProperty
* inverseOf
* TransitiveProperty
* SymmetricProperty
* FunctionalProperty
* InverseFunctionalProperty 属性约束:
* Restriction
* onProperty
* allValuesFrom
* someValuesFrom 受限基数:
* minCardinality (仅仅0或1)
* maxCardinality (仅仅0或1)
* cardinality (仅仅0或1) 头信息:
* Ontology
* imports 类的交集:
* intersectionOf 版本信息:
* versionInfo
* priorVersion
* backwardCompatibleWith
* incompatibleWith
* DeprecatedClass
* DeprecatedProperty 注解属性:
* rdfs:label
* rdfs:comment
* rdfs:seeAlso
* rdfs:isDefinedBy
* AnnotationProperty
* OntologyProperty 数据类型:
* xsd datatypes
OWL DL和Full概要: 类的公理:
* oneOf, dataRange
* disjointWith
* equivalentClass (可应用于类表达式)
* rdfs:subClassOf (可应用于类表达式) 类表达式的布尔组合:
* unionOf
* complementOf
* intersectionOf 任意的基数:
* minCardinality
* maxCardinality
* cardinality 填充值信息:
* hasValue
摘自《OWL学习笔记一》
相关阅读 更多 +