Описание тега hermit
HermiT - совместимый модуль рассуждений OWL 2 DL, использующий прямую семантику. Он поддерживает все конструкции OWL 2 DL и типы данных, требуемые спецификацией OWL 2.
1
ответ
Создание ограничения регулярных выражений для класса OWL
Я пытаюсь создать простую онтологию, которая имеет два класса: class1 и class2,- и два экземпляра, которые имеют простое свойство текстовых данных с тем же именем (hasName: "string1"^^xsd:string и hasName "string2"^^xsd: строка соответственно). Я хо…
19 июл '17 в 10:42
2
ответа
Нарисовать кривую Эрмита на холсте браузера (JavaScript)
Я пытаюсь нарисовать кривую отшельника на холсте браузера. Кривая Эрмита определяется в терминах 2 точек и 2 производных. Point1X = 71 Point1Y = 165 Deriv1X = -12 Deriv1Y = 2 Point2X = 210 Point2Y = 153 Deriv2X = 108 Deriv2Y = 0 Я могу рисовать толь…
03 мар '17 в 09:19
1
ответ
NoSuchMethodError OWLDisjointClassesAxioms.getOperandAsList ()
NoSuchMethodError: org.semanticweb.owlapi.model.OWLDisjointClassesAxiom.getOperandsAsList() Я хотел создать неудовлетворительный класс и перечислить его с помощью рассуждения HermiT. Я прошел некоторые примеры кодов и сумел написать один. Исходный к…
06 июн '18 в 07:24
1
ответ
Не знаю, как получить свойство объекта из онтологии в Java с отшельником
В частности, я пытаюсь получить свойство объекта из класса: я пытаюсь понять, когда класс является частью какого-то другого класса (использованную конструкцию можно увидеть на скриншоте). Я уже пытался использовать функцию OWL-API getObjectPropertie…
23 янв '19 в 09:50
1
ответ
Как отключить вывод в hermiT
Я использую OWL-Api и модуль hermiT, пытаясь получить подклассы partOf с помощью hermiT, он возвращает правильный результат, поэтому подклассы partOf, но также возвращают подклассы логического вывода (которые мне не нужны). Эта функция используется …
04 фев '19 в 14:05
1
ответ
NoSuchMethodError при создании экземпляра HermiT
Я пытаюсь создать экземпляр рассуждения HermiT, но консоль продолжает показывать исключение "noSuchMethodError". В частности это ошибка из консоли Java: Caused by: java.lang.NoSuchMethodError: org.semanticweb.owlapi.model.OWLOntologyID.getDefaultDoc…
27 фев '19 в 13:59
1
ответ
Как проверить согласованность ABOX с помощью Hermit Reasoner
Я пытаюсь научиться правильно использовать OWLAPI, но у меня возникают некоторые проблемы: у меня есть онтология, которая структурирует действия (например, индивидуальные и социальные действия); Моя цель - создать простой пример несоответствия, чтоб…
07 фев '18 в 17:43
1
ответ
Разные результаты рассуждений между Stardog и Protege
Я пытаюсь понять, почему я получаю разные результаты между рассуждениями Stardog и Protege. У меня есть следующая онтология в обоих инструментах: Число Class: Number Number DisjointUnionOf OddNumber,EvenNumber Нечетное число OddNumber subClassOf Num…
12 апр '17 в 15:18
1
ответ
Hermit и OWLApi для получения утверждений о свойствах объекта
Я пытаюсь получить утверждения о свойствах от разумного (отшельника 1.3.8.4) и OWLApi (3.4.10). На этой картинке я хочу получить "дедушка Сандро, дедушка Серхио". Picture - утверждения свойств объекта Я пытаюсь использовать ответ Игнацио в: /questio…
15 фев '18 в 16:44
0
ответов
Как я могу запросить людей, которые рассуждают из класса с sparql wh
Я начал анализатор Fact++ в Protege, и теперь я хочу запросить аргументированных людей из этого класса C. SELECT ?x WHERE { ?x rdf:type ex:C.} Этот запрос не дает никакого результата. Могу ли я запрашивать rasoned контент из sparql в Protege или SPA…
23 июн '18 в 13:16
0
ответов
Как получить индивидов, которые соответствуют свойствам объекта?
Я пытаюсь получить всех людей, которые связаны через свойство объекта (скажем, здесь isSameAs). Для этого мне нужно загрузить мыслителя-отшельника, чтобы получить всех людей. В моем коде я не могу связать людей через логический вывод. Мой вопрос: ка…
16 янв '19 в 08:27
0
ответов
Как я могу получить все предполагаемые ObjectProperties класса с OWLAPI 5.0 и Hermit Reasoner в Java?
Я пытаюсь получить объектные свойства класса, но не получить другой выведенный класс, даже используя транзитивные отношения, но DLQuery показывает все выведенные классы со свойством объекта
25 окт '18 в 00:23
0
ответов
Проверка несоответствия рассуждений отшельника и потребление памяти
Я использую Hermit через Protege, чтобы проверить согласованность моей модели OWL. Однако кажется, что онтологии, которые я импортирую в мою модель, приводят к сбою из-за нехватки памяти. Я работаю на ПК с 16 ГБ ОЗУ и даже когда использую Xmx14500M …
20 дек '17 в 08:51
2
ответа
OWL HermiT проверка отладки
Я использую HermiT v1.3.8.4 с OWLAPI v3.5.6 и столкнуться с проблемой, когда reasoner.isSatisfiable(clazz) работает вечно Есть ли способ проверить, что делает HermiT, то есть способ получить отладочную информацию? Моя текущая настройка выглядит прим…
21 фев '17 в 19:35
1
ответ
Эквивалентный класс для переходного свойства
У меня есть свойство объекта partOf который является переходным. И я хочу сказать, что: a partOf Year затем a это Term b partOf Term затем b это Course И одновременно: a partOf Knowledge_Group затем a это Knowledge_Area b partOf Knowledge_Area затем…
04 июн '18 в 21:03
0
ответов
Масштабируемость онтологии OWL (большая или маленькая)
Я собираюсь создать онтологию, содержащую более 500 000 простых фактов, и обосновать ее отшельником или Пелле (это может быть, скажем, 1 000 000 фактов). И я хотел бы сохранить полученные результаты в хранилище данных RDF (чтобы реализовать их обраб…
15 фев '19 в 07:29
1
ответ
Разумник-отшельник - SPARQL-запрос
Я использую Hermit Reasoner с OWL-API 5 следующим образом: OWLOntologyManager manager= OWLManager.createOWLOntologyManager(); //create the manager OWLOntology ontology=manager.loadOntologyFromOntologyDocument(new File("ontologies/E1G1.owl")); OWLDat…
29 мар '18 в 14:27
0
ответов
Может ли OWL-аргумент наследовать диапазоны свойств данных от родительских свойств?
Может ли OWL-аргумент наследовать диапазоны свойств данных от родительских свойств? Например, есть свойство data "hasEventYear". Он имеет домен "Персона" и диапазон "xsd:integer". Когда добавляется подпрограмма "hasBirthYear", рассуждатель сообщает,…
05 окт '18 в 08:25
1
ответ
Сбросьте выводы sync_reasoner
Я использую Python-модуль owlready2 в локальной онтологии.Я подключил конечную точку API для отправки запросов по этой онтологии.Мне нужно отправить несколько запросов на оригинальную онтологию, а некоторые - на обновленную (с выводами) онтологию. К…
22 сен '18 в 18:54
0
ответов
Смысл OWL не работает для "min" кардинальности (но работает для "some")
Я создаю простую онтологию в Protege, есть проблема с рассуждениями о кардинальности. Ниже представлена игрушечная модель онтологии. Есть три случая A, B, а также C, что у каждого есть 1, 2 и 3 hasOwner собственность соответственно. Есть три :Onwe…
03 дек '18 в 06:16