дз7
Описание файла
PDF-файл из архива "дз7", который расположен в категории "". Всё это находится в предмете "(мпзио) модели представления знаний и онтологии" из 11 семестр (3 семестр магистратуры), которые можно найти в файловом архиве МГУ им. Ломоносова. Не смотря на прямую связь этого архива с МГУ им. Ломоносова, его также можно найти и в других разделах. .
Просмотр PDF-файла онлайн
Текст из PDF
7Аксиомы на основе дескриптивной логикиИспользовалась логика ALCQ, с концептами Кухня, РаботникКухни, Повар, Блюдо, СетьРесторанов, Филиал, СотрудникРесторана, ВладелецРесторана, ОбеденныйЗал, УправляющийПерсонал, РаботникЗала, РаботникКухни, Помещение, ПомещениеДляПосетителей, ПроизводственноеПомещение, Медкнижка, Человек, ≥18 , Курьер, ≥14 , ВременнойИнтервал, Дата,Год, Месяц, День, Часы, Минуты, Секунды, ПродуктРастительногоПроисхождения, Фрукт, Овощ, ЗерновойПродукт, Ягода, Орех, Трава и ролямиответственный, готовит, has, age, должность.Аксиомы:1. Повар готовит хотя бы одно блюдо:Повар u (≥ 1 готовит.Блюдо);2.
Продукт растительного происхождения может быть фруктом, овощем,зерновым продуктом, ягодой, орехом или травой:Продукт ≡ Фрукт t Овощ t ЗерновойПродукт t Ягода t Орех t Трава;3. На должностях, отличных от курьера, может работать только совершеннолетний, курьер должен быть старше 14 лет:СотрудникРесторана ≡ Человек u (∃ age.≥18 u ∃ должность.¬Курьерt ∃ age.≥14 u ∃ должность.Курьер);4. У сети ресторанов ровно один владелец:СетьРесторанов u (= 1 has.ВладелецРесторана);5. Ответственный за кухню является работником кухни:Кухня u ∃ ответственный.РаботникКухни;6.
Ответственный за обеденный зал является либо работником зала, либоуправляющим персоналом:ОбеденныйЗал u ∃ ответственный.(УправляющийПерсонал t РаботникЗала);7. Сотрудники ресторана делятся на управляющий персонал, работниковзала, работников кухни, владельца ресторана и курьера:СотрудникРесторана ≡ УправляющийПерсонал t РаботникЗала t РаботникКухни t ВладелецРесторана t Курьер;8.
В филиале работает хотя бы один сотрудник:Филиал u (≥ 1 has.СотрудникРесторана);159. Помещения делятся на помещения для посетителей и производственныепомещения:Помещение ≡ ПомещениеДляПосетителей t ПроизводственноеПомещение;10. Работником кухни является работник ресторана с медкнижкой:РаботникКухни ≡ СотрудникРесторана u ∃ has.Медкнижка;11.
Временной интервал состоит из двух дат:ВременнойИнтервал u (= 2 has.Дата);12. Дата состоит из года, месяца, дня, часов, минут, секунд, причём не обязательно из всех:Дата u (∃ has.Год t ∃ has.Месяц t ∃ has.День t ∃ has.Часы t∃ has.Минуты t ∃ has.Секунды);13. В сети ресторанов есть хотя бы один филиал:СетьРесторанов u (≥ 1 has.Филиал);16.