Как извлечь / построить модель предметной области из базы логических знаний Description
Надеюсь, мой вопрос не тривиален или уже ответил в другом месте.
описание проблемы
Предположим, у нас есть база знаний 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?
Я много гуглил для статей по этой проблеме и нашел результаты по слиянию онтологий, сопоставлению, сопоставлению, кое-что о проекциях и так далее... но мне не кажется, что формулировка проблемы такая же, как в моем случае, Проблема в некоторой степени напоминает слияние, только то, что я хочу сохранить знания предметной области и отбросить не относящиеся к делу системные знания.
Я немного смущен...
Это проблема проекции?
Это проблема слияния?
Может ли кто-нибудь, пожалуйста, указать мне на соответствующие исследования?