@prefix :      <https://pi.pauwel.be/voc/list#> .
@prefix rdfs:  <http://www.w3.org/2000/01/rdf-schema#> .
@prefix dce:   <http://purl.org/dc/elements/1.1/> .
@prefix owl:   <http://www.w3.org/2002/07/owl#> .
@prefix xsd:   <http://www.w3.org/2001/XMLSchema#> .
@prefix rdf:   <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix vann:  <http://purl.org/vocab/vann/> .
@prefix list:  <https://pi.pauwel.be/voc/list#> .
@prefix cc:    <http://creativecommons.org/ns#> .

<https://pi.pauwel.be/voc/list>
        a                              owl:Ontology ;
        rdfs:comment                   "A set of entities used to describe the OWL list pattern. " ;
		rdfs:comment					"This ontology is identical to the ontology originally published by Drummond et al., with namespace http://www.co-ode.org/ontologies/lists/2008/09/11/list.owl# and available at web location http://owl.cs.manchester.ac.uk/wp-content/uploads/2015/07/list.owl_.txt on 11 December 2015." ;
        cc:license                     <http://creativecommons.org/licenses/by/3.0/> ;
        dce:creator                    "Walter Terkaj  (walter.terkaj@itia.cnr.it)" , "Pieter Pauwels (pipauwel.pauwels@ugent.be)" ;
        dce:date                       "2016/03/03" ;
        dce:description                "A set of entities used to describe the OWL list pattern." ;
        dce:identifier                 "List" ;
        dce:language                   "en" ;
        dce:title                      "List" ;
        vann:preferredNamespacePrefix  "list" ;
        vann:preferredNamespaceUri     "https://pi.pauwel.be/voc/list" ;
		owl:versionInfo     			"1.0.0 " .
		

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


###  https://pi.pauwel.be/voc/list#hasContents

list:hasContents rdf:type owl:FunctionalProperty ,
                          owl:ObjectProperty ;
                 
                 rdfs:subPropertyOf list:hasListProperty .



###  https://pi.pauwel.be/voc/list#hasListProperty

list:hasListProperty rdf:type owl:ObjectProperty ;
                     
                     rdfs:domain list:OWLList .



###  https://pi.pauwel.be/voc/list#hasNext

list:hasNext rdf:type owl:FunctionalProperty ,
                      owl:ObjectProperty ;
             
             rdfs:subPropertyOf list:isFollowedBy .



###  https://pi.pauwel.be/voc/list#isFollowedBy

list:isFollowedBy rdf:type owl:ObjectProperty ,
                           owl:TransitiveProperty ;
                  
                  rdfs:range list:OWLList ;
                  
                  rdfs:subPropertyOf list:hasListProperty .





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


###  https://pi.pauwel.be/voc/list#EmptyList

list:EmptyList rdf:type owl:Class ;
               
               owl:equivalentClass [ rdf:type owl:Class ;
                                     owl:intersectionOf ( list:OWLList
                                                          [ rdf:type owl:Class ;
                                                            owl:complementOf [ rdf:type owl:Restriction ;
                                                                               owl:onProperty list:hasContents ;
                                                                               owl:someValuesFrom owl:Thing
                                                                             ]
                                                          ]
                                                        )
                                   ] ,
                                   [ rdf:type owl:Class ;
                                     owl:intersectionOf ( list:OWLList
                                                          [ rdf:type owl:Class ;
                                                            owl:complementOf [ rdf:type owl:Restriction ;
                                                                               owl:onProperty list:isFollowedBy ;
                                                                               owl:someValuesFrom owl:Thing
                                                                             ]
                                                          ]
                                                        )
                                   ] .



###  https://pi.pauwel.be/voc/list#OWLList

list:OWLList rdf:type owl:Class ;
             
             rdfs:subClassOf owl:Thing ,
                             [ rdf:type owl:Restriction ;
                               owl:onProperty list:isFollowedBy ;
                               owl:allValuesFrom list:OWLList
                             ] .




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