1. Home
  2. Entities
  3. Properties
  4. http://omv.ontoware.org/2005/05/ontology#containsABox

ontology:containsABox leaf node

URI

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

Label

containsABox

Description

Indicates if the ontology contains role assertions between individuals and membership assertions (e.g. concept instantiation, role instantiation). It includes axioms of the form a : C, R(a, b), and a ? b, where a, b are individuals.

Usage

DOMAINPROPERTYRANGE
ontology:Ontology ontology:containsABox 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#> .

:containsABox a owl:DatatypeProperty ;
    rdfs:comment """Indicates if the ontology contains role assertions
between individuals and membership assertions (e.g. concept instantiation, role instantiation). It includes axioms of the form a : C, R(a, b), and a ? b, where a, b are individuals."""^^xsd:string ;
    rdfs:domain :Ontology ;
    rdfs:range xsd:boolean .