ISO 15926-2 extended model in Turtle format

latest update: 2016-11-07    

Introduction

The ISO 15926-2 data model, that is orginally expressed in the EXPRESS modeling language, has been converted to OWL by PoscCaesar. It can be accessed via http://rds.posccaesar.org/2008/02/OWL/ISO-15926-2_2003.

The code that you will find there is correct but not suitable for human reading. Where the PoscCaesar version is in the RDF/XML format, the listing below is in Turtle and re-arranged for easier reading. It contains the extensions listed in http://15926.org/topics/extended-data-model/index.htm.

Typical contructs

The model requires a limited number of typical constructs, which will be shown here.

DatatypeProperties

:hasMaximumCardinality rdf:type owl:DatatypeProperty ;

    rdfs:domain :Cardinality .

ObjectProperties

:hasApproved rdf:type owl:ObjectProperty ;

    rdfs:domain :Approval .

with multiple domains:

:hasClassOfCauser rdf:type owl:ObjectProperty ;

    rdfs:domain [ rdf:type owl:Class ;

                  owl:unionOf ( :ClassOfCauseOfBeginningOfClassOfIndividual :ClassOfCauseOfEndingOfClassOfIndividual ) ] .

Declaration of Classes

:Activity rdf:type owl:Class ;

    rdfs:subClassOf :PossibleIndividual .

union classes:

:AbstractObject> rdf:type owl:Class ;

    rdfs:subClassOf :Thing ;

    owl:equivalentClass [ rdf:type owl:Class ;

            owl:unionOf ( :Class :MultidimensionalObject :Relationship> ) ] .

with attributes:

:Approval rdf:type owl:Class ;

    rdfs:subClassOf :Relationship ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasApproved ;

      owl:allValuesFrom :Relationship ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasApproved ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasApprover ;

      owl:allValuesFrom :PossibleIndividual ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasApprover ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ] .

with disjoints:

:IndividualDimension rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfIndividual ;

    owl:disjointWith :Property, :Status .

Note that disjoints are half a matrix, because the software recognizes that :IndividualDimension owl:disjointWith :Property . also means :Property owl:disjointWith :IndividualDimension .

OWLList

In two entity types a List is used: MultidimensionalObject and ClassOfMultidimensionalObject. The code is taken from the web page http://owl.cs.manchester.ac.uk/wp-content/uploads/2015/07/list.owl_.txt . This is not dereferencable.

Note that is code is different from that in http://rds.posccaesar.org/2008/02/OWL/ISO-15926-2_2003# , since that represents the status in 2008.


The OWL code of ISO 15926-2 in Turtle (click here for a downloadable file)

@prefix : <http://data.15926.org/dm/> .

@prefix owl: <http://www.w3.org/2002/07/owl#> .

@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

@prefix xml: <http://www.w3.org/XML/1998/namespace> .

@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

 

<http://data.15926.org/dm/> a owl:Ontology ;

    rdfs:comment "ISO 15926-2:2003: Industrial automation systems and integration -- Integration of life-cycle data for process plants including oil and gas production facilities -- Part 2: Data model. This ontology is based on the EXPRESS schema lifecycle_integration_schema.exp,; This is the PoscCaesar version dated 2008-02-21T17:29:19.558+01:00, restructured and converted to Turtle to allow for human reading.; The co-ode.org code for OWLList has been added here because the co-ode.org website is no longer accessible." ;

    owl:versionInfo "2016-11-07T00:00:00Z"^^xsd:dateTime .

 

###################################

##

## 10 DATATYPE PROPERTIES

##

###################################

 

:hasContent rdf:type owl:DatatypeProperty ;

    rdfs:domain [ rdf:type owl:Class ;

        owl:unionOf ( :ExpressBinary :ExpressBoolean :ExpressInteger :ExpressLogical :ExpressReal :ExpressString ) ] .

 

:hasDay rdf:type owl:DatatypeProperty ;

    rdfs:domain :RepresentationOfGregorianDateAndUtcTime .

 

:hasHour rdf:type owl:DatatypeProperty ;

    rdfs:domain :RepresentationOfGregorianDateAndUtcTime .

 

:hasId rdf:type owl:DatatypeProperty ;

    rdfs:domain :Thing .

 

:hasMaximumCardinality rdf:type owl:DatatypeProperty ;

    rdfs:domain :Cardinality .

 

:hasMinimumCardinality rdf:type owl:DatatypeProperty ;

    rdfs:domain :Cardinality .

 

:hasMinute rdf:type owl:DatatypeProperty ;

    rdfs:domain :RepresentationOfGregorianDateAndUtcTime .

 

:hasMonth rdf:type owl:DatatypeProperty ;

    rdfs:domain :RepresentationOfGregorianDateAndUtcTime .

 

:hasSecond rdf:type owl:DatatypeProperty ;

    rdfs:domain :RepresentationOfGregorianDateAndUtcTime .

 

:hasYear rdf:type owl:DatatypeProperty ;

    rdfs:domain :RepresentationOfGregorianDateAndUtcTime .

 

###################################

##

## 104 OBJECT PROPERTIES

##

###################################

 

:hasApproved rdf:type owl:ObjectProperty ;

    rdfs:domain :Approval .

 

:hasApprover rdf:type owl:ObjectProperty ;

    rdfs:domain :Approval .

 

:hasCardinalities rdf:type owl:ObjectProperty ;

    rdfs:domain :ClassOfMultidimensionalObject .

 

:hasCaused rdf:type owl:ObjectProperty ;

    rdfs:domain :CauseOfEvent .

 

:hasCauser rdf:type owl:ObjectProperty ;

    rdfs:domain :CauseOfEvent .

 

:hasClassOfApproved rdf:type owl:ObjectProperty ;

    rdfs:domain :ClassOfApproval .

 

:hasClassOfApprover rdf:type owl:ObjectProperty ;

    rdfs:domain :ClassOfApproval .

 

:hasClassOfBegun rdf:type owl:ObjectProperty ;

    rdfs:domain :ClassOfCauseOfBeginningOfClassOfIndividual .

 

:hasClassOfCauser rdf:type owl:ObjectProperty ;

    rdfs:domain [ rdf:type owl:Class ;

        owl:unionOf ( :ClassOfCauseOfBeginningOfClassOfIndividual :ClassOfCauseOfEndingOfClassOfIndividual ) ] .

 

:hasClassOfClassOfControlled rdf:type owl:ObjectProperty ;

    rdfs:domain :ClassOfClassOfResponsibilityForRepresentation .

 

:hasClassOfClassOfPart rdf:type owl:ObjectProperty ;

    rdfs:domain :ClassOfClassOfComposition .

 

:hasClassOfClassOfUsed rdf:type owl:ObjectProperty ;

    rdfs:domain :ClassOfClassOfUsageOfRepresentation .

 

:hasClassOfClassOfWhole rdf:type owl:ObjectProperty ;

    rdfs:domain [ rdf:type owl:Class ;

        owl:unionOf ( :ClassOfClassOfComposition :ClassOfNamespace ) ] .

 

:hasClassOfClassified rdf:type owl:ObjectProperty ;

    rdfs:domain :ClassOfClassification .

 

:hasClassOfClassifier rdf:type owl:ObjectProperty ;

    rdfs:domain :ClassOfClassification .

 

:hasClassOfConnection rdf:type owl:ObjectProperty ;

    rdfs:domain :ClassOfIndividualUsedInConnection .

 

:hasClassOfControlled rdf:type owl:ObjectProperty ;

    rdfs:domain :ClassOfResponsibilityForRepresentation .

 

:hasClassOfDimension rdf:type owl:ObjectProperty ;

    rdfs:domain :ClassOfDimensionForShape .

 

:hasClassOfEnd1 rdf:type owl:ObjectProperty ;

    rdfs:domain :ClassOfRelationshipWithSignature .

 

:hasClassOfEnd2 rdf:type owl:ObjectProperty ;

    rdfs:domain :ClassOfRelationshipWithSignature .

 

:hasClassOfEnded rdf:type owl:ObjectProperty ;

    rdfs:domain :ClassOfCauseOfEndingOfClassOfIndividual .

 

:hasClassOfFirst rdf:type owl:ObjectProperty ;

    rdfs:domain [ rdf:type owl:Class ;

        owl:unionOf ( :ClassOfClassOfRepresentationTranslation :ClassOfRepresentationTranslation ) ] .

 

:hasClassOfInvolved rdf:type owl:ObjectProperty ;

    rdfs:domain :ClassOfInvolvementByReference .

 

:hasClassOfInvolver rdf:type owl:ObjectProperty ;

    rdfs:domain :ClassOfInvolvementByReference .

 

:hasClassOfLocated rdf:type owl:ObjectProperty ;

    rdfs:domain :ClassOfRelativeLocation .

 

:hasClassOfLocator rdf:type owl:ObjectProperty ;

    rdfs:domain :ClassOfRelativeLocation .

 

:hasClassOfPart rdf:type owl:ObjectProperty ;

    rdfs:domain [ rdf:type owl:Class ;

        owl:unionOf ( :ClassOfCompositionOfIndividual :ClassOfNamespace ) ] .

 

:hasClassOfPattern rdf:type owl:ObjectProperty ;

    rdfs:domain :ClassOfClassOfRepresentation .

 

:hasClassOfPlayer rdf:type owl:ObjectProperty ;

    rdfs:domain [ rdf:type owl:Class ;

        owl:unionOf ( :ClassOfIntendedRoleAndDomain :ClassOfPossibleRoleAndDomain ) ] .

 

:hasClassOfPossessor rdf:type owl:ObjectProperty ;

    rdfs:domain :ClassOfIndirectProperty .

 

:hasClassOfPredecessor rdf:type owl:ObjectProperty ;

    rdfs:domain :ClassOfTemporalSequence .

 

:hasClassOfRecognized rdf:type owl:ObjectProperty ;

    rdfs:domain :ClassOfRecognition .

 

:hasClassOfRecognizing rdf:type owl:ObjectProperty ;

    rdfs:domain :ClassOfRecognition .

 

:hasClassOfRepresented rdf:type owl:ObjectProperty ;

    rdfs:domain :ClassOfClassOfRepresentation .

 

:hasClassOfSecond rdf:type owl:ObjectProperty ;

    rdfs:domain [ rdf:type owl:Class ;

        owl:unionOf ( :ClassOfClassOfRepresentationTranslation :ClassOfRepresentationTranslation ) ] .

 

:hasClassOfShape rdf:type owl:ObjectProperty ;

    rdfs:domain :ClassOfDimensionForShape .

 

:hasClassOfShapeDimension rdf:type owl:ObjectProperty ;

    rdfs:domain :PropertySpaceForClassOfShapeDimension .

 

:hasClassOfSide1 rdf:type owl:ObjectProperty ;

    rdfs:domain :ClassOfConnectionOfIndividual .

 

:hasClassOfSide2 rdf:type owl:ObjectProperty ;

    rdfs:domain :ClassOfConnectionOfIndividual .

 

:hasClassOfSubclass rdf:type owl:ObjectProperty ;

    rdfs:domain :ClassOfSpecialization .

 

:hasClassOfSuccessor rdf:type owl:ObjectProperty ;

    rdfs:domain :ClassOfTemporalSequence .

 

:hasClassOfSuperclass rdf:type owl:ObjectProperty ;

    rdfs:domain :ClassOfSpecialization .

 

:hasClassOfUsage rdf:type owl:ObjectProperty ;

    rdfs:domain :ClassOfIndividualUsedInConnection .

 

:hasClassOfUsed rdf:type owl:ObjectProperty ;

    rdfs:domain :ClassOfUsageOfRepresentation .

 

:hasClassOfWhole rdf:type owl:ObjectProperty ;

    rdfs:domain :ClassOfCompositionOfIndividual .

 

:hasClassified rdf:type owl:ObjectProperty ;

    rdfs:domain :Classification .

 

:hasClassifier rdf:type owl:ObjectProperty ;

    rdfs:domain :Classification .

 

:hasCodomain rdf:type owl:ObjectProperty ;

    rdfs:domain :ClassOfFunctionalMapping .

 

