@prefix : <http://www.ontologydesignpatterns.org/ont/fred/quantifiers.owl#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix pos: <http://www.ontologydesignpatterns.org/ont/fred/pos.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#> .
@prefix quant: <http://www.ontologydesignpatterns.org/ont/fred/quantifiers.owl#> .
@prefix earmark: <http://www.essepuntato.it/2008/12/earmark#> .
@base <http://www.ontologydesignpatterns.org/ont/fred/quantifiers.owl> .

<http://www.ontologydesignpatterns.org/ont/fred/quantifiers.owl> rdf:type owl:Ontology ;
                                                                 
                                                                 rdfs:comment "A simple ontology of quantifiers as used in discourse." ;
                                                                 
                                                                 owl:versionInfo "1.0 by Aldo Gangemi" ;
                                                                 
                                                                 owl:imports <http://www.ontologydesignpatterns.org/ont/fred/pos.owl> .


#################################################################
#
#    Object Properties
#
#################################################################


###  http://www.ontologydesignpatterns.org/ont/fred/quantifiers.owl#hasDeterminer

:hasDeterminer rdf:type owl:ObjectProperty ;
               
               rdfs:range :PureDeterminer .



###  http://www.ontologydesignpatterns.org/ont/fred/quantifiers.owl#hasQuantifier

:hasQuantifier rdf:type owl:ObjectProperty ;
               
               rdfs:range :Quantifier .





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


###  http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#hasDataValue

<http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#hasDataValue> rdf:type owl:DatatypeProperty .



###  http://www.ontologydesignpatterns.org/ont/fred/quantifiers.owl#hasCardinality

:hasCardinality rdf:type owl:DatatypeProperty ;
                
                rdfs:subPropertyOf <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#hasDataValue> .





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


###  http://www.ontologydesignpatterns.org/ont/fred/quantifiers.owl#AmountQuantifier

:AmountQuantifier rdf:type owl:Class ;
                  
                  rdfs:subClassOf :Quantifier .



###  http://www.ontologydesignpatterns.org/ont/fred/quantifiers.owl#Determiner

:Determiner rdf:type owl:Class ;
            
            rdfs:subClassOf :Quantifier .



###  http://www.ontologydesignpatterns.org/ont/fred/quantifiers.owl#GlobalQuantifier

:GlobalQuantifier rdf:type owl:Class ;
                  
                  rdfs:subClassOf :PluralQuantifier .



###  http://www.ontologydesignpatterns.org/ont/fred/quantifiers.owl#PluralQuantifier

:PluralQuantifier rdf:type owl:Class ;
                  
                  rdfs:subClassOf :Quantifier .



###  http://www.ontologydesignpatterns.org/ont/fred/quantifiers.owl#PureDeterminer

:PureDeterminer rdf:type owl:Class ;
                
                rdfs:subClassOf :Determiner .



###  http://www.ontologydesignpatterns.org/ont/fred/quantifiers.owl#Quantifier

:Quantifier rdf:type owl:Class .



###  http://www.ontologydesignpatterns.org/ont/fred/quantifiers.owl#SubsetQuantifier

:SubsetQuantifier rdf:type owl:Class ;
                  
                  rdfs:subClassOf :PluralQuantifier .



###  http://www.ontologydesignpatterns.org/ont/fred/quantifiers.owl#ZeroQuantifier

:ZeroQuantifier rdf:type owl:Class ;
                
                rdfs:subClassOf :Quantifier .





#################################################################
#
#    Individuals
#
#################################################################


###  http://www.ontologydesignpatterns.org/ont/fred/quantifiers.owl#A_Lot

:A_Lot rdf:type :Quantifier ,
                :SubsetQuantifier ,
                owl:NamedIndividual ;
       
       rdfs:label "a lot" ,
                  "lots of" ,
                  "a lot of" ;
       
       pos:pennpos pos:NN .



###  http://www.ontologydesignpatterns.org/ont/fred/quantifiers.owl#A_n

:A_n rdf:type :PureDeterminer ,
              :Quantifier ,
              owl:NamedIndividual ;
     
     rdfs:label "a"@en ,
                "an"@en ;
     
     pos:pennpos pos:DT .



###  http://www.ontologydesignpatterns.org/ont/fred/quantifiers.owl#Abundant

