Описание тега reasoner
Термин "рассуждающий" обычно применяется к машинам логического вывода, которые выводят логические следствия из фактов и аксиом, написанных на языках онтологий.
0
ответов
База знаний RDF/OWL: Python или Java?
Я пытаюсь создать базу знаний, которая имеет онтологию, я хочу добавить к ней больше данных, где я использую эти данные для выполнения запросов типа графа. Я также хочу создать своего рода граф знаний, чтобы извлечь данные из документов и поместить …
08 дек '18 в 05:44
1
ответ
Reasoner в Джене не работает
Хорошо, у меня есть XML-файл, в котором хранится суперкласс "SentenceFromUser" с подклассами некоторых случайных вопросов (например, "что вы делаете") (сделано с ограничениями: hasWordOnFirst кое- что и т.п. (что такое человек) Затем я определил суп…
24 авг '17 в 12:53
0
ответов
Выводы кода owl-api с использованием аргумента
Используя этот простой код в онтологии людей, я получил некоторые выводы, которые я не могу понять, как они даются, я знаю, что это делается путем логического вывода, так как я использую рассуждение, то, что я ищу, - это то, как он может сделайте св…
12 окт '17 в 16:15
1
ответ
Pellet owl api 2.4.0 и java.lang.NoSuchMethodError: org.semanticweb.owlapi.model.OWLObjectPropertyDomain
Используя pellet-2.4.0, получаю ту же ошибку при запуске моего приложения: Исключение в потоке "main" java.lang.NoSuchMethodError: org.semanticweb.owlapi.model.OWLObjectPropertyDomainAxiom.getProperty()Lorg/semanticweb/owlapi/model/OWLPropertyExpres…
21 июн '17 в 03:44
0
ответов
OWLReasoner - Как получить свойства объекта, которые имеют указанный класс в качестве своего домена?
Есть ли в OWLReasoner метод, который позволяет вам получить все свойства объекта, у которых в качестве домена указан указанный класс? Например, учитывая приведенную ниже онтологию city rdf:type owl:Class country rdf:type owl:Class isCaptialOf rdf:ty…
12 окт '17 в 20:20
0
ответов
Как получить индивидов, которые соответствуют свойствам объекта?
Я пытаюсь получить всех людей, которые связаны через свойство объекта (скажем, здесь isSameAs). Для этого мне нужно загрузить мыслителя-отшельника, чтобы получить всех людей. В моем коде я не могу связать людей через логический вывод. Мой вопрос: ка…
16 янв '19 в 08:27
1
ответ
Замкнутый мир мыслитель протеже
Заставить человека стать "экземпляром" класса с помощью "ровно одного ограничения", похоже, не работает с аргументами по умолчанию в протеже. Есть ли другой способ, кроме аксиомы замыкания или рассуждения о замкнутом мире?
30 апр '18 в 01:12
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
(Спасибо за комментарии, я обновляю свой код и вопрос. Может быть, это будет полезно для других.) Обновить Я делаю несколько процессов редактирования в одной онтологии, в конце я понял, что моя онтология противоречива. Теперь я должен избавиться от …
15 окт '18 в 13:26
0
ответов
Когда при разработке системы QA, основанной на знаниях, необходимо использовать аргумент типа jena?
По моему мнению: Запросите ответ из трех кортежей RDF, если ответа нет, попробуйте рассуждать. Используйте рассуждение, чтобы завершить график знаний в автономном режиме, чтобы сэкономить время онлайн-запроса.
19 май '18 в 16:21
2
ответа
Как рассуждать или делать выводы в Neo4j?
Я создал семантический график в Neo4j. Есть ли возможность использовать OWL-рассуждение в Neo4j? Или любой двигатель вывода? Хотя здесь уже упоминалось, я не могу найти никакого решения или API для этого. Благодарен за любой совет!
21 июн '17 в 14:21
1
ответ
OWL Онтология: как написать определение класса дополнения?
Разумщик не может классифицировать классы под классом A, который определен как дополнение другого класса B. Я создал минимальный пример онтологии OWL (на основе известного примера пиццы) в протеже 5, чтобы проиллюстрировать эту проблему. Есть два кл…
21 фев '19 в 12:07
2
ответа
Как получить класс персонажа в OWL API
Как привести класс индивидуума в сову с мыслителем OWLOntologyManager manager = OWLManager.createOWLOntologyManager(); OWLOntology ontology = manager.loadOntologyFromOntologyDocument(new StringDocumentSource(KOALA)); IRI ontologyIRI = IRI.create("ht…
04 дек '17 в 07:55
1
ответ
Система рассуждений AI
Мне интересно, есть ли какая-нибудь система / инфраструктура, способная выполнить какой-то человеческий процесс мышления, например: Context: A is a pen Question: is A vertical or horizontal Reasoning process: 1. horizontal is anything parallel to th…
03 апр '18 в 20:31
0
ответов
Смысл OWL не работает для "min" кардинальности (но работает для "some")
Я создаю простую онтологию в Protege, есть проблема с рассуждениями о кардинальности. Ниже представлена игрушечная модель онтологии. Есть три случая A, B, а также C, что у каждого есть 1, 2 и 3 hasOwner собственность соответственно. Есть три :Onwe…
03 дек '18 в 06:16
0
ответов
Как получить значение свойства Inferred Object в OWLAPI
У меня есть онтология, созданная в Protege, с классами, свойствами и связанными с ними экземплярами. Рассматривая одно свойство объекта, я хочу найти все экземпляры в онтологии, совместно использующие одно и то же свойство объекта - для этого я пере…
19 окт '17 в 12:07
1
ответ
SPARQL - это рассуждение?
Я пишу магистерскую диссертацию о связанных данных в архивах, и мне было интересно, не могли бы вы помочь мне с вопросом. Я прочитал эту книгу о LD и пришел с этим предложением: SPARQL - это язык запросов тройных хранилищ RDF, но язык запросов выход…
08 фев '18 в 13:09
2
ответа
Проверка непротиворечивости с использованием алгоритма Эрмита в Python для онтологии
Я использую API-интерфейс owlready2 для Python, чтобы загрузить онтологию и проверить согласованность для этой онтологии с помощью функции sync_reasoner(). Но кажется, что он не проверяет последовательность для онтологии. Хотя есть ошибка, это ничег…
03 июл '18 в 06:06
1
ответ
Сова вывод: Как получить класс лиц после загрузки онтологии
У меня онтология ведьмы создана в протеже, вот это У меня 2 класса (подросток и взрослый). У меня есть человек Джон с dataProperty hasAge. В протеже я получаю класс Джона в соответствии с его возрастом. (так что моя онтология работает хорошо) Теперь…
05 дек '17 в 15:51