KB - это набор предложений в форме a ⇒ b1 ∨ · · · ∨ bn, где b может быть положительным или...

Существует класс MotionPoint, эквивалентный (синтаксис Protege) (geosparql:asWKT exactly 1...

У меня есть факты, такие как (claim (name Employee) (field 'EmpName' 'Company')...

У меня проблема с "рассуждением о механике". Я создал онтологию и хотел бы понять некоторые детали...

Я построил онтологию в протеже, которая имеет следующие аксиомы: Platform hasLocation SpatialThing...

Я хочу проверить экземпляры на соответствие минимальным ограничениям мощности моей онтологии.Для...

У меня есть вопрос об использовании формального языка.Может кто-нибудь объяснить мне, почему это...

Я использую данные сенсорной сети «умного дома» для определения человеческой деятельности, такой...

Я пытаюсь решить следующий пример, используя алгоритм таблиц для ALC. Учитывая следующее TBox T:...

Я хочу добавить пользовательское правило в набор правил OWL-2-RL ( builtin_owl2-rl.pie ), которое...

Я знакомлюсь с магазинами RDF на примере Allegrograph.Одна из частей, которые меня интересуют, это...

Я пытался кодифицировать следующий комментарий, используя OWL API: Группа моделирования CRECK...

У меня есть два основных вопроса: 1 / Если мы говорим о семантике OWL 2 в академических рукописях...

В репо я загрузил следующие операторы с набором правил OWL-Horst (Optimized). @prefix :...