ontology:Ontology leaf node

owl:Thing
- ontology:Ontology

URI

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

Label

Ontology

Description

Aspects of specific realizations are covered modular (and extendable) by the class Ontology.

Usage

Instances of ontology:Ontology can have the following properties:

PROPERTY	TYPE	DESCRIPTION	RANGE
From class ontology:Ontology
ontology:containsABox	owl:DatatypeProperty	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:boolean
ontology:containsRBox	owl:DatatypeProperty	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:boolean
ontology:containsTBox	owl:DatatypeProperty	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:boolean
ontology:creationDate	owl:DatatypeProperty	Date when the ontology was initially created	xsd:string
ontology:expressiveness	owl:DatatypeProperty	Indicates the expressiveness of the language used by the ontology (that could be expressed in terms of the underlying DL, e.g. ALCN(D), SHIF(D), etc.)	xsd:string
ontology:isConsistentAccordingToReasoner	owl:DatatypeProperty	Indicates whether a reasoner has classified the ontology correctly. The definition of consistency is independent of a reasoner. The assumption is that the reasoner used for consistency checking operates correctly, i.e. according to the well-defined semantics of the ontology language	xsd:boolean
ontology:keyClasses	owl:DatatypeProperty	Indicates what the central/best represented classes of the ontology are.	xsd:string
ontology:keywords	owl:DatatypeProperty	List of keywords related to an ontology. Typically this set includes words that describe the content of the ontology	xsd:string
ontology:knownUsage	owl:DatatypeProperty	--	xsd:string
ontology:modificationDate	owl:DatatypeProperty	Date of the last modification made to the ontology	xsd:string
ontology:naturalLanguage	owl:DatatypeProperty	The language of the content of the ontology, i.e. English, German, etc.	xsd:string
ontology:notes	owl:DatatypeProperty	Additional information can be expressed here. Kind of like the stuff you don't want to put inside documentation	xsd:string
ontology:numberOfAxioms	owl:DatatypeProperty	Number of axioms in the ontology	xsd:integer
ontology:numberOfClasses	owl:DatatypeProperty	Number of classes in the ontology	xsd:integer
ontology:numberOfIndividuals	owl:DatatypeProperty	Number of individuals in the ontology	xsd:integer
ontology:numberOfProperties	owl:DatatypeProperty	Number of properties in the ontology	xsd:integer
ontology:resourceLocator	owl:DatatypeProperty	The location where the ontology can be found. It should be accessible via a URL	xsd:string
ontology:status	owl:DatatypeProperty	It specifies the tracking information for the contents of the ontology. Pre-defined values	xsd:string
ontology:version	owl:DatatypeProperty	Specifies the version information of the ontology. Version information could be useful for tracking, comparing and merging ontologies. The number could be incremented by 1, or a smaller or larger value, depending on the personal preference of the author.	xsd:string
ontology:designedForOntologyTask	owl:ObjectProperty	--	ontology:OntologyTask
ontology:endorsedBy	owl:ObjectProperty	Indicates the parties (i.e. organisations, people) that have expressed support or approval to the this ontology.	ontology:Party
ontology:hasContributor	owl:ObjectProperty	--	ontology:Party
ontology:hasCreator	owl:ObjectProperty	--	ontology:Party
ontology:hasDomain	owl:ObjectProperty	--	ontology:OntologyDomain
ontology:hasFormalityLevel	owl:ObjectProperty	--	ontology:FormalityLevel
ontology:hasLicense	owl:ObjectProperty	--	ontology:LicenseModel
ontology:hasOntologyLanguage	owl:ObjectProperty	--	ontology:OntologyLanguage
ontology:hasOntologySyntax	owl:ObjectProperty	--	ontology:OntologySyntax
ontology:hasPriorVersion	owl:ObjectProperty	--	ontology:Ontology
ontology:isBackwardCompatibleWith	owl:ObjectProperty	--	ontology:Ontology
ontology:isIncompatibleWith	owl:ObjectProperty	--	ontology:Ontology
ontology:isOfType	owl:ObjectProperty	--	ontology:OntologyType
ontology:useImports	owl:ObjectProperty	--	ontology:Ontology
ontology:usedKnowledgeRepresentationParadigm	owl:ObjectProperty	--	ontology:KnowledgeRepresentationParadigm
ontology:usedOntologyEngineeringMethodology	owl:ObjectProperty	--	ontology:OntologyEngineeringMethodology
ontology:usedOntologyEngineeringTool	owl:ObjectProperty	--	ontology:OntologyEngineeringTool

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

