如何使我的本体与现有的本体论保持一致？

Question

我正在寻找关于本体对齐的最佳方法的指导？目前，我正在使用protege进行本体建模。我喜欢使用现有本体中的其他类。但是，最好是(1)创建自己的类，然后将现有的类添加为equiavalentTo吗？或者(2)导入现有的本体或类/关系并使用它们作为开始？谢谢!

Answer 1

我不认为使用这两种方法都“更好”，但有一些因素可能会影响选择：

• 有些词汇表可能没有适当的本体，即术语没有任何可以导入的描述。您仍然可以直接使用词汇表中的术语，但您必须自己描述本体，才能使它们在逻辑上可用，否则可能会与其他也希望以这种方式使用词汇表的人发生冲突。

如果您只少量地使用外部本体，并且不希望自己描述所有的类和属性，因为它与现有的定义基本一致，当然没有必要“复制”它，因为导入使它变得不那么杂乱，并帮助已经熟悉其他本体的人理解您的类和属性。

如果要使用外部本体作为核心，则

• 取决于您正在创建的内容。如果您只是用新的概念扩展它，那么您的概念应该与来自外部本体的概念保持一致，因此导入它没有问题(原因与上面相同)。但是，如果您的本体有一些不同的焦点，您可能希望自己定义核心术语而不依赖其他本体，因为它可能会导致您决定它们并不是真正等效的(就像一个本体中的"Person“可能不等同于另一个本体中的"Person”)。当您不必重写本体的一半时，这样的选择将更容易做出。

最后要注意的是：owl:equivalentClass并不意味着类是相同的，只是它们共享了一组个体。你仍然可以给他们你自己的描述，链接到其他概念等，而不影响等价类，这些类仍然有自己的“身份”。这在数学上类似于Zorn的引理，良序定理和选择公理，它们在逻辑上都是等价的，但是他们有自己的维基百科文章，很明显它们是不一样的。