:hasConnection rdf:type owl:ObjectProperty ;

    rdfs:domain :IndividualUsedInConnection .

 

:hasControlled rdf:type owl:ObjectProperty ;

    rdfs:domain :ResponsibilityForRepresentation .

 

:hasController rdf:type owl:ObjectProperty ;

    rdfs:domain [ rdf:type owl:Class ;

        owl:unionOf ( :ClassOfClassOfResponsibilityForRepresentation :ClassOfResponsibilityForRepresentation :ResponsibilityForRepresentation ) ] .

 

:hasDimension rdf:type owl:ObjectProperty ;

    rdfs:domain :DimensionOfShape .

 

:hasDomain rdf:type owl:ObjectProperty ;

    rdfs:domain :ClassOfFunctionalMapping .

 

:hasElements rdf:type owl:ObjectProperty ;

    rdfs:domain :MultidimensionalObject .

 

:hasEnd1 rdf:type owl:ObjectProperty ;

    rdfs:domain :OtherRelationship .

 

:hasEnd1Cardinality rdf:type owl:ObjectProperty ;

    rdfs:domain :ClassOfRelationship .

 

:hasEnd2 rdf:type owl:ObjectProperty ;

    rdfs:domain :OtherRelationship .

 

:hasEnd2Cardinality rdf:type owl:ObjectProperty ;

    rdfs:domain :ClassOfRelationship .

 

:hasGreaterElement rdf:type owl:ObjectProperty ;

    rdfs:domain :ComparisonOfProperty .

 

:hasIndividual rdf:type owl:ObjectProperty ;

    rdfs:domain :DimensionOfIndividual .

 

:hasIndividualDimension rdf:type owl:ObjectProperty ;

    rdfs:domain :DimensionOfIndividual .

 

:hasInput rdf:type owl:ObjectProperty ;

    rdfs:domain :FunctionalMapping .

 

:hasInterest rdf:type owl:ObjectProperty ;

    rdfs:domain :LifecycleStage .

 

:hasInterested rdf:type owl:ObjectProperty ;

    rdfs:domain :LifecycleStage .

 

:hasInvolved rdf:type owl:ObjectProperty ;

    rdfs:domain :InvolvementByReference .

 

:hasInvolver rdf:type owl:ObjectProperty ;

    rdfs:domain :InvolvementByReference .

 

:hasLesserElement rdf:type owl:ObjectProperty ;

    rdfs:domain :ComparisonOfProperty .

 

:hasLocated rdf:type owl:ObjectProperty ;

    rdfs:domain :RelativeLocation .

 

:hasLocator rdf:type owl:ObjectProperty ;

    rdfs:domain :RelativeLocation .

 

:hasOptionalElement rdf:type owl:ObjectProperty ;

    rdfs:domain :ClassOfMultidimensionalObject .

 

:hasParameters rdf:type owl:ObjectProperty ;

    rdfs:domain :ClassOfMultidimensionalObject .

 

:hasParameterPosition rdf:type owl:ObjectProperty ;

    rdfs:domain :ClassOfMultidimensionalObject .

 

:hasPart rdf:type owl:ObjectProperty ;

    rdfs:domain :CompositionOfIndividual .

 

:hasPattern rdf:type owl:ObjectProperty ;

    rdfs:domain :ClassOfRepresentationOfThing .

 

:hasPlayed rdf:type owl:ObjectProperty ;

    rdfs:domain [ rdf:type owl:Class ;

            owl:unionOf ( :ClassOfIntendedRoleAndDomain :ClassOfPossibleRoleAndDomain :IntendedRoleAndDomain :PossibleRoleAndDomain ) ] .

 

:hasPlayer rdf:type owl:ObjectProperty ;

    rdfs:domain [ rdf:type owl:Class ;

            owl:unionOf ( :IntendedRoleAndDomain :PossibleRoleAndDomain ) ] .

 

:hasPosition rdf:type owl:ObjectProperty ;

    rdfs:domain :MultidimensionalObject .

 

:hasPossessor rdf:type owl:ObjectProperty ;

    rdfs:domain :IndirectProperty .

 

:hasPredecessor rdf:type owl:ObjectProperty ;

    rdfs:domain :TemporalSequence .

 

:hasProperty rdf:type owl:ObjectProperty ;

    rdfs:domain [ rdf:type owl:Class ;

            owl:unionOf ( :IndirectProperty :PropertyForShapeDimension ) ] .

 

:hasPropertySpace rdf:type owl:ObjectProperty ;

    rdfs:domain [ rdf:type owl:Class ;

            owl:unionOf ( :ClassOfIndirectProperty :PropertySpaceForClassOfShapeDimension ) ] .

 

:hasRecognized rdf:type owl:ObjectProperty ;

    rdfs:domain :Recognition .

 

:hasRecognizing rdf:type owl:ObjectProperty ;

    rdfs:domain :Recognition .

 

:hasRecordCopyCreated rdf:type owl:ObjectProperty ;

    rdfs:domain :Thing .

 

:hasRecordCreated rdf:type owl:ObjectProperty ;

    rdfs:domain :Thing .

 

:hasRecordCreator rdf:type owl:ObjectProperty ;

    rdfs:domain :Thing .

 

:hasRecordLogicallyDeleted rdf:type owl:ObjectProperty ;

    rdfs:domain :Thing .

 

:hasRelated rdf:type owl:ObjectProperty ;

    rdfs:domain [ rdf:type owl:Class ;

            owl:unionOf ( :ClassOfRelationshipWithRelatedEnd1 :ClassOfRelationshipWithRelatedEnd2 ) ] .

 

:hasRepresented rdf:type owl:ObjectProperty ;

    rdfs:domain [ rdf:type owl:Class ;

            owl:unionOf ( :ClassOfRepresentationOfThing :RepresentationOfThing ) ] .

 

:hasResult rdf:type owl:ObjectProperty ;

    rdfs:domain :FunctionalMapping .

 

:hasRoles rdf:type owl:ObjectProperty ;

    rdfs:domain :ClassOfMultidimensionalObject .

 

:hasShape rdf:type owl:ObjectProperty ;

    rdfs:domain :DimensionOfShape .

 

:hasShapeDimension rdf:type owl:ObjectProperty ;

    rdfs:domain :PropertyForShapeDimension .

 

:hasSide1 rdf:type owl:ObjectProperty ;

    rdfs:domain :ConnectionOfIndividual .

 

:hasSide2 rdf:type owl:ObjectProperty ;

    rdfs:domain :ConnectionOfIndividual .

 

:hasSign rdf:type owl:ObjectProperty ;

    rdfs:domain :RepresentationOfThing .

 

:hasSubclass rdf:type owl:ObjectProperty ;

    rdfs:domain :Specialization .

 

:hasSuccessor rdf:type owl:ObjectProperty ;

    rdfs:domain :TemporalSequence .

 

:hasSuperclass rdf:type owl:ObjectProperty ;

    rdfs:domain :Specialization .

 

:hasUsage rdf:type owl:ObjectProperty ;

    rdfs:domain :IndividualUsedInConnection .

 

:hasUsed rdf:type owl:ObjectProperty ;

    rdfs:domain :UsageOfRepresentation .

 

:hasUser rdf:type owl:ObjectProperty ;

    rdfs:domain [ rdf:type owl:Class ;

            owl:unionOf ( :ClassOfClassOfUsageOfRepresentation :ClassOfUsageOfRepresentation :UsageOfRepresentation ) ] .

 

:hasWhole rdf:type owl:ObjectProperty ;

    rdfs:domain :CompositionOfIndividual .

 

:hasWhyDeleted rdf:type owl:ObjectProperty ;

    rdfs:domain :Thing .

 

###################################

##

## CLASSES

##

###################################

 

:AbstractObject rdf:type owl:Class ;

    rdfs:subClassOf :Thing ;

    owl:equivalentClass [ rdf:type owl:Class ;

                          owl:unionOf ( :Class :MultidimensionalObject :Relationship ) ] .

 

:Activity rdf:type owl:Class ;

    rdfs:subClassOf :PossibleIndividual .

 

:ActualIndividual rdf:type owl:Class ;

    rdfs:subClassOf :PossibleIndividual .

 

:Approval rdf:type owl:Class ;

    rdfs:subClassOf :Relationship ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasApproved ;

      owl:allValuesFrom :Relationship ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasApproved ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasApprover ;

      owl:allValuesFrom :PossibleIndividual ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasApprover ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ] ;

    owl:disjointWith :CauseOfEvent,

                     :ClassOfRelationshipWithSignature,

                     :Classification,

                     :ComparisonOfProperty,

                     :CompositionOfIndividual,

                     :ConnectionOfIndividual,

                     :FunctionalMapping,

                     :IndirectProperty,

                     :IndividualUsedInConnection,

                     :IntendedRoleAndDomain,

                     :InvolvementByReference,

                     :LifecycleStage,

                     :OtherRelationship,

                     :PossibleRoleAndDomain,

                     :Recognition,

                     :RelativeLocation,

                     :RepresentationOfThing,

                     :ResponsibilityForRepresentation,

                     :Specialization,

                     :TemporalSequence,

                     :UsageOfRepresentation .

 

:ArithmeticNumber rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfClass ;

    owl:disjointWith :ClassOfClassOfIndividual,

                     :ClassOfClassOfRelationship,

                     :ClassOfNumber,

                     :ClassOfPropertySpace,

                     :ClassOfShapeDimension.

 

:ArrangedIndividual rdf:type owl:Class ;

    rdfs:subClassOf :PossibleIndividual .

 

:ArrangementOfIndividual rdf:type owl:Class ;

    rdfs:subClassOf :CompositionOfIndividual ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasWhole ;

      owl:allValuesFrom :ArrangedIndividual ] ;

    owl:disjointWith :TemporalWholePart,

                     :Participation,

                     :TemporalBounding.

 

:AssemblyOfIndividual rdf:type owl:Class ;

    rdfs:subClassOf :ArrangementOfIndividual ;

    owl:disjointWith :FeatureWholePart.

 

:Beginning rdf:type owl:Class ;

    rdfs:subClassOf :TemporalBounding .

 

:BoundaryOfNumberSpace rdf:type owl:Class ;

    rdfs:subClassOf :Specialization ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasSubclass ;

      owl:allValuesFrom :NumberSpace ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasSuperclass ;

      owl:allValuesFrom :NumberSpace ] ;

    owl:disjointWith :BoundaryOfPropertySpace,

                     :SpecializationByDomain,

                     :SpecializationByRole,

                     :SpecializationOfIndividualDimensionFromProperty.

 

:BoundaryOfPropertySpace rdf:type owl:Class ;

    rdfs:subClassOf :Specialization ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasSubclass ;

      owl:allValuesFrom :PropertySpace ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasSuperclass ;

      owl:allValuesFrom :PropertySpace ];

    owl:disjointWith :SpecializationByDomain,

                     :SpecializationByRole,

                     :SpecializationOfIndividualDimensionFromProperty.

 

:Cardinality rdf:type owl:Class ;

    rdfs:subClassOf :Class ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasMaximumCardinality ;

      owl:allValuesFrom xsd:long ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasMaximumCardinality ;

      owl:maxCardinality "1"^^xsd:nonNegativeInteger ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasMinimumCardinality ;

      owl:allValuesFrom xsd:long ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasMinimumCardinality ;

      owl:maxCardinality "1"^^xsd:nonNegativeInteger ] .

 

:CauseOfEvent rdf:type owl:Class ;

    rdfs:subClassOf :Relationship ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasCaused ;

      owl:allValuesFrom :Event ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasCaused ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasCauser ;

      owl:allValuesFrom :Activity ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasCauser ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ] ;

    owl:disjointWith :ClassOfRelationshipWithSignature,

                     :Classification,

                     :ComparisonOfProperty,

                     :CompositionOfIndividual,

                     :ConnectionOfIndividual,

                     :FunctionalMapping,

                     :IndirectProperty,

                     :IndividualUsedInConnection,

                     :IntendedRoleAndDomain,

                     :InvolvementByReference,

                     :LifecycleStage,

                     :OtherRelationship,

                     :PossibleRoleAndDomain,

                     :Recognition,

                     :RelativeLocation,

                     :RepresentationOfThing,

                     :ResponsibilityForRepresentation,

                     :Specialization,

                     :TemporalSequence,

                     :UsageOfRepresentation .

 

