Описание тега manchester-syntax
Используйте в вопросах, связанных с синтаксисом Манчестера, или в темах, в которых используется этот синтаксис, например, в запросе DL.
1
ответ
OWLAPI: "ParserException" при преобразовании строки в выражение класса с использованием ManchesterOWLSyntaxParser
Я хочу добавить новую аксиому в онтологию, для этого я создал метод, который преобразует String [который находится в Синтаксисе OWL Манчестера] в OWLClassExpression с помощью ManchesterOWLSyntaxParser а позже сформировать новый OWLAxiom и добавить в…
19 авг '16 в 07:12
1
ответ
Protege установить выражение диапазона данных для свойств данных
У меня есть свойства данных hasCode, которые могут принимать одно из следующих значений: "1i" "2i" "3i" "4i" Какое выражение я должен написать, чтобы получить это ограничение? огромное спасибо
20 фев '16 в 14:30
1
ответ
Протеже dataTime ограничение
У меня есть свойство Data ShowTime с доменом Show и диапазоном xsd:dateTime, Я хотел бы знать, есть ли способ утверждать, что диапазон dataTime должен быть включен в "2018-01-01TX:X:X", чтобы иметь фиксированную дату и переменный час для этой даты. …
15 янв '18 в 19:31
1
ответ
Перечисления в ограничениях OWL
Я пытаюсь добавить ограничения на свойства в онтологии с помощью Protege3.x. У меня проблема с указанием перечислений внутри ограничений. Например, попытка указать перечисление для ограничения возможных элементов данных следующим образом: который ра…
11 июл '12 в 16:52
1
ответ
Протеже 5; найти все классы, связанные с кардинальностью "один к одному" для определенного класса
У меня есть OWL онтология, Protege 5. Я хочу начать с исходного класса S, чтобы получить все целевые классы D, где S связан с D, посредством кардинальности to-one через objectProperty, т.е. S ([0..*] - 1) D несмотря на то, что является связующим объ…
12 окт '14 в 09:14
1
ответ
Значение точных ограничений мощности OWL
Я начинающий программист с синтаксисом Манчестера для OWL. Мне нужно понять роль exactly, Какое из этих ограничений является правильным: (hasChild (A or B)) and (hasChild exactly 1 Thing) (hasChild (A or B)) and (hasChild exactly 2 Thing) (hasChild …
16 июн '13 в 21:14
1
ответ
Запрос на пересечение диспозиций; Протеже
Я хочу определить, когда объект содержит пересечение двух свойств, в отличие от любого свойства. Пример: object: A (has_disposition some disposition_A; has_disposition some disposition_B) B (has_disposition some disposition_B; disjoint with A) dispo…
11 апр '17 в 22:10
1
ответ
Как создать ассоциацию между классами в Protege?
У меня есть класс датчика, класс Input, который является подклассом класса Process и класса SensingData. Я хочу связать класс Input с классом данных зондирования, говоря, что вход является данными зондирования. Могу ли я сделать это, создав свойство…
28 авг '14 в 03:44
1
ответ
Аксиомы общего класса
OWL AXIOM выражения: Дано: owl: класс спорт Вывод: в дополнение к существующим свойствам owl:object я хочу добавить свойство игрока owl:object со значением Peter для каждого экземпляра типа owl:class sport. Это означает, что у каждого человека из ти…
02 авг '16 в 09:04
0
ответов
СОВА; Цепочка собственности
У меня есть OWL онтология без людей. Дано два класса Cs а также Cd Как будет выглядеть запрос, какой тип аргументов можно использовать для поиска всех цепочек свойств, таких как: (Cs subClassOf PropertyP exactly 1 Cd) Где Cs - домен PropertyP, а Cd …
15 окт '14 в 15:23
2
ответа
В сове "Dl запрос", как использовать расширенный запрос стоимости в протеже
Я занимаюсь разработкой онтологии, и у меня возникла проблема с моим запросом Dl есть класс под названием "цветок" и этот класс имеет подклассы, которые являются названиями некоторых цветов а также есть еще один класс под названием "flowersColor" и …
09 май '09 в 03:18
1
ответ
Как я могу выразить "Каждый" в синтаксисе совы Манчестера?
Если A isRelatedTo B и B имеет свойство dataproperty: creation = {true, false} как я могу выразить в синтаксисе совы Манчестера (для протеже) подмножество где: это тип A и каждый isRelatedTo из A имеет значение "true"
10 дек '13 в 14:19
2
ответа
Странное поведение запроса в OWL!
В OWL этот запрос работает нормально "person and hasChild min 3" это работает нормально, и это дает мне всех людей, которые имеют более 3 детей но этот не работает "person and hasChild max 3" это должно дать мне всех людей, которые имеют менее 3 дет…
09 май '09 в 06:07
1
ответ
Найти людей, которые не живы в 2016 году
У меня есть онтология, где Person это класс и hasDeathYear это свойство данных. Я должен выразить заголовок в запросе DL. Я могу спросить это: Person and hasDeathYear value 2016 но я не могу спросить что-то вроде этого: Человек и смерть DearYear min…
03 мар '16 в 10:49
1
ответ
Protege DL запрос; Этот аргумент поддерживает только именованные классы
У меня есть OWL онтология в Protege 5. При попытке задать несколько запросов DL DropOff exactly 1 Это должно возвратить все классы, которые связаны посредством точного количества элементов в ObjectProperty DropOff. При использовании пеллет- рассужде…
12 окт '14 в 10:47
1
ответ
Как запросить людей в DL Manchester OWL Синтаксис?
Я знаю, что это звучит как очень глупый вопрос, но я пытался понять это и не могу ничего найти по этому поводу, хотя кажется очевидным, что это должно быть выполнимо. Я разрабатываю что-то, что запрашивает файл OWL через его API, используя Синтаксис…
22 май '11 в 05:43
1
ответ
Запрос анонимных классов в OWL API с использованием синтаксиса Манчестера
Я использую OWL API для аргументации онтологии, созданной в Protege. Я имею дело с OLL API Пример запроса DL: http://sourceforge.net/p/owlapi/code/ci/aef6981535f07a2d0d44c394b9f4d5415f36025a/tree/contract/src/test/java/org/coode/owlapi/examples/DLQu…
06 май '13 в 17:02
1
ответ
Protégé-OWL: объект с несколькими слотами
Я пытаюсь смоделировать сетку 4x4 для проекта в Protege (формат совы Манчестера), у меня есть класс Row для представления строк сетки, и я хотел бы как-то указать, что класс Row должен иметь 4 ячейки (я также есть класс ячейки). Можно ли как-нибудь …
12 май '17 в 16:30
2
ответа
Protege-OWL: класс должен иметь по одному из каждого <value>
Я новичок в протеже, и мне нужно смоделировать сетку с аналогичными свойствами по soduku, в синтаксисе Манчестер OWL. Я искал, но я не могу найти способ сделать аксиому, которая говорит, что "каждый столбец должен иметь 4 ячейки и должен иметь каждо…
16 май '17 в 14:53
1
ответ
Протеже: как выразить "не имеет следующего"?
В настоящее время я занимаюсь разработкой онтологии с использованием Protege и хотел бы определить, является ли узел последним в списке. Таким образом, в основном список указывает на узел, и каждый узел имеет некоторый контент и может иметь другой у…
27 мар '12 в 17:34