List of issues > Series «Mathematics». 2009. Vol. 2
Infinite Lazy Marked Trees
This paper is focused on the construction of interfaces to knowledge description systems based on ontologies. The ’elite’ nature of logic, on which knowledge management system sarebased, complicates the development of interfaces for the mass of users. In this paper an approach is proposed, which is based on the concept of infinitelazy marked trees. Soundness and implementation issues of the approach are also considered.
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.