@prefix : <http://www.ontologydesignpatterns.org/cp/owl/set.owl#> .
@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#> .
@base <http://www.ontologydesignpatterns.org/cp/owl/set.owl> .

<http://www.ontologydesignpatterns.org/cp/owl/set.owl> rdf:type owl:Ontology ;
                                                        owl:imports <http://www.ontologydesignpatterns.org/cp/owl/collectionentity.owl> ,
                                                                    <http://www.ontologydesignpatterns.org/schemas/cpannotationschema.owl> ;
                                                        <http://www.ontologydesignpatterns.org/schemas/cpannotationschema.owl#coversRequirements> "What are the elements in this set?"^^xsd:string ,
                                                                                                                                                  "What is the cardinality (size) of this set?"^^xsd:string ;
                                                        <http://www.ontologydesignpatterns.org/schemas/cpannotationschema.owl#extractedFrom> "http://swan.mindinformatics.org/ontologies/1.2/collections.owl"^^xsd:string ;
                                                        <http://www.ontologydesignpatterns.org/schemas/cpannotationschema.owl#hasAuthor> "PaoloCiccarese"^^xsd:string ;
                                                        <http://www.ontologydesignpatterns.org/schemas/cpannotationschema.owl#hasIntent> "To model sets of things (elements). A Set is a collection that cannot contain duplicate elements. "^^xsd:string ;
                                                        <http://www.ontologydesignpatterns.org/schemas/cpannotationschema.owl#reengineeredFrom> "http://swan.mindinformatics.org/ontologies/1.2/collections.owl"^^xsd:string ;
                                                        <http://www.ontologydesignpatterns.org/schemas/cpannotationschema.owl#relatedCPs> "http://www.ontologydesignpatterns.org/cp/owl/bag.owl"^^xsd:string ,
                                                                                                                                          "http://www.ontologydesignpatterns.org/cp/owl/list.owl"^^xsd:string ;
                                                        rdfs:comment "A Set is a collection that cannot contain duplicate elements. A Set is expressed by linking to it directly all the members (elements), multiple identical values of members (elements) will be eliminated because by default they are treated as a set."^^xsd:string ;
                                                        owl:versionInfo "Created with TopBraid Composer"^^xsd:string .

#################################################################
#    Data properties
#################################################################

###  http://www.ontologydesignpatterns.org/cp/owl/set.owl#size
:size rdf:type owl:DatatypeProperty ;
      rdfs:domain <http://www.ontologydesignpatterns.org/cp/owl/collectionentity.owl#Collection> ;
      rdfs:range xsd:integer ;
      rdfs:comment "size - The number of items belonging to a collection"^^xsd:string ;
      rdfs:label "size"^^xsd:string .


#################################################################
#    Classes
#################################################################

###  http://www.ontologydesignpatterns.org/cp/owl/set.owl#Set
:Set rdf:type owl:Class ;
     rdfs:subClassOf <http://www.ontologydesignpatterns.org/cp/owl/collectionentity.owl#Collection> ;
     rdfs:comment "Set - A collection that cannot contain duplicate elements."^^xsd:string ;
     rdfs:label "set"^^xsd:string .


#################################################################
#    Annotations
#################################################################

<http://www.ontologydesignpatterns.org/cp/owl/collectionentity.owl#hasMember> rdfs:comment "The link to the members of a Set"^^xsd:string .


###  Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi