ISO 15926-2 model in Turtle format

latest update 2021-05-17 ;

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.

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)

LISTING

@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 xsd: <http://www.w3.org/2001/XMLSchema#> .

() 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 :hasInput ; owl:cardinality "1"^^xsd:nonNegativeInteger ], [ rdf:type owl:Restriction ; owl:onProperty :hasResult ; owl:allValuesFrom :ArithmeticNumber ], [ rdf:type owl:Restriction ; owl:onProperty :ArithmeticNumber ; owl:cardinality "1"^^xsd:nonNegativeInteger ] . :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 ] ] ) ] .