/
list-example.owl
75 lines (74 loc) · 2.55 KB
/
list-example.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
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
<?xml version="1.0"?>
<rdf:RDF
xmlns="http://a.com/ontology#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://a.com/ontology">
<owl:Ontology rdf:about=""/>
<owl:Class rdf:ID="PersonList">
<rdfs:subClassOf rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#List"/>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#first"/>
<owl:allValuesFrom>
<owl:Class rdf:ID="Person"/>
</owl:allValuesFrom>
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:ID="Ranking"/>
<owl:ObjectProperty rdf:ID="persons">
<rdfs:domain rdf:resource="#Ranking"/>
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#FunctionalProperty"/>
<rdfs:range rdf:resource="#PersonList"/>
</owl:ObjectProperty>
<owl:FunctionalProperty rdf:ID="listOfAnything">
<rdfs:domain rdf:resource="#Ranking"/>
<rdfs:range rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#List"/>
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty"/>
</owl:FunctionalProperty>
<Person rdf:ID="ThirdPerson"/>
<Person rdf:ID="SecondPerson"/>
<Person rdf:ID="DuplicatePerson"/>
<Ranking rdf:ID="MyRanking">
<listOfAnything>
<rdf:List>
<rdf:rest>
<rdf:List>
<rdf:first rdf:resource="#SecondPerson"/>
</rdf:List>
</rdf:rest>
<rdf:first>
<Person rdf:ID="FirstPerson"/>
</rdf:first>
</rdf:List>
</listOfAnything>
<persons>
<PersonList>
<rdf:first rdf:resource="#FirstPerson"/>
<rdf:rest>
<PersonList>
<rdf:first rdf:resource="#SecondPerson"/>
<rdf:rest>
<PersonList>
<rdf:first rdf:resource="#ThirdPerson"/>
<rdf:rest>
<PersonList>
<rdf:first rdf:resource="#DuplicatePerson"/>
<rdf:rest>
<PersonList>
<rdf:first rdf:resource="#DuplicatePerson"/>
</PersonList>
</rdf:rest>
</PersonList>
</rdf:rest>
</PersonList>
</rdf:rest>
</PersonList>
</rdf:rest>
</PersonList>
</persons>
</Ranking>
</rdf:RDF>
<!-- Created with Protege (with OWL Plugin 1.1 beta, Build 107) http://protege.stanford.edu -->