# baseURI: http://prefix/test
# imports: http://spinrdf.org/spin

@prefix : <http://prefix/test#> .
@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 sp: <http://spinrdf.org/sp#> .
@prefix spin: <http://spinrdf.org/spin#> .
@prefix spl: <http://spinrdf.org/spl#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

<http://prefix/test>
  rdf:type owl:Ontology ;
  spin:imports <http://topbraid.org/spin/spinowl> ;
  owl:imports <http://spinrdf.org/spin> ;
  owl:versionInfo "Created with TopBraid Composer"^^xsd:string ;
.
:A
  rdf:type owl:Class ;
  rdfs:label "A"^^xsd:string ;
  rdfs:subClassOf owl:Thing ;
  rdfs:subClassOf [
      rdf:type owl:Restriction ;
      owl:cardinality "1"^^xsd:nonNegativeInteger ;
      owl:onProperty :child_1 ;
    ] ;
  rdfs:subClassOf [
      rdf:type owl:Restriction ;
      owl:minCardinality "1"^^xsd:nonNegativeInteger ;
      owl:onProperty :parent ;
    ] ;
.
:a
  rdf:type :A ;
  :child_1 "abcd"^^xsd:string ;
  rdfs:label "a"^^xsd:string ;
.
:child_1
  rdf:type owl:DatatypeProperty ;
  rdfs:label "child 1"^^xsd:string ;
  rdfs:subPropertyOf :parent ;
.
:child_2
  rdf:type owl:DatatypeProperty ;
  rdfs:label "child 2"^^xsd:string ;
  rdfs:subPropertyOf :parent ;
.
:parent
  rdf:type owl:DatatypeProperty ;
  rdfs:label "parent"^^xsd:string ;
.