另外一个是o.owl，里面定义了一些概念，同时import了p.owl。在class->create restriction的时候，导入的性质可以被显示出来，在property选项卡中，被导入的性质也可以被显示出来。

但是，当我想在o.owl中的Class->Property框中为一个概念“o1”增加已有的性质时，发现在p.owl中定义的性质并没有列在select property对话框中。这是为什么（如下图）？

此主题相关图片如下：

另外，顺便问一下，我对import的必要性还是不能充分理解，owl guide上面也没有说得很清楚。就是为什么需要import？owl guide上面只说"命名空间声明提供的是一种方便对其他本体定义的名称进行引用的方法。概念上，owl:imports用于表明包含目标本体中的声明。在导入另一个本体02时，在02中导入的其他本体也将被导入。不必为了使用OWL本体词汇，而导入owl.rdf本体。实际上，这样导入是不推荐的。"

那么，为什么要用import功能？所有的import都用命名空间申明不就可以了吗？虽然我知道在protege中这两种方式是有区别的。

------
另外一个是o.owl，里面定义了一些概念，同时import了p.owl。在class->create restriction的时候，导入的性质可以被显示出来，在property选项卡中，被导入的性质也可以被显示出来。
------
这个操作事实上是针对o.owl里面的class添加或修改allvaluesfrom等restriction，这个操作是在o.owl里面进行的，新添加或修改的属性约束代码应该是写在o.owl的类的定义的相应部分，这个并不会修改到p.owl，所以可以操作。

-------
但是，当我想在o.owl中的Class->Property框中为一个概念“o1”增加已有的性质时，发现在p.owl中定义的性质并没有列在select property对话框中。这是为什么（如下图）？
-------
这个操作实际上是“add this class to the domain of properties”，你把鼠标放到添加按钮上会有这个提示信息。那么很显然，如果这个地方显示p.owl中的属性，作者在这里修改的事实上是p.owl中相应属性的domain，这个是不合法的，所以不能操作。