@prefix : <http://www.delph-in.net/rdf/mrs#> .
@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 xsp: <http://www.owl-ontologies.com/2005/08/07/xsp.owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix swrl: <http://www.w3.org/2003/11/swrl#> .
@prefix swrlb: <http://www.w3.org/2003/11/swrlb#> .
@prefix protege: <http://protege.stanford.edu/plugins/owl/protege#> .
@base <http://www.delph-in.net/rdf/mrs> .

<http://www.delph-in.net/rdf/mrs> rdf:type owl:Ontology .


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


###  http://www.delph-in.net/rdf/mrs#ARG

:ARG rdf:type owl:ObjectProperty ;
     
     rdfs:subPropertyOf :ROLE .



###  http://www.delph-in.net/rdf/mrs#ARG0

:ARG0 rdf:type owl:ObjectProperty ;
      
      rdfs:subPropertyOf :ROLE .



###  http://www.delph-in.net/rdf/mrs#ARG1

:ARG1 rdf:type owl:ObjectProperty ;
      
      rdfs:subPropertyOf :ROLE .



###  http://www.delph-in.net/rdf/mrs#ARG2

:ARG2 rdf:type owl:ObjectProperty ;
      
      rdfs:subPropertyOf :ROLE .



###  http://www.delph-in.net/rdf/mrs#ARG3

:ARG3 rdf:type owl:ObjectProperty ;
      
      rdfs:subPropertyOf :ROLE .



###  http://www.delph-in.net/rdf/mrs#ARG4

:ARG4 rdf:type owl:ObjectProperty ;
      
      rdfs:subPropertyOf :ROLE .



###  http://www.delph-in.net/rdf/mrs#BODY

:BODY rdf:type owl:ObjectProperty ;
      
      rdfs:subPropertyOf :ROLE .



###  http://www.delph-in.net/rdf/mrs#L-HNDL

:L-HNDL rdf:type owl:ObjectProperty ;
        
        rdfs:subPropertyOf :ROLE .



###  http://www.delph-in.net/rdf/mrs#L-INDEX

:L-INDEX rdf:type owl:ObjectProperty ;
         
         rdfs:subPropertyOf :ROLE .



###  http://www.delph-in.net/rdf/mrs#label

:label rdf:type owl:ObjectProperty ;
     
     rdfs:range :H ;
     
     rdfs:domain :Predication ;
     
     rdfs:subPropertyOf owl:topObjectProperty .



###  http://www.delph-in.net/rdf/mrs#R-HNDL

:R-HNDL rdf:type owl:ObjectProperty ;
        
        rdfs:subPropertyOf :ROLE .



###  http://www.delph-in.net/rdf/mrs#R-INDEX

:R-INDEX rdf:type owl:ObjectProperty ;
         
         rdfs:subPropertyOf :ROLE .



###  http://www.delph-in.net/rdf/mrs#ROLE

:ROLE rdf:type owl:ObjectProperty ;
      
      rdfs:domain :Predication ;
      
      rdfs:range :Variable .



###  http://www.delph-in.net/rdf/mrs#RSTR

:RSTR rdf:type owl:ObjectProperty ;
      
      rdfs:subPropertyOf :ROLE .



###  http://www.delph-in.net/rdf/mrs#constraint

:constraint rdf:type owl:ObjectProperty ;
            
            rdfs:range :H ;
            
            rdfs:domain :H .



###  http://www.delph-in.net/rdf/mrs#qeq

:qeq rdf:type owl:ObjectProperty ;
     
     rdfs:range :H ;
     
     rdfs:domain :H ;
     
     rdfs:subPropertyOf :constraint .





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


###  http://www.delph-in.net/rdf/mrs#CARG

:CARG rdf:type owl:DatatypeProperty ;
      
      rdfs:domain :Predication .


###  http://www.delph-in.net/rdf/mrs#end

:end rdf:type owl:DatatypeProperty ;
     
     rdfs:domain :Predication ;
     
     rdfs:range xsd:int .



###  http://www.delph-in.net/rdf/mrs#index

:id rdf:type owl:DatatypeProperty ;
       
       rdfs:domain :Variable ;
       
       rdfs:range xsd:int .



###  http://www.delph-in.net/rdf/mrs#predicate

:predicate rdf:type owl:DatatypeProperty ;
           
           rdfs:domain :Predication .



###  http://www.delph-in.net/rdf/mrs#start

:start rdf:type owl:DatatypeProperty ;
       
       rdfs:domain :Predication ;
       
       rdfs:range xsd:int .



###  http://www.delph-in.net/rdf/mrs#top

:top rdf:type owl:DatatypeProperty ;
     
     rdfs:domain :Predication ;
     
     rdfs:range :H .

:index rdf:type owl:DatatypeProperty ;
     
     rdfs:domain :Predication ;
     
     rdfs:range :I .




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


###  http://www.delph-in.net/rdf/mrs#E

:E rdf:type owl:Class ;
   
   rdfs:subClassOf :I .



###  http://www.delph-in.net/rdf/mrs#H

:H rdf:type owl:Class ;
   
   rdfs:subClassOf :P .



###  http://www.delph-in.net/rdf/mrs#I

:I rdf:type owl:Class ;
   
   rdfs:subClassOf :Variable .



###  http://www.delph-in.net/rdf/mrs#P

:P rdf:type owl:Class ;
   
   rdfs:subClassOf :Variable .



###  http://www.delph-in.net/rdf/mrs#Predication

:Predication rdf:type owl:Class .



###  http://www.delph-in.net/rdf/mrs#Variable

:Variable rdf:type owl:Class .



###  http://www.delph-in.net/rdf/mrs#X

:X rdf:type owl:Class ;
   
   rdfs:subClassOf :I ,
                   :P .




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