Недавно я изучил KRL (язык представления знаний) на курсе ИИ и обнаружил, что логика описания — это семейство формальных языков представления знаний для семантической сети. Кроме того, в логике описания более просто и удобно представлять знания, чем...

Я только что открыл для себя OWL и Protege. Прочитав эту справочную страницу (которая Я цитирую ниже), мне остается только задаваться вопросом, можно ли не использовать абстрактный синтаксис OWL, а лучше писать в синтаксисе DL. Я разбираюсь в...

У меня есть 2 свойства, например. 'hasColor' и 'hasFinish'. Я хочу выразить с помощью онтологии, что в случае класса онтологии A свойства 'hasColor' и 'hasFinish' равны (owl:equivalentProperty). Но в случае класса онтологии B свойства hasColor и...

Я столкнулся с другой проблемой... Я хочу добиться чего-то подобного: Я хотел сделать это с помощью RDFList, добавив необходимые свойства в список, а затем вызвать метод createUnionClass (или createIntersectionClass) и объединить их вместе....

Как я могу добавить квалифицированное ограничение количества элементов в Йене? Я не могу использовать createCardinalityQRestriction , потому что OntModelSpec предназначен для первой версии OWL, а не OWL2. В createOntologyModel ModelFactory есть...

У меня есть онтология, которая имеет: Классовый агент и групповое действие Список свойств данных (которые наследуют свойства ограничения свойств данных) имеет ОБЪЕДИНЕНИЕ домена (агент и действие) и примитив диапазона (пример hasMoney, hasTime)...

Я только начал изучать OWL с помощью Protégé 4.3, и теперь столкнулся с трудной проблемой. Я определил класс A с некоторыми суперклассами ограничений, которые гарантируют, что каждый A имеет значение свойства из P1 и P2, а каждый P1 и P2 имеет...

Дана онтология O, и пусть A, B два класса и свойства объекта P и Q такие, что: P домен A Диапазон P B А = 1П. Q P А = 1кв. Таким образом, чтобы доказать P Q, нам нужно только показать, что P Q, потому что у нас уже есть другое...

В онтологии OWL пусть будет: P Domain A P Range B A subClassOf P max 1 Thing Запрос DL (1) P max 1 Thing вернет А; ХОРОШО спрашивать (2) P exactly 1 Thing or P exactly 0 Thing также вернет A. Однако; спрашивая...

я новичок в dl. Я попытался адаптировать знания из этого сообщения: ">Как выразить этого человека в логике описания AKSW любезно помог мне описать аксиомы в дл. Я применил знания к своей модели. Я просто хотел перепроверить, не делая ошибок в...

owlapi предоставляет нам слияние классов, которое позволяет нам загружать онтологию из нескольких файлов/источников, а затем объединять их вместе. Теперь моя онтология разделена на две непересекающиеся части, то есть часть для аксиом TBox и часть для...

Я только начал читать о создании онтологий и использовании Protege. Одна из вещей, которую я хочу сделать, - это дать онтологию, которую я хочу выразить аксиомами, сгенерированными из онтологии, в формате логики описания. У меня следующие вопросы:...

Я пытаюсь смоделировать следующее утверждение в логике описания. Преподаватель-совместитель — это любое лицо, являющееся научным сотрудником и преподающее хотя бы один курс, который преподают другие Представление, о котором я подумал, это:...