# Base: http://example.org/library
@prefix ns1:     <http://example.org#> .
@prefix xs:      <http://www.w3.org/2001/XMLSchema> .
@prefix rdfs:    <http://www.w3.org/2000/01/rdf-schema#> .
@prefix daml:    <http://www.daml.org/2001/03/daml+oil#> .
@prefix rdf:     <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xs_:     <http://www.w3.org/2001/XMLSchema#> .
@prefix :        <#> .
@prefix owl:     <http://www.w3.org/2002/07/owl#> .

ns1:library
      a       owl:ObjectProperty ;
      rdfs:range
              [ a       owl:Class ;
                rdfs:subClassOf
                        [ a       owl:Restriction ;
                          owl:minCardinality "1"^^xs_:int ;
                          owl:onProperty ns1:book
                        ]
              ] .

rdf:value
      a       owl:DatatypeProperty , rdf:Property .

ns1:book
      a       owl:ObjectProperty , rdf:Property ;
      rdfs:range
              [ a       owl:Class ;
                rdfs:subClassOf
                        [ a       owl:Restriction ;
                          owl:cardinality "1"^^xs_:int ;
                          owl:onProperty ns1:isbn
                        ] ;
                rdfs:subClassOf
                        [ a       owl:Restriction ;
                          owl:cardinality "1"^^xs_:int ;
                          owl:onProperty ns1:title
                        ] ;
                rdfs:subClassOf
                        [ a       owl:Restriction ;
                          owl:maxCardinality "1"^^xs_:int ;
                          owl:onProperty ns1:available
                        ]
              ] .

ns1:qualification
      a       owl:DatatypeProperty , rdf:Property ;
      rdfs:range xs_:string .

ns1:born
      a       owl:DatatypeProperty , rdf:Property ;
      rdfs:range xs_:date .

ns1:dead
      a       owl:DatatypeProperty , rdf:Property ;
      rdfs:range xs_:date .

ns1:author
      a       owl:ObjectProperty , rdf:Property ;
      rdfs:range
              [ a       owl:Class ;
                rdfs:subClassOf
                        [ a       owl:Restriction ;
                          owl:cardinality "1"^^xs_:int ;
                          owl:onProperty ns1:born
                        ] ;
                rdfs:subClassOf
                        [ a       owl:Restriction ;
                          owl:maxCardinality "1"^^xs_:int ;
                          owl:onProperty ns1:dead
                        ] ;
                rdfs:subClassOf
                        [ a       owl:Restriction ;
                          owl:cardinality "1"^^xs_:int ;
                          owl:onProperty ns1:name
                        ]
              ] .

ns1:name
      a       owl:DatatypeProperty , rdf:Property ;
      rdfs:range xs_:string .

ns1:title
      a       owl:ObjectProperty , rdf:Property ;
      rdfs:range
              [ a       owl:Class ;
                rdfs:subClassOf
                        [ a       owl:Restriction ;
                          owl:allValuesFrom xs_:string ;
                          owl:onProperty rdf:value
                        ] ;
                rdfs:subClassOf
                        [ a       owl:Restriction ;
                          owl:cardinality "1"^^xs_:int ;
                          owl:onProperty rdf:value
                        ] ;
                rdfs:subClassOf
                        [ a       owl:Restriction ;
                          owl:maxCardinality "1"^^xs_:int ;
                          owl:onProperty ns1:lang
                        ]
              ] .

ns1:lang
      a       owl:DatatypeProperty , rdf:Property ;
      rdfs:range xs_:language .

<>    a       owl:Ontology .

ns1:available
      a       owl:DatatypeProperty , rdf:Property ;
      rdfs:range xs_:boolean .

ns1:isbn
      a       owl:DatatypeProperty , rdf:Property ;
      rdfs:range xs_:integer .

ns1:character
      a       owl:ObjectProperty , rdf:Property ;
      rdfs:range
              [ a       owl:Class ;
                rdfs:subClassOf
                        [ a       owl:Restriction ;
                          owl:cardinality "1"^^xs_:int ;
                          owl:onProperty ns1:born
                        ] ;
                rdfs:subClassOf
                        [ a       owl:Restriction ;
                          owl:cardinality "1"^^xs_:int ;
                          owl:onProperty ns1:name
                        ] ;
                rdfs:subClassOf
                        [ a       owl:Restriction ;
                          owl:cardinality "1"^^xs_:int ;
                          owl:onProperty ns1:qualification
                        ]
              ] .