что делает класс OWL анонимным?

Я читаю учебник, в котором говорится, что это анонимный класс OWL:

<owl:Class rdf:ID="Reptile"> 
       <rdfs:subClassOf rdf:resource="#Animal”/> 
       <rdfs:subClassOf rdf:resource="#OxygenUser”/> 
</owl :Class>

Я знаю, что такое анонимный класс в Java. Что делает этот класс анонимным в OWL? Является ли он анонимным, потому что у него нет такого оператора RDFS:label: <rdfs:label>Reptile</rdfs:label> ?


owl rdf semantic-web
person bernie2436    schedule 03.05.2013    source источник

Ответы (2)


arrow_upward
1
arrow_downward

Анонимные классы OWL — это классы без имени/идентификатора (URI). Обычно это выражение класса OWL, такое как eats some Grass или Male and Female. Вы используете такое выражение в сочетании с именованными классами для создания аксиом.

Пример аксиом эквивалентных классов, использующих как именованные, так и анонимные классы (комментарии показаны символом #):

# Named class (got a dereferencable URI)
Class: <http://www.example.org/Man>

# Named Class
Class: <http://www.example.org/Woman>

# Named class
Class: <http://www.example.org/Human>

    # The named class Human is equivalent 
    # to the anonymous class (class expression) Man or Woman
    EquivalentTo: <http://www.example.org/Man> or <http://www.example.org/Woman>
person loopasam    schedule 03.05.2013
comment
так что классы Мужчина и Женщина анонимны только тогда, когда они являются частью аксиомы? также, даже в аксиоме, разве они не имеют отменяемых URI (т.е. URI в операторе эквивалента)? Не могли бы вы объяснить немного больше? - person bernie2436; 03.05.2013
comment
Все выражение Man or Woman является анонимным классом, оно создается путем компоновки с именованными классами Woman и Man и с использованием конструктора or. Это выражение относится к набору вещей, которые являются либо мужчиной, либо женщиной, но не дают им имени (анонимный класс). Затем вы можете использовать выражение для построения аксиом, как показано в примере. Man и Woman здесь всегда являются именованными классами, любое выражение, построенное на основе объединения этих результатов, приводит к анонимному классу. - person loopasam; 04.05.2013
comment
Только что увидел ваш пример, я не уверен, что ясно вижу какой-либо анонимный класс. Я бы сказал, что OxygenUser и Animal являются именованными классами, тогда анонимным классом будет OxygenUser and Animal, что, наконец, дает аксиому Reptile subClassOf OxygenUser and Animal - person loopasam; 04.05.2013

arrow_upward
0
arrow_downward

У вас есть исходный URL для учебника? Пример, который вы цитируете, не содержит анонимных классов, поэтому, если это прямая цитата из учебника, она дает неверную информацию.

person Ian Dickinson    schedule 04.05.2013