:Ontology a owl:Class ;
    rdfs:label "Ontology"^^xsd:string ;
    rdfs:comment "Aspects of specific realizations are covered modular (and extendable) by the class Ontology."^^xsd:string ;
    rdfs:subClassOf [ a owl:Restriction ;
            owl:allValuesFrom xsd:string ;
            owl:onProperty :keyClasses ],
        [ a owl:Restriction ;
            owl:allValuesFrom :OntologyEngineeringTool ;
            owl:onProperty :usedOntologyEngineeringTool ],
        [ a owl:Restriction ;
            owl:allValuesFrom :KnowledgeRepresentationParadigm ;
            owl:onProperty :usedKnowledgeRepresentationParadigm ],
        [ a owl:Restriction ;
            owl:allValuesFrom xsd:string ;
            owl:onProperty :creationDate ],
        [ a owl:Restriction ;
            owl:allValuesFrom :OntologyDomain ;
            owl:onProperty :hasDomain ],
        [ a owl:Restriction ;
            owl:allValuesFrom xsd:string ;
            owl:onProperty :keywords ],
        [ a owl:Restriction ;
            owl:allValuesFrom xsd:integer ;
            owl:onProperty :numberOfClasses ],
        [ a owl:Restriction ;
            owl:cardinality "1"^^xsd:nonNegativeInteger ;
            owl:onProperty :description ],
        [ a owl:Restriction ;
            owl:allValuesFrom :Ontology ;
            owl:onProperty :isIncompatibleWith ],
        [ a owl:Restriction ;
            owl:maxCardinality "1"^^xsd:nonNegativeInteger ;
            owl:onProperty :modificationDate ],
        [ a owl:Restriction ;
            owl:maxCardinality "1"^^xsd:int ;
            owl:onProperty :notes ],
        [ a owl:Restriction ;
            owl:allValuesFrom xsd:string ;
            owl:onProperty :version ],
        [ a owl:Restriction ;
            owl:cardinality "1"^^xsd:nonNegativeInteger ;
            owl:onProperty :version ],
        [ a owl:Restriction ;
            owl:allValuesFrom xsd:string ;
            owl:onProperty :status ],
        [ a owl:Restriction ;
            owl:cardinality "1"^^xsd:int ;
            owl:onProperty :hasOntologySyntax ],
        [ a owl:Restriction ;
            owl:maxCardinality "1"^^xsd:nonNegativeInteger ;
            owl:onProperty :status ],
        [ a owl:Restriction ;
            owl:allValuesFrom xsd:string ;
            owl:onProperty :name ],
        [ a owl:Restriction ;
            owl:allValuesFrom :Ontology ;
            owl:onProperty :hasPriorVersion ],
        [ a owl:Restriction ;
            owl:allValuesFrom xsd:boolean ;
            owl:onProperty :containsTBox ],
        [ a owl:Restriction ;
            owl:cardinality "1"^^xsd:nonNegativeInteger ;
            owl:onProperty :numberOfProperties ],
        [ a owl:Restriction ;
            owl:maxCardinality "1"^^xsd:int ;
            owl:onProperty :containsRBox ],
        [ a owl:Restriction ;
            owl:maxCardinality "1"^^xsd:nonNegativeInteger ;
            owl:onProperty :hasLicense ],
        [ a owl:Restriction ;
            owl:allValuesFrom :Ontology ;
            owl:onProperty :useImports ],
        [ a owl:Restriction ;
            owl:allValuesFrom :OntologyType ;
            owl:onProperty :isOfType ],
        [ a owl:Restriction ;
            owl:allValuesFrom xsd:string ;
            owl:onProperty :resourceLocator ],
        [ a owl:Restriction ;
            owl:allValuesFrom xsd:string ;
            owl:onProperty :naturalLanguage ],
        [ a owl:Restriction ;
            owl:maxCardinality "1"^^xsd:nonNegativeInteger ;
            owl:onProperty :hasFormalityLevel ],
        [ a owl:Restriction ;
            owl:allValuesFrom xsd:string ;
            owl:onProperty :modificationDate ],
        [ a owl:Restriction ;
            owl:cardinality "1"^^xsd:int ;
            owl:onProperty :resourceLocator ],
        [ a owl:Restriction ;
            owl:cardinality "1"^^xsd:nonNegativeInteger ;
            owl:onProperty :creationDate ],
        [ a owl:Restriction ;
            owl:allValuesFrom xsd:boolean ;
            owl:onProperty :containsRBox ],
        [ a owl:Restriction ;
            owl:maxCardinality "1"^^xsd:int ;
            owl:onProperty :containsABox ],
        [ a owl:Restriction ;
            owl:allValuesFrom xsd:string ;
            owl:onProperty :notes ],
        [ a owl:Restriction ;
            owl:allValuesFrom xsd:string ;
            owl:onProperty :acronym ],
        [ a owl:Restriction ;
            owl:allValuesFrom :Ontology ;
            owl:onProperty :isBackwardCompatibleWith ],
        [ a owl:Restriction ;
            owl:allValuesFrom :Party ;
            owl:onProperty :hasCreator ],
        [ a owl:Restriction ;
            owl:allValuesFrom :LicenseModel ;
            owl:onProperty :hasLicense ],
        [ a owl:Restriction ;
            owl:cardinality "1"^^xsd:nonNegativeInteger ;
            owl:onProperty :numberOfAxioms ],
        [ a owl:Restriction ;
            owl:maxCardinality "1"^^xsd:nonNegativeInteger ;
            owl:onProperty :hasPriorVersion ],
        [ a owl:Restriction ;
            owl:allValuesFrom xsd:string ;
            owl:onProperty :description ],
        [ a owl:Restriction ;
            owl:allValuesFrom :FormalityLevel ;
            owl:onProperty :hasFormalityLevel ],
        [ a owl:Restriction ;
            owl:maxCardinality "1"^^xsd:int ;
            owl:onProperty :expressiveness ],
        [ a owl:Restriction ;
            owl:maxCardinality "1"^^xsd:int ;
            owl:onProperty :isConsistentAccordingToReasoner ],
        [ a owl:Restriction ;
            owl:allValuesFrom xsd:integer ;
            owl:onProperty :numberOfProperties ],
        [ a owl:Restriction ;
            owl:allValuesFrom :OntologySyntax ;
            owl:onProperty :hasOntologySyntax ],
        [ a owl:Restriction ;
            owl:allValuesFrom xsd:integer ;
            owl:onProperty :numberOfIndividuals ],
        [ a owl:Restriction ;
            owl:cardinality "1"^^xsd:nonNegativeInteger ;
            owl:onProperty :URI ],
        [ a owl:Restriction ;
            owl:allValuesFrom xsd:integer ;
            owl:onProperty :numberOfAxioms ],
        [ a owl:Restriction ;
            owl:allValuesFrom :Party ;
            owl:onProperty :endorsedBy ],
        [ a owl:Restriction ;
            owl:allValuesFrom :OntologyLanguage ;
            owl:onProperty :hasOntologyLanguage ],
        [ a owl:Restriction ;
            owl:allValuesFrom xsd:string ;
            owl:onProperty :URI ],
        [ a owl:Restriction ;
            owl:allValuesFrom xsd:string ;
            owl:onProperty :documentation ],
        [ a owl:Restriction ;
            owl:allValuesFrom xsd:boolean ;
            owl:onProperty :isConsistentAccordingToReasoner ],
        [ a owl:Restriction ;
            owl:maxCardinality "1"^^xsd:int ;
            owl:onProperty :containsTBox ],
        [ a owl:Restriction ;
            owl:allValuesFrom xsd:string ;
            owl:onProperty :expressiveness ],
        [ a owl:Restriction ;
            owl:cardinality "1"^^xsd:int ;
            owl:onProperty :isOfType ],
        [ a owl:Restriction ;
            owl:allValuesFrom xsd:string ;
            owl:onProperty :knownUsage ],
        [ a owl:Restriction ;
            owl:cardinality "1"^^xsd:nonNegativeInteger ;
            owl:onProperty :numberOfIndividuals ],
        [ a owl:Restriction ;
            owl:allValuesFrom :OntologyEngineeringMethodology ;
            owl:onProperty :usedOntologyEngineeringMethodology ],
        [ a owl:Restriction ;
            owl:cardinality "1"^^xsd:nonNegativeInteger ;
            owl:onProperty :numberOfClasses ],
        [ a owl:Restriction ;
            owl:allValuesFrom :Party ;
            owl:onProperty :hasContributor ],
        [ a owl:Restriction ;
            owl:minCardinality "1"^^xsd:int ;
            owl:onProperty :name ],
        [ a owl:Restriction ;
            owl:minCardinality "1"^^xsd:int ;
            owl:onProperty :hasCreator ],
        [ a owl:Restriction ;
            owl:allValuesFrom :OntologyTask ;
            owl:onProperty :designedForOntologyTask ],
        [ a owl:Restriction ;
            owl:cardinality "1"^^xsd:nonNegativeInteger ;
            owl:onProperty :acronym ],
        [ a owl:Restriction ;
            owl:maxCardinality "1"^^xsd:nonNegativeInteger ;
            owl:onProperty :documentation ],
        [ a owl:Restriction ;
            owl:allValuesFrom xsd:boolean ;
            owl:onProperty :containsABox ],
        owl:Thing .