сова протеже, как я могу описать класс, который имеет только некоторые свойства?

Можно ли в протеже (таким образом, в сове) описать класс в зависимости от того, обладает ли он какими-либо свойствами?НапримерУ меня есть класс

Извлечение суперклассов, подразумеваемых классами пересечения OWL

Онтология OWL может иметь классы A, B и C и аксиому (в нотации DL): A ⊑ (B ⊓ C) или в приблизительном синтаксисе Манчестер OWL: A subClassOf(Ва такжеC) Логически верно, что A является подклассом B, и что A является подклассом C, ...

Вывод типа OWL с ограничением

Я изучаю понятие ограничений OWL в Protege 4, используя FaCT ++ и тривиальную онтологию. Предположим, у меня есть человекfoo классаSomething: :Something a owl:Class. :foo a :Something, owl:NamedIndividual.и другой класс, определенный из ...

Равные отношения между свойствами онтологии

У меня есть 2 свойства, например 'hasColor' и 'hasFinish'. Я хочу выразить с помощью онтологии, что в случае класса онтологии A свойства 'hasColor' и 'hasFinish' равны (owl: эквивалентProperty). Но в случае класса онтологий B свойства 'hasColor' ...

Правильно. Это было причиной моей ошибки. Я изменил «запрос» на «обновление», и теперь оба запроса работают нормально.

Определение класса Protege с выражением числовых данных

Выражение диапазона данных для перечисления в Protégé

Фусеки, как добавить пеллет, рассудок

Добавление более сложной аксиомы подкласса

Я наткнулся на другую проблему ... Я хочу добиться чего-то похожего на это: Я хотел сделать это с помощью RDFList, добавив необходимые свойства в список, а затем вызвать метод createUnionClass (или createIntersectionClass) и объединить его ...

Определение свойства онтологии в Protégé-OWL / SWRL