:Abundant rdf:type :AmountQuantifier ,
                   :Quantifier ,
                   owl:NamedIndividual ;
          
          rdfs:label "abundant" ;
          
          pos:pennpos pos:JJ .



###  http://www.ontologydesignpatterns.org/ont/fred/quantifiers.owl#Adt

:Adt rdf:type :Determiner ,
              :Quantifier ,
              owl:NamedIndividual ;
     
     rdfs:label "an" ,
                "a" ;
     
     pos:pennpos pos:DT .



###  http://www.ontologydesignpatterns.org/ont/fred/quantifiers.owl#All

:All rdf:type :GlobalQuantifier ,
              :Quantifier ,
              owl:NamedIndividual ;
     
     rdfs:label "all" ;
     
     pos:pennpos pos:DT .



###  http://www.ontologydesignpatterns.org/ont/fred/quantifiers.owl#Another

:Another rdf:type :PureDeterminer ,
                  :Quantifier ,
                  owl:NamedIndividual ;
         
         rdfs:label "another" ;
         
         pos:pennpos pos:DT .



###  http://www.ontologydesignpatterns.org/ont/fred/quantifiers.owl#Any

:Any rdf:type :Quantifier ,
              :SubsetQuantifier ,
              owl:NamedIndividual ;
     
     pos:pennpos pos:DT .



###  http://www.ontologydesignpatterns.org/ont/fred/quantifiers.owl#Both

:Both rdf:type :GlobalQuantifier ,
               :Quantifier ,
               owl:NamedIndividual ;
      
      :hasCardinality "2" ;
      
      pos:pennpos pos:DT .



###  http://www.ontologydesignpatterns.org/ont/fred/quantifiers.owl#Double

:Double rdf:type :Quantifier ,
                 owl:NamedIndividual ;
        
        :hasCardinality "2" ;
        
        pos:pennpos pos:JJ .



###  http://www.ontologydesignpatterns.org/ont/fred/quantifiers.owl#Each

:Each rdf:type :GlobalQuantifier ,
               :Quantifier ,
               owl:NamedIndividual ;
      
      pos:pennpos pos:DT .



###  http://www.ontologydesignpatterns.org/ont/fred/quantifiers.owl#Either

:Either rdf:type :Quantifier ,
                 :SubsetQuantifier ,
                 owl:NamedIndividual ;
        
        :hasCardinality "2" ;
        
        pos:pennpos pos:CC .



###  http://www.ontologydesignpatterns.org/ont/fred/quantifiers.owl#Every

:Every rdf:type :GlobalQuantifier ,
                :Quantifier ,
                owl:NamedIndividual ;
       
       pos:pennpos pos:DT .



###  http://www.ontologydesignpatterns.org/ont/fred/quantifiers.owl#Few

:Few rdf:type :Quantifier ,
              :SubsetQuantifier ,
              owl:NamedIndividual ;
     
     pos:pennpos pos:JJ .



###  http://www.ontologydesignpatterns.org/ont/fred/quantifiers.owl#Many

:Many rdf:type :Quantifier ,
               :SubsetQuantifier ,
               owl:NamedIndividual ;
      
      pos:pennpos pos:JJ .



###  http://www.ontologydesignpatterns.org/ont/fred/quantifiers.owl#Much

:Much rdf:type :AmountQuantifier ,
               :Quantifier ,
               owl:NamedIndividual ;
      
      pos:pennpos pos:JJ .



###  http://www.ontologydesignpatterns.org/ont/fred/quantifiers.owl#Multiple

:Multiple rdf:type :PluralQuantifier ,
                   :Quantifier ,
                   owl:NamedIndividual ;
          
          pos:pennpos pos:JJ .



###  http://www.ontologydesignpatterns.org/ont/fred/quantifiers.owl#No

:No rdf:type :Quantifier ,
             :ZeroQuantifier ,
             owl:NamedIndividual ;
    
    :hasCardinality "0" ;
    
    pos:pennpos pos:DT .



###  http://www.ontologydesignpatterns.org/ont/fred/quantifiers.owl#Octuple

:Octuple rdf:type :PluralQuantifier ,
                  :Quantifier ,
                  owl:NamedIndividual ;
         
         :hasCardinality "8" ;
         
         pos:pennpos pos:JJ .



###  http://www.ontologydesignpatterns.org/ont/fred/quantifiers.owl#Other

