@prefix : <http://www.purl.org/rbm/rbmo#> .
@prefix dc: <http://purl.org/dc/elements/1.1/> .
@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 foaf: <http://xmlns.com/foaf/0.1/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@base <http://www.purl.org/rbm/rbmo#> .

<http://www.purl.org/rbm/rbmo#> rdf:type owl:Ontology ;
                                
                                rdfs:label "Rule-Based Model Ontology"@en ;
                                
                                dc:creator "Matteo Cavaliere" ,
                                           "Goksel Misirli" ;
                                
                                rdfs:comment "RBMO - An ontology for annotating rule-based models"@en ;
                                
                                dc:creator "William Waites" ,
                                           "Matthew Pocock" .


#################################################################
#
#    Annotation properties
#
#################################################################


###  http://purl.org/dc/elements/1.1/creator

dc:creator rdf:type owl:AnnotationProperty .



###  http://purl.org/dc/elements/1.1/date

dc:date rdf:type owl:AnnotationProperty .



###  http://purl.org/dc/elements/1.1/title

dc:title rdf:type owl:AnnotationProperty .



###  http://www.w3.org/2000/01/rdf-schema#comment

rdfs:comment rdf:type owl:AnnotationProperty .



###  http://www.w3.org/2000/01/rdf-schema#label

rdfs:label rdf:type owl:AnnotationProperty .



###  http://www.w3.org/2000/01/rdf-schema#seeAlso

rdfs:seeAlso rdf:type owl:AnnotationProperty .





#################################################################
#
#    Datatypes
#
#################################################################


###  http://www.w3.org/1999/02/22-rdf-syntax-ns#PlainLiteral

rdf:PlainLiteral rdf:type rdfs:Datatype .





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


###  http://www.purl.org/rbm/rbmo#agent

:agent rdf:type owl:ObjectProperty ;
       
       rdfs:label "agent"@en ;
       
       rdfs:comment "Specifies which Agent a pattern is meant to match."@en ;
       
       rdfs:range :Agent ;
       
       rdfs:domain :Pattern .



###  http://www.purl.org/rbm/rbmo#hasSite

:hasSite rdf:type owl:ObjectProperty ;
         
         rdfs:label "hasSite"@en ;
         
         rdfs:comment "Specifies that an Agent has a Site."@en ;
         
         rdfs:domain :Agent ;
         
         rdfs:range :Site ;
         
         owl:inverseOf :siteOf .



###  http://www.purl.org/rbm/rbmo#hasState

:hasState rdf:type owl:ObjectProperty ;
          
          rdfs:label "hasState"@en ;
          
          rdfs:comment "Specifies that a Site has a a possible configuration State. Used in declarations."@en ;
          
          rdfs:domain :Site ;
          
          rdfs:range :State ;
          
          owl:inverseOf :stateOf .



###  http://www.purl.org/rbm/rbmo#hasSubrule

:hasSubrule rdf:type owl:ObjectProperty ;
            
            rdfs:label "hasSubrule"@en ;
            
            rdfs:comment "Specifies that a rule has a subrule, for example part of a KaSim rule which uses tokens. Its value is the identifier for the subrule."@en ;
            
            rdfs:range :Rule ;
            
            rdfs:domain :Rule ;
            
            owl:inverseOf :subruleOf .



###  http://www.purl.org/rbm/rbmo#internalState

:internalState rdf:type owl:ObjectProperty ;
               
               rdfs:label "Links a status in a Pattern to a State"@en ,
                          "internalState"@en ;
               
               rdfs:range :State .



###  http://www.purl.org/rbm/rbmo#isBoundBy

:isBoundBy rdf:type owl:ObjectProperty ;
           
           rdfs:label "isBoundBy"@en ;
           
           rdfs:comment "Specifies the bond that a site in a Pattern is bound or unbound."@en ;
           
           rdfs:subPropertyOf owl:topObjectProperty .



###  http://www.purl.org/rbm/rbmo#isStatusOf

:isStatusOf rdf:type owl:ObjectProperty ;
            
            rdfs:label "isStatusOf"@en ;
            
            rdfs:comment "Links a status in a Pattern to a Site"@en ;
            
            rdfs:range :Site .



###  http://www.purl.org/rbm/rbmo#lhs

:lhs rdf:type owl:ObjectProperty ;
     
     rdfs:label "lhs"@en ;
     
     rdfs:comment "Specifies a pattern on the left-hand side of a Rule."@en ;
     
     rdfs:range :Pattern ;
     
     rdfs:domain :Rule ;
     
     owl:inverseOf :lhsOf .



###  http://www.purl.org/rbm/rbmo#lhsOf

:lhsOf rdf:type owl:ObjectProperty ;
       
       rdfs:label "lhsOf"@en ;
       
       rdfs:comment "The left-hand side of an Rule"@en ;
       
       rdfs:domain :Pattern ;
       
       rdfs:range :Rule .



###  http://www.purl.org/rbm/rbmo#pattern

