@prefix : <http://omv.ontoware.org/2005/05/ontology#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
:containsRBox a owl:DatatypeProperty ;
rdfs:comment """Indicates if the ontology contains assertions about
roles (properties) and role hierarchies (e.g. subsumption, equivalence, transitivity). Among others, it includes role definitions, transitivity axioms of the form Tr(R) and role inclusion axioms: (i) of the form R v S, where R; S are roles (simple role inclusion SRI), (ii) of the form R o S v R and S o R v R where R is a role and S is a simple role (i.e. complex role inclusion)."""^^xsd:string ;
rdfs:domain :Ontology ;
rdfs:range xsd:boolean .