:Other rdf:type :PureDeterminer ,
                :Quantifier ,
                owl:NamedIndividual ;
       
       rdfs:label "other"@en ;
       
       pos:pennpos pos:DT .



###  http://www.ontologydesignpatterns.org/ont/fred/quantifiers.owl#Quadruple

:Quadruple rdf:type :PluralQuantifier ,
                    :Quantifier ,
                    owl:NamedIndividual ;
           
           :hasCardinality "4" ;
           
           pos:pennpos pos:JJ .



###  http://www.ontologydesignpatterns.org/ont/fred/quantifiers.owl#Quintuple

:Quintuple rdf:type :PluralQuantifier ,
                    :Quantifier ,
                    owl:NamedIndividual ;
           
           :hasCardinality "5" ;
           
           pos:pennpos pos:JJ .



###  http://www.ontologydesignpatterns.org/ont/fred/quantifiers.owl#Scarce

:Scarce rdf:type :AmountQuantifier ,
                 :Quantifier ,
                 owl:NamedIndividual ;
        
        pos:pennpos pos:JJ .



###  http://www.ontologydesignpatterns.org/ont/fred/quantifiers.owl#Septuple

:Septuple rdf:type :PluralQuantifier ,
                   :Quantifier ,
                   owl:NamedIndividual ;
          
          :hasCardinality "7" ;
          
          pos:pennpos pos:JJ .



###  http://www.ontologydesignpatterns.org/ont/fred/quantifiers.owl#Several

:Several rdf:type :Quantifier ,
                  :SubsetQuantifier ,
                  owl:NamedIndividual ;
         
         pos:pennpos pos:JJ .



###  http://www.ontologydesignpatterns.org/ont/fred/quantifiers.owl#Sextuple

:Sextuple rdf:type :PluralQuantifier ,
                   :Quantifier ,
                   owl:NamedIndividual ;
          
          :hasCardinality "6" ;
          
          pos:pennpos pos:JJ .



###  http://www.ontologydesignpatterns.org/ont/fred/quantifiers.owl#Some

:Some rdf:type :Quantifier ,
               :SubsetQuantifier ,
               owl:NamedIndividual ;
      
      pos:pennpos pos:DT .



###  http://www.ontologydesignpatterns.org/ont/fred/quantifiers.owl#Such

:Such rdf:type :PureDeterminer ,
               :Quantifier ,
               owl:NamedIndividual ;
      
      pos:pennpos pos:JJ .



###  http://www.ontologydesignpatterns.org/ont/fred/quantifiers.owl#That

:That rdf:type :PureDeterminer ,
               :Quantifier ,
               :SubsetQuantifier ,
               owl:NamedIndividual ;
      
      :hasCardinality "1" ;
      
      pos:pennpos pos:DT .



###  http://www.ontologydesignpatterns.org/ont/fred/quantifiers.owl#The

:The rdf:type :PureDeterminer ,
              :Quantifier ,
              owl:NamedIndividual ;
     
     pos:pennpos pos:DT .



###  http://www.ontologydesignpatterns.org/ont/fred/quantifiers.owl#These

:These rdf:type :PureDeterminer ,
                :Quantifier ,
                :SubsetQuantifier ,
                owl:NamedIndividual ;
       
       pos:pennpos pos:DT .



###  http://www.ontologydesignpatterns.org/ont/fred/quantifiers.owl#This

:This rdf:type :PureDeterminer ,
               :Quantifier ,
               :SubsetQuantifier ,
               owl:NamedIndividual ;
      
      :hasCardinality "1" ;
      
      pos:pennpos pos:DT .



###  http://www.ontologydesignpatterns.org/ont/fred/quantifiers.owl#Those

:Those rdf:type :PureDeterminer ,
                :Quantifier ,
                :SubsetQuantifier ,
                owl:NamedIndividual ;
       
       pos:pennpos pos:DT .



###  http://www.ontologydesignpatterns.org/ont/fred/quantifiers.owl#Triple

:Triple rdf:type :PluralQuantifier ,
                 :Quantifier ,
                 owl:NamedIndividual ;
        
        :hasCardinality "3" ;
        
        pos:pennpos pos:JJ .




###  Generated by the OWL API (version 3.4.2) http://owlapi.sourceforge.net