@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix : <http://semanticscience.org/ontology/sio.owl#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix oboInOwl: <http://www.geneontology.org/formats/oboInOwl#> .
@prefix resource: <http://semanticscience.org/resource/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix obo: <http://purl.obolibrary.org/obo/> .
@prefix ns4: <http://purl.org/dc/terms/> .
@prefix foaf: <http://xmlns.com/foaf/0.1/> .
@prefix dc: <http://purl.org/dc/elements/1.1/> .

dc:identifier
    a owl:AnnotationProperty .

ns4:description
    a owl:AnnotationProperty .

<http://semanticscience.org/ontology/sio.owl>
    a owl:Ontology .

resource:SIO_000000
    a owl:Class ;
    rdfs:label "entity"@en .

resource:SIO_000059
    a owl:IrreflexiveProperty, owl:ObjectProperty ;
    rdfs:label "has member"@en .

resource:SIO_000075
    a owl:Class ;
    rdfs:label "mathematical entity"@en .

resource:SIO_000289
    dc:identifier "SIO_000289" ;
    ns4:description "A set is a collection of entities, for which there may be zero members."@en ;
    a owl:Class ;
    rdfs:isDefinedBy <http://semanticscience.org/ontology/sio.owl> ;
    rdfs:label "set"@en ;
    rdfs:subClassOf resource:SIO_000075, [
        a owl:Restriction ;
        owl:allValuesFrom resource:SIO_000000 ;
        owl:onProperty resource:SIO_000059
    ] .