lektsia 11

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-запросы к онтологии?
Экземпляры класса