ontology:containsRBox leaf node


URI

http://omv.ontoware.org/2005/05/ontology#containsRBox

Label

containsRBox

Description

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).

Usage

DOMAINPROPERTYRANGE
ontology:Ontology ontology:containsRBox xsd:boolean

Implementation

@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 .