У меня небольшая проблема с моей онтологией! Мы работаем над онтологией, которая управляет умным домом. Итак, у нас есть такие объекты, как Столы, Двери, Лампы, .... Умный объект имеет: привод, который запускает действие, например, открытие...

У меня есть класс Person . Существует свойство типа данных Profession , значением которого для Person является {"Composer","Singer","Conductor"} . У меня есть другой класс, который называется Piece , и свойство объекта composedBy . Я хочу,...

В своей онтологии я смоделировал следующее: В клубе работает какой-то игрок, у игрока есть национальность, какая-то национальность, у игрока значение NationalStatus, значение National_Player, Country эквивалентно национальности. Я хочу, чтобы...

Внимание: вопрос новичка. Я пытаюсь смоделировать (в качестве упрощенного примера) собак с соответствующим числовым значением для набора классов, связанных с собакой, таких как «пушистость». Я запутался в том, как представить определенный тип...

Запрос о помощи, обозначающий ограничение домена пустым узлом. Рис. 1. Моделирование отношение "многие ко многим" с пустым узлом. Бизнес-правило: зачисление привязывает одного учащегося к одной секции один раз. Моя попытка:...

Используя логику описания (и соответствующий OWL-DL). Предположим, что у нас есть класс Meeting , который может сопровождать класс Professor , так что: couldBeAttendedBy domain Meeting couldBeAttendedBy range Professor и учтите, что...

В онтологии OWL задан класс Student ; Я хочу определить другой класс StudentsPair , представляющий собой любую пару учеников, таким образом, чтобы автоматически вычислялись все возможные двойные комбинации Student , т.е. Student(x) and Student...

Моя интуиция подсказывает, что невозможно перевести предложение все красные машины лучше всех синих в логику описания (в FOL это было бы ∀x∀y (красный(x) ∧ синий(y) → лучше(x,y)) интерпретируется в области автомобилей)....

Я пытаюсь понять следующий отрывок из урока DL в с точки зрения логики первого порядка (FOL). Прохождение Для представления множества индивидуумов, все дети которых женского пола, мы используем универсальное ограничение...