# Example 59  Inverse triple constraints
# https://book.validatingrdf.com/bookHtml010.html#sec89

PREFIX :       <http://example.org/>
PREFIX schema: <http://schema.org/>
PREFIX xsd:    <http://www.w3.org/2001/XMLSchema#>

:User {
 schema:name xsd:string
}

:Company {
 a [schema:Company] ;
 ^schema:worksFor @:User +
}