-
Notifications
You must be signed in to change notification settings - Fork 6
/
SadlListModel.owl
32 lines (32 loc) · 1.3 KB
/
SadlListModel.owl
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:sadllistmodel="http://sadl.org/sadllistmodel#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
xml:base="http://sadl.org/sadllistmodel">
<owl:Ontology rdf:about="">
<rdfs:comment xml:lang="en">Typed List model for SADL.</rdfs:comment>
</owl:Ontology>
<owl:Class rdf:ID="List"/>
<owl:ObjectProperty rdf:ID="rest">
<rdfs:range rdf:resource="#List"/>
<rdfs:domain rdf:resource="#List"/>
</owl:ObjectProperty>
<rdf:Property rdf:ID="first">
<rdfs:domain rdf:resource="#List"/>
</rdf:Property>
<owl:DatatypeProperty rdf:ID="maxLengthRestriction">
<rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#int"/>
<rdfs:domain rdf:resource="#List"/>
</owl:DatatypeProperty>
<owl:DatatypeProperty rdf:ID="lengthRestriction">
<rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#int"/>
<rdfs:domain rdf:resource="#List"/>
</owl:DatatypeProperty>
<owl:DatatypeProperty rdf:ID="minLengthRestriction">
<rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#int"/>
<rdfs:domain rdf:resource="#List"/>
</owl:DatatypeProperty>
<owl:AnnotationProperty rdf:ID="listtype"/>
</rdf:RDF>