Why use an owl: a restriction as its own: EquivalenceClass property?

Question

I am just starting to learn the Semantic Web and asking a question about the class of constraints. I dug up for a while, but have not yet found the answer. Any help would be greatly appreciated! From the tutorial, I see examples of the class of restriction restrictions; they are all going to define an anonymous owl:Restrictionclass bnodeand associate this bnodewith a property owl:equivalentClass.

Example:

example:restrictionClass owl:equivalentClass [
    rdf:type owl:Restriction;
    owl:onProperty example:resProp;
    owl:someValuesFrom example:resValue.
]

My question is, is it possible to directly define a class of constraints? How:

 example:restrictionClass rdf:type owl:Restriction;
                         owl:onProperty example:resProp;
                         owl:someValuesFrom example:resValue.

What is the advantage of defining anonymous owl:Restriction?

Answer 1

, . RDF, , OWL, : EquivalentClasses (C ObjectSomeValuesFrom (p D)). :

:C owl:equivalentClass [
   rdf:type owl:Restriction;
   owl:onProperty :p;
   owl:someValuesFrom :D .
]

, EquivalentClasses (C ObjectSomeValuesFrom (r E)). :

:C owl:equivalentClass [
   rdf:type owl:Restriction;
   owl:onProperty :r;
   owl:someValuesFrom :E .
]

, , , :

:C rdf:type owl:Restriction ;
   owl:onProperty :p ;
   owl:onProperty :r ;
   owl:someValuesFrom :D ;
   owl:someValuesFrom :E .

. ?

• ObjectSomeValuesFrom (p D)
• ObjectSomeValuesFrom (p E)
• ObjectSomeValuesFrom (r D)
• ObjectSomeValuesFrom (r E)

RDF . EquivalentClasses.

: C, p D, . RDF - RDF-

EquivalentClasses (
    : restrictionClass
    ObjectSomeValuesFrom (: resProp example: resValue)
)

,

example:restrictionClass owl:equivalentClass [
    rdf:type owl:Restriction;
    owl:onProperty example:resProp;
    owl:someValuesFrom example:resValue.
]

. example: restrictionClass - IRI . node ObjectSomeValuesFrom (: resProp example: resValue). owl: equalClass . , ; , , . OWL RDF OWL 2 -: RDF ( ). , 1 2.1 , :

EquivalentClasses( CE1 ... CEn )
------------------------------------
T(CE1) owl:equivalentClass T(CE2) .
...
T(CEn-1) owl:equivalentClass T(CEn) . 

ObjectSomeValuesFrom( OPE CE )
------------------------------
_:x rdf:type owl:Restriction .
_:x owl:onProperty T(OPE) .
_:x owl:someValuesFrom T(CE) . 

, RDF . , , , . RDF, : onProperty : someValuesFrom .

, . , 4, 2 + 2 1 + 3 - , . , :

• 4 = 2 + 2
• 4 = 1 + 3

, RDF - :

:four :equals [ rdf:type :sum ; :left :two ; :right :two ] .
:four :equals [ rdf:type :sum ; :left :one ; :right :three ] .

, 4 = 2 + 2 4 = 1 + 3. , : , node, : equals. :

:four rdf:type :sum .
:four :left  :two .
:four :right :two .
:four :left  :one .
:four :right :three .

? : . ?

• 4 = 2 + 2
• 4 = 2 + 3
• 4 = 1 + 2
• 4 = 1 + 3