Описание тега description-logic
Description logics (DL) is a family of formal knowledge representation languages. It is more expressive than propositional logic. Additionally, it has more efficient decision problems than first-order predicate logic.
0
ответов
Объекты раскраски данных
Извините за возможно глупый вопрос, но я борюсь с проблемой, касающейся ограничений в журнале данных. Я в основном должен раскрасить 2 объекта двумя разными цветами. Проблема в том, что ограничение, которое я должен определить для "2 объектов не мож…
02 май '18 в 19:29
1
ответ
Объявление как суб-, так и супер-свойств в данных экземпляра, или просто суб-свойств?
Если у меня есть простая онтология, которая включает в себя аксиому subproperty: ex:hasChair rdfs:subPropertyOf ex:hasParticipant . Я хочу утверждать, что "Пол Пилл был председателем примерной конференции, а Джек Джилл был участником примерной конфе…
17 июл '14 в 09:02
0
ответов
Как извлечь / построить модель предметной области из базы логических знаний Description
Надеюсь, мой вопрос не тривиален или уже ответил в другом месте. описание проблемы Предположим, у нас есть база знаний DL K mySys = (T sys, A mySys), представляющая программную архитектуру. Знания K mySys моделирует программные компоненты (например,…
14 ноя '18 в 17:16
1
ответ
Как выразить этого человека в описании логики
Я хочу выразить это в dl, представление Protege. Как я могу выразить индивидуальный инклюзивный gateway1 типа inclusiveGateway? {inclusiveGateway} ≡ (inclusivegateway1) (inslusiveGateway2) name: inclusiveGateway id: inclusiveGateway1 gatewaydirectio…
29 июл '16 в 16:06
1
ответ
Почему суперкласс не включает экземпляры подклассов в Protégé
У меня очень простая иерархия классов, указанная в OWL, с Protégé. Например: -Person --Man --Woman То есть каждый мужчина - это человек, а каждая женщина - это человек. Когда я включаю экземпляры "Мужчина" и "Женщина", я ожидаю, что эти экземпляры т…
18 фев '16 в 13:54
4
ответа
Почему OWL Full неразрешима?
Я все время думал о том, почему OWL Full неразрешима, но я не нашел простого для понимания примера, который заставил бы меня понять его. Я нашел утверждения, которые объясняют, что это происходит из-за "Завершения Entailment", и это также связано с …
14 окт '17 в 02:47
2
ответа
В чем разница между этими двумя "характеристиками" в логике описания
Я не знаю, если вы называете это утверждение или нет, но у меня есть этот вопрос в чем разница между этими двумя statments: A ⊑ B ⊓ C а также A ASSERTA_SYMBOL = B ⊓ C извините, я не знаю, как написать ASSERTA_SYMBOL, но это на этом изображении реаль…
27 июн '15 в 18:32
1
ответ
Моделирование предметной области с использованием онтологии, особый случай
Использование логики описания (и соответствующей OWL-DL). Рассмотрим класс Meeting на котором мог присутствовать класс Professor, чтобы: couldBeAttendedBy domain Meeting couldBeAttendedBy range Professor и считают, что Professor может быть Assistant…
09 июн '16 в 12:25
1
ответ
Как доказать, что что-то * не * может быть переведено в логику описания?
Моя интуиция говорит, что невозможно перевести предложение все красные машины лучше всех синих машин в описание логики (в FOL это будет ∀x∀y (красный (x) ∧ синий (y) → лучше (x,y)) интерпретировать в области автомобилей). Действительно, единственной…
29 апр '17 в 16:54
1
ответ
Обоснованные тройные утверждения из аксиом онтологии
Давайте рассмотрим очень простую аксиому в онтологии, которая гласит, что все cheesypizza - это пиццы с начинкой из сыра. В представлении OWL сырная пицца будет представлена как подкласс ограничения свойства has-toppping. Тем не менее, я хотел бы …
12 сен '14 в 08:43
1
ответ
Известная мотивация для нескольких SubPropertyOf?
В OWL/DL возможно иметь свойство / роль, которая является Sub[Object/Data]PropertyOf/subrole более чем одного свойства / роли, но я никогда не находил мотивирующий пример в документации W3C OWL или в статьях DL, Знаете ли вы о каких-либо опубликован…
17 фев '15 в 15:49
1
ответ
Написание онтологий в синтаксисе DL?
Я только что открыл OWL и Protege. Прочитав эту справочную страницу (которую я цитирую ниже), я задаюсь вопросом, можно ли не использовать абстрактный синтаксис OWL, а писать в синтаксисе DL. Мои знания основаны на логике, поэтому звучит так, что бы…
29 ноя '12 в 05:50
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
0
ответов
В чем разница между рассуждениями DL и Прологом?
Я думал о рассуждениях в онтологиях. Каковы различия между возможностями inrecen между мыслителями DL (такими как Hermit, Pellet и т. Д.) И Prolog? Я имею в виду, давайте предположим, что у меня есть База знаний, содержащая онтологию (общие аксиомы)…
29 окт '18 в 00:25
2
ответа
Правила SWRL не выводят новые утверждения свойств объекта и данных
Я создал эту онтологию, которая содержит два класса: уровень сахара в крови и службы. Blood-Sugar имеет два свойства данных: hasValu с диапазоном xsd: int и hasStatut с диапазоном xsd:string. Свойство объекта triggerService имеет Blood-Sugar в качес…
04 фев '14 в 00:41
0
ответов
Есть ли онтология для представления физических формул?
Есть ли онтология для представления физических формул, таких как U=R*I?
08 мар '18 в 15:14
1
ответ
Сова 2 ролификация
В логике описания есть понятие, называемое "rolification" ( OWL и Rules, раздел 3.2). Он преобразует концепт (класс) в роль (свойство). Например, когда мы свертываем R(x), мы получаем r(x,x), Этот метод полезен для выражения некоторых правил в DL. К…
07 июн '13 в 16:38
3
ответа
Как добавить квалифицированный кардинал в JENA
Как я могу добавить квалифицированное ограничение кардинальности в Йене? Я не могу использовать createCardinalityQRestriction поскольку OntModelSpec для первой версии OWL, а не OWL2. В createOntologyModel ModelFactory есть способ создать онтологию O…
13 дек '13 в 08:29
0
ответов
Protégé мыслитель не выводит подкласс
У меня есть небольшая онтология, определенная как показано на следующем рисунке: Я создал человека для Dataset и один для Algorithm, Я ожидал, что reasoner будет выводить Algorithm индивидуальный как Linear_Least_Regression, но этого не произошло. Э…
21 окт '18 в 20:23
1
ответ
Как выразить, что экземпляры с одинаковыми значениями разных классов являются экземплярами другого класса?
У меня есть четыре класса: A, B, C и S. Класс A имеет предполагаемые экземпляры i1 и i2, которые основаны на условии числового значения (в эквиваленте To). Класс B имеет предполагаемые экземпляры i3 и i4, которые основаны на условии числового значен…
21 июн '18 в 12:27