:Class rdf:type owl:Class ;

    rdfs:subClassOf :AbstractObject .

 

:ClassOfAbstractObject rdf:type owl:Class ;

    rdfs:subClassOf :Class ;

    owl:equivalentClass [ rdf:type owl:Class ;

                          owl:unionOf ( :ClassOfClass :ClassOfMultidimensionalObject :ClassOfRelationship ) ] .

 

:ClassOfActivity rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfArrangedIndividual .

 

:ClassOfApproval rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfRelationship ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfApproved ;

      owl:allValuesFrom :ClassOfRelationship ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfApproved ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfApprover ;

      owl:allValuesFrom :ClassOfIndividual ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfApprover ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ] ;

    owl:disjointWith :ClassOfApprovalByStatus,

                     :ClassOfCauseOfBeginningOfClassOfIndividual,

                     :ClassOfCauseOfEndingOfClassOfIndividual,

                     :ClassOfClassification,

                     :ClassOfCompositionOfIndividual,

                     :ClassOfConnectionOfIndividual,

                     :ClassOfFunctionalMapping,

                     :ClassOfIndirectProperty,

                     :ClassOfIndividualUsedInConnection,

                     :ClassOfIntendedRoleAndDomain,

                     :ClassOfInvolvementByReference,

                     :ClassOfLifecycleStage,

                     :ClassOfAssertion,

                     :ClassOfPossibleRoleAndDomain,

                     :ClassOfRecognition,

                     :ClassOfRelationshipWithSignature,

                     :ClassOfRelativeLocation,

                     :ClassOfRepresentationOfThing,

                     :ClassOfRepresentationTranslation,

                     :ClassOfResponsibilityForRepresentation,

                     :ClassOfSpecialization,

                     :ClassOfTemporalSequence,

                     :ClassOfUsageOfRepresentation,

                     :DimensionOfIndividual,

                     :PropertyForShapeDimension .

 

:ClassOfApprovalByStatus rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfRelationship ;

    owl:disjointWith :ClassOfCauseOfBeginningOfClassOfIndividual,

                     :ClassOfCauseOfEndingOfClassOfIndividual,

                     :ClassOfClassification,

                     :ClassOfCompositionOfIndividual,

                     :ClassOfConnectionOfIndividual,

                     :ClassOfFunctionalMapping,

                     :ClassOfIndirectProperty,

                     :ClassOfIndividualUsedInConnection,

                     :ClassOfIntendedRoleAndDomain,

                     :ClassOfInvolvementByReference,

                     :ClassOfLifecycleStage,

                     :ClassOfAssertion,

                     :ClassOfPossibleRoleAndDomain,

                     :ClassOfRecognition,

                     :ClassOfRelationshipWithSignature,

                     :ClassOfRelativeLocation,

                     :ClassOfRepresentationOfThing,

                     :ClassOfRepresentationTranslation,

                     :ClassOfResponsibilityForRepresentation,

                     :ClassOfSpecialization,

                     :ClassOfTemporalSequence,

                     :ClassOfUsageOfRepresentation,

                     :DimensionOfIndividual,

                     :PropertyForShapeDimension .

 

:ClassOfArrangedIndividual rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfIndividual ;

    owl:disjointWith :ClassOfPeriodInTime,

                     :ClassOfEvent,

                     :IndividualDimension,

                     :Property,

                     :Status.

 

 

 

:ClassOfArrangementOfIndividual rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfCompositionOfIndividual ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfWhole ;

      owl:allValuesFrom :ClassOfArrangedIndividual ] ;

    owl:disjointWith :ClassOfTemporalWholePart,

                     :ClassOfParticipation.

 

:ClassOfAssemblyOfIndividual rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfArrangementOfIndividual ;

    owl:disjointWith :Namespace .

 

:ClassOfAssertion rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfRelationship ;

    owl:disjointWith :ClassOfPossibleRoleAndDomain,

                     :ClassOfRecognition,

                     :ClassOfRelationshipWithSignature,

                     :ClassOfRelativeLocation,

                     :ClassOfRepresentationOfThing,

                     :ClassOfRepresentationTranslation,

                     :ClassOfResponsibilityForRepresentation,

                     :ClassOfSpecialization,

                     :ClassOfTemporalSequence,

                     :ClassOfUsageOfRepresentation,

                     :DimensionOfIndividual,

                     :PropertyForShapeDimension.

 

:ClassOfAtom rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfArrangedIndividual ;

    owl:disjointWith :ClassOfBiologicalMatter,

                     :ClassOfCompositeMaterial,

                     :ClassOfCompound,

                     :ClassOfFunctionalObject,

                     :ClassOfInformationPresentation,

                     :ClassOfInformationRepresentation,

                     :ClassOfMolecule,

                     :ClassOfParticulateMaterial,

                     :ClassOfSubAtomicParticle,

                     :CrystallineStructure,

                     :Phase.

 

:ClassOfBiologicalMatter rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfArrangedIndividual ;

    owl:disjointWith :ClassOfCompositeMaterial,

                     :ClassOfCompound,

                     :ClassOfFunctionalObject,

                     :ClassOfInformationPresentation,

                     :ClassOfInformationRepresentation,

                     :ClassOfMolecule,

                     :ClassOfParticulateMaterial,

                     :ClassOfSubAtomicParticle,

                     :CrystallineStructure,

                     :Phase.

 

:ClassOfCauseOfBeginningOfClassOfIndividual rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfRelationship ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfBegun ;

      owl:allValuesFrom :ClassOfIndividual ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfBegun ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfCauser ;

      owl:allValuesFrom :ClassOfActivity ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfCauser ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ] ;

    owl:disjointWith :ClassOfCauseOfEndingOfClassOfIndividual,

                     :ClassOfCauseOfEndingOfClassOfIndividual,

                     :ClassOfClassification,

                     :ClassOfCompositionOfIndividual,

                     :ClassOfConnectionOfIndividual,

                     :ClassOfFunctionalMapping,

                     :ClassOfIndirectProperty,

                     :ClassOfIndividualUsedInConnection,

                     :ClassOfIntendedRoleAndDomain,

                     :ClassOfInvolvementByReference,

                     :ClassOfLifecycleStage,

                     :ClassOfAssertion,

                     :ClassOfPossibleRoleAndDomain,

                     :ClassOfRecognition,

                     :ClassOfRelationshipWithSignature,

                     :ClassOfRelativeLocation,

                     :ClassOfRepresentationOfThing,

                     :ClassOfRepresentationTranslation,

                     :ClassOfResponsibilityForRepresentation,

                     :ClassOfSpecialization,

                     :ClassOfTemporalSequence,

                     :ClassOfUsageOfRepresentation,

                     :DimensionOfIndividual,

                     :PropertyForShapeDimension .

 

:ClassOfCauseOfEndingOfClassOfIndividual rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfRelationship ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfCauser ;

      owl:allValuesFrom :ClassOfActivity ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfCauser ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfEnded ;

      owl:allValuesFrom :ClassOfIndividual ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfEnded ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ] ;

    owl:disjointWith :ClassOfClassification,

                     :ClassOfCompositionOfIndividual,

                     :ClassOfConnectionOfIndividual,

                     :ClassOfFunctionalMapping,

                     :ClassOfIndirectProperty,

                     :ClassOfIndividualUsedInConnection,

                     :ClassOfIntendedRoleAndDomain,

                     :ClassOfInvolvementByReference,

                     :ClassOfLifecycleStage,

                     :ClassOfAssertion,

                     :ClassOfPossibleRoleAndDomain,

                     :ClassOfRecognition,

                     :ClassOfRelationshipWithSignature,

                     :ClassOfRelativeLocation,

                     :ClassOfRepresentationOfThing,

                     :ClassOfRepresentationTranslation,

                     :ClassOfResponsibilityForRepresentation,

                     :ClassOfSpecialization,

                     :ClassOfTemporalSequence,

                     :ClassOfUsageOfRepresentation,

                     :DimensionOfIndividual,

                     :PropertyForShapeDimension .

 

:ClassOfClass rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfAbstractObject .

 

:ClassOfClassOfComposition rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfClassOfRelationship ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfClassOfPart ;

      owl:allValuesFrom :ClassOfClassOfIndividual ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfClassOfPart ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfClassOfWhole ;

      owl:allValuesFrom :ClassOfClassOfIndividual ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfClassOfWhole ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ] ;

    owl:disjointWith :ClassOfClassOfRelationshipWithSignature,

                     :ClassOfClassOfRepresentation,

                     :ClassOfClassOfRepresentationTranslation,

                     :ClassOfClassOfResponsibilityForRepresentation,

                     :ClassOfClassOfUsageOfRepresentation,

                     :ClassOfDimensionForShape,

                     :ClassOfNamespace,

                     :ClassOfScale,

                     :DimensionOfShape,

                     :PropertySpaceForClassOfShapeDimension .

 

:ClassOfClassOfDefinition rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfClassOfRepresentation .

 

:ClassOfClassOfDescription rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfClassOfRepresentation .

 

:ClassOfClassOfIdentification rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfClassOfRepresentation .

 

:ClassOfClassOfIndividual rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfClass ;

    owl:disjointWith :ClassOfClassOfRelationship,

                     :ClassOfNumber,

                     :ClassOfPropertySpace,

                     :ClassOfShapeDimension.

 

:ClassOfClassOfInformationRepresentation rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfClassOfIndividual ;

    owl:disjointWith :ClassOfProperty,

                     :ClassOfStatus,

                     :ShapeDimension .

 

:ClassOfClassOfRelationship rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfClass ;

    owl:disjointWith :ClassOfNumber,

                     :ClassOfPropertySpace,

                     :ClassOfShapeDimension.

 

:ClassOfClassOfRelationshipWithSignature rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfClassOfRelationship, :ClassOfRelationshipWithSignature ;

    owl:disjointWith :ClassOfClassOfRepresentation,

                     :ClassOfClassOfRepresentationTranslation,

                     :ClassOfClassOfResponsibilityForRepresentation,

                     :ClassOfClassOfUsageOfRepresentation,

                     :ClassOfDimensionForShape,

                     :ClassOfNamespace,

                     :ClassOfScale,

                     :DimensionOfShape,

                     :PropertySpaceForClassOfShapeDimension .

 

:ClassOfClassOfRepresentation rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfClassOfRelationship ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfPattern ;

      owl:allValuesFrom :ClassOfClassOfInformationRepresentation ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfPattern ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfRepresented ;

      owl:allValuesFrom :Class ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfRepresented ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ] ;

    owl:disjointWith :ClassOfClassOfRepresentationTranslation,

                     :ClassOfClassOfResponsibilityForRepresentation,

                     :ClassOfClassOfUsageOfRepresentation,

                     :ClassOfDimensionForShape,

                     :ClassOfNamespace,

                     :ClassOfScale,

                     :DimensionOfShape,

                     :PropertySpaceForClassOfShapeDimension .

 

:ClassOfClassOfRepresentationTranslation rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfClassOfRelationship ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfFirst ;

      owl:allValuesFrom :ClassOfClassOfInformationRepresentation ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfFirst ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfSecond ;

      owl:allValuesFrom :ClassOfClassOfInformationRepresentation ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfSecond ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ] ;

    owl:disjointWith :ClassOfClassOfResponsibilityForRepresentation,

                     :ClassOfClassOfUsageOfRepresentation,

                     :ClassOfDimensionForShape,

                     :ClassOfNamespace,

                     :ClassOfScale,

                     :DimensionOfShape,

                     :PropertySpaceForClassOfShapeDimension .

 

:ClassOfClassOfResponsibilityForRepresentation rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfClassOfRelationship ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfClassOfControlled ;

      owl:allValuesFrom :ClassOfClassOfRepresentation ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfClassOfControlled ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasController ;

      owl:allValuesFrom :PossibleIndividual ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasController ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ] ;

    owl:disjointWith :ClassOfClassOfUsageOfRepresentation,

                     :ClassOfDimensionForShape,

                     :ClassOfNamespace,

                     :ClassOfScale,

                     :DimensionOfShape,

                     :PropertySpaceForClassOfShapeDimension .

 

