1. На каких понятиях базируется дескрипционная логика? ДЛ оперирует понятиями концепт и роль, соответствующими в других разделах математической логики понятиям «одноместный предикат» (или множество, класс) и «двуместный предикат» (или бинарное отношение). 2. Из каких элементов состоит синтаксис логики ALC? Имена концептов Имена ролей Вещь Пустой класс Пересечение/конъюнкция/«и» Квантор «существование» Квантор «ограничение значения» Объединение/дизъюнкция/«или» Дополнение/отрицание 3. Какие элементы хранятся в TBox? Приведите пример. В TBox хранится набор аксиом. Примеры: Person ⊓ ∀ hasChild . Male Living_being ⊓ ¬ Human_being Student ⊓¬∃ interested_in . Mathematics Student ⊓ ∀ drinks . tea Person ⊓ ∀ hasChild . Male ⊓ ∃ hasChild .⊤ 4. Что такое Reasoner? Для чего он предназначен? Reasoner – это часть программного обеспечения для логических выводов из набора фактов или аксиом (Pellet, RACER, FACT++, Snorocket, HermiT, CEL, ELK, SWRL-IQ и TrOWL). Функционал: Проводить классификацию и показывать иерархию выводимых классов; Проверять согласованность, показывать несоответствия; Отвечать на запрос к базе знаний: выдать все наборы индивидов, которые удовлетворяют заданному запросу относительно заданной базы знаний. Определять тип индивида — принадлежность к определённому классу. 5. Какой элемент онтологии представляет вкладка Object Properties программы Protege? Пример. Object Properties – просмотр и редактирование свойств-отношений между индивидами; Пример: дружит, преподает, работает, учится. 6. Какой элемент онтологии представляет вкладка Data Properties программы Protege? Пример. Data Properties – просмотр и редактирование свойств-данных индивидов; Пример: дом, квартира, населенный пункт, страна и улица у адреса. 7. Какой элемент онтологии представляет вкладка Individuals by class программы Protege? Пример. Individuals by class – просмотр и редактирование экземпляров классов (индивидов); Пример: экземпляры класса Человек – Автор, Сотрудник, Читатель. 8. В каком виде представляет онтологии визуализация в программе Protege при выборе OntoGraf? OntoGraf – визуализация онтологии в виде графа; Пример: 9. Какого типа запросы позволяет сделать язык SPARQL? Типы запросов: SELECT запрос CONSTRUCT запрос ASK запрос DESCRIBE запрос 10.Какой результат возвращают DL-запросы к онтологии? Экземпляры класса