Как указано в комментариях AKSW:
Упрощение имен для сокращения аксиом: VegetarianPizza по имени V hasTopping по имени h Pizza по имени P PizzaTopping с именем PT Food с именем F
V equivalent to not (h some PT)
h domain P
V subclass P
Теперь рассмотрим любое лицо, с или без утверждений для свойства h.
a h b
подразумевает, что a имеет тип P
Для любых других лиц c, d ... без утверждений со свойством h они принадлежат not( h some PT), что определяется как эквивалент V. И V определяется как подкласс P.
Таким образом, независимо от того, имеет ли индивидуум файлер h (т. Е. Имеет начинки) или нет, он заканчивается быть экземпляром P; следовательно, P эквивалентно owl:Thing, как и каждый суперкласс P, в данном случае F.
Как вы упоминаете, удаление not изменяет этот результат. Это потому, что без not P больше не включаются все лица.