Вопросы по теме 'reasoning'
Программирование деонтической логики
Мне нужно написать правила для деонтической логики, есть ли какой-нибудь язык программирования для этого? Я видел пролог и сейчас учусь, но как выразить деонтическую логику в ПРОЛОГЕ? пожалуйста помоги
666 просмотров
schedule
15.06.2022
Семантика Крипке: доступно обучающее программное обеспечение?
Я застрял на семантике Крипке и задаюсь вопросом, есть ли educational software , с помощью которого я могу проверить эквивалентность утверждений и т.д., так как я начинаю думать, что его легче учить на примере (даже если на абстрактных...
952 просмотров
schedule
18.03.2022
Обсуждение правил SWRL с помощью Pellet в Jena Framework
Я пытаюсь использовать структуру Jena для редактирования существующей онтологии, созданной с помощью Protoge 4.2. т. е. изменить значения свойств или добавить отдельных лиц или классы, а затем выполнить рассуждения. Предположим, что в онтологии у...
1241 просмотров
schedule
24.01.2023
Ошибка при импорте класса java в скрипт jruby
Я хочу использовать резонер HermiT в своем скрипте jruby, как описано здесь http://hermit-reasoner.com/java. HTML . Как описано там, я должен иметь HermiT.jar в своем пути к классам. Поэтому мне потребовался файл jar, а также я хочу импортировать...
65 просмотров
schedule
27.04.2022
Вставка операторов в тройные хранилища
У меня вопрос по вставке и удалению операторов в тройных хранилищах, таких как Virtuoso, Stardog, 4store, Allegrograph, Oracle11g.
При вставке нового оператора вставляют ли выведенные операторы в хранилище или используют алгоритмы рассуждений при...
226 просмотров
schedule
31.10.2023
Jena Reasoner удаляет операторы из infModel
У меня есть онтология, в которой я запускаю jena Reasoner с пользовательскими правилами. Теперь я хочу добавить новые данные (экспериментальные результаты) в модель и удалить некоторые старые данные, если модель станет слишком большой (из-за проблем...
181 просмотров
schedule
12.05.2023
Включить Reasoning для запроса SPARQL через Jena?
Проблемная среда:
Мне нужно получить доступ к некоторым данным RDF, хранящимся на виртуальном сервере, через SPARQL. Для того графика, к которому я хочу получить доступ, должно быть включено рассуждение. На стороне клиента должна использоваться...
351 просмотров
schedule
28.04.2023
Поддерживает ли Virtuoso полное рассуждение OWL?
Я прочитал руководство по Правилам вывода и рассуждениям для Virtuoso. В примере 16.14.9 упоминалось следующее:
SQL>ttlp ('
<john1> a <person> .
<john2> a <person> .
<mary> a <person> ....
914 просмотров
schedule
22.11.2023
Как доказать прекращение длины рекурсивного списка?
Допустим, у нас есть список:
List = nil | Cons(car cdr:List).
Обратите внимание, что я говорю о списках, которые можно изменять! И тривиальная рекурсивная функция длины:
recursive Length(List l) = match l with
| nil => 0
|...
418 просмотров
schedule
19.02.2022
При рассуждении условия цикла, логическая проблема, возвращающая сумму квадратов ‹= n (мой первый ввод
У меня проблемы с моей логикой и рассуждениями с циклом while, и я возвращаю сумму положительных чисел n и сумму входов n в квадрате. Пожалуйста, посмотрите мой код и помогите, если это возможно, спасибо.
Упражнение было следующим: /* Напишите...
699 просмотров
schedule
23.07.2022
Определение индивидов класса как комбинации индивидов другого класса
В онтологии OWL задан класс Student ; Я хочу определить другой класс StudentsPair , представляющий собой любую пару учеников, таким образом, чтобы автоматически вычислялись все возможные двойные комбинации Student , т.е.
Student(x) and Student...
38 просмотров
schedule
02.01.2023
получение всех типов, например, с помощью owl api 3.4.10 и jfact 1.2.1
Я использовал Protege для создания онтологии. Он состоит из двух базовых классов. Каждый из них имеет три подкласса. Подклассы — это классы с определенными свойствами объектов и данных. Когда я делаю экземпляр, я делаю его отдельным классом, но с...
157 просмотров
schedule
13.04.2022
Reasoner в Protege не работает с ограничениями/мощностями
В настоящее время я создаю/модифицирую большую онтологию. Поскольку у меня были проблемы с определением ограничений, я построил очень короткий пример: у меня есть класс EuropeanCountry и класс IslandCountry:
<owl:Class...
692 просмотров
schedule
01.09.2022
Как проверить консистенцию ABOX с помощью Hermit Reasoner
Я пытаюсь научиться правильно использовать OWLAPI, но у меня возникают некоторые проблемы: у меня есть онтология, которая структурирует деятельность (например, индивидуальную и социальную деятельность); моя цель — создать простой пример...
179 просмотров
schedule
12.05.2023
Аллегографические рассуждения
Знакомлюсь с магазинами RDF на примере Allegrograph. Одна из частей, которая меня интересует, это рассуждения. Я взял пример отсюда: https://franz.com/agraph/support/documentation/6.4.3/agraph-introduction.html и пытаемся заставить его работать....
117 просмотров
schedule
21.02.2024
Смелое/Осторожное рассуждение в клинго
В руководстве Clingo есть два режима, называемых осторожным и храбрым, которые представлены следующим образом:
смелый Вычислите смелые последствия (объединение всех наборов ответов) логической программы.
осторожно Вычислить...
356 просмотров
schedule
09.10.2022