Отображение между двумя онтологиями

Question

Как я могу использовать owl:sameas для связи между двумя онтологиями?

Если у меня есть онтология A

:c rdf:type owl:Class .

и онтология Б

:d rdf:type owl:Class .

Я хочу связать две онтологии с общими понятиями (:c и:d), я читал о owl:sameas, но он используется только в одной онтологии между экземплярами похожих классов в онтологии.

Я хотел бы связать между классами: c и class: d из двух онтологий, каково решение для этого?

Answer 1

Я читал о owl:sameas, но он используется только в одной онтологии между экземплярами похожих классов внутри онтологии.

owl: sameAs, как вы заметили, указывает на то, что один человек совпадает с другим человеком. Если вы хотите сказать, что два класса эквивалентны, то вы должны использовать аксиому эквивалентного класса в форме C owl: эквивалента класса D.

Когда вы пишете онтологию A и определяете класс C, но хотите указать, что он эквивалентен некоторому классу D, определенному в онтологии B, у вас есть два варианта:

1. Вы можете объявить класс в вашей онтологии с тем же IRI, что и у D. Таким образом, вы переопределяете класс D в своей онтологии, а затем просто говорите, что C эквивалентен D. Если кто-то импортирует и вашу онтологию, и другую онтологию, у них будет аксиома, которая утверждает, что эти два класса эквивалентны.
2. Вы можете импортировать другую онтологию, чтобы импортировать объявление класса D. Затем вы просто добавляете аксиому эквивалентного класса в свою онтологию.

Второй из них, на мой взгляд, является лучшим вариантом в большинстве случаев. Если вы собираетесь приравнивать свой класс к чьему-либо другому, то любые рассуждения, выполненные над вашей онтологией, вероятно, должны учитывать аксиомы, утвержденные в другой онтологии, поэтому вы должны импортировать их. Если вы не планируете делать какие-либо рассуждения вообще, то импорт по существу игнорируется, но вы все равно следуете хорошей практике, позволяя другим знать, что существуют некоторые другие определения, которые имеют отношение к делу.

Единственный случай, когда я думаю, что импорт не будет хорошей идеей, - это если другая онтология несовместима, или если это не онтология OWL, а, возможно, словарь RDF или что-то в этом роде. В этих случаях исходная семантика класса может не совпадать с вашей, и было бы лучше избежать импорта (хотя, возможно, вы также захотите избежать аксиомы эквивалентного класса, если классы на самом деле не являются эквивалент).