Ontospy > http://omv.ontoware.org/2005/05/ontology

ontology:OntologyType leaf node

URI

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

Label

OntologyType

Description

This class subsumes types of ontologies according to well-known classifications in the Ontology Engineering literature.

Usage

Instances of ontology:OntologyType can have the following properties:

PROPERTY	TYPE	DESCRIPTION	RANGE
From class ontology:OntologyType
ontology:definedBy	owl:ObjectProperty	--	ontology:Party

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

:OntologyType a owl:Class ;
    rdfs:label "OntologyType"^^xsd:string ;
    rdfs:comment """This class subsumes types of ontologies according to well-known classifications in the
Ontology Engineering literature."""^^xsd:string ;
    rdfs:subClassOf [ a owl:Restriction ;
            owl:allValuesFrom :Party ;
            owl:onProperty :definedBy ],
        [ a owl:Restriction ;
            owl:cardinality "1"^^xsd:nonNegativeInteger ;
            owl:onProperty :name ],
        [ a owl:Restriction ;
            owl:allValuesFrom xsd:string ;
            owl:onProperty :acronym ],
        [ a owl:Restriction ;
            owl:allValuesFrom xsd:string ;
            owl:onProperty :name ],
        [ a owl:Restriction ;
            owl:maxCardinality "1"^^xsd:int ;
            owl:onProperty :description ],
        [ a owl:Restriction ;
            owl:maxCardinality "1"^^xsd:int ;
            owl:onProperty :acronym ],
        [ a owl:Restriction ;
            owl:allValuesFrom xsd:string ;
            owl:onProperty :description ],
        [ a owl:Restriction ;
            owl:allValuesFrom xsd:string ;
            owl:onProperty :documentation ],
        [ a owl:Restriction ;
            owl:maxCardinality "1"^^xsd:nonNegativeInteger ;
            owl:onProperty :documentation ],
        owl:Thing .