@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#> .
:containsTBox a owl:DatatypeProperty ;
rdfs:comment """Indicates if the ontology contains assertions about
concepts (e.g. subsumption, equivalence). It includes concept definitions (i.e. in the form of A=C which define a concept name A by a concept description C) and general concept inclusion axioms (GCIs) (i.e. of the form C v D, where both C and D are arbitrary concept descriptions)."""^^xsd:string ;
rdfs:domain :Ontology ;
rdfs:range xsd:boolean .