Trinh H. Nguyen

add more concepts

......@@ -12,117 +12,1529 @@
.
:Activity
rdf:type owl:Class ;
:shouldHaveID "true"^^xsd:boolean ;
rdfs:label "Acitivity"^^xsd:string ;
rdfs:subClassOf owl:Thing ;
rdfs:subClassOf [
rdf:type owl:Class ;
owl:intersectionOf (
[
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onClass :SpecifiedUserField ;
owl:onProperty :hasSpecifiedUserField ;
]
[
rdf:type owl:Restriction ;
owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onClass :SpecifiedUserField ;
owl:onProperty :hasSpecifiedUserField ;
]
) ;
] ;
rdfs:subClassOf [
rdf:type owl:Class ;
owl:intersectionOf (
[
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onClass :Successor ;
owl:onProperty :hasSuccessor ;
]
[
rdf:type owl:Restriction ;
owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onClass :Successor ;
owl:onProperty :hasSuccessor ;
]
) ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
:shouldBeDeclaredHere "true"^^xsd:boolean ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onClass :CalendarSet ;
owl:onProperty :hasCalendarSet ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onClass :Activity ;
owl:onProperty :hasParentActivity ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onClass :Calendar ;
owl:onProperty :hasCalendar ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onClass :ExternalReference ;
owl:onProperty :hasExternalReference ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onClass [
rdf:type owl:Class ;
owl:unionOf (
:TimeBased
:CostBased
) ;
] ;
owl:onProperty :hasResource ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onDataRange [
rdf:type rdfs:Datatype ;
owl:oneOf (
"ActiveActivity"^^xsd:string
"CancelledActivity"^^xsd:string
"DeletedActivity"^^xsd:string
"CompletedActivity"^^xsd:string
"PendingActivity"^^xsd:string
) ;
] ;
owl:onProperty :hasActiveStatus ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onDataRange xsd:string ;
owl:onProperty :hasDescription ;
owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
] ;
.
:Availability
rdf:type owl:Class ;
rdfs:subClassOf owl:Thing ;
rdfs:subClassOf [
rdf:type owl:Class ;
owl:intersectionOf (
[
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onDataRange xsd:duration ;
owl:onProperty :dailyAvailableDuration ;
]
[
rdf:type owl:Restriction ;
owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onDataRange xsd:duration ;
owl:onProperty :dailyAvailableDuration ;
]
) ;
] ;
rdfs:subClassOf [
rdf:type owl:Class ;
owl:intersectionOf (
[
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onDataRange [
rdf:type owl:Class ;
owl:unionOf (
xsd:date
xsd:dateTime
) ;
] ;
owl:onProperty :availableFrom ;
]
[
rdf:type owl:Restriction ;
owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onDataRange [
rdf:type owl:Class ;
owl:unionOf (
xsd:date
xsd:dateTime
) ;
] ;
owl:onProperty :availableFrom ;
]
) ;
] ;
rdfs:subClassOf [
rdf:type owl:Class ;
owl:intersectionOf (
[
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onDataRange [
rdf:type owl:Class ;
owl:unionOf (
xsd:date
xsd:dateTime
) ;
] ;
owl:onProperty :availableTo ;
]
[
rdf:type owl:Restriction ;
owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onDataRange [
rdf:type owl:Class ;
owl:unionOf (
xsd:date
xsd:dateTime
) ;
] ;
owl:onProperty :availableTo ;
]
) ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onClass :Calendar ;
owl:onProperty :hasCalendar ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onClass :Plan ;
owl:onProperty :forPlan ;
owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
] ;
.
:Calendar
rdf:type owl:Class ;
:shouldHaveID "true"^^xsd:boolean ;
rdfs:subClassOf owl:Thing ;
rdfs:subClassOf [
rdf:type owl:Class ;
owl:intersectionOf (
[
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onClass :FreePeriod ;
owl:onProperty :hasFreePeriod ;
]
[
rdf:type owl:Restriction ;
owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onClass :FreePeriod ;
owl:onProperty :hasFreePeriod ;
]
) ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onClass :ExternalReference ;
owl:onProperty :hasExternalReference ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onDataRange xsd:decimal ;
owl:onProperty :hasWorkHoursPerDay ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onDataRange xsd:string ;
owl:onProperty :hasDescription ;
owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
] ;
.
:CalendarSet
rdf:type owl:Class ;
:shouldHaveID "true"^^xsd:boolean ;
rdfs:subClassOf owl:Thing ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:minCardinality "0"^^xsd:nonNegativeInteger ;
owl:onProperty :hasActivityStatus ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onClass :ExternalReference ;
owl:onProperty :hasExternalReference ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onClass :Calendar ;
owl:onProperty :hasCalendar ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onClass :DateSet ;
owl:onProperty :hasDateSet ;
owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onDataRange xsd:string ;
owl:onProperty :hasName ;
owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
] ;
.
:Coordinate
rdf:type owl:Class ;
rdfs:subClassOf owl:Thing ;
.
:CostBased
rdf:type owl:Class ;
rdfs:subClassOf :Resource ;
.
:DailyRepeatFreePeriod
rdf:type owl:Class ;
rdfs:subClassOf :FreePeriod ;
rdfs:subClassOf [
rdf:type owl:Class ;
owl:intersectionOf (
[
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onClass :FreeTime ;
owl:onProperty :hasFreeTime ;
]
[
rdf:type owl:Restriction ;
owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onClass :FreeTime ;
owl:onProperty :hasFreeTime ;
]
) ;
] ;
.
:Data
rdf:type owl:Class ;
rdfs:label "Data"^^xsd:string ;
rdfs:subClassOf owl:Thing ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onClass :CalendarSet ;
owl:onProperty :hasCalendarSet ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onClass :FreeFieldSet ;
owl:onProperty :hasFreeFieldSet ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onClass :ProfileSet ;
owl:onProperty :hasProfileSet ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onClass :ResourceSet ;
owl:onProperty :hasResourceSet ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onClass :Project ;
owl:onProperty :hasProject ;
owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
] ;
.
:DateSet
rdf:type owl:Class ;
rdfs:subClassOf owl:Thing ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onDataRange xsd:date ;
owl:onProperty :hasFinish ;
owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onDataRange xsd:date ;
owl:onProperty :hasStart ;
owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
] ;
.
:ExternalReference
rdf:type owl:Class ;
rdfs:subClassOf owl:Thing ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onDataRange xsd:anyURI ;
owl:onProperty :hasSource ;
owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onDataRange xsd:string ;
owl:onProperty :hasID ;
owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onDataRange [
rdf:type rdfs:Datatype ;
owl:oneOf (
"Safran5"^^xsd:string
"PrimaveraP6"^^xsd:string
"SAP"^^xsd:string
) ;
] ;
owl:onProperty :hasApplication ;
owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
] ;
.
:FF
rdf:type owl:Class ;
rdfs:subClassOf :Successor ;
.
:FS
rdf:type owl:Class ;
rdfs:subClassOf :Successor ;
.
:FreeFieldSet
rdf:type owl:Class ;
:shouldHaveID "false"^^xsd:boolean ;
rdfs:subClassOf owl:Thing ;
.
:FreePeriod
rdf:type owl:Class ;
rdfs:subClassOf owl:Thing ;
.
:FreeTime
rdf:type owl:Class ;
rdfs:subClassOf owl:Thing ;
rdfs:subClassOf [
rdf:type owl:Class ;
owl:intersectionOf (
[
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onClass :DateSet ;
owl:onProperty :hasDateSet ;
]
[
rdf:type owl:Restriction ;
owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onClass :DateSet ;
owl:onProperty :hasDateSet ;
]
) ;
] ;
rdfs:subClassOf [
rdf:type owl:Class ;
owl:intersectionOf (
[
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onClass :TimeSet ;
owl:onProperty :hasTimeSet ;
]
[
rdf:type owl:Restriction ;
owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onClass :TimeSet ;
owl:onProperty :hasTimeSet ;
]
) ;
] ;
.
:NoRepeatFreePeriod
rdf:type owl:Class ;
rdfs:subClassOf :FreePeriod ;
rdfs:subClassOf [
rdf:type owl:Class ;
owl:intersectionOf (
[
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onDataRange xsd:dateTime ;
owl:onProperty :hasFinish ;
]
[
rdf:type owl:Restriction ;
owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onDataRange xsd:dateTime ;
owl:onProperty :hasFinish ;
]
) ;
] ;
rdfs:subClassOf [
rdf:type owl:Class ;
owl:intersectionOf (
[
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onDataRange xsd:dateTime ;
owl:onProperty :hasStart ;
]
[
rdf:type owl:Restriction ;
owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onDataRange xsd:dateTime ;
owl:onProperty :hasStart ;
]
) ;
] ;
.
:Operation
rdf:type owl:Class ;
rdfs:subClassOf :Activity ;
.
:Plan
rdf:type owl:Class ;
:shouldHaveID "true"^^xsd:boolean ;
rdfs:label "Plan"^^xsd:string ;
rdfs:subClassOf owl:Thing ;
rdfs:subClassOf [
rdf:type owl:Class ;
owl:intersectionOf (
[
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onClass :SubPlan ;
owl:onProperty :hasSubPlan ;
]
[
rdf:type owl:Restriction ;
owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onClass :SubPlan ;
owl:onProperty :hasSubPlan ;
]
) ;
] ;
rdfs:subClassOf [
rdf:type owl:Class ;
owl:intersectionOf (
[
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onDataRange xsd:dateTime ;
owl:onProperty :now ;
]
[
rdf:type owl:Restriction ;
owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onDataRange xsd:dateTime ;
owl:onProperty :now ;
]
) ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onClass :ExternalReference ;
owl:onProperty :hasExternalReference ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onClass :Activity ;
owl:onProperty :hasActivity ;
] ;
.
:Profile
rdf:type owl:Class ;
:shouldHaveID "true"^^xsd:boolean ;
rdfs:subClassOf owl:Thing ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onClass :ExternalReference ;
owl:onProperty :hasExternalReference ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "2"^^xsd:nonNegativeInteger ;
owl:onClass :Coordinate ;
owl:onProperty :hasCoordinate ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onDataRange xsd:string ;
owl:onProperty :hasName ;
owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
] ;
.
:ProfileSet
rdf:type owl:Class ;
:shouldHaveID "true"^^xsd:boolean ;
rdfs:subClassOf owl:Thing ;
rdfs:subClassOf [
rdf:type owl:Class ;
owl:intersectionOf (
[
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onDataRange xsd:string ;
owl:onProperty :hasName ;
]
[
rdf:type owl:Restriction ;
owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onDataRange xsd:string ;
owl:onProperty :hasName ;
]
) ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onClass :ExternalReference ;
owl:onProperty :hasExternalReference ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onClass :Profile ;
owl:onProperty :hasProfile ;
] ;
.
:Project
rdf:type owl:Class ;
:shouldHaveID "true"^^xsd:boolean ;
rdfs:label "Project"^^xsd:string ;
rdfs:subClassOf owl:Thing ;
rdfs:subClassOf [
rdf:type owl:Class ;
owl:intersectionOf (
[
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onClass :DateSet ;
owl:onProperty :hasDateSet ;
]
[
rdf:type owl:Restriction ;
owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onClass :DateSet ;
owl:onProperty :hasDateSet ;
]
) ;
] ;
rdfs:subClassOf [
rdf:type owl:Class ;
owl:intersectionOf (
[
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onClass :SubProject ;
owl:onProperty :hasSubProject ;
]
[
rdf:type owl:Restriction ;
owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onClass :SubProject ;
owl:onProperty :hasSubProject ;
]
) ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onClass :Plan ;
owl:onProperty :hasPlan ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onClass :SourceSpecificUserfield ;
owl:onProperty :hasSourceSpecificUserfield ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onDataRange xsd:string ;
owl:onProperty :hasDescription ;
owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
] ;
.
:RegularActivity
rdf:type owl:Class ;
rdfs:subClassOf :Activity ;
.
:Resource
rdf:type owl:Class ;
rdfs:subClassOf owl:Thing ;
.
:ResourceSet
rdf:type owl:Class ;
:shouldHaveID "true"^^xsd:boolean ;
rdfs:subClassOf owl:Thing ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onClass :ExternalReference ;
owl:onProperty :hasExternalReference ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onClass :TimeBasedResource ;
owl:onProperty :hasTimeBasedResource ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onDataRange xsd:string ;
owl:onProperty :hasName ;
owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
] ;
.
:SF
rdf:type owl:Class ;
rdfs:subClassOf :Successor ;
.
:SS
rdf:type owl:Class ;
rdfs:subClassOf :Successor ;
.
:SourceSpecificUserfield
rdf:type owl:Class ;
rdfs:subClassOf owl:Thing ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onDataRange xsd:anyURI ;
owl:onProperty :isCapexOpex ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onDataRange xsd:anyURI ;
owl:onProperty :hasSource ;
owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
] ;
.
:SpecifiedUserField
rdf:type owl:Class ;
rdfs:subClassOf owl:Thing ;
rdfs:subClassOf [
rdf:type owl:Class ;
owl:intersectionOf (
[
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onDataRange xsd:anyURI ;
owl:onProperty :hasAreaOnPlatform ;
]
[
rdf:type owl:Restriction ;
owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onDataRange xsd:anyURI ;
owl:onProperty :hasAreaOnPlatform ;
]
) ;
] ;
rdfs:subClassOf [
rdf:type owl:Class ;
owl:intersectionOf (
[
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onDataRange xsd:anyURI ;
owl:onProperty :hasExecutionDiscipline ;
]
[
rdf:type owl:Restriction ;
owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onDataRange xsd:anyURI ;
owl:onProperty :hasExecutionDiscipline ;
]
) ;
] ;
rdfs:subClassOf [
rdf:type owl:Class ;
owl:intersectionOf (
[
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onDataRange xsd:anyURI ;
owl:onProperty :hasFacility ;
]
[
rdf:type owl:Restriction ;
owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onDataRange xsd:anyURI ;
owl:onProperty :hasFacility ;
]
) ;
] ;
rdfs:subClassOf [
rdf:type owl:Class ;
owl:intersectionOf (
[
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onDataRange xsd:anyURI ;
owl:onProperty :hasField ;
]
[
rdf:type owl:Restriction ;
owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onDataRange xsd:anyURI ;
owl:onProperty :hasField ;
]
) ;
] ;
rdfs:subClassOf [
rdf:type owl:Class ;
owl:intersectionOf (
[
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onDataRange xsd:anyURI ;
owl:onProperty :hasLocationOnPlatform ;
]
[
rdf:type owl:Restriction ;
owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onDataRange xsd:anyURI ;
owl:onProperty :hasLocationOnPlatform ;
]
) ;
] ;
rdfs:subClassOf [
rdf:type owl:Class ;
owl:intersectionOf (
[
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onDataRange xsd:anyURI ;
owl:onProperty :hasPhase ;
]
[
rdf:type owl:Restriction ;
owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onDataRange xsd:anyURI ;
owl:onProperty :hasPhase ;
]
) ;
] ;
rdfs:subClassOf [
rdf:type owl:Class ;
owl:intersectionOf (
[
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onDataRange xsd:anyURI ;
owl:onProperty :hasPlanningResponsible ;
]
[
rdf:type owl:Restriction ;
owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onDataRange xsd:anyURI ;
owl:onProperty :hasPlanningResponsible ;
]
) ;
] ;
rdfs:subClassOf [
rdf:type owl:Class ;
owl:intersectionOf (
[
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onDataRange xsd:anyURI ;
owl:onProperty :hasPlatform ;
]
[
rdf:type owl:Restriction ;
owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onDataRange xsd:anyURI ;
owl:onProperty :hasPlatform ;
]
) ;
] ;
rdfs:subClassOf [
rdf:type owl:Class ;
owl:intersectionOf (
[
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onDataRange xsd:anyURI ;
owl:onProperty :hasProcessSystem ;
]
[
rdf:type owl:Restriction ;
owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onDataRange xsd:anyURI ;
owl:onProperty :hasProcessSystem ;
]
) ;
] ;
rdfs:subClassOf [
rdf:type owl:Class ;
owl:intersectionOf (
[
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onDataRange xsd:anyURI ;
owl:onProperty :hasProductGroup ;
]
[
rdf:type owl:Restriction ;
owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onDataRange xsd:anyURI ;
owl:onProperty :hasProductGroup ;
]
) ;
] ;
rdfs:subClassOf [
rdf:type owl:Class ;
owl:intersectionOf (
[
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onDataRange xsd:anyURI ;
owl:onProperty :hasResponsibleForExecution ;
]
[
rdf:type owl:Restriction ;
owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onDataRange xsd:anyURI ;
owl:onProperty :hasResponsibleForExecution ;
]
) ;
] ;
rdfs:subClassOf [
rdf:type owl:Class ;
owl:intersectionOf (
[
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onDataRange xsd:anyURI ;
owl:onProperty :hasRiskFactor ;
]
[
rdf:type owl:Restriction ;
owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onDataRange xsd:anyURI ;
owl:onProperty :hasRiskFactor ;
]
) ;
] ;
rdfs:subClassOf [
rdf:type owl:Class ;
owl:intersectionOf (
[
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onDataRange xsd:anyURI ;
owl:onProperty :hasShutdown ;
]
[
rdf:type owl:Restriction ;
owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onDataRange xsd:anyURI ;
owl:onProperty :hasShutdown ;
]
) ;
] ;
rdfs:subClassOf [
rdf:type owl:Class ;
owl:intersectionOf (
[
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onDataRange xsd:anyURI ;
owl:onProperty :hasWBSElement ;
]
[
rdf:type owl:Restriction ;
owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onDataRange xsd:anyURI ;
owl:onProperty :hasWBSElement ;
]
) ;
] ;
rdfs:subClassOf [
rdf:type owl:Class ;
owl:intersectionOf (
[
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onDataRange xsd:anyURI ;
owl:onProperty :requiresWorkOrderType ;
]
[
rdf:type owl:Restriction ;
owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onDataRange xsd:anyURI ;
owl:onProperty :requiresWorkOrderType ;
]
) ;
] ;
.
:SubPlan
rdf:type owl:Class ;
rdfs:subClassOf owl:Thing ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onClass :Activity ;
owl:onProperty :hasParentActivity ;
owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onClass :Plan ;
owl:onProperty :hasPlan ;
] ;
.
:Data
:SubProject
rdf:type owl:Class ;
rdfs:label "Data"^^xsd:string ;
rdfs:subClassOf owl:Thing ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onClass :Project ;
owl:onProperty :hasProject ;
owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
] ;
.
:Plan
:Successor
rdf:type owl:Class ;
rdfs:label "Plan"^^xsd:string ;
:shouldHaveID "true"^^xsd:boolean ;
rdfs:subClassOf owl:Thing ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onClass :Calendar ;
owl:onProperty :hasCalendar ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onClass :ExternalReference ;
owl:onProperty :hasExternalReference ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onDataRange xsd:duration ;
owl:onProperty :hasLag ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onClass :Activity ;
owl:onProperty :hasAcitivity ;
owl:onProperty :hasSuccessorActivity ;
owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
] ;
.
:TimeBased
rdf:type owl:Class ;
rdfs:subClassOf :Resource ;
rdfs:subClassOf _:b79268 ;
rdfs:subClassOf [
rdf:type owl:Class ;
owl:intersectionOf (
[
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onDataRange xsd:decimal ;
owl:onProperty :hasCost ;
]
[
rdf:type owl:Restriction ;
owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onDataRange xsd:decimal ;
owl:onProperty :hasCost ;
]
) ;
] ;
rdfs:subClassOf [
rdf:type owl:Class ;
owl:intersectionOf (
[
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onDataRange xsd:decimal ;
owl:onProperty :hasExpendedCost ;
]
[
rdf:type owl:Restriction ;
owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onDataRange xsd:decimal ;
owl:onProperty :hasExpendedCost ;
]
) ;
] ;
rdfs:subClassOf [
rdf:type owl:Class ;
owl:intersectionOf (
[
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onDataRange xsd:decimal ;
owl:onProperty :hasQuanlity ;
]
[
rdf:type owl:Restriction ;
owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onDataRange xsd:decimal ;
owl:onProperty :hasQuanlity ;
]
) ;
] ;
rdfs:subClassOf [
rdf:type owl:Class ;
owl:intersectionOf (
[
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onDataRange xsd:duration ;
owl:onProperty :hasDelayedStart ;
]
[
rdf:type owl:Restriction ;
owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onDataRange xsd:duration ;
owl:onProperty :hasDelayedStart ;
]
) ;
] ;
rdfs:subClassOf [
rdf:type owl:Class ;
owl:intersectionOf (
[
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onDataRange xsd:duration ;
owl:onProperty :hasDuration ;
]
[
rdf:type owl:Restriction ;
owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onDataRange xsd:duration ;
owl:onProperty :hasDuration ;
]
) ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onClass :SomethingElse ;
owl:onProperty :hasSomethingElse ;
owl:qualifiedCardinality "2"^^xsd:nonNegativeInteger ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onClass :ExternalReference ;
owl:onProperty :hasExternalReference ;
] ;
.
:Project
:TimeBasedResource
rdf:type owl:Class ;
rdfs:label "Project"^^xsd:string ;
:shouldHaveID "true"^^xsd:boolean ;
rdfs:subClassOf owl:Thing ;
rdfs:subClassOf [
rdf:type owl:Class ;
owl:intersectionOf (
[
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onDataRange xsd:decimal ;
owl:onProperty :hasDefaultRate ;
]
[
rdf:type owl:Restriction ;
owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onDataRange xsd:decimal ;
owl:onProperty :hasDefaultRate ;
]
) ;
] ;
rdfs:subClassOf [
rdf:type owl:Class ;
owl:intersectionOf (
[
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onDataRange xsd:string ;
owl:onProperty :hasDescription ;
]
[
rdf:type owl:Restriction ;
owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onDataRange xsd:string ;
owl:onProperty :hasDescription ;
]
) ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:cardinality "0"^^xsd:nonNegativeInteger ;
owl:onProperty :hasDescription ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onClass :Availability ;
owl:onProperty :hasAvailability ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onClass :Plan ;
owl:onProperty :hasPlan ;
owl:onClass :ExternalReference ;
owl:onProperty :hasExternalReference ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onDataRange xsd:string ;
owl:onProperty :hasName ;
owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
] ;
.
:TimeBasedResourceRef
rdf:type owl:ObjectProperty ;
.
:TimeSet
rdf:type owl:Class ;
rdfs:subClassOf owl:Thing ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onDataRange xsd:time ;
owl:onProperty :hasFinish ;
owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onDataRange xsd:time ;
owl:onProperty :hasStart ;
owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
] ;
.
:SomethingElse
:Weekday
rdf:type owl:Class ;
rdfs:subClassOf owl:Thing ;
owl:oneOf (
:Monday
:Tuesday
:Wednesday
:Thursday
:Friday
:Saturday
:Sunday
) ;
.
:WeeklyRepeatFreePeriod
rdf:type owl:Class ;
rdfs:subClassOf :FreePeriod ;
rdfs:subClassOf [
rdf:type owl:Class ;
owl:intersectionOf (
[
rdf:type owl:Restriction ;
owl:maxQualifiedCardinality "6"^^xsd:nonNegativeInteger ;
owl:onClass :Weekday ;
owl:onProperty :hasWeekday ;
]
[
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onClass :Weekday ;
owl:onProperty :hasWeekday ;
]
) ;
] ;
rdfs:subClassOf [
rdf:type owl:Class ;
owl:intersectionOf (
[
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onClass :FreeTime ;
owl:onProperty :hasFreeTime ;
]
[
rdf:type owl:Restriction ;
owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onClass :FreeTime ;
owl:onProperty :hasFreeTime ;
]
) ;
] ;
.
:WorkOrder
rdf:type owl:Class ;
rdfs:subClassOf :Activity ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onClass :Operation ;
owl:onProperty :hasOperation ;
] ;
.
:availableFrom
rdf:type owl:DatatypeProperty ;
.
:availableTo
rdf:type owl:DatatypeProperty ;
.
:dailyAvailableDuration
rdf:type owl:DatatypeProperty ;
.
:hasAcitivity
:forPlan
rdf:type owl:ObjectProperty ;
rdfs:label "has acitivity"^^xsd:string ;
.
:hasActivityStatus
:hasActiveStatus
rdf:type owl:DatatypeProperty ;
rdfs:domain :Activity ;
.
:hasActivity
rdf:type owl:ObjectProperty ;
rdfs:label "has acitivity"^^xsd:string ;
.
:hasApplication
rdf:type owl:DatatypeProperty ;
.
:hasAreaOnPlatform
rdf:type owl:DatatypeProperty ;
.
:hasAvailability
rdf:type owl:ObjectProperty ;
.
:hasCalendar
rdf:type owl:ObjectProperty ;
.
:hasCalendarSet
rdf:type owl:ObjectProperty ;
.
:hasCoordinate
rdf:type owl:ObjectProperty ;
.
:hasCost
rdf:type owl:DatatypeProperty ;
.
:hasDateSet
rdf:type owl:ObjectProperty ;
.
:hasDefaultRate
rdf:type owl:DatatypeProperty ;
.
:hasDelayedStart
rdf:type owl:DatatypeProperty ;
.
:hasDescription
rdf:type owl:DatatypeProperty ;
rdfs:domain :Project ;
rdfs:range xsd:string ;
.
:hasDuration
rdf:type owl:DatatypeProperty ;
.
:hasExecutionDiscipline
rdf:type owl:DatatypeProperty ;
.
:hasExpendedCost
rdf:type owl:DatatypeProperty ;
.
:hasExternalReference
rdf:type owl:ObjectProperty ;
.
:hasFacility
rdf:type owl:DatatypeProperty ;
.
:hasField
rdf:type owl:DatatypeProperty ;
.
:hasFinish
rdf:type owl:DatatypeProperty ;
rdfs:range [
rdf:type rdfs:Datatype ;
owl:oneOf (
"ActiveActivity"^^xsd:string
"CancelledActivity"^^xsd:string
"DeletedActivity"^^xsd:string
"CompletedActivity"^^xsd:string
"PendingActivity"^^xsd:string
rdf:type owl:Class ;
owl:unionOf (
xsd:date
xsd:dateTime
) ;
] ;
.
:hasDescription
:hasFreeFieldSet
rdf:type owl:ObjectProperty ;
.
:hasFreePeriod
rdf:type owl:ObjectProperty ;
:shouldNotBeDropped "false"^^xsd:boolean ;
.
:hasFreeTime
rdf:type owl:ObjectProperty ;
.
:hasID
rdf:type owl:DatatypeProperty ;
.
:hasLag
rdf:type owl:DatatypeProperty ;
.
:hasLocationOnPlatform
rdf:type owl:DatatypeProperty ;
.
:hasName
rdf:type owl:DatatypeProperty ;
rdfs:domain :Project ;
rdfs:range xsd:string ;
.
:hasOperation
rdf:type owl:ObjectProperty ;
.
:hasParentActivity
rdf:type owl:ObjectProperty ;
:shouldBeDeclaredHere "true"^^xsd:boolean ;
:shouldBeHere "false"^^xsd:boolean ;
rdfs:domain :Activity ;
rdfs:range :Activity ;
.
:hasPhase
rdf:type owl:DatatypeProperty ;
.
:hasPlan
rdf:type owl:ObjectProperty ;
rdfs:label "has plan"^^xsd:string ;
.
:hasPlanningResponsible
rdf:type owl:DatatypeProperty ;
.
:hasPlatform
rdf:type owl:DatatypeProperty ;
.
:hasProcessSystem
rdf:type owl:DatatypeProperty ;
.
:hasProductGroup
rdf:type owl:DatatypeProperty ;
.
:hasProfile
rdf:type owl:ObjectProperty ;
.
:hasProfileSet
rdf:type owl:ObjectProperty ;
.
:hasProject
rdf:type owl:ObjectProperty ;
rdfs:label "has project"^^xsd:string ;
.
:hasSomethingElse
:hasQuanlity
rdf:type owl:DatatypeProperty ;
.
:hasResource
rdf:type owl:ObjectProperty ;
:shouldNotBeDropped "true"^^xsd:boolean ;
.
:hasResourceSet
rdf:type owl:ObjectProperty ;
.
:hasResponsibleForExecution
rdf:type owl:DatatypeProperty ;
.
:hasRiskFactor
rdf:type owl:DatatypeProperty ;
.
:hasShutdown
rdf:type owl:DatatypeProperty ;
.
:hasSource
rdf:type owl:DatatypeProperty ;
.
:hasSourceSpecificUserfield
rdf:type owl:ObjectProperty ;
.
:hasSpecifiedUserField
rdf:type owl:ObjectProperty ;
.
:hasStart
rdf:type owl:DatatypeProperty ;
rdfs:range [
rdf:type owl:Class ;
owl:unionOf (
xsd:date
xsd:dateTime
) ;
] ;
.
:hasSubPlan
rdf:type owl:ObjectProperty ;
.
:hasSubProject
rdf:type owl:ObjectProperty ;
.
:hasSuccessor
rdf:type owl:ObjectProperty ;
:shouldNotBeDropped "true"^^xsd:boolean ;
.
:hasSuccessorActivity
rdf:type owl:ObjectProperty ;
.
:hasTimeBasedResource
rdf:type owl:ObjectProperty ;
.
:hasTimeSet
rdf:type owl:ObjectProperty ;
.
:hasWBSElement
rdf:type owl:DatatypeProperty ;
.
:hasWeekday
rdf:type owl:ObjectProperty ;
.
:hasWorkHoursPerDay
rdf:type owl:DatatypeProperty ;
.
:isCapexOpex
rdf:type owl:DatatypeProperty ;
.
:now
rdf:type owl:DatatypeProperty ;
.
:requiresWorkOrderType
rdf:type owl:DatatypeProperty ;
.
:shouldBeDeclaredHere
rdf:type owl:AnnotationProperty ;
rdfs:range xsd:boolean ;
.
:shouldBeHere
:shouldHaveID
rdf:type owl:AnnotationProperty ;
rdfs:range xsd:boolean ;
.
:shouldNotBeDropped
rdf:type owl:AnnotationProperty ;
rdfs:range xsd:boolean ;
.
rdf:oneOf
rdf:type rdfs:Class ;
_:b79268
rdf:type owl:Restriction ;
owl:onClass :TimeBasedResource ;
owl:onProperty :TimeBasedResourceRef ;
owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
.
[
rdf:type owl:Axiom ;
:shouldBeDeclaredHere "false"^^xsd:boolean ;
owl:annotatedProperty rdfs:subClassOf ;
owl:annotatedSource :TimeBased ;
owl:annotatedTarget _:b79268 ;
].
[
rdf:type owl:Axiom ;
:shouldBeDeclaredHere "true"^^xsd:boolean ;
owl:annotatedProperty rdfs:subClassOf ;
owl:annotatedSource :Activity ;
owl:annotatedTarget [
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onClass :Calendar ;
owl:onProperty :hasCalendar ;
] ;
].
[
rdf:type owl:Axiom ;
:shouldBeDeclaredHere "true"^^xsd:boolean ;
owl:annotatedProperty rdfs:subClassOf ;
owl:annotatedSource :Availability ;
owl:annotatedTarget [
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onClass :Calendar ;
owl:onProperty :hasCalendar ;
] ;
].
[
rdf:type owl:Axiom ;
:shouldBeDeclaredHere "true"^^xsd:boolean ;
owl:annotatedProperty rdfs:subClassOf ;
owl:annotatedSource :Availability ;
owl:annotatedTarget [
rdf:type owl:Restriction ;
owl:onClass :Plan ;
owl:onProperty :forPlan ;
owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
] ;
].
[
rdf:type owl:Axiom ;
:shouldBeDeclaredHere "true"^^xsd:boolean ;
owl:annotatedProperty rdfs:subClassOf ;
owl:annotatedSource :Successor ;
owl:annotatedTarget [
rdf:type owl:Restriction ;
owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
owl:onClass :Calendar ;
owl:onProperty :hasCalendar ;
] ;
].
[
rdf:type owl:Axiom ;
:shouldBeDeclaredHere "true"^^xsd:boolean ;
owl:annotatedProperty rdfs:subClassOf ;
owl:annotatedSource :Successor ;
owl:annotatedTarget [
rdf:type owl:Restriction ;
owl:onClass :Activity ;
owl:onProperty :hasSuccessorActivity ;
owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
] ;
].
......