:ClassOfClassOfUsageOfRepresentation rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfClassOfRelationship ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfClassOfUsed ;

      owl:allValuesFrom :ClassOfClassOfRepresentation ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfClassOfUsed ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasUser ;

      owl:allValuesFrom :PossibleIndividual ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasUser ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ] ;

    owl:disjointWith :ClassOfDimensionForShape,

                     :ClassOfNamespace,

                     :ClassOfScale,

                     :DimensionOfShape,

                     :PropertySpaceForClassOfShapeDimension .

 

:ClassOfClassification rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfRelationship ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfClassified ;

      owl:allValuesFrom :Class ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfClassified ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfClassifier ;

      owl:allValuesFrom :ClassOfClass ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfClassifier ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ] ;

    owl:disjointWith :ClassOfCompositionOfIndividual,

                     :ClassOfConnectionOfIndividual,

                     :ClassOfFunctionalMapping,

                     :ClassOfIndirectProperty,

                     :ClassOfIndividualUsedInConnection,

                     :ClassOfIntendedRoleAndDomain,

                     :ClassOfInvolvementByReference,

                     :ClassOfLifecycleStage,

                     :ClassOfAssertion,

                     :ClassOfPossibleRoleAndDomain,

                     :ClassOfRecognition,

                     :ClassOfRelationshipWithSignature,

                     :ClassOfRelativeLocation,

                     :ClassOfRepresentationOfThing,

                     :ClassOfRepresentationTranslation,

                     :ClassOfResponsibilityForRepresentation,

                     :ClassOfSpecialization,

                     :ClassOfTemporalSequence,

                     :ClassOfUsageOfRepresentation,

                     :DimensionOfIndividual,

                     :PropertyForShapeDimension .

 

:ClassOfCompositeMaterial rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfArrangedIndividual ;

    owl:disjointWith :ClassOfCompound,

                     :ClassOfFunctionalObject,

                     :ClassOfInformationPresentation,

                     :ClassOfInformationRepresentation,

                     :ClassOfMolecule,

                     :ClassOfParticulateMaterial,

                     :ClassOfSubAtomicParticle,

                     :CrystallineStructure,

                     :Phase .

 

:ClassOfCompositionOfIndividual rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfRelationship ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfPart ;

      owl:allValuesFrom :ClassOfIndividual ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfPart ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfWhole ;

      owl:allValuesFrom :ClassOfIndividual ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfWhole ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ] ;

    owl:disjointWith :ClassOfConnectionOfIndividual,

                     :ClassOfFunctionalMapping,

                     :ClassOfIndirectProperty,

                     :ClassOfIndividualUsedInConnection,

                     :ClassOfIntendedRoleAndDomain,

                     :ClassOfInvolvementByReference,

                     :ClassOfLifecycleStage,

                     :ClassOfAssertion,

                     :ClassOfPossibleRoleAndDomain,

                     :ClassOfRecognition,

                     :ClassOfRelationshipWithSignature,

                     :ClassOfRelativeLocation,

                     :ClassOfRepresentationOfThing,

                     :ClassOfRepresentationTranslation,

                     :ClassOfResponsibilityForRepresentation,

                     :ClassOfSpecialization,

                     :ClassOfTemporalSequence,

                     :ClassOfUsageOfRepresentation,

                     :DimensionOfIndividual,

                     :PropertyForShapeDimension .

 

:ClassOfCompound rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfArrangedIndividual ;

    owl:disjointWith :ClassOfFunctionalObject,

                     :ClassOfInformationPresentation,

                     :ClassOfInformationRepresentation,

                     :ClassOfMolecule,

                     :ClassOfParticulateMaterial,

                     :ClassOfSubAtomicParticle,

                     :CrystallineStructure,

                     :Phase .

 

:ClassOfConnectionOfIndividual rdf:type owl:Class ;

    owl:equivalentClass [ rdf:type owl:Class ;

                          owl:unionOf ( :ClassOfDirectConnection :ClassOfIndirectConnection ) ] ;

    rdfs:subClassOf :ClassOfRelationship ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfSide1 ;

      owl:allValuesFrom :ClassOfIndividual ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfSide1 ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfSide2 ;

      owl:allValuesFrom :ClassOfIndividual ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfSide2 ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ] ;

    owl:disjointWith :ClassOfFunctionalMapping,

                     :ClassOfIndirectProperty,

                     :ClassOfIndividualUsedInConnection,

                     :ClassOfIntendedRoleAndDomain,

                     :ClassOfInvolvementByReference,

                     :ClassOfLifecycleStage,

                     :ClassOfAssertion,

                     :ClassOfPossibleRoleAndDomain,

                     :ClassOfRecognition,

                     :ClassOfRelationshipWithSignature,

                     :ClassOfRelativeLocation,

                     :ClassOfRepresentationOfThing,

                     :ClassOfRepresentationTranslation,

                     :ClassOfResponsibilityForRepresentation,

                     :ClassOfSpecialization,

                     :ClassOfTemporalSequence,

                     :ClassOfUsageOfRepresentation,

                     :DimensionOfIndividual,

                     :PropertyForShapeDimension .

 

:ClassOfContainmentOfIndividual rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfRelativeLocation .

 

:ClassOfDefinition rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfRepresentationOfThing ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasRepresented ;

      owl:allValuesFrom :Class ] .

 

:ClassOfDescription rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfRepresentationOfThing .

 

:ClassOfDimensionForShape rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfClassOfRelationship ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfDimension ;

      owl:allValuesFrom :ClassOfShapeDimension ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfDimension ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfShape ;

      owl:allValuesFrom :ClassOfShape ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfShape ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ] ;

    owl:disjointWith :ClassOfNamespace,

                     :DimensionOfShape,

                     :PropertySpaceForClassOfShapeDimension .

 

:ClassOfDirectConnection rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfConnectionOfIndividual ;

    owl:disjointWith :ClassOfIndirectConnection .

 

:ClassOfEvent rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfIndividual ;

    owl:disjointWith :ClassOfArrangedIndividual,

                     :ClassOfPeriodInTime,

                     :IndividualDimension,

                     :Property,

                     :Status .

 

:ClassOfExpressInformationRepresentation rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfInformationRepresentation ;

    owl:equivalentClass [ rdf:type owl:Class ;

                          owl:unionOf ( :ExpressBinary :ExpressBoolean :ExpressInteger :ExpressLogical :ExpressReal :ExpressString ) ] ;

    owl:disjointWith :RepresentationOfGregorianDateAndUtcTime .

 

:ClassOfFeature rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfArrangedIndividual .

 

:ClassOfFeatureWholePart rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfArrangementOfIndividual ;

    owl:disjointWith :ClassOfAssemblyOfIndividual,

                     :Namespace .

 

:ClassOfFunctionalMapping rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfRelationship ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasCodomain ;

      owl:allValuesFrom :Class ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasCodomain ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasDomain ;

      owl:allValuesFrom :Class ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasDomain ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ] ;

    owl:disjointWith :ClassOfIndirectProperty,

                     :ClassOfIndividualUsedInConnection,

                     :ClassOfIntendedRoleAndDomain,

                     :ClassOfInvolvementByReference,

                     :ClassOfLifecycleStage,

                     :ClassOfAssertion,

                     :ClassOfPossibleRoleAndDomain,

                     :ClassOfRecognition,

                     :ClassOfRelationshipWithSignature,

                     :ClassOfRelativeLocation,

                     :ClassOfRepresentationOfThing,

                     :ClassOfRepresentationTranslation,

                     :ClassOfResponsibilityForRepresentation,

                     :ClassOfSpecialization,

                     :ClassOfTemporalSequence,

                     :ClassOfUsageOfRepresentation,

                     :DimensionOfIndividual,

                     :PropertyForShapeDimension .

 

:ClassOfFunctionalObject rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfArrangedIndividual ;

    owl:disjointWith :ClassOfInformationPresentation,

                     :ClassOfInformationRepresentation,

                     :ClassOfMolecule,

                     :ClassOfParticulateMaterial,

                     :ClassOfSubAtomicParticle,

                     :CrystallineStructure,

                     :Phase .

 

:ClassOfIdentification rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfRepresentationOfThing .

 

:ClassOfInanimatePhysicalObject rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfArrangedIndividual .

 

:ClassOfIndirectConnection rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfConnectionOfIndividual .

 

:ClassOfIndirectProperty rdf:type owl:Class ;

    rdfs:subClassOf : ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfPossessor ;

      owl:allValuesFrom :ClassOfIndividual ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfPossessor ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasPropertySpace ;

      owl:allValuesFrom :PropertySpace ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasPropertySpace ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ] ;

    owl:disjointWith :ClassOfIndividualUsedInConnection,

                     :ClassOfIntendedRoleAndDomain,

                     :ClassOfInvolvementByReference,

                     :ClassOfLifecycleStage,

                     :ClassOfAssertion,

                     :ClassOfPossibleRoleAndDomain,

                     :ClassOfRecognition,

                     :ClassOfRelationshipWithSignature,

                     :ClassOfRelativeLocation,

                     :ClassOfRepresentationOfThing,

                     :ClassOfRepresentationTranslation,

                     :ClassOfResponsibilityForRepresentation,

                     :ClassOfSpecialization,

                     :ClassOfTemporalSequence,

                     :ClassOfUsageOfRepresentation,

                     :DimensionOfIndividual,

                     :PropertyForShapeDimension .

 

:ClassOfIndividual rdf:type owl:Class ;

    rdfs:subClassOf :Class ;

    owl:disjointWith :ClassOfAbstractObject .

 

:ClassOfIndividualUsedInConnection rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfRelationship ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfConnection ;

      owl:allValuesFrom :ClassOfConnectionOfIndividual ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfConnection ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfUsage ;

      owl:allValuesFrom :ClassOfIndividual ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfUsage ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ] ;

    owl:disjointWith :ClassOfIntendedRoleAndDomain,

                     :ClassOfInvolvementByReference,

                     :ClassOfLifecycleStage,

                     :ClassOfAssertion,

                     :ClassOfPossibleRoleAndDomain,

                     :ClassOfRecognition,

                     :ClassOfRelationshipWithSignature,

                     :ClassOfRelativeLocation,

                     :ClassOfRepresentationOfThing,

                     :ClassOfRepresentationTranslation,

                     :ClassOfResponsibilityForRepresentation,

                     :ClassOfSpecialization,

                     :ClassOfTemporalSequence,

                     :ClassOfUsageOfRepresentation,

                     :DimensionOfIndividual,

                     :PropertyForShapeDimension .

 

:ClassOfInformationObject rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfArrangedIndividual .

 

:ClassOfInformationPresentation rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfArrangedIndividual ;

    owl:disjointWith :ClassOfInformationRepresentation,

                     :ClassOfMolecule,

                     :ClassOfParticulateMaterial,

                     :ClassOfSubAtomicParticle,

                     :CrystallineStructure,

                     :Phase .

 

:ClassOfInformationRepresentation rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfArrangedIndividual ;

    owl:disjointWith :ClassOfMolecule,

                     :ClassOfParticulateMaterial,

                     :ClassOfSubAtomicParticle,

                     :CrystallineStructure,

                     :Phase .

 

:ClassOfIntendedRoleAndDomain rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfRelationship ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasPlayed ;

      owl:allValuesFrom :RoleAndDomain ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasPlayed ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfPlayer ;

      owl:allValuesFrom :ClassOfIndividual ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfPlayer ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ] ;

    owl:disjointWith :ClassOfInvolvementByReference,

                     :ClassOfLifecycleStage,

                     :ClassOfAssertion,

                     :ClassOfPossibleRoleAndDomain,

                     :ClassOfRecognition,

                     :ClassOfRelationshipWithSignature,

                     :ClassOfRelativeLocation,

                     :ClassOfRepresentationOfThing,

                     :ClassOfRepresentationTranslation,

                     :ClassOfResponsibilityForRepresentation,

                     :ClassOfSpecialization,

                     :ClassOfTemporalSequence,

                     :ClassOfUsageOfRepresentation,

                     :DimensionOfIndividual,

                     :PropertyForShapeDimension .

 

