Результаты поиска по запросу "owl"
сова протеже, как я могу описать класс, который имеет только некоторые свойства?
Можно ли в протеже (таким образом, в сове) описать класс в зависимости от того, обладает ли он какими-либо свойствами?НапримерУ меня есть класс
Извлечение суперклассов, подразумеваемых классами пересечения 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' ...
Добавление более сложной аксиомы подкласса
Я наткнулся на другую проблему ... Я хочу добиться чего-то похожего на это: Я хотел сделать это с помощью RDFList, добавив необходимые свойства в список, а затем вызвать метод createUnionClass (или createIntersectionClass) и объединить его ...