OWL Lite语言的构词（constructs）

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学习笔记一》