Описание тега fact++
The new generation of FaCT OWL-DL reasoner, based on C++.
3
ответа
QCRs против функционального свойства
У меня есть вопрос по теме: SOF - головоломка Эйнштейна в OWL В сове все ограничения мощности основаны на функциональных и обратных функциональных свойствах свойств объекта. Я переделал его с помощью QCR. Старая модель (пример): man drinks some beve…
22 сен '14 в 06:22
1
ответ
Извлечь предполагаемый заполнитель свойства объекта в онтологии OWL
Как я могу получить для каждого класса в моей онтологии O всех (предполагаемых) экзистенциальных ограничений? Мой текущий подход состоит в том, чтобы перебрать все пары классов и свойств объекта и проверить, выполняется ли ограничение: для каждого п…
08 дек '16 в 12:59
1
ответ
Сравните значения свойств данных с помощью Protege и Fact++
Используя протеже, я пытаюсь сравнить строковые значения со свойствами данных. Например: У меня есть класс страны, и в этом классе у меня есть человек со свойством данных hasCountryName, установленным в "England". Я использую определенный класс, и я…
21 мар '14 в 10:29
2
ответа
Reasoner не возвращает экземпляры owl:Thing, но Abox содержит экземпляры
У меня есть две онтологии, photo1 и index. Фото1 содержит утверждения ABox, а индекс содержит утверждения Tbox. OWLOntologyManager manager = OWLManager.createOWLOntologyManager(); OWLOntology photo1 = manager.loadOntologyFromOntologyDocument(new Fil…
30 июл '13 в 16:43
1
ответ
FaCT++ рассуждение для OWL Protege
Я скачал OWL Protege 4.3. Я построил онтологию и хочу проверить согласованность заданной конфигурации. Я совершенно новичок в этом программном обеспечении и не знаю, как использовать faCT++ с OWL Protege. Я вижу, что могу выбрать рассуждения из "Rea…
25 дек '13 в 08:13
1
ответ
Как сохранить результат рассуждения FaCT++ или HermiT в Protege
Я использую Protégé 4.3 и хочу сохранить результаты анализа в файл онтологии. Когда я остановил мыслитель, все результаты исчезли. Как я могу сохранить результаты?
15 апр '14 в 09:19
1
ответ
Какие типы данных поддерживаются FACT ++?
Я работаю в онтологии, но когда я использовал FACT ++ в Protege, FACT ++ выдает мне ошибку. Я читал об ошибке типов данных в FACT ++, но не могу найти типы данных, поддерживаемые FACT ++. Я читаю в http://owl.cs.manchester.ac.uk/tools/fact/ и де MAi…
29 авг '16 в 14:15
2
ответа
Как установить мышку для протеже 4.х
Привет я новичок в протеже Я скачал Protege 4.0.2 и сделал в нем онтологию, но, похоже, у меня нет никаких оснований для проверки его согласованности. он также показывает вкладку "Разумный", но после выбора факта ++ я не вижу никаких изменений. если…
09 фев '15 в 18:31
0
ответов
Почему рассуждения OWL-DL так эффективны?
Мне всегда было трудно понять, почему рассуждения OWL-DL так эффективны в реальных приложениях. Например, я часто использую онтологии, которые находятся во фрагменте ALCQI и обрабатываются рассуждателем Fact++, и хорошо известно, что выполнимость ко…
24 мар '20 в 13:23
0
ответов
Реализуйте логику Fact ++ в OWLAPI5
Как я могу добавить аргумент Fact++ в свое приложение OWLAPI5? Я добавил зависимость Fact++ в pom.xml, но когда я запустил, я получил это исключение: Exception in thread "main" uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException: org.semanticweb.…
01 июн '20 в 12:13
1
ответ
Факт установки ++: фатальная ошибка: jni.h: нет такого файла или каталога
Я устанавливаю библиотеку FACT++, но когда делаю make, получаю такую ошибку: cc1plus: warning: /usr/lib/jvm/java-11-openjdk-amd64/include/jni.h: not a directory In file included from Axioms.cpp:21:0: uk_ac_manchester_cs_factplusplus_FaCTPlusPlus.h…
15 июн '21 в 12:22