:pattern rdf:type owl:ObjectProperty ;
         
         rdfs:label "pattern"@en ;
         
         rdfs:comment "Specifies the pattern that match an observable."@en .



###  http://www.purl.org/rbm/rbmo#rhs

:rhs rdf:type owl:ObjectProperty ;
     
     rdfs:label "rhs"@en ;
     
     rdfs:comment "Specifies a pattern on the right-hand side of a Rule."@en ;
     
     rdfs:range :Pattern ;
     
     rdfs:domain :Rule ;
     
     owl:inverseOf :rhsOf .



###  http://www.purl.org/rbm/rbmo#rhsOf

:rhsOf rdf:type owl:ObjectProperty ;
       
       rdfs:label "rhsOf"@en ;
       
       rdfs:comment "The right-hand side of an Rule"@en ;
       
       rdfs:domain :Pattern ;
       
       rdfs:range :Rule .



###  http://www.purl.org/rbm/rbmo#siteOf

:siteOf rdf:type owl:ObjectProperty ;
        
        rdfs:label "siteOf"@en ;
        
        rdfs:comment "Specifies that a Site is on an Agent."@en ;
        
        rdfs:range :Agent ;
        
        rdfs:domain :Site .



###  http://www.purl.org/rbm/rbmo#stateOf

:stateOf rdf:type owl:ObjectProperty ;
         
         rdfs:label "stateOf"@en ;
         
         rdfs:comment "Specifies that a State is a possible configuration of a Site. Used in declarations."@en ;
         
         rdfs:range :Site ;
         
         rdfs:domain :State .



###  http://www.purl.org/rbm/rbmo#status

:status rdf:type owl:ObjectProperty ;
        
        rdfs:label "status"@en ;
        
        rdfs:comment "Specifies the status of a particular site (and state) in a pattern."@en .



###  http://www.purl.org/rbm/rbmo#subruleOf

:subruleOf rdf:type owl:ObjectProperty ;
           
           rdfs:label "subruleOf"@en ;
           
           rdfs:comment "Specifies that a rule is subrule of another rule."@en .



###  http://www.w3.org/2002/07/owl#topObjectProperty

owl:topObjectProperty rdf:type owl:ObjectProperty .





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


###  http://www.purl.org/rbm/rbmo#Agent

:Agent rdf:type owl:Class ;
       
       rdfs:label "Agent"@en ;
       
       rdfs:comment "A definition of an entity that can form part of a Rule."@en .



###  http://www.purl.org/rbm/rbmo#BioNetGen

:BioNetGen rdf:type owl:Class ;
           
           rdfs:label "BioNetGen"@en ;
           
           rdfs:subClassOf :Model ;
           
           owl:disjointWith :Kappa ;
           
           rdfs:comment "A model implemented in BioNetGen."@en .



###  http://www.purl.org/rbm/rbmo#BoundState

:BoundState rdf:type owl:Class ;
            
            rdfs:label "Unknown"@en ;
            
            owl:disjointWith :UnboundState ;
            
            rdfs:comment "Specifies that a site in a pattern is bound."@en .



###  http://www.purl.org/rbm/rbmo#Kappa

:Kappa rdf:type owl:Class ;
       
       rdfs:label "Kappa" ;
       
       rdfs:subClassOf :Model ;
       
       rdfs:comment "A model implemented in Kappa."@en .



###  http://www.purl.org/rbm/rbmo#Model

:Model rdf:type owl:Class ;
       
       rdfs:label "Model"@en ;
       
       rdfs:comment "A model in a rule-based language."@en .



###  http://www.purl.org/rbm/rbmo#Observable

:Observable rdf:type owl:Class ;
            
            rdfs:label "Observable"@en ;
            
            rdfs:comment "A group of Patterns that is observed or recorded"@en .



###  http://www.purl.org/rbm/rbmo#Pattern

:Pattern rdf:type owl:Class ;
         
         rdfs:label "Pattern"@en ;
         
         rdfs:comment "A pattern that can match an agent in terms of the state of its sites."@en .



###  http://www.purl.org/rbm/rbmo#Rule

:Rule rdf:type owl:Class ;
      
      rdfs:label "Rule"@en ;
      
      rdfs:comment "A rule expressing interactions between Agents."@en .



###  http://www.purl.org/rbm/rbmo#Site

:Site rdf:type owl:Class ;
      
      rdfs:label "Site"@en ;
      
      rdfs:comment "A definition of a site of an Agent."@en .



###  http://www.purl.org/rbm/rbmo#State

:State rdf:type owl:Class ;
       
       rdfs:label "State"@en ;
       
       rdfs:comment "A definition of possible internal state of a Site."@en .



###  http://www.purl.org/rbm/rbmo#UnboundState

:UnboundState rdf:type owl:Class ;
              
              rdfs:label "Nothing"@en ,
                         "Specifies that a site in a pattern is unbound"@en .



###  http://www.w3.org/2002/07/owl#Thing

owl:Thing rdf:type owl:Class .




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