data.posccaesar.org / ptrn

Go to a project
Toggle navigation Toggle navigation pinning
Tore Christiansen
6f169ea4 1 parent 58f7092b

Corrected IndirectConnnectionSignatureForClass

Inline Side-by-side
Showing 1 changed file with 88 additions and 96 deletions
...@@ -357,14 +357,6 @@ ptrn:CompositionSignatureForIndividual ...@@ -357,14 +357,6 @@ ptrn:CompositionSignatureForIndividual
357 ]) 357 ])
358 ] . 358 ] .
359 359
360 -ptrn:ConnectingPlannedAndScheduledActivityIndividuals
361 - rdf:type ptrn:PrecedenceBetweenActivityIndividuals ;
362 - rdfs:label "ILAP Instance: Connectnig Planned and Scheduled Activity Individuala"^^xsd:string ;
363 - ptrn:hasIndividualOfSide1
364 - ptrn:PlannedActivity_1 ;
365 - ptrn:hasIndividualOfSide2
366 - ptrn:ScheduledActivity_12 , ptrn:ScheduledActivity_11 .
367 -
368 ptrn:ConnectionOfPumpAndPipeClasses 360 ptrn:ConnectionOfPumpAndPipeClasses
369 rdf:type ptrn:TemplateInstanceForClassOfIndividual , ptrn:DirectConnectionSignatureForClass ; 361 rdf:type ptrn:TemplateInstanceForClassOfIndividual , ptrn:DirectConnectionSignatureForClass ;
370 rdfs:label "Connection of Pump and Pipe Classes"^^xsd:string ; 362 rdfs:label "Connection of Pump and Pipe Classes"^^xsd:string ;
...@@ -440,6 +432,16 @@ ptrn:ConnectionPattern ...@@ -440,6 +432,16 @@ ptrn:ConnectionPattern
440 rdfs:label "Connection Template Signature Pattern"^^xsd:string ; 432 rdfs:label "Connection Template Signature Pattern"^^xsd:string ;
441 rdfs:subClassOf ptrn:TemplatePattern . 433 rdfs:subClassOf ptrn:TemplatePattern .
442 434
435 +ptrn:ConnectionPlannnedPlannedAndScheduledActivityClasses
436 + rdf:type <http://rds.posccaesar.org/2008/02/OWL/ISO-15926-2_2003#MultidimensionalObject> , ptrn:PrecedenceBetweenActivityClasses ;
437 + rdfs:label "ILAP Instance: Connection between Planned and Scheduled Activity Classes"^^xsd:string ;
438 + ptrn:hasIndividualOfSide1
439 + ptrn:PlannedActivity ;
440 + ptrn:hasIndividualOfSide2
441 + ptrn:ScheduledActivity ;
442 + ptrn:hasScheduleType
443 + ptrn:ScheduleType .
444 +
443 ptrn:ContainmentOfFluidByImpellerInletClassOfIndividual 445 ptrn:ContainmentOfFluidByImpellerInletClassOfIndividual
444 rdf:type ptrn:TemplateInstanceForClassOfIndividual , ptrn:ContainmentSignatureForClass ; 446 rdf:type ptrn:TemplateInstanceForClassOfIndividual , ptrn:ContainmentSignatureForClass ;
445 rdfs:label "Containment of Fluid Stream by Impeller Suction Inlet"^^xsd:string ; 447 rdfs:label "Containment of Fluid Stream by Impeller Suction Inlet"^^xsd:string ;
...@@ -1173,16 +1175,6 @@ ptrn:IndirectConnectionOfActivityIndividuals ...@@ -1173,16 +1175,6 @@ ptrn:IndirectConnectionOfActivityIndividuals
1173 ptrn:hasIndividualOfSide2 1175 ptrn:hasIndividualOfSide2
1174 ptrn:PlannedActivity_2 . 1176 ptrn:PlannedActivity_2 .
1175 1177
1176 -ptrn:IndirectConnectionOfPlannedAndScheduledActivityClasses
1177 - rdf:type <http://rds.posccaesar.org/2008/02/OWL/ISO-15926-2_2003#MultidimensionalObject> , ptrn:PrecedenceBetweenActivityClasses ;
1178 - rdfs:label "ILAP Instance: Indirect Connection of Planned and Scheduled Activity Classes"^^xsd:string ;
1179 - ptrn:hasIndividualOfSide1
1180 - ptrn:PlannedActivity ;
1181 - ptrn:hasIndividualOfSide2
1182 - ptrn:ScheduledActivity ;
1183 - ptrn:hasScheduleType
1184 - ptrn:ScheduleType .
1185 -
1186 ptrn:IndirectConnectionSignatureForClass 1178 ptrn:IndirectConnectionSignatureForClass
1187 rdf:type owl:Class , <http://rds.posccaesar.org/2008/02/OWL/ISO-15926-2_2003#ClassOfMultidimensionalObject> , ptrn:ConnectionPattern ; 1179 rdf:type owl:Class , <http://rds.posccaesar.org/2008/02/OWL/ISO-15926-2_2003#ClassOfMultidimensionalObject> , ptrn:ConnectionPattern ;
1188 rdfs:label "Indirect connection signature for class"^^xsd:string ; 1180 rdfs:label "Indirect connection signature for class"^^xsd:string ;
...@@ -1190,11 +1182,11 @@ ptrn:IndirectConnectionSignatureForClass ...@@ -1190,11 +1182,11 @@ ptrn:IndirectConnectionSignatureForClass
1190 rdfs:subClassOf 1182 rdfs:subClassOf
1191 [ rdf:type owl:Class ; 1183 [ rdf:type owl:Class ;
1192 owl:intersectionOf ([ rdf:type owl:Restriction ; 1184 owl:intersectionOf ([ rdf:type owl:Restriction ;
1193 - owl:allValuesFrom owl:Thing ; 1185 + owl:allValuesFrom owl:Class ;
1194 - owl:onProperty ptrn:hasIndividualOfSide1 1186 + owl:onProperty ptrn:hasClassOfSide1
1195 ] [ rdf:type owl:Restriction ; 1187 ] [ rdf:type owl:Restriction ;
1196 - owl:onClass owl:Thing ; 1188 + owl:onClass owl:Class ;
1197 - owl:onProperty ptrn:hasIndividualOfSide1 ; 1189 + owl:onProperty ptrn:hasClassOfSide1 ;
1198 owl:qualifiedCardinality 1190 owl:qualifiedCardinality
1199 "1"^^xsd:nonNegativeInteger 1191 "1"^^xsd:nonNegativeInteger
1200 ]) 1192 ])
...@@ -1202,13 +1194,13 @@ ptrn:IndirectConnectionSignatureForClass ...@@ -1202,13 +1194,13 @@ ptrn:IndirectConnectionSignatureForClass
1202 rdfs:subClassOf 1194 rdfs:subClassOf
1203 [ rdf:type owl:Class ; 1195 [ rdf:type owl:Class ;
1204 owl:intersectionOf ([ rdf:type owl:Restriction ; 1196 owl:intersectionOf ([ rdf:type owl:Restriction ;
1205 - owl:allValuesFrom owl:Thing ; 1197 + owl:allValuesFrom owl:Class ;
1206 - owl:onProperty ptrn:hasIndividualOfSide2 1198 + owl:onProperty ptrn:hasClassOfSide2
1207 ] [ rdf:type owl:Restriction ; 1199 ] [ rdf:type owl:Restriction ;
1208 - owl:onClass owl:Thing ; 1200 + owl:onClass owl:Class ;
1209 - owl:onProperty ptrn:hasIndividualOfSide2 ; 1201 + owl:onProperty ptrn:hasClassOfSide1 ;
1210 owl:qualifiedCardinality 1202 owl:qualifiedCardinality
1211 - "1"^^xsd:nonNegativeInteger 1203 + "2"^^xsd:nonNegativeInteger
1212 ]) 1204 ])
1213 ] . 1205 ] .
1214 1206
...@@ -1712,14 +1704,21 @@ ptrn:RegistrationSignatureForClass ...@@ -1712,14 +1704,21 @@ ptrn:RegistrationSignatureForClass
1712 rdfs:label "Registration Template Signature for Class"^^xsd:string ; 1704 rdfs:label "Registration Template Signature for Class"^^xsd:string ;
1713 rdfs:subClassOf ptrn:TemplateSignature ; 1705 rdfs:subClassOf ptrn:TemplateSignature ;
1714 rdfs:subClassOf 1706 rdfs:subClassOf
1715 - [ rdf:type owl:Restriction ; 1707 + [ rdf:type owl:Class ;
1716 - owl:allValuesFrom owl:Thing ; 1708 + owl:intersectionOf ([ rdf:type owl:Restriction ;
1717 - owl:onProperty ptrn:hasLocalIdentifier 1709 + owl:allValuesFrom ptrn:GenericTypeClass ;
1710 + owl:onProperty ptrn:hasGenericType
1711 + ] [ rdf:type owl:Restriction ;
1712 + owl:onClass ptrn:GenericTypeClass ;
1713 + owl:onProperty ptrn:hasGenericType ;
1714 + owl:qualifiedCardinality
1715 + "1"^^xsd:nonNegativeInteger
1716 + ])
1718 ] ; 1717 ] ;
1719 rdfs:subClassOf 1718 rdfs:subClassOf
1720 [ rdf:type owl:Restriction ; 1719 [ rdf:type owl:Restriction ;
1721 - owl:allValuesFrom owl:Class ; 1720 + owl:allValuesFrom owl:Thing ;
1722 - owl:onProperty ptrn:hasSuperclass 1721 + owl:onProperty ptrn:hasIdentifier
1723 ] ; 1722 ] ;
1724 rdfs:subClassOf 1723 rdfs:subClassOf
1725 [ rdf:type owl:Class ; 1724 [ rdf:type owl:Class ;
...@@ -1734,28 +1733,13 @@ ptrn:RegistrationSignatureForClass ...@@ -1734,28 +1733,13 @@ ptrn:RegistrationSignatureForClass
1734 ]) 1733 ])
1735 ] ; 1734 ] ;
1736 rdfs:subClassOf 1735 rdfs:subClassOf
1737 - [ rdf:type owl:Restriction ;
1738 - owl:allValuesFrom xsd:string ;
1739 - owl:onProperty ptrn:hasDesignation
1740 - ] ;
1741 - rdfs:subClassOf
1742 - [ rdf:type owl:Restriction ;
1743 - owl:allValuesFrom owl:Class ;
1744 - owl:onProperty ptrn:hasClassifier
1745 - ] ;
1746 - rdfs:subClassOf
1747 - [ rdf:type owl:Restriction ;
1748 - owl:allValuesFrom owl:Thing ;
1749 - owl:onProperty ptrn:hasIdentifier
1750 - ] ;
1751 - rdfs:subClassOf
1752 [ rdf:type owl:Class ; 1736 [ rdf:type owl:Class ;
1753 owl:intersectionOf ([ rdf:type owl:Restriction ; 1737 owl:intersectionOf ([ rdf:type owl:Restriction ;
1754 - owl:allValuesFrom ptrn:GenericTypeClass ; 1738 + owl:allValuesFrom owl:Class ;
1755 - owl:onProperty ptrn:hasGenericType 1739 + owl:onProperty ptrn:hasEntityType
1756 ] [ rdf:type owl:Restriction ; 1740 ] [ rdf:type owl:Restriction ;
1757 - owl:onClass ptrn:GenericTypeClass ; 1741 + owl:onClass owl:Class ;
1758 - owl:onProperty ptrn:hasGenericType ; 1742 + owl:onProperty ptrn:hasEntityType ;
1759 owl:qualifiedCardinality 1743 owl:qualifiedCardinality
1760 "1"^^xsd:nonNegativeInteger 1744 "1"^^xsd:nonNegativeInteger
1761 ]) 1745 ])
...@@ -1773,16 +1757,24 @@ ptrn:RegistrationSignatureForClass ...@@ -1773,16 +1757,24 @@ ptrn:RegistrationSignatureForClass
1773 ]) 1757 ])
1774 ] ; 1758 ] ;
1775 rdfs:subClassOf 1759 rdfs:subClassOf
1776 - [ rdf:type owl:Class ; 1760 + [ rdf:type owl:Restriction ;
1777 - owl:intersectionOf ([ rdf:type owl:Restriction ; 1761 + owl:allValuesFrom owl:Thing ;
1778 - owl:allValuesFrom owl:Class ; 1762 + owl:onProperty ptrn:hasLocalIdentifier
1779 - owl:onProperty ptrn:hasEntityType 1763 + ] ;
1780 - ] [ rdf:type owl:Restriction ; 1764 + rdfs:subClassOf
1781 - owl:onClass owl:Class ; 1765 + [ rdf:type owl:Restriction ;
1782 - owl:onProperty ptrn:hasEntityType ; 1766 + owl:allValuesFrom xsd:string ;
1783 - owl:qualifiedCardinality 1767 + owl:onProperty ptrn:hasDesignation
1784 - "1"^^xsd:nonNegativeInteger 1768 + ] ;
1785 - ]) 1769 + rdfs:subClassOf
1770 + [ rdf:type owl:Restriction ;
1771 + owl:allValuesFrom owl:Class ;
1772 + owl:onProperty ptrn:hasSuperclass
1773 + ] ;
1774 + rdfs:subClassOf
1775 + [ rdf:type owl:Restriction ;
1776 + owl:allValuesFrom owl:Class ;
1777 + owl:onProperty ptrn:hasClassifier
1786 ] . 1778 ] .
1787 1779
1788 ptrn:RegistrationSignatureForIndividual 1780 ptrn:RegistrationSignatureForIndividual
...@@ -1791,28 +1783,28 @@ ptrn:RegistrationSignatureForIndividual ...@@ -1791,28 +1783,28 @@ ptrn:RegistrationSignatureForIndividual
1791 rdfs:subClassOf ptrn:TemplateSignature ; 1783 rdfs:subClassOf ptrn:TemplateSignature ;
1792 rdfs:subClassOf 1784 rdfs:subClassOf
1793 [ rdf:type owl:Restriction ; 1785 [ rdf:type owl:Restriction ;
1794 - owl:allValuesFrom owl:Class ; 1786 + owl:allValuesFrom xsd:string ;
1795 - owl:onProperty ptrn:hasEntityType 1787 + owl:onProperty ptrn:hasDesignation
1796 ] ; 1788 ] ;
1797 rdfs:subClassOf 1789 rdfs:subClassOf
1798 [ rdf:type owl:Restriction ; 1790 [ rdf:type owl:Restriction ;
1799 - owl:allValuesFrom owl:Thing ; 1791 + owl:allValuesFrom owl:Class ;
1800 - owl:onProperty ptrn:hasIdentifier 1792 + owl:onProperty ptrn:hasEntityType
1801 ] ; 1793 ] ;
1802 rdfs:subClassOf 1794 rdfs:subClassOf
1803 [ rdf:type owl:Restriction ; 1795 [ rdf:type owl:Restriction ;
1804 owl:allValuesFrom owl:Thing ; 1796 owl:allValuesFrom owl:Thing ;
1805 - owl:onProperty ptrn:hasLocalIdentifier 1797 + owl:onProperty ptrn:hasIdentifier
1806 ] ; 1798 ] ;
1807 rdfs:subClassOf 1799 rdfs:subClassOf
1808 [ rdf:type owl:Restriction ; 1800 [ rdf:type owl:Restriction ;
1809 - owl:allValuesFrom xsd:string ; 1801 + owl:onProperty ptrn:hasClassifier ;
1810 - owl:onProperty ptrn:hasDesignation 1802 + owl:someValuesFrom owl:Class
1811 ] ; 1803 ] ;
1812 rdfs:subClassOf 1804 rdfs:subClassOf
1813 [ rdf:type owl:Restriction ; 1805 [ rdf:type owl:Restriction ;
1814 - owl:onProperty ptrn:hasClassifier ; 1806 + owl:allValuesFrom owl:Thing ;
1815 - owl:someValuesFrom owl:Class 1807 + owl:onProperty ptrn:hasLocalIdentifier
1816 ] . 1808 ] .
1817 1809
1818 ptrn:RepresentationOfPumpClassByInformationClass 1810 ptrn:RepresentationOfPumpClassByInformationClass
...@@ -2294,11 +2286,11 @@ ptrn:TimeAssignmentSignatureForClass ...@@ -2294,11 +2286,11 @@ ptrn:TimeAssignmentSignatureForClass
2294 rdfs:subClassOf 2286 rdfs:subClassOf
2295 [ rdf:type owl:Class ; 2287 [ rdf:type owl:Class ;
2296 owl:intersectionOf ([ rdf:type owl:Restriction ; 2288 owl:intersectionOf ([ rdf:type owl:Restriction ;
2297 - owl:allValuesFrom xsd:string ; 2289 + owl:allValuesFrom owl:Class ;
2298 - owl:onProperty ptrn:hasMinute 2290 + owl:onProperty ptrn:hasClassOfTime
2299 ] [ rdf:type owl:Restriction ; 2291 ] [ rdf:type owl:Restriction ;
2300 - owl:onDataRange xsd:string ; 2292 + owl:onClass owl:Class ;
2301 - owl:onProperty ptrn:hasMinute ; 2293 + owl:onProperty ptrn:hasClassOfTime ;
2302 owl:qualifiedCardinality 2294 owl:qualifiedCardinality
2303 "1"^^xsd:nonNegativeInteger 2295 "1"^^xsd:nonNegativeInteger
2304 ]) 2296 ])
...@@ -2319,10 +2311,10 @@ ptrn:TimeAssignmentSignatureForClass ...@@ -2319,10 +2311,10 @@ ptrn:TimeAssignmentSignatureForClass
2319 [ rdf:type owl:Class ; 2311 [ rdf:type owl:Class ;
2320 owl:intersectionOf ([ rdf:type owl:Restriction ; 2312 owl:intersectionOf ([ rdf:type owl:Restriction ;
2321 owl:allValuesFrom xsd:string ; 2313 owl:allValuesFrom xsd:string ;
2322 - owl:onProperty ptrn:hasHour 2314 + owl:onProperty ptrn:hasYear
2323 ] [ rdf:type owl:Restriction ; 2315 ] [ rdf:type owl:Restriction ;
2324 owl:onDataRange xsd:string ; 2316 owl:onDataRange xsd:string ;
2325 - owl:onProperty ptrn:hasHour ; 2317 + owl:onProperty ptrn:hasYear ;
2326 owl:qualifiedCardinality 2318 owl:qualifiedCardinality
2327 "1"^^xsd:nonNegativeInteger 2319 "1"^^xsd:nonNegativeInteger
2328 ]) 2320 ])
...@@ -2330,11 +2322,11 @@ ptrn:TimeAssignmentSignatureForClass ...@@ -2330,11 +2322,11 @@ ptrn:TimeAssignmentSignatureForClass
2330 rdfs:subClassOf 2322 rdfs:subClassOf
2331 [ rdf:type owl:Class ; 2323 [ rdf:type owl:Class ;
2332 owl:intersectionOf ([ rdf:type owl:Restriction ; 2324 owl:intersectionOf ([ rdf:type owl:Restriction ;
2333 - owl:allValuesFrom owl:Class ; 2325 + owl:allValuesFrom xsd:string ;
2334 - owl:onProperty ptrn:hasClassOfTime 2326 + owl:onProperty ptrn:hasHour
2335 ] [ rdf:type owl:Restriction ; 2327 ] [ rdf:type owl:Restriction ;
2336 - owl:onClass owl:Class ; 2328 + owl:onDataRange xsd:string ;
2337 - owl:onProperty ptrn:hasClassOfTime ; 2329 + owl:onProperty ptrn:hasHour ;
2338 owl:qualifiedCardinality 2330 owl:qualifiedCardinality
2339 "1"^^xsd:nonNegativeInteger 2331 "1"^^xsd:nonNegativeInteger
2340 ]) 2332 ])
...@@ -2343,10 +2335,10 @@ ptrn:TimeAssignmentSignatureForClass ...@@ -2343,10 +2335,10 @@ ptrn:TimeAssignmentSignatureForClass
2343 [ rdf:type owl:Class ; 2335 [ rdf:type owl:Class ;
2344 owl:intersectionOf ([ rdf:type owl:Restriction ; 2336 owl:intersectionOf ([ rdf:type owl:Restriction ;
2345 owl:allValuesFrom xsd:string ; 2337 owl:allValuesFrom xsd:string ;
2346 - owl:onProperty ptrn:hasDay 2338 + owl:onProperty ptrn:hasMinute
2347 ] [ rdf:type owl:Restriction ; 2339 ] [ rdf:type owl:Restriction ;
2348 owl:onDataRange xsd:string ; 2340 owl:onDataRange xsd:string ;
2349 - owl:onProperty ptrn:hasDay ; 2341 + owl:onProperty ptrn:hasMinute ;
2350 owl:qualifiedCardinality 2342 owl:qualifiedCardinality
2351 "1"^^xsd:nonNegativeInteger 2343 "1"^^xsd:nonNegativeInteger
2352 ]) 2344 ])
...@@ -2355,10 +2347,10 @@ ptrn:TimeAssignmentSignatureForClass ...@@ -2355,10 +2347,10 @@ ptrn:TimeAssignmentSignatureForClass
2355 [ rdf:type owl:Class ; 2347 [ rdf:type owl:Class ;
2356 owl:intersectionOf ([ rdf:type owl:Restriction ; 2348 owl:intersectionOf ([ rdf:type owl:Restriction ;
2357 owl:allValuesFrom xsd:string ; 2349 owl:allValuesFrom xsd:string ;
2358 - owl:onProperty ptrn:hasYear 2350 + owl:onProperty ptrn:hasDay
2359 ] [ rdf:type owl:Restriction ; 2351 ] [ rdf:type owl:Restriction ;
2360 owl:onDataRange xsd:string ; 2352 owl:onDataRange xsd:string ;
2361 - owl:onProperty ptrn:hasYear ; 2353 + owl:onProperty ptrn:hasDay ;
2362 owl:qualifiedCardinality 2354 owl:qualifiedCardinality
2363 "1"^^xsd:nonNegativeInteger 2355 "1"^^xsd:nonNegativeInteger
2364 ]) 2356 ])
...@@ -2384,10 +2376,10 @@ ptrn:TimeAssignmentSignatureForIndividual ...@@ -2384,10 +2376,10 @@ ptrn:TimeAssignmentSignatureForIndividual
2384 [ rdf:type owl:Class ; 2376 [ rdf:type owl:Class ;
2385 owl:intersectionOf ([ rdf:type owl:Restriction ; 2377 owl:intersectionOf ([ rdf:type owl:Restriction ;
2386 owl:allValuesFrom xsd:string ; 2378 owl:allValuesFrom xsd:string ;
2387 - owl:onProperty ptrn:hasYear 2379 + owl:onProperty ptrn:hasMinute
2388 ] [ rdf:type owl:Restriction ; 2380 ] [ rdf:type owl:Restriction ;
2389 owl:onDataRange xsd:string ; 2381 owl:onDataRange xsd:string ;
2390 - owl:onProperty ptrn:hasYear ; 2382 + owl:onProperty ptrn:hasMinute ;
2391 owl:qualifiedCardinality 2383 owl:qualifiedCardinality
2392 "1"^^xsd:nonNegativeInteger 2384 "1"^^xsd:nonNegativeInteger
2393 ]) 2385 ])
...@@ -2396,10 +2388,10 @@ ptrn:TimeAssignmentSignatureForIndividual ...@@ -2396,10 +2388,10 @@ ptrn:TimeAssignmentSignatureForIndividual
2396 [ rdf:type owl:Class ; 2388 [ rdf:type owl:Class ;
2397 owl:intersectionOf ([ rdf:type owl:Restriction ; 2389 owl:intersectionOf ([ rdf:type owl:Restriction ;
2398 owl:allValuesFrom xsd:string ; 2390 owl:allValuesFrom xsd:string ;
2399 - owl:onProperty ptrn:hasHour 2391 + owl:onProperty ptrn:hasYear
2400 ] [ rdf:type owl:Restriction ; 2392 ] [ rdf:type owl:Restriction ;
2401 owl:onDataRange xsd:string ; 2393 owl:onDataRange xsd:string ;
2402 - owl:onProperty ptrn:hasHour ; 2394 + owl:onProperty ptrn:hasYear ;
2403 owl:qualifiedCardinality 2395 owl:qualifiedCardinality
2404 "1"^^xsd:nonNegativeInteger 2396 "1"^^xsd:nonNegativeInteger
2405 ]) 2397 ])
...@@ -2408,10 +2400,10 @@ ptrn:TimeAssignmentSignatureForIndividual ...@@ -2408,10 +2400,10 @@ ptrn:TimeAssignmentSignatureForIndividual
2408 [ rdf:type owl:Class ; 2400 [ rdf:type owl:Class ;
2409 owl:intersectionOf ([ rdf:type owl:Restriction ; 2401 owl:intersectionOf ([ rdf:type owl:Restriction ;
2410 owl:allValuesFrom xsd:string ; 2402 owl:allValuesFrom xsd:string ;
2411 - owl:onProperty ptrn:hasDay 2403 + owl:onProperty ptrn:hasSecond
2412 ] [ rdf:type owl:Restriction ; 2404 ] [ rdf:type owl:Restriction ;
2413 owl:onDataRange xsd:string ; 2405 owl:onDataRange xsd:string ;
2414 - owl:onProperty ptrn:hasDay ; 2406 + owl:onProperty ptrn:hasSecond ;
2415 owl:qualifiedCardinality 2407 owl:qualifiedCardinality
2416 "1"^^xsd:nonNegativeInteger 2408 "1"^^xsd:nonNegativeInteger
2417 ]) 2409 ])
...@@ -2420,10 +2412,10 @@ ptrn:TimeAssignmentSignatureForIndividual ...@@ -2420,10 +2412,10 @@ ptrn:TimeAssignmentSignatureForIndividual
2420 [ rdf:type owl:Class ; 2412 [ rdf:type owl:Class ;
2421 owl:intersectionOf ([ rdf:type owl:Restriction ; 2413 owl:intersectionOf ([ rdf:type owl:Restriction ;
2422 owl:allValuesFrom xsd:string ; 2414 owl:allValuesFrom xsd:string ;
2423 - owl:onProperty ptrn:hasMonth 2415 + owl:onProperty ptrn:hasHour
2424 ] [ rdf:type owl:Restriction ; 2416 ] [ rdf:type owl:Restriction ;
2425 owl:onDataRange xsd:string ; 2417 owl:onDataRange xsd:string ;
2426 - owl:onProperty ptrn:hasMonth ; 2418 + owl:onProperty ptrn:hasHour ;
2427 owl:qualifiedCardinality 2419 owl:qualifiedCardinality
2428 "1"^^xsd:nonNegativeInteger 2420 "1"^^xsd:nonNegativeInteger
2429 ]) 2421 ])
...@@ -2432,10 +2424,10 @@ ptrn:TimeAssignmentSignatureForIndividual ...@@ -2432,10 +2424,10 @@ ptrn:TimeAssignmentSignatureForIndividual
2432 [ rdf:type owl:Class ; 2424 [ rdf:type owl:Class ;
2433 owl:intersectionOf ([ rdf:type owl:Restriction ; 2425 owl:intersectionOf ([ rdf:type owl:Restriction ;
2434 owl:allValuesFrom xsd:string ; 2426 owl:allValuesFrom xsd:string ;
2435 - owl:onProperty ptrn:hasMinute 2427 + owl:onProperty ptrn:hasDay
2436 ] [ rdf:type owl:Restriction ; 2428 ] [ rdf:type owl:Restriction ;
2437 owl:onDataRange xsd:string ; 2429 owl:onDataRange xsd:string ;
2438 - owl:onProperty ptrn:hasMinute ; 2430 + owl:onProperty ptrn:hasDay ;
2439 owl:qualifiedCardinality 2431 owl:qualifiedCardinality
2440 "1"^^xsd:nonNegativeInteger 2432 "1"^^xsd:nonNegativeInteger
2441 ]) 2433 ])
...@@ -2444,10 +2436,10 @@ ptrn:TimeAssignmentSignatureForIndividual ...@@ -2444,10 +2436,10 @@ ptrn:TimeAssignmentSignatureForIndividual
2444 [ rdf:type owl:Class ; 2436 [ rdf:type owl:Class ;
2445 owl:intersectionOf ([ rdf:type owl:Restriction ; 2437 owl:intersectionOf ([ rdf:type owl:Restriction ;
2446 owl:allValuesFrom xsd:string ; 2438 owl:allValuesFrom xsd:string ;
2447 - owl:onProperty ptrn:hasSecond 2439 + owl:onProperty ptrn:hasMonth
2448 ] [ rdf:type owl:Restriction ; 2440 ] [ rdf:type owl:Restriction ;
2449 owl:onDataRange xsd:string ; 2441 owl:onDataRange xsd:string ;
2450 - owl:onProperty ptrn:hasSecond ; 2442 + owl:onProperty ptrn:hasMonth ;
2451 owl:qualifiedCardinality 2443 owl:qualifiedCardinality
2452 "1"^^xsd:nonNegativeInteger 2444 "1"^^xsd:nonNegativeInteger
2453 ]) 2445 ])
......