Получить Аксиомы TBox с API OWL

Question

Я работаю со стеклом OWL API 3/Pellet/SPARQL-DL и хочу прочитать утвержденные аксиомы TBox определенного класса из онтологии.

Я могу легко получить доступ к аксиомам с помощью OWL API. Однако OWLClassAxiom просто предоставляет функцию доступа к сигнатуре без соединений. То есть Я хочу знать, к какому классу назначен ObjectProperty. Все, что я могу получить, это набор всех элементов в сигнатуре без их соединения.

Похоже, что OWL API не поддерживает работу с заданными аксиомами на уровне классов (чтение, а не добавление). Или я что-то упускаю? Любые другие идеи, как это достичь? (С любыми инструментами.)

Бетон Пример: Пицца hasBase немного PizzaTopping. Я хочу получить значение «PizzaTopping», указав Pizza и hasBase.

Answer 1

Если Пицца класс, то

                Pizza hasBase некоторые PizzaTopping

не является юридическим аксиома. То, что вы, вероятно, на самом деле есть,

                Пицца subClassof hasBase некоторые PizzaTopping

Это означает, что каждый экземпляр пиццы связано с некоторым например из PizzaTopping свойством hasBase. Аксиома является аксиомой подкласса, поэтому вы хотите получить экземпляр OWLSubClassOfAxiom (который является подклассом OWLClassAxiom).

В этом случае, если у вас есть ссылка на OWLClass для Pizza, вы можете использовать OWLClass#getSuperclasses(), чтобы получить список выражений суперкласса. Одним из них будет выражение OWLObjectSomeValuesFrom для (hasBase some PizzaTopping). Вам нужно будет искать те из этого типа, а затем изучить свойство, на которое это ограничение.

Тем не менее, ваша заявленная цель

, чтобы знать, какой класс, состоящее ObjectProperty присваивается

не совсем совпадает с моделью OWL. Свойства объекта (и свойства данных) не относятся к классам в OWL. Вы можете использовать аксиомы подкласса и ограничения свойств, как указано выше, чтобы сказать, что члены класса должны иметь значение для определенного свойства,