SHACL 대안 검수, 두 조건이 맞는데 왜 부적합할까

2026년 11월 기준, SHACL의 sh:xone은 대안 셰이프가 정확히 하나 맞을 때 통과합니다. 둘 다 맞으면 부적합이며, 둘을 허용하려면 sh:or를 검토합니다.

작업 요청에 자동 배정용 티켓 ID나 수동 처리 사유 중 하나를 남긴다고 가정해 보겠습니다. 담당자가 수동으로 처리하면서 티켓 ID도 남겨 두면 두 근거가 모두 있는 작업이 됩니다. 둘이 공존해도 되는 업무인지, 하나만 허용할지 먼저 정해야 같은 검증 결과를 두고 다른 판단을 내리는 일을 줄일 수 있습니다.

이 글은 그래프에 넣을 작업 요청의 검수 기준을 정하는 IT·데이터 책임자를 위한 가이드입니다. 유형 자체의 배타성은 온톨로지 배타 클래스 검수, 한 경로의 적합한 값 개수는 SHACL 조건부 개수 검수에서 다룹니다.

두 대안이 모두 맞으면 왜 부적합한가요?#

sh:xone은 평가하는 노드가 대안 셰이프 중 정확히 하나에 적합해야 합니다. 적합한 대안이 0개이거나 2개라면 이 예제에서 부적합입니다. sh:or는 하나 이상이면 적합하므로 두 대안이 모두 맞아도 통과합니다. W3C SHACL 권고의 xone 정의

아래 셰이프는 작업 노드 하나를 대상으로 삼습니다. 티켓 대안에는 티켓 ID가 하나 이상, 수동 대안에는 사유가 하나 이상 있어야 합니다. 대안에 별도 타깃을 붙이지 않아도 상위 셰이프가 같은 작업 노드를 두 대안으로 검사합니다. 두 대안이 동시에 맞는 상황을 일부러 만들 수 있도록 상대 필드의 유무는 각 대안에서 검사하지 않습니다.

@prefix ex: <https://example.invalid/work/> .
@prefix sh: <http://www.w3.org/ns/shacl#> .

ex:WorkShape a sh:NodeShape ;
  sh:targetNode ex:work ;
  sh:xone ( ex:TicketShape ex:ManualShape ) .

ex:TicketShape a sh:NodeShape ;
  sh:property [
    sh:path ex:ticketId ;
    sh:minCount 1
  ] .

ex:ManualShape a sh:NodeShape ;
  sh:property [
    sh:path ex:manualReason ;
    sh:minCount 1
  ] .

어떤 표본에서 or와 xone이 달라지나요?#

티켓 ID와 수동 사유가 모두 있으면 차이가 드러납니다. 가상 그래프를 입력마다 새로 만들고, 각 대안을 따로 검증한 뒤 같은 상위 셰이프에 sh:or와 sh:xone을 각각 적용했습니다.

마지막 두 행이 통과한 이유는 티켓 대안이 값의 존재만 확인하기 때문입니다. 티켓 ID를 한 개로 제한하려면 그 속성에 최대 개수 제약을 두고, 빈 문자열을 막으려면 길이나 형식을 별도로 검사합니다. 공백만 있는 문자열이나 실제 시스템에 없는 티켓은 또 다른 검사 조건입니다.

두 근거를 함께 보존해야 하는 업무라면 어떻게 하나요?#

수동 처리 기록과 자동 배정 이력을 같은 노드에 보존해야 한다면 두 근거의 공존은 정상일 수 있습니다. 한 근거만 있어도 되고 둘이 함께 있어도 된다면 sh:or가 그 조건과 맞습니다. 근거는 모두 보존하면서 선택된 처리 방식만 하나로 기록해야 한다면, 선택값을 별도 필드로 두고 선택에 맞는 필수 근거를 검증하는 방법도 있습니다.

이 실행에서 두 대안이 모두 없거나 모두 맞는 경우의 보고서에는 sh:sourceConstraintComponent 값으로 sh:XoneConstraintComponent가 기록됐습니다. 그 값만으로는 어느 대안이 적합했는지 알기 어렵습니다. 진단용 사본에서 상위 셰이프의 타깃을 제거하고, 검사할 대안 하나에만 같은 작업 노드를 임시 타깃으로 붙입니다. 다른 대안도 별도 사본에서 실행해 두 판정을 나란히 봅니다. 검증 자체가 실패한 상태도 정상 완료한 부적합 보고서와 구분합니다.

어떤 근거를 확인했나요?#

• W3C SHACL 권고의 or 정의와 xone 정의는 2017년 7월 20일 공개됐습니다.
• W3C SHACL 1.2 Core 작업 초안은 2026년 11월 2일 공개됐습니다. 작업 초안에서도 이 구분을 확인했습니다. 가상 실행의 범위는 표의 제약과 보고서입니다.
• pySHACL 0.40.2 릴리스는 GitHub에 2026년 10월 28일 UTC에 게시됐습니다.

원문은 2026년 11월 9일 확인했습니다. 알파카랩스 온톨로지 구축 서비스는 개념·관계·제약 정의, 원천 매핑, 검수 기준을 협의한다고 공개 안내합니다. 위 작업 노드와 인수표는 설계 예시입니다.

SHACL 대안 검수 FAQ#

대안 셰이프 인수표 초안 협의#

식별 정보와 실제 요청 내용을 뺀 표본을 준비해 주세요. 첫 범위 협의에서 두 근거가 함께 있어도 되는 경우와 각각의 필수 조건을 인수표에 정리합니다. 소요 시간은 표본과 검수 범위를 확인한 뒤 협의합니다.