Положить ограничения на OWL Imports

Question

Я хотел бы знать, можно ли установить некоторые ограничения на сову: импорт.

Например: Я хочу импортировать foaf, потому что я хочу использовать семантику foaf: Person and foaf: Organization. Но я не разделяю семантику foaf: Image (я хочу, чтобы семантика «Image» была определена в моем пространстве имен).

Итак, я не хочу foaf: изображение и его отношения должны быть импортированы в мою онтологию. Можно ли установить ограничения, так что foaf: Изображение не появится в моей модели ...?

Я понимаю, что это может противоречить предположению «открытого мира» ... и/или, может быть, я не совсем понимаю «импорт» меканизма.

спасибо заранее.

Answer 1

Директивы импорта не имеют такого рода детализацию, я боюсь.

Answer 2

Вы не можете сделать это с помощью owl:imports, но это не вопрос открытого мира или закрытого мира. Это чисто основано на том, как должно работать owl:imports. В принципе, то, что говорит owl:imports, «возьмите все термины и аксиомы, которые вы найдете на этом URL-адресе и делаете, как если бы они были частью моей онтологии». Это тоже работало бы в замкнутой мировой семантике.

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

Что вы можете сделать, если хотите придерживаться частей онтологии FOAF, - это просто скопировать термины деклараций и аксиом, с которыми вы согласны в своей онтологии. Например:

ex:myOnto a owl:Ontology . 
    foaf:Agent a owl:Class; 
     rdfs:isDefinedBy foaf: . 
    foaf:Person a owl:Class; 
     rdfs:subClassOf foaf:Agent; 
     rdfs:isDefinedBy foaf: . 
    foaf:Organization a owl:Class; 
     rdfs:subClassOf foaf:Agent; 
     rdfs:isDefinedBy foaf: . 

Обратите внимание, что rdfs:isDefinedBy не очень полезно с точки зрения семантики, но признать тот факт, что они были заимствованы из другой онтологии. Некоторые люди могут подумать, что это плохая практика, в том смысле, что вы определяете термины, на которые у вас нет полномочий (в том смысле, что вы не владеете пространствами имен, где их можно найти), но это лучший Я могу думать.