:ClassOfInvolvementByReference rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfRelationship ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfInvolved ;

      owl:allValuesFrom :RoleAndDomain ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfInvolved ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfInvolver ;

      owl:allValuesFrom :ClassOfActivity ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfInvolver ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ] ;

    owl:disjointWith :ClassOfLifecycleStage,

                     :ClassOfAssertion,

                     :ClassOfPossibleRoleAndDomain,

                     :ClassOfRecognition,

                     :ClassOfRelationshipWithSignature,

                     :ClassOfRelativeLocation,

                     :ClassOfRepresentationOfThing,

                     :ClassOfRepresentationTranslation,

                     :ClassOfResponsibilityForRepresentation,

                     :ClassOfSpecialization,

                     :ClassOfTemporalSequence,

                     :ClassOfUsageOfRepresentation,

                     :DimensionOfIndividual,

                     :PropertyForShapeDimension .

 

:ClassOfIsomorphicFunctionalMapping rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfFunctionalMapping .

 

:ClassOfLeftNamespace rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfNamespace ;

    owl:disjointWith :ClassOfRightNamespace .

 

:ClassOfLifecycleStage rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfRelationship ;

    owl:disjointWith :ClassOfAssertion,

                     :ClassOfPossibleRoleAndDomain,

                     :ClassOfRecognition,

                     :ClassOfRelationshipWithSignature,

                     :ClassOfRelativeLocation,

                     :ClassOfRepresentationOfThing,

                     :ClassOfRepresentationTranslation,

                     :ClassOfResponsibilityForRepresentation,

                     :ClassOfSpecialization,

                     :ClassOfTemporalSequence,

                     :ClassOfUsageOfRepresentation,

                     :DimensionOfIndividual,

                     :PropertyForShapeDimension .

 

:ClassOfMolecule rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfArrangedIndividual ;

    owl:disjointWith :ClassOfParticulateMaterial,

                     :ClassOfSubAtomicParticle,

                     :CrystallineStructure,

                     :Phase .

 

:ClassOfMultidimensionalObject rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfAbstractObject ,

        [ rdf:type owl:Restriction ;

            owl:onProperty :hasCardinalities ;

            owl:allValuesFrom

                [ rdf:type owl:Class ;

                  owl:intersectionOf

                    ( :OWLList [ rdf:type owl:Restriction ;

                                    owl:onProperty :hasContents ;

                                    owl:allValuesFrom :Cardinality ]

                               [ rdf:type owl:Restriction ;

                                    owl:onProperty :isFollowedBy ;

                                    owl:allValuesFrom

                                        [ rdf:type owl:Class ;

                                          owl:intersectionOf

                                            ( :OWLList [ rdf:type owl:Restriction ;

                                                            owl:onProperty :hasContents ;

                                                            owl:allValuesFrom :Cardinality ] ) ] ] ) ] ] ,

        [ rdf:type owl:Restriction ;

            owl:onProperty :hasCardinalities ;

            owl:maxCardinality "1"^^xsd:nonNegativeInteger ],

        [ rdf:type owl:Restriction ;

            owl:onProperty :hasOptionalElement ;

            owl:allValuesFrom

                [ rdf:type owl:Class ;

                  owl:intersectionOf

                    ( :OWLList [ rdf:type owl:Restriction ;

                                    owl:onProperty :hasContents ;

                                    owl:allValuesFrom :ExpressBoolean ]

                               [ rdf:type owl:Restriction ;

                                    owl:onProperty :isFollowedBy ;

                                    owl:allValuesFrom

                                        [ rdf:type owl:Class ;

                                          owl:intersectionOf

                                            ( :OWLList [ rdf:type owl:Restriction ;

                                                            owl:onProperty :hasContents ;

                                                            owl:allValuesFrom :ExpressBoolean ] ) ] ] ) ] ] ,

        [ rdf:type owl:Restriction ;

            owl:onProperty :hasOptionalElement ;

            owl:maxCardinality "1"^^xsd:nonNegativeInteger ],

        [ rdf:type owl:Restriction ;

            owl:onProperty :hasParameters ;

            owl:allValuesFrom

                [ rdf:type owl:Class ;

                  owl:intersectionOf

                    ( :OWLList [ rdf:type owl:Restriction ;

                                    owl:onProperty :hasContents ;

                                    owl:allValuesFrom :Thing ]

                               [ rdf:type owl:Restriction ;

                                    owl:onProperty :isFollowedBy ;

                                    owl:allValuesFrom

                                        [ rdf:type owl:Class ;

                                          owl:intersectionOf

                                            ( :OWLList [ rdf:type owl:Restriction ;

                                                            owl:onProperty :hasContents ;

                                                            owl:allValuesFrom :Thing ] ) ] ] ) ] ] ,

        [ rdf:type owl:Restriction ;

            owl:onProperty :hasParameters ;

            owl:maxCardinality "1"^^xsd:nonNegativeInteger ],

        [ rdf:type owl:Restriction ;

            owl:onProperty :hasParameterPosition ;

            owl:allValuesFrom

                [ rdf:type owl:Class ;

                  owl:intersectionOf

                    ( :OWLList [ rdf:type owl:Restriction ;

                                    owl:onProperty :hasContents ;

                                    owl:allValuesFrom :ExpressInteger ]

                               [ rdf:type owl:Restriction ;

                                    owl:onProperty :isFollowedBy ;

                                    owl:allValuesFrom

                                        [ rdf:type owl:Class ;

                                          owl:intersectionOf

                                            ( :OWLList [ rdf:type owl:Restriction ;

                                                            owl:onProperty :hasContents ;

                                                            owl:allValuesFrom :ExpressInteger ] ) ] ] ) ] ] ,

        [ rdf:type owl:Restriction ;

            owl:onProperty :hasParameterPosition ;

            owl:maxCardinality "1"^^xsd:nonNegativeInteger ],

        [ rdf:type owl:Restriction ;

            owl:onProperty :hasRoles ;

            owl:allValuesFrom

                [ rdf:type owl:Class ;

                  owl:intersectionOf

                    ( :OWLList [ rdf:type owl:Restriction ;

                                    owl:onProperty :hasContents ;

                                    owl:allValuesFrom :RoleAndDomain ]

                               [ rdf:type owl:Restriction ;

                                    owl:onProperty :isFollowedBy ;

                                    owl:allValuesFrom

                                        [ rdf:type owl:Class ;

                                          owl:intersectionOf

                                            ( :OWLList [ rdf:type owl:Restriction ;

                                                            owl:onProperty :hasContents ;

                                                            owl:allValuesFrom :RoleAndDomain ] ) ] ] ) ] ] ,

        [ rdf:type owl:Restriction ;

            owl:onProperty :hasRoles ;

            owl:maxCardinality "1"^^xsd:nonNegativeInteger ] .

 

:ClassOfNamespace rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfClassOfRelationship ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfClassOfWhole ;

      owl:allValuesFrom :ClassOfClassOfInformationRepresentation ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfClassOfWhole ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfPart ;

      owl:allValuesFrom :ClassOfInformationRepresentation ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfPart ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ] ;

    owl:disjointWith :ClassOfScale,

                     :DimensionOfShape,

                     :PropertySpaceForClassOfShapeDimension .

 

:ClassOfNumber rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfClass ;

    owl:disjointWith :ClassOfPropertySpace,

                     :ClassOfShapeDimension .

 

:ClassOfOrganism rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfArrangedIndividual ;

    owl:disjointWith :ClassOfInanimatePhysicalObject .

 

:ClassOfOrganization rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfArrangedIndividual .

 

:ClassOfParticipation rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfCompositionOfIndividual ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfPart ;

      owl:allValuesFrom :ParticipatingRoleAndDomain ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfWhole ;

      owl:allValuesFrom :ClassOfActivity ] .

 

:ClassOfParticulateMaterial rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfArrangedIndividual ;

    owl:disjointWith :ClassOfSubAtomicParticle,

                     :CrystallineStructure,

                     :Phase .

 

:ClassOfPeriodInTime rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfIndividual ;

    owl:disjointWith :IndividualDimension,

                     :Property,

                     :Status .

 

:ClassOfPerson rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfOrganism .

 

:ClassOfPointInTime rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfEvent .

 

:ClassOfPossibleRoleAndDomain rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfRelationship ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfPlayer ;

      owl:allValuesFrom :ClassOfIndividual ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfPlayer ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasPlayed ;

      owl:allValuesFrom :RoleAndDomain ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasPlayed ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ] ;

    owl:disjointWith :ClassOfRecognition,

                     :ClassOfRelationshipWithSignature,

                     :ClassOfRelativeLocation,

                     :ClassOfRepresentationOfThing,

                     :ClassOfRepresentationTranslation,

                     :ClassOfResponsibilityForRepresentation,

                     :ClassOfSpecialization,

                     :ClassOfTemporalSequence,

                     :ClassOfUsageOfRepresentation,

                     :DimensionOfIndividual,

                     :PropertyForShapeDimension .

 

:ClassOfProperty rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfClassOfIndividual ;

    owl:disjointWith :ClassOfStatus,

                     :ShapeDimension .

 

:ClassOfPropertySpace rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfClass ;

    owl:disjointWith :ClassOfShapeDimension .

 

:ClassOfRecognition rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfRelationship ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfRecognized ;

      owl:allValuesFrom :Class ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfRecognized ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfRecognizing ;

      owl:allValuesFrom :ClassOfActivity ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfRecognizing ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ] ;

    owl:disjointWith :ClassOfRelationshipWithSignature,

                     :ClassOfRelativeLocation,

                     :ClassOfRepresentationOfThing,

                     :ClassOfRepresentationTranslation,

                     :ClassOfResponsibilityForRepresentation,

                     :ClassOfSpecialization,

                     :ClassOfTemporalSequence,

                     :ClassOfUsageOfRepresentation,

                     :DimensionOfIndividual,

                     :PropertyForShapeDimension .

 

:ClassOfRelationship rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfAbstractObject ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasEnd1Cardinality ;

      owl:allValuesFrom :Cardinality ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasEnd1Cardinality ;

      owl:maxCardinality "1"^^xsd:nonNegativeInteger ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasEnd2Cardinality ;

      owl:allValuesFrom :Cardinality ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasEnd2Cardinality ;

      owl:maxCardinality "1"^^xsd:nonNegativeInteger ] .

 

:ClassOfRelationshipWithRelatedEnd1 rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfRelationship ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasRelated ;

      owl:allValuesFrom :Thing ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasRelated ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ] .

 

:ClassOfRelationshipWithRelatedEnd2 rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfRelationship ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasRelated ;

      owl:allValuesFrom :Thing ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasRelated ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ] .

 

:ClassOfRelationshipWithSignature rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfRelationship , :Relationship ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfEnd1 ;

      owl:allValuesFrom :RoleAndDomain ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfEnd1 ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfEnd2 ;

      owl:allValuesFrom :RoleAndDomain ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfEnd2 ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ] ;

    owl:disjointWith :ClassOfRelativeLocation,

                     :ClassOfRepresentationOfThing,

                     :ClassOfRepresentationTranslation,

                     :ClassOfResponsibilityForRepresentation,

                     :ClassOfSpecialization,

                     :ClassOfTemporalSequence,

                     :ClassOfUsageOfRepresentation,

                     :DimensionOfIndividual,

                     :PropertyForShapeDimension,

                     :Classification,

                     :ComparisonOfProperty,

                     :CompositionOfIndividual,

                     :ConnectionOfIndividual,

                     :FunctionalMapping,

                     :IndirectProperty,

                     :IndividualUsedInConnection,

                     :IntendedRoleAndDomain,

                     :InvolvementByReference,

                     :LifecycleStage,

                     :OtherRelationship,

                     :PossibleRoleAndDomain,

                     :Recognition,

                     :RelativeLocation,

                     :RepresentationOfThing,

                     :ResponsibilityForRepresentation,

                     :Specialization,

                     :TemporalSequence,

                     :UsageOfRepresentation .

 

