користувачів. Lite підтримує тих користувачів, які потребують, насамперед, у класифікаційної ієрархії і простих обмеженнях. DL підтримує тих користувачів, які хочуть максимальної виразності без втрати повноти обчислень (всі висновки гарантовано будуть обчислюваними), і разрешаемості розважливих систем (всі обчислення завершаться в певний час). Full призначається для користувачів, які хочуть максимальну виразність і синтаксичну свободу RDF без обчислювальних гарантій. br/>
Вибір і обгрунтування механізму виведення рішення
.1 Вибір мови програмування здійснює на основі наступних критеріїв:
парадигма мови програмування;
вид типізація;
компилируемая або інтерпретованість коду;
управління пам'яттю;
стандартизація;
переносимість коду;
швидкість розробки;
швидкість виконання;
кількість споживаної пам'яті.
.2 Першим обраним критерієм є парадигма програмування, підтримувана мов.
Парадигма програмування - це сукупність ідей і понять, визначальна стиль написання програм. Парадигма, в першу чергу, визначається базової програмної одиницею і самим принципом досягнення модульності програми. В якості цієї одиниці виступають визначення (декларативне, функціональне програмування), дія (імперативне програмування), правило (продукційне програмування) та інші сутності. У сучасній індустрії програмування дуже часто парадигма програмування визначається набором інструментів програміста, а саме, мовою програмування і використовуваними бібліотеками. p> Парадигма програмування визначає те, в яких термінах програміст описує логіку програми. Існує кілька парадигм програмування, а саме:
) Імперативне програмування - це парадигма програмування, яка описує процес обчислення у вигляді посібників, змінюють стан програми. Імперативна програма дуже схожа на накази, що виражаються наказовим способом у природних мовах, тобто це послідовність команд, які має виконати комп'ютер. p>) Об'єктно-орієнтоване програмування - парадигма програмування, в якій основними концепціями є поняття об'єктів і класів.
) Функціональне програмування - парадигма програмування, в якій процес обчислення трактується як обчислення значень функцій в математичному розумінні останніх. Функціональне програмування припускає обходитися обчисленням результатів функцій від вихідних даних і результатів інших функцій, і не передбачає явного зберігання стану програми. p>) Декларативне програмування описує не стільки вирішення завдання, скільки саму задачу, а рішення вже має визначати комп'ютер.
) Рефлексивне програмування увазі можливість програми на даному мовою оперувати власним кодом як даними.
.3 Наступним обраним критерієм є вид типізації мови програмування. Типізація визначає безліч значень, набір операцій, які можна застосовувати до будь-яких значень у мові програмування і, можливо, спосіб реалізації зберігання значень і виконання ...
