I believe that the last line is incorrect, it should start with <<?c a owl:Class>>
For instance, the following syntax expression:
EXAMPLE 5
<<?c a owl:Class>> dct:source ?src ;
:entailing <<?c a rdfs:Class>> .
must be expanded to
EXAMPLE 6
<<?c a owl:Class>> dct:source ?src .
<<?c a rdfs:Class>> :entailing <<?c a rdfs:Class>> .
I believe that the last line is incorrect, it should start with <<?c a owl:Class>>
For instance, the following syntax expression: EXAMPLE 5 <<?c a owl:Class>> dct:source ?src ; :entailing <<?c a rdfs:Class>> . must be expanded to EXAMPLE 6 <<?c a owl:Class>> dct:source ?src . <<?c a rdfs:Class>> :entailing <<?c a rdfs:Class>> .