:ClassOfRelativeLocation rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfRelationship ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfLocated ;

      owl:allValuesFrom :ClassOfIndividual ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfLocated ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfLocator ;

      owl:allValuesFrom :ClassOfIndividual ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfLocator ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ] ;

    owl:disjointWith :ClassOfRepresentationOfThing,

                     :ClassOfRepresentationTranslation,

                     :ClassOfResponsibilityForRepresentation,

                     :ClassOfSpecialization,

                     :ClassOfTemporalSequence,

                     :ClassOfUsageOfRepresentation,

                     :DimensionOfIndividual,

                     :PropertyForShapeDimension .

 

:ClassOfRepresentationOfThing rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfRelationship ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasPattern ;

      owl:allValuesFrom :ClassOfInformationRepresentation ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasPattern ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasRepresented ;

      owl:allValuesFrom :Thing ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasRepresented ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ] ;

    owl:disjointWith :ClassOfRepresentationTranslation,

                     :ClassOfResponsibilityForRepresentation,

                     :ClassOfSpecialization,

                     :ClassOfTemporalSequence,

                     :ClassOfUsageOfRepresentation,

                     :DimensionOfIndividual,

                     :PropertyForShapeDimension .

 

:ClassOfRepresentationTranslation rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfRelationship ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfFirst ;

      owl:allValuesFrom :ClassOfInformationRepresentation ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfFirst ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfSecond ;

      owl:allValuesFrom :ClassOfInformationRepresentation ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfSecond ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ] ;

    owl:disjointWith :ClassOfResponsibilityForRepresentation,

                     :ClassOfSpecialization,

                     :ClassOfTemporalSequence,

                     :ClassOfUsageOfRepresentation,

                     :DimensionOfIndividual,

                     :PropertyForShapeDimension .

 

:ClassOfResponsibilityForRepresentation rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfRelationship ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfControlled ;

      owl:allValuesFrom :ClassOfRepresentationOfThing ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfControlled ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasController ;

      owl:allValuesFrom :PossibleIndividual ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasController ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ] ;

    owl:disjointWith :ClassOfSpecialization,

                     :ClassOfTemporalSequence,

                     :ClassOfUsageOfRepresentation,

                     :DimensionOfIndividual,

                     :PropertyForShapeDimension .

 

:ClassOfRightNamespace rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfNamespace .

 

:ClassOfScale rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfClassOfRelationship ;

    owl:disjointWith :DimensionOfShape,

                     :PropertySpaceForClassOfShapeDimension .

 

:ClassOfScaleConversion rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfIsomorphicFunctionalMapping ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasCodomain ;

      owl:allValuesFrom :Scale ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasDomain ;

      owl:allValuesFrom :Scale ] .

 

:ClassOfShape rdf:type owl:Class ;

    rdfs:subClassOf :PropertySpace .

 

:ClassOfShapeDimension rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfClass .

  

:ClassOfSpecialization rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfRelationship ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfSubclass ;

      owl:allValuesFrom :ClassOfClass ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfSubclass ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfSuperclass ;

      owl:allValuesFrom :ClassOfClass ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfSuperclass ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ] ;

    owl:disjointWith :ClassOfTemporalSequence,

                     :ClassOfUsageOfRepresentation,

                     :DimensionOfIndividual,

                     :PropertyForShapeDimension .

 

:ClassOfStatus rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfClassOfIndividual ;

    owl:disjointWith :ShapeDimension .

  

:ClassOfSubAtomicParticle rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfArrangedIndividual ;

    owl:disjointWith :CrystallineStructure,

                     :Phase .

 

:ClassOfTemporalSequence rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfRelationship ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfPredecessor ;

      owl:allValuesFrom :ClassOfIndividual ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfPredecessor ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfSuccessor ;

      owl:allValuesFrom :ClassOfIndividual ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfSuccessor ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ] ;

    owl:disjointWith :ClassOfUsageOfRepresentation,

                     :DimensionOfIndividual,

                     :PropertyForShapeDimension .

 

:ClassOfTemporalWholePart rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfCompositionOfIndividual ;

    owl:disjointWith :ClassOfParticipation .

 

:ClassOfUsageOfRepresentation rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfRelationship ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfUsed ;

      owl:allValuesFrom :ClassOfRepresentationOfThing ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfUsed ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasUser ;

      owl:allValuesFrom :PossibleIndividual ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasUser ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ] ;

    owl:disjointWith :DimensionOfIndividual,

                     :PropertyForShapeDimension .

 

:Classification rdf:type owl:Class ;

    rdfs:subClassOf :Relationship ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassified ;

      owl:allValuesFrom :Thing ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassified ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassifier ;

      owl:allValuesFrom :Class ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassifier ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ] ;

    owl:disjointWith :ComparisonOfProperty,

                     :CompositionOfIndividual,

                     :ConnectionOfIndividual,

                     :FunctionalMapping,

                     :IndirectProperty,

                     :IndividualUsedInConnection,

                     :IntendedRoleAndDomain,

                     :InvolvementByReference,

                     :LifecycleStage,

                     :OtherRelationship,

                     :PossibleRoleAndDomain,

                     :Recognition,

                     :RelativeLocation,

                     :RepresentationOfThing,

                     :ResponsibilityForRepresentation,

                     :Specialization,

                     :TemporalSequence,

                     :UsageOfRepresentation .

 

:ComparisonOfProperty rdf:type owl:Class ;

    rdfs:subClassOf :Relationship ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasGreaterElement ;

      owl:allValuesFrom :Property ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasGreaterElement ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasLesserElement ;

      owl:allValuesFrom :Property ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasLesserElement ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ] ;

    owl:disjointWith :CompositionOfIndividual,

                     :ConnectionOfIndividual,

                     :FunctionalMapping,

                     :IndirectProperty,

                     :IndividualUsedInConnection,

                     :IntendedRoleAndDomain,

                     :InvolvementByReference,

                     :LifecycleStage,

                     :OtherRelationship,

                     :PossibleRoleAndDomain,

                     :Recognition,

                     :RelativeLocation,

                     :RepresentationOfThing,

                     :ResponsibilityForRepresentation,

                     :Specialization,

                     :TemporalSequence,

                     :UsageOfRepresentation .

 

:CompositionOfIndividual rdf:type owl:Class ;

    rdfs:subClassOf :Relationship ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasPart ;

      owl:allValuesFrom :PossibleIndividual ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasPart ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasWhole ;

      owl:allValuesFrom :PossibleIndividual ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasWhole ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ] ;

    owl:disjointWith :ConnectionOfIndividual,

                     :FunctionalMapping,

                     :IndirectProperty,

                     :IndividualUsedInConnection,

                     :IntendedRoleAndDomain,

                     :InvolvementByReference,

                     :LifecycleStage,

                     :OtherRelationship,

                     :PossibleRoleAndDomain,

                     :Recognition,

                     :RelativeLocation,

                     :RepresentationOfThing,

                     :ResponsibilityForRepresentation,

                     :Specialization,

                     :TemporalSequence,

                     :UsageOfRepresentation .

 

:ConnectionOfIndividual rdf:type owl:Class ;

    rdfs:subClassOf :Relationship ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasSide1 ;

      owl:allValuesFrom :PossibleIndividual ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasSide1 ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasSide2 ;

      owl:allValuesFrom :PossibleIndividual ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasSide2 ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ] ;

    owl:disjointWith :FunctionalMapping,

                     :IndirectProperty,

                     :IndividualUsedInConnection,

                     :IntendedRoleAndDomain,

                     :InvolvementByReference,

                     :LifecycleStage,

                     :OtherRelationship,

                     :PossibleRoleAndDomain,

                     :Recognition,

                     :RelativeLocation,

                     :RepresentationOfThing,

                     :ResponsibilityForRepresentation,

                     :Specialization,

                     :TemporalSequence,

                     :UsageOfRepresentation .

 

:ContainmentOfIndividual rdf:type owl:Class ;

    rdfs:subClassOf :RelativeLocation .

 

:CoordinateSystem rdf:type owl:Class ;

    rdfs:subClassOf :MultidimensionalScale .

 

:CrystallineStructure rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfArrangedIndividual ;

    owl:disjointWith :Phase .

 

:Definition rdf:type owl:Class ;

    rdfs:subClassOf :RepresentationOfThing ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasRepresented ;

      owl:allValuesFrom :Class ] .

 

:Description rdf:type owl:Class ;

    rdfs:subClassOf :RepresentationOfThing .

 

:DifferenceOfSetOfClass rdf:type owl:Class ;

    rdfs:subClassOf :FunctionalMapping ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasInput ;

      owl:allValuesFrom :EnumeratedSetOfClass ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasResult ;

      owl:allValuesFrom :Class ] .

 

:DimensionOfIndividual rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfRelationship ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasIndividual ;

      owl:allValuesFrom :PossibleIndividual ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasIndividual ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasIndividualDimension ;

      owl:allValuesFrom :IndividualDimension ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasIndividualDimension ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ] ;

    owl:disjointWith :PropertyForShapeDimension .

 

:DimensionOfShape rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfClassOfRelationship ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasDimension ;

      owl:allValuesFrom :ShapeDimension ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasDimension ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasShape ;

      owl:allValuesFrom :Shape ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasShape ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ] ;

    owl:disjointWith :PropertySpaceForClassOfShapeDimension .

 

:DirectConnection rdf:type owl:Class ;

    rdfs:subClassOf :ConnectionOfIndividual ;

    owl:disjointWith :IndirectConnection .

 

:DocumentDefinition rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfClassOfInformationRepresentation .

 

:Ending rdf:type owl:Class ;

    rdfs:subClassOf :TemporalBounding ;

    owl:disjointWith :Beginning .

  

:EnumeratedNumberSet rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfNumber ;

    rdfs:subClassOf :EnumeratedSetOfClass .

 

:EnumeratedPropertySet rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfProperty ;

    rdfs:subClassOf :EnumeratedSetOfClass .

 

:EnumeratedSetOfClass rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfClass .

 

:Event rdf:type owl:Class ;

    rdfs:subClassOf :PossibleIndividual .

 

:ExpressBinary rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfExpressInformationRepresentation ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasContent ;

      owl:allValuesFrom xsd:hexBinary ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasContent ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ] .

 

:ExpressBoolean rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfExpressInformationRepresentation ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasContent ;

      owl:allValuesFrom xsd:boolean ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasContent ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ] ;

    owl:disjointWith :ExpressBinary .

 

:ExpressInteger rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfExpressInformationRepresentation ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasContent ;

      owl:allValuesFrom xsd:long ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasContent ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ] ;

    owl:disjointWith :ExpressReal,

                     :ExpressLogical,

                     :ExpressBoolean,

                     :ExpressBinary .

 

:ExpressLogical rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfExpressInformationRepresentation ,

        [ rdf:type owl:Restriction ;

            owl:onProperty :hasContent ;

            owl:allValuesFrom [ rdf:type owl:DataRange ;

                    owl:oneOf [ rdf:type rdf:List ;

                            rdf:first "true"^^xsd:string ;

                            rdf:rest [ rdf:type rdf:List ;

                                    rdf:first "false"^^xsd:string ;

                                    rdf:rest [ rdf:type rdf:List ;

                                            rdf:first "unknown"^^xsd:string ; # xsd has no datatype for this

                                            rdf:rest () ] ] ] ] ] ,

        [ rdf:type owl:Restriction ;

            owl:onProperty :hasContent ;

            owl:cardinality "1"^^xsd:nonNegativeInteger ] ;

    owl:disjointWith :ExpressBinary,

                     :ExpressBoolean .

 

:ExpressReal rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfExpressInformationRepresentation ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasContent ;

      owl:allValuesFrom xsd:double ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasContent ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ] ;

    owl:disjointWith :ExpressLogical,

                     :ExpressBoolean,

                     :ExpressBinary .

 

:ExpressString rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfExpressInformationRepresentation ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasContent ;

      owl:allValuesFrom xsd:normalizedString ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasContent ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ] ;

    owl:disjointWith :ExpressInteger,

                     :ExpressReal,

                     :ExpressLogical,

                     :ExpressBoolean,

                     :ExpressBinary .

 

