Описание тега reasoning

Описание тега Вопросы с тегом
For questions relating to reasoning tasks that can be be performed by programming tools. To be used with relevant tool, language and environment tags. Not to be use for questions related to program logic or algorithms, or the act of human reasoning. Reasoning tools are based on either a rule engine, OWL, RDFS, and can be inclusions in tools such as Jena, Oracle Spatial, or add ons such as Pellet.
1 ответ

DisjointClasses ошибка при использовании opencyc owl в Java

В настоящее время я работаю над проектом по обработке естественного языка, пытаясь использовать openCYC в качестве КБ. В данный момент я просто пытаюсь загрузить онтологию и создать экземпляр аргумента, используя java owl api v3.4.8 и HermiT, однако…
05 янв '14 в 17:41
0 ответов

Как найти экземпляры, имеющие определенную связь с данным экземпляром в онтологии, используя FuXi?

Я разработал онтологию в Протеже, которая будет нести мои данные (как примеры онтологии) вместе с их отношениями друг с другом (я разработал ее на основе моего вопроса здесь). Созданный файл онтологии может быть найден здесь. Теперь я хочу использов…
07 июл '15 в 16:32
2 ответа

Рассуждать с Fuseki, TDB и именованными графами?

Я передаю набор данных, содержащий 10-20 именованных графов из набора данных TDB в Fuseki 2. Я хотел бы использовать рассуждение, чтобы сделать вывод о моих данных. Поведение, которое я хотел бы видеть, состоит в том, что тройки, выведенные на каждо…
16 фев '16 в 09:04
1 ответ

Оценить производительность алгоритма, который использует аргумент

Я разработал алгоритм (фрагмент кода Java), который находит конкретные пути (цепочки свойств) между двумя заданными классами в онтологии OWL-DL. Вот онтология На самом деле, рассудитель Пелле тратит слишком много времени, чтобы ответить на мои запро…
14 май '15 в 16:53
1 ответ

Каковы ограничения Jena OWL Reasoners?

Я проводил некоторые тесты с использованием Jena OWL Reasoner, но я не понимаю некоторые результаты, полученные, например, если у меня есть следующий KB: Class A Class B Class C rdfs:subClassOf A A owl:disjointWith B ... и если я спрошу "C owl:disjo…
25 фев '16 в 17:48
0 ответов

Рассуждая над "точно" и "некоторым" предложением

Это касается вывода, сделанного на Result класс по приведенной ниже онтологии. Прямо сейчас разум бежит с Goal определяется как эквивалент Goal and fulfilledBy only Requirement который не классифицирует это. Когда аксиома изменяется как Goal and ful…
30 май '18 в 06:48
1 ответ

Проверьте, является ли класс OWL доменом / диапазоном свойства

В примере hasProperty из хранилища owl-api: Чтобы проверить, должны ли экземпляры класса иметь свойство, мы создаем некоторые значения из ограничения, а затем запрашиваем выполнимость класса, пересекаемого с дополнением этого некоторых значений из о…
06 мар '17 в 17:00
1 ответ

Поддерживает ли Apache Jena обоснование ограничений OWL?

Перечисленные здесь возможности рассуждения OWL Йены, по-видимому, означают, что Jena поддерживает вывод над классами ограничений. Однако я не наблюдаю, чтобы это было правдой. В частности, у меня есть объект, который, как обнаружено, принадлежит к …
06 фев '18 в 18:01
0 ответов

Проблема с производительностью при перечислении утверждений предполагаемой модели

Я занимаюсь разработкой приложения с использованием Apache Jena для работы с тройками RDF и онтологиями OWL. Эта проблема То, что я сейчас пытаюсь сделать, это получить модель из тройного магазина TDB, сделать вывод об этой модели и найти некоторые …
31 май '16 в 13:10
1 ответ

SPARQL - получить утвержденный класс при включенном рассуждении

