Introduction
The ISO 15926-2 data model, that is orginally expressed in the EXPRESS modeling language, has been converted to OWL by PoscCaesar.
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.
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 ] ] ) ] .