ShEx demonstration for validation of OWL classes which make reference to deprecated classes in their definitional axioms

obsolete_references.shex

PREFIX :       <http://example.org/>
PREFIX schema: <http://schema.org/>
PREFIX xsd:  <http://www.w3.org/2001/XMLSchema#>
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX rdfs:  <http://www.w3.org/2000/01/rdf-schema#>
PREFIX owl: <http://www.w3.org/2002/07/owl#>

:NamedClass IRI {
  rdf:type [ owl:Class ] ;
  owl:equivalentClass @:Expression * ;
  rdfs:subClassOf @:Expression * ;
}

:NotObsoleteClassReference IRI @:NotObsolete AND {
  rdf:type [ owl:Class ] ;
}

:Intersection BNode {
  rdf:type [ owl:Class ] ;
  owl:intersectionOf @:ListOfNonObsoleteExpressions
}

:SomeValuesFrom BNode {
  rdf:type [ owl:Restriction ] ;
  owl:someValuesFrom @:Expression
}

:Expression @:NotObsoleteClassReference OR @:Intersection OR @:SomeValuesFrom

:NotObsolete NOT {
  owl:deprecated [ true ]
}

:ListOfNonObsoleteExpressions BNode {
  rdf:first @:Expression ;
  rdf:rest @:ListOfNonObsoleteExpressions OR [ rdf:nil ]
}

obsolete_references.ttl

@prefix :      <http://example.org/> .
@prefix owl:   <http://www.w3.org/2002/07/owl#> .
@prefix rdf:   <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xml:   <http://www.w3.org/XML/1998/namespace> .
@prefix xsd:   <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs:  <http://www.w3.org/2000/01/rdf-schema#> .

<http://example.org/#A>
a owl:Class ;
 owl:equivalentClass  [ a owl:Class ;
 owl:intersectionOf  ( <http://example.org/#B>
 [ a owl:Restriction ;
 owl:onProperty <http://example.org/#part_of> ;
 owl:someValuesFrom <http://example.org/#C>
 ]
 )
 ] .

<http://example.org/#part_of>
 a owl:ObjectProperty .

<http://example.org/#D>
 a owl:Class ;
 rdfs:subClassOf [ a owl:Restriction ;
 owl:onProperty <http://example.org/#part_of> ;
 owl:someValuesFrom <http://example.org/#C>
 ] .

<http://example.org/#B>
 a owl:Class ;
 owl:equivalentClass [ a owl:Restriction ;
 owl:onProperty <http://example.org/#part_of> ;
 owl:someValuesFrom <http://example.org/#D>
 ] .

<http://example.org/#C>
 a owl:Class ;
 owl:deprecated true .

: a owl:Ontology .

shape_map.txt

<http://example.org/#A>@<http://example.org/NamedClass>,
<http://example.org/#B>@<http://example.org/NamedClass>,
<http://example.org/#C>@<http://example.org/NamedClass>,
<http://example.org/#D>@<http://example.org/NamedClass>

A and D will be flagged for violating the schema, since they reference C, a deprecated term.