rdfs中有subPropertyOf属性可以声明一个属性是另一个属性的子属性
这个在OWL Full中可以使用
至于属性之间其他复杂的关系
OWL好像支持的不多

Q1.  以下是引用xinxing在2006-5-4 11:42:00的发言：
若有属性A，则必有属性B。该必要条件关系如何表达？

A1. 这个在OWL中是不能描述的。但是OWL能表达某个概念（或类）的必有属性。例如假定概念“Person”的必有属性是hasParent，则“Person”可以定义为：
Person=\exist hasParent.Person
上述表示式是利用开方世界假设（OWA）来体现概念的必有属性。

Q2. 以下是引用xinxing在2006-5-4 11:42:00的发言：
属性A和B都是xsd:date型，如何表达属性A的时间必然早于属性B的时间呢？

A2. 这个在OWL中是不能描述的。但可以考虑采用DL＋时序算子的方式描述。
参考文献
A Temporal Description Logic for Reasoning about Actions and Plans，
A Survey of Temporal Extensions of Description Logics

Q3. 以下是引用xinxing在2006-5-4 11:42:00的发言：
两个想来简单的关系，我在Protege中却没有看到有类似的owl词汇可以表达。在owl中好像大多是对一个属性进行限制，对属性的关系描述很少，少有的描述是“transitive”、“inverse”等，可以实现多个属性之间关系的表达，但其他属性间的关系就无法表达，这样owl要表现的本体智能化体现不出来呀。

A3. OWL是在表达能力和推理复杂度之间找了trade-off，即在保证判定性的条件下尽可能的丰富表达能力。这就是逻辑。

subPropertyOf在OWL Lite和OWL DL中也可以使用的。OWL DL与OWL Full的区别在于：
OWL DL不支持RDF的Reification，而OWL Full支持。也就是说OWL Full支持Classes as Property values。在OWL DL中一个对象属性的取值只能是个体不能是概念（或类），但OWL Full允许属性的取值是概念（或类）。W3C上有篇文章介绍了如何用OWL DL来表达Classes as Property values。

Representing Classes As Property Values on the Semantic Web, http://www.w3.org/TR/swbp-classes-as-values/.

好像有点误会superc_7的意思，误以为superc_7指subPropertyOf仅能在OWL Full。Sorry

此外还有一些其他RULE的原型系统，比如DR-DEVICE,NLP-DL，但是尚未称为W3C标准，而且不能下载。

OWL之所以不能支持对属性的构造，是因为它必须要保证可判定性。对属性过强的支持会使得OWL的模型丧失tree-model特性，而正是这种特性保证了OWL-DL/LITE的可判定性。因此，人们才提出使用规则来弥补这种表达能力上的欠缺（实际上规则的提出还有很多别的原因，这只是其中的一种）。SWRL是在本体层构建Horn规则，虽然它的表达能力也很有限，但是也在一定程度上弥补了这个不足。SWRL之上更强的规则如何定义，目前也在研究之中。

wolfel，列举几条来听听。。。

此外，对于非单调推理的支持，规则也比本体处理得更好。

基本同意，有一些具有Logic Programming背景的人正在试图将DL与LP结合，利用LP的Negation as Failure的特性实现非单调推理。但有一个问题是开放世界假设和封闭世界假设的矛盾。

其实在本体层之上构建规则，如果是异构方法的话倒也不必非要顾及开放世界假设，因为在规则层做的推理可能恰恰需要封闭世界的。这个要根据具体的应用需求决定。至少我现在看到的很多不错的工作都没有完全局限于这个问题。

A2. 这个在OWL中是不能描述的。但可以考虑采用DL＋时序算子的方式描述。
参考文献
A Temporal Description Logic for Reasoning about Actions and Plans，
A Survey of Temporal Extensions of Description Logics

-----------------
但是即使是用“DL＋时序算子”成功描述了这样的情况，有没有相应的api来解析和操作它呢？
jena似乎不支持这样的描述，没办法编程啊？

说到同构和异构，我想稍稍反驳一下你的观点中的一部分。

这是《语义网简明教程》中的东西吧？
看了描述逻辑之后感觉上述说法都存在问题啊
或者说描述逻辑表示知识的方式和这里所说的不太一样
DL中最根本的就是概念和关系还有实例，可以考虑加规则
而概念间最基本的关系只有subClassOf