PREFIX owl: <http://www.w3.org/2002/07/owl#>
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#>
PREFIX xsd: <http://www.w3.org/2001/XMLSchema#>
PREFIX rdfg1: <http://www.w3.org/2004/03/trix/rdfg-1/>
PREFIX linkml: <https://w3id.org/linkml/>
PREFIX sh: <http://www.w3.org/ns/shacl#>
PREFIX vann: <http://purl.org/vocab/vann/>

rdfg1: a owl:Ontology ;
  vann:preferredNamespacePrefix "rdfg1" ;
  vann:preferredNamespaceUri "http://www.w3.org/2004/03/trix/rdfg-1/"^^xsd:anyURI ;
  sh:declare [
    sh:prefix "rdfg1" ;
    sh:namespace "http://www.w3.org/2004/03/trix/rdfg-1/"^^xsd:anyURI
  ] , [
    sh:prefix "linkml" ;
    sh:namespace "https://w3id.org/linkml/"^^xsd:anyURI
  ] .

rdfg1:Graph a owl:Class ;
  rdfs:label "Graph" ;
  rdfs:comment """
An RDF graph (with intensional semantics).
      """ ;
  rdfs:subClassOf [
    a owl:Restriction ;
    owl:onProperty rdfg1:equivalentGraph ;
    owl:allValuesFrom rdfg1:Graph
  ] , [
    a owl:Restriction ;
    owl:onProperty rdfg1:subGraphOf ;
    owl:allValuesFrom rdfg1:Graph
  ] .

rdfg1:equivalentGraph a owl:ObjectProperty ;
  rdfs:label "equivalent graph" ;
  rdfs:comment """
The graphs associated with the subject and object are equivalent.
      """ ;
  rdfs:range rdfg1:Graph ;
  rdfs:domain rdfg1:Graph .

rdfg1:subGraphOf a owl:ObjectProperty ;
  rdfs:label "subgraph of" ;
  rdfs:comment """
The graph associated with the subject is a subgraph of a graph equivalent
to that associated with the object.
      """ ;
  rdfs:range rdfg1:Graph ;
  rdfs:domain rdfg1:Graph .

vann:preferredNamespacePrefix a owl:AnnotationProperty .

vann:preferredNamespaceUri a owl:AnnotationProperty .

sh:declare a owl:AnnotationProperty .

sh:prefix a owl:AnnotationProperty .

sh:namespace a owl:AnnotationProperty .
