надеюсь, мой вопрос не тривиален или уже был дан ответ в другом месте.
Описание проблемы
Предположим, у нас есть база знаний DL K mySys = (T sys , A mySys ) , представляющая архитектуру программного обеспечения. Знания K mySys моделирует программные компоненты (например, API, хранилища, БД, серверы и т. Д.) и их связь (например, протоколы, полномочия, разрешения, поток данных и т. Д.). ) . Терминологическая часть T sys распределяется между несколькими возможными моделями, а утвержденная часть A mySys представляет собой экземпляр ресурсов, составляющих мое конкретное программное обеспечение.
Теперь давайте также предположим, что у нас есть DL «Знание предметной области» K d = (T d , A d ) , которое содержит определения понятий и ролей и, возможно, отдельных лиц определенной области. Это «Знание предметной области» можно рассматривать как дополнительные знания, которые мы хотим объединить с моделью нашего программного обеспечения для составления какого-либо отчета: например, он может содержать понятия, связанные с безопасностью, контролем доступа, криптографией.
Некоторые знания в K mySys "пересекаются" K d , а некоторые нет. Пересекающиеся знания важны для моделирования предметной области, а остальные нет и могут быть отброшены.
Вопрос
Есть ли процедура для:
- Используя людей из K mySys , создайте новый
онтология с утверждениями, выведенными из определений в
T d ?
- Исключить всю информацию, не относящуюся к домену d, то есть всех физических лиц в K mySys , которые
не принадлежат ни одному понятию в T d ?
- Включить
вся информация от T d , так что окончательная онтология
тип предметно-ориентированной модели исходной модели?
Вкратце: Как создать предметную область знаний K d поверх существующих людей из знаний K mySys ?
Я много гуглил по бумагам по этой проблеме и нашел результаты по слиянию онтологий, сопоставлению, сопоставлению, кое-что о проекциях и так далее ... но мне не кажется, что формулировка проблемы такая же, как в моем случае. Проблема смутно напоминает слияние, только то, что я хочу сохранить знания предметной области и отбросить несущественные системные знания.
Я немного растерялся ...
Это проблема проекции?
Это проблема слияния?
Может ли кто-нибудь указать мне на соответствующие исследования?