Handling a complex set of constraints

[jeff-zucker]

I want to be able to say that a NodeShape must have an rdf:type that is one of the top-level types I define - ex:Product, ex:Service, etc.; can not have more than one of those top-level types; may have zero or more additional types. It should handle data like this

:Foo1 a ex:Product.  # valid, has exactly one top level type
:Foo2 a ex:Product, ex:Bar,  ex:Baz.  # valid, has exactly one top level type
:Foo3 a ex:Bar.  # invalid, does not have a top level type
:Foo4 a ex:Product, ex:Service. # invalid, has two top level types

ChatGPT suggests this. Is it valid? Does it do what I want? Any better ways?

ex:TopLevelTypeShape a sh:NodeShape ;
    sh:property [
	sh:path rdf:type ;
        sh:or (
            [ sh:hasValue ex:Product ]
            [ sh:hasValue ex:Service ]
        ) ;
        sh:minCount 1 ;  
       sh:maxCount 1;
    ] ;
  sh:property [
        sh:path rdf:type ;
        sh:not [
            sh:or (
                [ sh:hasValue ex:Product ]
                [ sh:hasValue ex:Service ]
            )
        ] ;
    ] 

[simonstey]

This should work with your example data: https://s.zazuko.com/6VUEtU

@prefix sh: <http://www.w3.org/ns/shacl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix ex: <http://www.example.org/> .

ex:TopLevelTypeShape a sh:NodeShape ;
	sh:targetSubjectsOf rdf:type ;
	sh:property [
		sh:path rdf:type ;
		sh:qualifiedValueShape [ 
          sh:xone (
            [ sh:hasValue ex:Product ]
            [ sh:hasValue ex:Service ]
            );
        ] ;
		sh:qualifiedMinCount 1 ;
	] ;
sh:not [
  sh:and ( 
    [ sh:property 
            [
				sh:path rdf:type ;
	 			sh:hasValue ex:Product ;
              
            ]
    ] 
    [ sh:property 
            [
				sh:path rdf:type ;
	 			sh:hasValue ex:Service ;
            ]
    ]
            )
        ]  .

[jeff-zucker]

Excellent! Works a charm. Thanks!