Resoning on Terms, если они используются повторно, ссылаясь на их URI

Question

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

Если онтологии импортированы, тогда аксиомы также импортируются в мою онтологию, поэтому разумный, очевидно, позаботится о импортированных аксиомах. Но если я повторно использую классы/свойства, ссылаясь на их URI, тогда аксиомы не импортируются в мою онтологию. Итак, мой вопрос заключается в том, будет ли разумник соблюдать правила, применяемые к указанным терминам?

==== Добавлено Позже

вместо копирования прошлого или OWL импорта, если термины повторно со ссылкой на их URI, то аксиомы не импортируются в целевой онтологии.

Но мой вопрос заключается в том, что если интернет доступен, тогда будет использоваться аргумент Fitch и аксиомы уважения к этому конкретному (повторно использованному) термину.

например, если я повторно использую nfo:fileSize, ссылаясь на semanticdesktop.org/ontologies/2007/03/22/nfo/#fileSize, поэтому, если в случае, если я подключен к Интернету, тогда разумный человек перейдет через Интернет, чтобы проверить аксиомы, применяемые к nfo: filesSize?

Answer 1

Ответ отрицательный, разумные эксперты не могут узнать больше аксиом в Интернете, если они представлены IRI класса или имущества. Они предназначены для использования всех и только аксиом в закрытии импорта их онтологии.

Однако существуют другие способы включения только части онтологии в новую онтологию с целью повторного использования классов и свойств с их первоначальным значением. Существуют такие методы, как модуляция и атомное разложение, которые позволяют вам выбрать подмножество аксиом онтологии, например, все аксиомы, используемые при определении определенного класса, которые вы затем можете скопировать.