«Математика» 2009 2

Бесконечные ленивые маркированные деревья

Авторы: В. С. Ульянов
Аннотация:

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

Ключевые слова: онтологии, Онтобокс, интерфейс, деревья, семантический веб
УДК: 510.62, 004.82
Литература: 1. Baader, F. The Description Logic Handbook: Theory, Implementation, Applications / F. Baader, D. Calvanese , D.L. McGuinness, D. Nardi, P.F. Patel-Schneider. – Cambridge. – 2003. – P.574.
2. Schmidt-Schauss, M. Attributive concept descriptions with complements / M. Schmidt-Schauss,G.Smolka// ArtificialIntelligence. –1991. –V.48. –P.1–26.
3. Малых, А.А. Логические архитектуры и объектно-ориентированный подход / А.А. Малых, А.В. Манцивода, В.С. Ульянов // Вестник НГУ. Серия: Математика, механика, информатика. – 2009. – Т9. – №3. – С. 64-85.
4. The Semantic Web [Электронный ресурс]. – Режим доступа: http://www.w3.org/2001/sw/ – Загл. с экрана.
5. The NCBI Entrez Taxonomy. [Электронный ресурс]. – Режим доступа: http://www.ncbi.nlm.nih.gov/sites/entrez?db=taxonomy – Загл. с экрана.
6. Web Ontology Language (OWL). [Электронный ресурс]. – Режим доступа: www.w3.org/2004/OWL – Загл. с экрана.
7. Malykh, A. A Query Language for Logic Architectures. / A. Malykh, A. Mantsivoda// AcceptedforPSI’09. –[Электронныйресурс].–Режимдоступа: http://meta2project.org/ru/psi09.pdf – Загл. с экрана.
8. Berners-Lee, T. The Semantic Web / T. Berners-Lee, J. Hendler ,O. Lassila. // Scientific American. – 2001. – V.5. – P.34-43.