:FeatureWholePart rdf:type owl:Class ;

    rdfs:subClassOf :ArrangementOfIndividual .

 

:FunctionalMapping rdf:type owl:Class ;

    rdfs:subClassOf :Relationship ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasInput ;

      owl:allValuesFrom :Thing ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasInput ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasResult ;

      owl:allValuesFrom :Thing ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasResult ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ] ;

    owl:disjointWith :IndirectProperty,

                     :IndividualUsedInConnection,

                     :IntendedRoleAndDomain,

                     :InvolvementByReference,

                     :LifecycleStage,

                     :OtherRelationship,

                     :PossibleRoleAndDomain,

                     :Recognition,

                     :RelativeLocation,

                     :RepresentationOfThing,

                     :ResponsibilityForRepresentation,

                     :Specialization,

                     :TemporalSequence,

                     :UsageOfRepresentation .

 

:FunctionalPhysicalObject rdf:type owl:Class ;

    rdfs:subClassOf :PhysicalObject .

 

:Identification rdf:type owl:Class ;

    rdfs:subClassOf :RepresentationOfThing .

 

:IndirectConnection rdf:type owl:Class ;

    rdfs:subClassOf :ConnectionOfIndividual .

 

:IndirectProperty rdf:type owl:Class ;

    rdfs:subClassOf :Relationship ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasPossessor ;

      owl:allValuesFrom :PossibleIndividual ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasPossessor ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasProperty ;

      owl:allValuesFrom :Property ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasProperty ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ] ;

    owl:disjointWith :IndividualUsedInConnection,

                     :IntendedRoleAndDomain,

                     :InvolvementByReference,

                     :LifecycleStage,

                     :OtherRelationship,

                     :PossibleRoleAndDomain,

                     :Recognition,

                     :RelativeLocation,

                     :RepresentationOfThing,

                     :ResponsibilityForRepresentation,

                     :Specialization,

                     :TemporalSequence,

                     :UsageOfRepresentation .

 

:IndividualDimension rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfIndividual ;

    owl:disjointWith :Property,

                     :Status .

 

:IndividualUsedInConnection rdf:type owl:Class ;

    rdfs:subClassOf :Relationship ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasConnection ;

      owl:allValuesFrom :ConnectionOfIndividual ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasConnection ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasUsage ;

      owl:allValuesFrom :PossibleIndividual ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasUsage ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ] ;

    owl:disjointWith :IntendedRoleAndDomain,

                     :InvolvementByReference,

                     :LifecycleStage,

                     :OtherRelationship,

                     :PossibleRoleAndDomain,

                     :Recognition,

                     :RelativeLocation,

                     :RepresentationOfThing,

                     :ResponsibilityForRepresentation,

                     :Specialization,

                     :TemporalSequence,

                     :UsageOfRepresentation .

 

:IntegerNumber rdf:type owl:Class ;

    rdfs:subClassOf :ArithmeticNumber ;

    owl:disjointWith :MultidimensionalNumber .

 

:IntendedRoleAndDomain rdf:type owl:Class ;

    rdfs:subClassOf :Relationship ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasPlayed ;

      owl:allValuesFrom :RoleAndDomain ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasPlayed ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasPlayer ;

      owl:allValuesFrom :PossibleIndividual ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasPlayer ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ] ;

    owl:disjointWith :InvolvementByReference,

                     :LifecycleStage,

                     :OtherRelationship,

                     :PossibleRoleAndDomain,

                     :Recognition,

                     :RelativeLocation,

                     :RepresentationOfThing,

                     :ResponsibilityForRepresentation,

                     :Specialization,

                     :TemporalSequence,

                     :UsageOfRepresentation .

 

:IntersectionOfSetOfClass rdf:type owl:Class ;

    rdfs:subClassOf :FunctionalMapping ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasInput ;

      owl:allValuesFrom :EnumeratedSetOfClass ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasResult ;

      owl:allValuesFrom :Class ] .

 

:InvolvementByReference rdf:type owl:Class ;

    rdfs:subClassOf :Relationship ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasInvolved ;

      owl:allValuesFrom :Thing ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasInvolved ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasInvolver ;

      owl:allValuesFrom :Activity ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasInvolver ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ] ;

    owl:disjointWith :LifecycleStage,

                     :OtherRelationship,

                     :PossibleRoleAndDomain,

                     :Recognition,

                     :RelativeLocation,

                     :RepresentationOfThing,

                     :ResponsibilityForRepresentation,

                     :Specialization,

                     :TemporalSequence,

                     :UsageOfRepresentation .

 

:Language rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfClassOfInformationRepresentation ;

    owl:disjointWith :DocumentDefinition .

 

:LeftNamespace rdf:type owl:Class ;

    rdfs:subClassOf :Namespace .

 

:LifecycleStage rdf:type owl:Class ;

    rdfs:subClassOf :Relationship ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasInterest ;

      owl:allValuesFrom :PossibleIndividual ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasInterest ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasInterested ;

      owl:allValuesFrom :PossibleIndividual ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasInterested ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ] ;

    owl:disjointWith :OtherRelationship,

                     :PossibleRoleAndDomain,

                     :Recognition,

                     :RelativeLocation,

                     :RepresentationOfThing,

                     :ResponsibilityForRepresentation,

                     :Specialization,

                     :TemporalSequence,

                     :UsageOfRepresentation .

 

:LowerBoundOfNumberRange rdf:type owl:Class ;

    rdfs:subClassOf :Classification ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassified ;

      owl:allValuesFrom :ArithmeticNumber ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassifier ;

      owl:allValuesFrom :NumberRange ] .

 

:LowerBoundOfPropertyRange rdf:type owl:Class ;

    rdfs:subClassOf :Classification ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassified ;

      owl:allValuesFrom :Property ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassifier ;

      owl:allValuesFrom :PropertyRange ] .

 

:MaterializedPhysicalObject rdf:type owl:Class ;

    rdfs:subClassOf :PhysicalObject .

 

:MultidimensionalNumber rdf:type owl:Class ;

    rdfs:subClassOf :ArithmeticNumber , :MultidimensionalObject ;

    owl:disjointWith :MultidimensionalProperty,

                     :MultidimensionalNumberSpace,

                     :MultidimensionalScale .

 

:MultidimensionalNumberSpace rdf:type owl:Class ;

    rdfs:subClassOf :NumberSpace , :MultidimensionalObject ;

    owl:disjointWith :MultidimensionalScale .

  

:MultidimensionalObject rdf:type owl:Class ;

    rdfs:subClassOf

        [ rdf:type owl:Restriction ;

            owl:onProperty :hasElements ;

            owl:allValuesFrom

                [ rdf:type owl:Class ;

                  owl:intersectionOf

                    ( :OWLList [ rdf:type owl:Restriction ;

                                    owl:onProperty :hasContents ;

                                    owl:allValuesFrom :Thing ]

                               [ rdf:type owl:Restriction ;

                                    owl:onProperty :isFollowedBy ;

                                    owl:allValuesFrom

                                        [ rdf:type owl:Class ;

                                          owl:intersectionOf

                                            ( :OWLList [ rdf:type owl:Restriction ;

                                                            owl:onProperty :hasContents ;

                                                            owl:allValuesFrom :Thing ] ) ] ] ) ] ] ,

        [ rdf:type owl:Restriction ;

            owl:onProperty :hasElements ;

            owl:maxCardinality "1"^^xsd:nonNegativeInteger ] ,

        [ rdf:type owl:Restriction ;

            owl:onProperty :hasPosition ;

            owl:allValuesFrom

                [ rdf:type owl:Class ;

                  owl:intersectionOf

                    ( :OWLList [ rdf:type owl:Restriction ;

                                    owl:onProperty :hasContents ;

                                    owl:allValuesFrom :ExpressInteger ]

                               [ rdf:type owl:Restriction ;

                                    owl:onProperty :isFollowedBy ;

                                    owl:allValuesFrom

                                        [ rdf:type owl:Class ;

                                          owl:intersectionOf

                                            ( :OWLList [ rdf:type owl:Restriction ;

                                                            owl:onProperty :hasContents ;

                                                            owl:allValuesFrom :ExpressInteger ] ) ] ] ) ] ] ,

        [ rdf:type owl:Restriction ;

            owl:onProperty :hasPosition ;

            owl:maxCardinality "1"^^xsd:nonNegativeInteger ] .

 

:MultidimensionalProperty rdf:type owl:Class ;

    rdfs:subClassOf :Property , :MultidimensionalObject ;

    owl:disjointWith :MultidimensionalNumberSpace,

                     :MultidimensionalScale .

 

:MultidimensionalPropertySpace rdf:type owl:Class ;

    rdfs:subClassOf :PropertySpace , :MultidimensionalObject ;

    owl:disjointWith :MultidimensionalNumber,

                     :MultidimensionalProperty,

                     :MultidimensionalNumberSpace,

                     :MultidimensionalScale .

 

:MultidimensionalScale rdf:type owl:Class ;

    rdfs:subClassOf :Scale , :MultidimensionalObject .

 

:Namespace rdf:type owl:Class ;

    owl:equivalentClass [ rdf:type owl:Class ;

            owl:unionOf ( :LeftNamespace :RightNamespace ) ] ;

    rdfs:subClassOf :ClassOfArrangementOfIndividual ,

        [ rdf:type owl:Restriction ;

            owl:onProperty :hasClassOfPart ;

            owl:allValuesFrom :ClassOfInformationRepresentation ],

        [ rdf:type owl:Restriction ;

            owl:onProperty :hasClassOfWhole ;

            owl:allValuesFrom :ClassOfInformationRepresentation ] .

 

:NumberRange rdf:type owl:Class ;

    rdfs:subClassOf :NumberSpace ;

    owl:disjointWith :MultidimensionalNumberSpace .

 

:NumberSpace rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfNumber ;

    owl:disjointWith :EnumeratedNumberSet .

 

:OtherRelationship rdf:type owl:Class ;

    rdfs:subClassOf :Relationship ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasEnd1 ;

      owl:allValuesFrom :Thing ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasEnd1 ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasEnd2 ;

      owl:allValuesFrom :Thing ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasEnd2 ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ] ;

    owl:disjointWith :PossibleRoleAndDomain,

                     :Recognition,

                     :RelativeLocation,

                     :RepresentationOfThing,

                     :ResponsibilityForRepresentation,

                     :Specialization,

                     :TemporalSequence,

                     :UsageOfRepresentation .

 

:ParticipatingRoleAndDomain rdf:type owl:Class ;

    rdfs:subClassOf :RoleAndDomain ;

    rdfs:subClassOf :ClassOfIndividual .

 

:Participation rdf:type owl:Class ;

    rdfs:subClassOf :CompositionOfIndividual ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasWhole ;

      owl:allValuesFrom :Activity ] ;

    owl:disjointWith :TemporalBounding .

 

:PeriodInTime rdf:type owl:Class ;

    rdfs:subClassOf :PossibleIndividual .

  

:Phase rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfArrangedIndividual .

 

:PhysicalObject rdf:type owl:Class ;

    rdfs:subClassOf :PossibleIndividual .

 

:PointInTime rdf:type owl:Class ;

    rdfs:subClassOf :Event .

 

:PossibleIndividual rdf:type owl:Class ;

    rdfs:subClassOf :Thing ;

    owl:disjointWith :AbstractObject .

 

:PossibleRoleAndDomain rdf:type owl:Class ;

    rdfs:subClassOf :Relationship ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasPlayed ;

      owl:allValuesFrom :RoleAndDomain ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasPlayed ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasPlayer ;

      owl:allValuesFrom :PossibleIndividual ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasPlayer ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ] ;

    owl:disjointWith :Recognition,

                     :RelativeLocation,

                     :RepresentationOfThing,

                     :ResponsibilityForRepresentation,

                     :Specialization,

                     :TemporalSequence,

                     :UsageOfRepresentation .

 

:Property rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfIndividual ;

    owl:disjointWith :Status .

 

:PropertyForShapeDimension rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfRelationship ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasProperty ;

      owl:allValuesFrom :Property ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasProperty ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasShapeDimension ;

      owl:allValuesFrom :ShapeDimension ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasShapeDimension ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ] .

 