Когда в триплет-хранилище активируется рассуждение, следующий запрос SELECT ?classiri WHERE { ex:myElement rdf:type ?classiri } будет производить в результате: owl:Thing ex:Animal ex:Human ex:MaleHuman Есть ли способ получить только явно утвержденну…
13 апр '16 в 17:43
3 ответа

QCRs против функционального свойства

У меня есть вопрос по теме: SOF - головоломка Эйнштейна в OWL В сове все ограничения мощности основаны на функциональных и обратных функциональных свойствах свойств объекта. Я переделал его с помощью QCR. Старая модель (пример): man drinks some beve…
22 сен '14 в 06:22
1 ответ

Как классифицировать людей в классе в соответствии с его количеством

Я создал эту онтологию, которая содержит два класса Car, Person и свойство объекта hasCar, которое имеет Person в качестве домена и Car в качестве диапазона. Я хочу классифицировать людей (Persons) в multiCarOwner и OnlyCar person, вот онтология, ко…
15 ноя '15 в 00:14
0 ответов

Обоснование: отдельные лица на занятиях в сове

Я пытаюсь рассуждать с OWL в Protege. У меня есть человек, которого следует отнести к вегетарианской или мясной пицце, исходя из начинки. Это работает для мяса с hasTopping некоторого NotVeg, но это не работает с вегетарианцем для hasTopping только …
16 авг '16 в 08:30
1 ответ

Как новичок в рассуждениях на основе правил, как я могу получить базовые знания о компоненте Resoning в Apache Jena?

Точно так же, как Джена работает в рассуждениях или какие-то соответствующие документы в рассуждениях на основе правил? Спасибо большое.
27 июн '18 в 06:49
0 ответов

Пример алгоритма таблицы ALC

Я пытаюсь решить следующий пример, используя алгоритм таблицы для ALC. Учитывая следующее TBox T: A⊆B A⊆C B⊆∃R.D̸ C⊆∃R.D E⊆∀R.D̸ Скажите, является ли понятие А выполнимым. Поэтому я помещаю A (a) в свой ABox и запускаю алгоритм, получая: A0={((A̸∨B)∩(A̸…
20 янв '19 в 13:58
1 ответ

В то время как логическое условие цикла, логическая проблема, возвращающая сумму квадратов <= n (мой первый вход

У меня проблемы с логикой и рассуждениями с помощью цикла while, и я возвращаю сумму положительных чисел n и сумму входных n в квадрате. Пожалуйста, смотрите мой код и помогите, когда это возможно, спасибо. Упражнение было: /* Напишите короткий Java…
25 ноя '15 в 03:52
1 ответ

Моделирование суммы 2 или более лиц в Protege

Я пытаюсь использовать Protegé для решения следующей математической загадки: Найдите номер шестой цифры, в которой первая цифра на одну единицу больше, чем третья, вторая цифра на одну единицу меньше, чем четвертая, пятая цифра на одну единицу меньш…
30 янв '15 в 18:42
0 ответов

Как получить Dataproperty унаследованный от суперкласса

Я работаю над моей онтологией, используя owlapi и java, но не могу найти решение в таком случае: Здесь у меня есть структура класса, такая как: электроника Радио удобный Я создал людей для этих классов, имеющих то же имя, что и их класс. В классе эл…
14 июн '16 в 20:12
1 ответ

Каким должен быть результат этой онтологии?

Я изучаю веб-онтологию и логику описания. Я сталкивался с этим и был довольно смущен тем, что должно быть ответом: Это база знаний. Где Parent(X,Y) означает, что X является родителем Y. Parent(X,Y). Parent(Y,Z). Parent(X,Z). Parent(Z,M). Manager(Y).…
30 ноя '16 в 22:37
1 ответ

Как проверить согласованность ABOX с помощью Hermit Reasoner

Я пытаюсь научиться правильно использовать OWLAPI, но у меня возникают некоторые проблемы: у меня есть онтология, которая структурирует действия (например, индивидуальные и социальные действия); Моя цель - создать простой пример несоответствия, чтоб…
07 фев '18 в 17:43