Формальна модель подання знань у системі онтологічного моделювання задач

2013;
: сс. 21 – 30
Authors: 
Буров Є.В.

In this paper we propose a formalization of ontology-based task execution modeling system. It is built using approach of algebraic systems theory. We show that proposed algebraic system is based on multiple domains, which can be used for ontological models representation and knowledge elucidation, storage and processing

1. Gruber, T.R. A translation approach to portable ontology specifications / Gruber, T.R. // Knowledge Acquisition. — 1993. — vol 5. — P.199—220.
2. Codd E.F. Relational Completeness of Data Base Sublanguages/Codd E/F//Database systems. — 1972, vol 54, #2.-P.65-98.
3. Плоткин Б.И. Универсальная алгебра, валгебраическая логика и базы данных / Б.И. Плоткин. — М.: Наука, 1991. — 446 с.
4. Бениаминов Е.М. Алгебраические методы в теории без данных и представлений знаний / Бениаминов Е.М. — М.: Научный мир, 2003. — С.184.
5. Koo B Algebra of systems: a metalanguage for model synthesis and evaluation / Koo B, Simmons W. // IEEE Transactions on systems, man and
cybernetics, vol 39, N 3, may 2009
6. Буров Є.В. Концептуальне моделювання інтелектуальних програмних систем: монографія / Є.В. Буров. — Львів: Вид-во Львівської політехніки, 2012. — 432 с.
7. Mitsuri Ikeda. Task ontology: Ontology for building conceptual problem solving models/ Mitsuri Ikeda, Kazuhisa Seta, Osamu Kakusho, Riichiro Mizoguchi. // Workshop note of application of ontologies and problem-solving meyhods, ECAI98, 1998
8. Johnson, Peter. Task-Related Knowledge Structures: Analysis, Modelling and Application / Johnson Peter, Johnson Hilary, Waddington Ray, Shouls, Alan// Knowledge Creation Diffusion Utilization, 1988. — P. 35–62
9. Van Welie Martin. An Ontology for Task World Models / Van Welie, Martijn, Van Der Veer, Gerrit C Eliëns // Methods, v. 98, 1998. — P. 57–70.
10. Raubal Martin. Ontology-Based Task Simulation/ Raubal M., Kuhn W. // Spatial Cognition and Computation, v.4, 2004. — P. 15–37
11. Seta Kazuhisa. Building ontologies for conceptual model management / Seta Kazuhisa, Koyama Kazuya, Hayashi Yusuke, Ikeda Mitsuru // WSEAS Transactions on Information Science and Applications, v.3, 2006 . — P. 546–553.
12. Erl, T. SOA Principles of Service Design. / Erl, T. — Prentice Hall, 2007.

Буров Є. В. Формальна модель подання знань у системі онтологічного моделювання задач / Є.В. Буров // Вісник Національного університету "Львівська політехніка". – 2013. – № 770 : Інформаційні системи та мережі. – С. 21–30. – Бібліографія: 12 назв.