:PropertyQuantification rdf:type owl:Class ;

    rdfs:subClassOf :FunctionalMapping ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasInput ;

      owl:allValuesFrom :Property ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasResult ;

      owl:allValuesFrom :ArithmeticNumber ] .

 

:PropertyRange rdf:type owl:Class ;

    rdfs:subClassOf :PropertySpace .

 

:PropertySpace rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfProperty ;

    owl:disjointWith :EnumeratedPropertySet .

 

:PropertySpaceForClassOfShapeDimension rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfClassOfRelationship ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfShapeDimension ;

      owl:allValuesFrom :ClassOfShapeDimension ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassOfShapeDimension ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasPropertySpace ;

      owl:allValuesFrom :PropertySpace ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasPropertySpace ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ] .

 

:RealNumber rdf:type owl:Class ;

    rdfs:subClassOf :ArithmeticNumber ;

    owl:disjointWith :IntegerNumber,

                     :MultidimensionalNumber .

 

:Recognition rdf:type owl:Class ;

    rdfs:subClassOf :Relationship ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasRecognized ;

      owl:allValuesFrom :Thing ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasRecognized ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasRecognizing ;

      owl:allValuesFrom :Activity ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasRecognizing ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ] ;

    owl:disjointWith :RelativeLocation,

                     :RepresentationOfThing,

                     :ResponsibilityForRepresentation,

                     :Specialization,

                     :TemporalSequence,

                     :UsageOfRepresentation .

 

:Relationship rdf:type owl:Class ;

    rdfs:subClassOf :AbstractObject ;

    owl:equivalentClass [ rdf:type owl:Class ;

                          owl:unionOf (

                             :Approval

                             :CauseOfEvent

                             :ClassOfRelationshipWithSignature

                             :Classification

                             :ComparisonOfProperty  

                             :CompositionOfIndividual

                             :ConnectionOfIndividual

                             :FunctionalMapping

                             :IndirectProperty

                             :IndividualUsedInConnection

                             :IntendedRoleAndDomain

                             :InvolvementByReference

                             :LifecycleStage

                             :OtherRelationship

                             :PossibleRoleAndDomain

                             :Recognition

                             :RelativeLocation

                             :RepresentationOfThing  

                             :ResponsibilityForRepresentation

                             :Specialization :TemporalSequence

                             :UsageOfRepresentation ) ] .

 

:RelativeLocation rdf:type owl:Class ;

    rdfs:subClassOf :Relationship ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasLocated ;

      owl:allValuesFrom :PossibleIndividual ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasLocated ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasLocator ;

      owl:allValuesFrom :PossibleIndividual ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasLocator ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ] ;

    owl:disjointWith :RepresentationOfThing,

                     :ResponsibilityForRepresentation,

                     :Specialization,

                     :TemporalSequence,

                     :UsageOfRepresentation .

 

:RepresentationForm rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfClassOfInformationRepresentation ;

    owl:disjointWith :Language,

                     :DocumentDefinition .

 

:RepresentationOfGregorianDateAndUtcTime rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfInformationRepresentation ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasYear ;

      owl:allValuesFrom xsd:long ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasYear ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasMonth ;

      owl:allValuesFrom xsd:long ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasMonth ;

      owl:maxCardinality "1"^^xsd:nonNegativeInteger ] ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasDay ;

      owl:allValuesFrom xsd:long ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasDay ;

      owl:maxCardinality "1"^^xsd:nonNegativeInteger ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasHour ;

      owl:allValuesFrom xsd:long ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasHour ;

      owl:maxCardinality "1"^^xsd:nonNegativeInteger ] ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasMinute ;

      owl:allValuesFrom xsd:long ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasMinute ;

      owl:maxCardinality "1"^^xsd:nonNegativeInteger ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasSecond ;

      owl:allValuesFrom xsd:double ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasSecond ;

      owl:maxCardinality "1"^^xsd:nonNegativeInteger ] .

 

:RepresentationOfThing rdf:type owl:Class ;

    rdfs:subClassOf :Relationship ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasRepresented ;

      owl:allValuesFrom :Thing ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasRepresented ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasSign ;

      owl:allValuesFrom :PossibleIndividual ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasSign ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ] ;

    owl:disjointWith :ResponsibilityForRepresentation,

                     :Specialization,

                     :TemporalSequence,

                     :UsageOfRepresentation .

 

:ResponsibilityForRepresentation rdf:type owl:Class ;

    rdfs:subClassOf :Relationship ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasControlled ;

      owl:allValuesFrom :RepresentationOfThing ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasControlled ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasController ;

      owl:allValuesFrom :PossibleIndividual ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasController ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ] ;

    owl:disjointWith :Specialization,

                     :TemporalSequence,

                     :UsageOfRepresentation .

 

:RightNamespace rdf:type owl:Class ;

    rdfs:subClassOf :Namespace ;

    owl:disjointWith :LeftNamespace .

 

:Role rdf:type owl:Class ;

    rdfs:subClassOf :RoleAndDomain .

 

:RoleAndDomain rdf:type owl:Class ;

    rdfs:subClassOf :Class .

 

:Scale rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfIsomorphicFunctionalMapping ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasCodomain ;

      owl:allValuesFrom :NumberSpace ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasDomain ;

      owl:allValuesFrom :PropertySpace ] ;

    owl:disjointWith :ClassOfScaleConversion .

 

:Shape rdf:type owl:Class ;

    rdfs:subClassOf :Property .

 

:ShapeDimension rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfClassOfIndividual .

 

:SinglePropertyDimension rdf:type owl:Class ;

    rdfs:subClassOf :PropertySpace .

 

:SpatialLocation rdf:type owl:Class ;

    rdfs:subClassOf :PhysicalObject .

 

:Specialization rdf:type owl:Class ;

    rdfs:subClassOf :Relationship ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasSubclass ;

      owl:allValuesFrom :Class ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasSubclass ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasSuperclass ;

      owl:allValuesFrom :Class ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasSuperclass ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ] ;

    owl:disjointWith :TemporalSequence,

                     :UsageOfRepresentation .

 

:SpecializationByDomain rdf:type owl:Class ;

    rdfs:subClassOf :Specialization ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasSubclass ;

      owl:allValuesFrom :RoleAndDomain ] ;

    owl:disjointWith :SpecializationByRole,

                     :SpecializationOfIndividualDimensionFromProperty .

 

:SpecializationByRole rdf:type owl:Class ;

    rdfs:subClassOf :Specialization ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasSubclass ;

      owl:allValuesFrom :RoleAndDomain ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasSuperclass ;

      owl:allValuesFrom :Role ] ;

    owl:disjointWith :SpecializationOfIndividualDimensionFromProperty .

 

:SpecializationOfIndividualDimensionFromProperty rdf:type owl:Class ;

    rdfs:subClassOf :Specialization ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasSubclass ;

      owl:allValuesFrom :IndividualDimension ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasSuperclass ;

      owl:allValuesFrom :Property ] .

 

:Status rdf:type owl:Class ;

    rdfs:subClassOf :ClassOfIndividual .

 

:Stream rdf:type owl:Class ;

    rdfs:subClassOf :PhysicalObject .

 

:TemporalBounding rdf:type owl:Class ;

    owl:equivalentClass [ rdf:type owl:Class ;

                          owl:unionOf ( :Beginning :Ending ) ] ;

    rdfs:subClassOf :CompositionOfIndividual ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasPart ;

      owl:allValuesFrom :Event ] .

 

:TemporalSequence rdf:type owl:Class ;

    rdfs:subClassOf :Relationship ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasPredecessor ;

      owl:allValuesFrom :PossibleIndividual ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasPredecessor ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasSuccessor ;

      owl:allValuesFrom :PossibleIndividual ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasSuccessor ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ] ;

    owl:disjointWith :UsageOfRepresentation .

 

:TemporalWholePart rdf:type owl:Class ;

    rdfs:subClassOf :CompositionOfIndividual ;

    owl:disjointWith :Participation,

                     :TemporalBounding .

 

:Thing rdf:type owl:Class ;

    owl:equivalentClass [ rdf:type owl:Class ;

                          owl:unionOf ( :AbstractObject :PossibleIndividual ) ] ;

    rdfs:subClassOf

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasId ;

      owl:allValuesFrom xsd:normalizedString ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasId ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasRecordCopyCreated ;

      owl:allValuesFrom :RepresentationOfGregorianDateAndUtcTime ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasRecordCopyCreated ;

      owl:maxCardinality "1"^^xsd:nonNegativeInteger ] ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasRecordCreated ;

      owl:allValuesFrom :RepresentationOfGregorianDateAndUtcTime ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasRecordCreated ;

      owl:maxCardinality "1"^^xsd:nonNegativeInteger ] ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasRecordCreator ;

      owl:allValuesFrom :PossibleIndividual ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasRecordCreator ;

      owl:maxCardinality "1"^^xsd:nonNegativeInteger ] ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasRecordLogicallyDeleted ;

      owl:allValuesFrom :RepresentationOfGregorianDateAndUtcTime ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasRecordLogicallyDeleted ;

      owl:maxCardinality "1"^^xsd:nonNegativeInteger ] ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasWhyDeleted ;

      owl:allValuesFrom :ClassOfInformationRepresentation ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasWhyDeleted ;

      owl:maxCardinality "1"^^xsd:nonNegativeInteger ] .

 

:UnionOfSetOfClass rdf:type owl:Class ;

    rdfs:subClassOf :FunctionalMapping ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasInput ;

      owl:allValuesFrom :EnumeratedSetOfClass ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasResult ;

      owl:allValuesFrom :Class ] .

 

:UpperBoundOfNumberRange rdf:type owl:Class ;

    rdfs:subClassOf :Classification ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassified ;

      owl:allValuesFrom :ArithmeticNumber ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassifier ;

      owl:allValuesFrom :NumberRange ] .

 

:UpperBoundOfPropertyRange rdf:type owl:Class ;

    rdfs:subClassOf :Classification ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassified ;

      owl:allValuesFrom :Property ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasClassifier ;

      owl:allValuesFrom :PropertyRange ] .

 

:UsageOfRepresentation rdf:type owl:Class ;

    rdfs:subClassOf :Relationship ,

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasUsed ;

      owl:allValuesFrom :RepresentationOfThing ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasUsed ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasUser ;

      owl:allValuesFrom :PossibleIndividual ],

    [ rdf:type owl:Restriction ;

      owl:onProperty :hasUser ;

      owl:cardinality "1"^^xsd:nonNegativeInteger ] .

 

:WholeLifeIndividual rdf:type owl:Class ;

    rdfs:subClassOf :PossibleIndividual .

 

###################################

##

## co-ode.org code for OWLList

##

###################################

 

:hasListProperty rdf:type owl:ObjectProperty ;

    rdfs:domain :OWLList .

 

:hasContents rdf:type owl:FunctionalProperty, owl:ObjectProperty ;

    rdfs:subPropertyOf :hasListProperty .

 

:isFollowedBy rdf:type owl:ObjectProperty, owl:TransitiveProperty ;

    rdfs:subPropertyOf :hasListProperty ;

    rdfs:range :OWLList .

 

owl:Thing rdf:type owl:Class .

 

:OWLList rdf:type owl:Class ;

    rdfs:subClassOf owl:Thing ,

        [ rdf:type owl:Restriction ;

            owl:onProperty :isFollowedBy ;

            owl:allValuesFrom :OWLList ] .

 

:EmptyList rdf:type owl:Class ;

    owl:equivalentClass

        [ rdf:type owl:Class ;

            owl:intersectionOf ( :OWLList [ rdf:type owl:Class ;

                        owl:complementOf [ rdf:type owl:Restriction ;

                                owl:onProperty :hasContents ;

                                owl:someValuesFrom owl:Thing ] ] ) ],

        [ rdf:type owl:Class ;

            owl:intersectionOf ( :OWLList [ rdf:type owl:Class ;

                        owl:complementOf [ rdf:type owl:Restriction ;

                                owl:onProperty :isFollowedBy ;

                                owl:someValuesFrom owl:Thing ] ] ) ] .