Извлечение содержимого класса, такого как (onProperty, somevalueFrom, unioinOf (которые содержат коллекцию) и эквивалентный класс)

Проблема с вашим запросом:

Возможно, будет легче понять результаты запроса SPARQL, если вы посмотрите на свои данные в сериализации Turtle, а не в сериализации RDF/XML. Соответствующая часть ваших данных:

ns0:haulage_worker  a        owl:Class ;
        rdfs:comment         ""^^xsd:string ;
        rdfs:label           "haulage worker"^^xsd:string ;
        owl:equivalentClass  [ a                   owl:Restriction ;
                               owl:onProperty      ns0:works_for ;
                               owl:someValuesFrom  [ a            owl:Class ;
                                                     owl:unionOf  ( [ a                   owl:Restriction ;
                                                                      owl:onProperty      ns0:part_of ;
                                                                      owl:someValuesFrom  ns0:haulage_company
                                                                    ] ns0:haulage_company )
                                                   ]

Рассмотрим совпадение для части о owl:unionOf. В вашем запросе это

owl:unionOf  ( [ a                   owl:Restriction ;
                 owl:onProperty      ns0:part_of ;
                 owl:someValuesFrom  ns0:haulage_company ]
               ns0:haulage_company )

Элементами списка являются пустой узел с некоторыми свойствами и ns0:haulage_company. Запрос, который должен соответствовать некоторым из этих данных:

owl:unionOf [ rdf:first ?ObjectProperty; 
              rdf:rest ?someValuesFrom ;
              rdf:rest*/rdf:first ?otherClass ]] .  

То, что будет соответствовать ?ObjectProperty, — это первый элемент списка, который в данном случае не является свойством объекта, а является пустым узлом. То, что будет соответствовать ?someValuesFrom, — это узел списка, представляющий остальную часть списка.

Исправление вашего запроса:

Я не совсем уверен, что именно вы пытаетесь вернуть из этого запроса. Основываясь на ваших ожидаемых результатах, похоже, вы говорите, что класс ?class может быть связан с ограничением owl:someValuesFrom, и в этом случае вы хотите связать ?ObjectProperty и ?someValuesFrom со свойством и классом объекта (если это не пустой узел), и в противном случае привязать ?otherClass к другим связанным (не пустым) классам. Вы сказали, что ожидали таких результатов:

-----------------------------------------------------------------------------
| class               | ObjectProperty | someValuesFrom   | otherClass      |
=============================================================================
| abc:haulage_company |                |                  |                 |
| abc:haulage_worker  | abc:works_for  |                  |                 |
| abc:haulage_worker  | abc:part_of    | haulage_company  | haulage_company |
| owl:Thing           |                |                  |                 |
-----------------------------------------------------------------------------

но если я правильно понимаю, я думаю, было бы проще и полезнее получить что-то вроде:

-----------------------------------------------------------------------------
| class               | ObjectProperty | someValuesFrom   | otherClass      |
=============================================================================
| abc:haulage_company |                |                  |                 |
| abc:haulage_worker  | abc:works_for  |                  |                 |
| abc:haulage_worker  | abc:part_of    | haulage_company  |                 |
| abc:haulage_worker  |                |                  | haulage_company |
| owl:Thing           |                |                  |                 |
-----------------------------------------------------------------------------

Вы можете сделать это с помощью такого запроса:

prefix :      <http://owl.cs.manchester.ac.uk/2009/07/sssw/people#>
prefix owl:   <http://www.w3.org/2002/07/owl#>
prefix rdf:   <http://www.w3.org/1999/02/22-rdf-syntax-ns#>

select distinct ?class ?onProperty ?someValuesFrom ?otherClass where {
  #-- Select each named class.
  ?class a owl:Class .
  filter( !isBlank( ?class ))

  optional {
    #-- Find "related" classes by following a somewhat complex
    #-- property path that will follow equivalent classes,
    #-- existential restrictions, and unionOf expressions.
    ?class (owl:equivalentClass
           |owl:someValuesFrom
           |(owl:unionOf/rdf:rest*/rdf:first))+ ?r .

    #-- Save non-blank related classes as ?otherClass.
    bind(if(isBlank(?r),?unbound,?r) as ?otherClass)

    #-- If the related class is a restriction, then we can 
    #-- take its owl:onProperty and owl:someValuesFrom.
    optional { 
      ?r owl:onProperty ?onProperty ;
         owl:someValuesFrom ?svf .
      bind( if(isBlank(?svf),?unbound,?svf) as ?someValuesFrom )
    }
  }
}
values ?unbound { UNDEF }

Шаблон для сохранения значений, которые не привязаны к пустым узлам, описан в ответах на вопрос answer.semanticweb.com, Связать переменную только тогда, когда другая не является пустой? Идея состоит в том, чтобы использовать values ?unbound { UNDEF }, чтобы гарантировать, что ?unbound всегда имеет неопределенное значение, а затем использовать bind и if для присвоения либо ?unbound, либо какого-либо другого значения переменной. прогнозируемая переменная. По сути это так:

bind(if(isBlank(...),?unbound,...) as ...)
values ?unbound { UNDEF }

Результаты

-----------------------------------------------------------------------
| class            | onProperty | someValuesFrom   | otherClass       |
=======================================================================
| owl:Thing        |            |                  |                  |
| :haulage_company |            |                  |                  |
| :haulage_worker  |            |                  |                  |
| :haulage_worker  | :works_for |                  |                  |
| :haulage_worker  | :part_of   | :haulage_company |                  |
| :haulage_worker  |            |                  | :haulage_company |
-----------------------------------------------------------------------

Это включает строку для :haulage_worker, которая не имеет привязок ни к одной из других переменных, но я думаю, что это нормально, поскольку вам уже нужны такие строки для owl:Thing и :haulage_company.