@prefix : <https://ontology.inferal.com/modules/ordering/> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix mod: <https://w3id.org/mod#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix pubacc: <https://ontology.inferal.com/modules/publication-access/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix vann: <http://purl.org/vocab/vann/> .

<https://ontology.inferal.com/modules/ordering/owl>
    a owl:Ontology, pubacc:PublicationManagedOntology ;
    dcterms:accessRights pubacc:PublicAccess ;
    owl:imports : ;
    dcterms:title "Ordering Ontology - OWL Addendum" ;
    dcterms:description "OWL class and property typing layered on the RDFS Ordering Ontology." ;
    dcterms:license <https://creativecommons.org/licenses/by/4.0/> ;
    dcterms:source : ;
    vann:preferredNamespacePrefix "ord" ;
    vann:preferredNamespaceUri "https://ontology.inferal.com/modules/ordering/" ;
    mod:status "draft" ;
    rdfs:label "Ordering Ontology - OWL Addendum" ;
    rdfs:comment "This addendum imports the RDFS base vocabulary and adds OWL typing and ordering relation axioms for consumers that want OWL reasoning support." ;
    owl:versionInfo "0.1.0" .

:Comparable a owl:Class .
:Ordering a owl:Class .
:PartialOrdering a owl:Class .
:TotalOrdering a owl:Class .
:RankDirection a owl:Class .

:AscendingRank a owl:NamedIndividual, :RankDirection .
:DescendingRank a owl:NamedIndividual, :RankDirection .

:inOrdering a owl:ObjectProperty .

:rankDirection a owl:ObjectProperty, owl:FunctionalProperty .

:precedes
    a owl:ObjectProperty, owl:TransitiveProperty ;
    owl:inverseOf :follows .

:follows
    a owl:ObjectProperty, owl:TransitiveProperty .

:greaterThan
    a owl:ObjectProperty, owl:TransitiveProperty ;
    owl:inverseOf :lessThan .

:lessThan
    a owl:ObjectProperty, owl:TransitiveProperty .

:immediatelyPrecedes
    a owl:ObjectProperty ;
    owl:inverseOf :immediatelyFollows .

:immediatelyFollows a owl:ObjectProperty .

:sameRankAs
    a owl:ObjectProperty, owl:SymmetricProperty, owl:TransitiveProperty .

:rank a owl:DatatypeProperty .