Skip to content

Commit 70d8652

Browse files
committed
OrderedCollection fix for Issue 540
2 parents 2dc464b + fd8a4c1 commit 70d8652

File tree

1 file changed

+5
-10
lines changed

1 file changed

+5
-10
lines changed

gistCore.ttl

+5-10
Original file line numberDiff line numberDiff line change
@@ -1751,11 +1751,6 @@ gist:OrderedCollection
17511751
owl:onProperty gist:hasMember ;
17521752
owl:allValuesFrom gist:OrderedMember ;
17531753
]
1754-
[
1755-
a owl:Restriction ;
1756-
owl:onProperty gist:hasMember ;
1757-
owl:minCardinality "1"^^xsd:nonNegativeInteger ;
1758-
]
17591754
) ;
17601755
] ;
17611756
skos:definition "A collection in which the members are sequentially ordered. All members of an OrderedCollection are OrderedMembers."^^xsd:string ;
@@ -1769,13 +1764,13 @@ gist:OrderedMember
17691764
owl:intersectionOf (
17701765
[
17711766
a owl:Restriction ;
1772-
owl:onProperty gist:followsDirectly ;
1773-
owl:someValuesFrom gist:OrderedMember ;
1767+
owl:onProperty gist:isMemberOf ;
1768+
owl:cardinality "1"^^xsd:nonNegativeInteger ;
17741769
]
17751770
[
17761771
a owl:Restriction ;
1777-
owl:onProperty gist:precedesDirectly ;
1778-
owl:someValuesFrom gist:OrderedMember ;
1772+
owl:onProperty gist:isMemberOf ;
1773+
owl:allValuesFrom gist:OrderedCollection ;
17791774
]
17801775
[
17811776
owl:unionOf (
@@ -3733,7 +3728,7 @@ gist:numericValue
37333728
a owl:DatatypeProperty ;
37343729
rdfs:domain gist:Magnitude ;
37353730
rdfs:range [
3736-
rdf:type rdfs:Datatype ;
3731+
a rdfs:Datatype ;
37373732
owl:unionOf (
37383733
owl:rational
37393734
owl:real

0 commit comments

Comments
 (0)