GitVita
New repositoryImport repositoryNew issue
Your repositories Your dashboard Sign in

microsoft/AI-For-Beginners

Public

mirrored fromhttps://github.com/microsoft/AI-For-BeginnersAvailable

Watch0Fork0Star0
CodeCommitsIssuesPull requestsActionsInsightsSecurity
f900907d8c0caff8ab873e035df43f40972c6354

Branches

Tags

  • No tags available.
0Branches0Tags
Go to file
Add file
Code

Clone

HTTPS

Download ZIP

AI-For-Beginners/lessons/2-Symbolic/data

lessons/2-Symbolic/data/onto.ttl

288lines · modecode

RawDownload
Latest commit unavailable.
1@prefix fhkb: <http://www.example.com/genealogy.owl#> .
2@prefix owl: <http://www.w3.org/2002/07/owl#> .
3@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
4@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
5@prefix xml: <http://www.w3.org/XML/1998/namespace> .
6@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
7
8<http://www.example.com/genealogy.owl#> a owl:Ontology .
9
10fhkb:DomainEntity a owl:Class .
11
12fhkb:Man a owl:Class ;
13 owl:equivalentClass [ a owl:Class ;
14 owl:intersectionOf ( fhkb:Person [ a owl:Restriction ;
15 owl:onProperty fhkb:hasSex ;
16 owl:someValuesFrom fhkb:Male ] ) ] .
17
18fhkb:Woman a owl:Class ;
19 owl:equivalentClass [ a owl:Class ;
20 owl:intersectionOf ( fhkb:Person [ a owl:Restriction ;
21 owl:onProperty fhkb:hasSex ;
22 owl:someValuesFrom fhkb:Female ] ) ] .
23
24fhkb:Person a owl:Class ;
25 rdfs:subClassOf [ a owl:Restriction ;
26 owl:onProperty fhkb:hasMother ;
27 owl:someValuesFrom fhkb:Woman ],
28 [ a owl:Restriction ;
29 owl:maxQualifiedCardinality "2"^^xsd:nonNegativeInteger ;
30 owl:onClass fhkb:Person ;
31 owl:onProperty fhkb:hasParent ],
32 [ a owl:Restriction ;
33 owl:onProperty fhkb:hasFather ;
34 owl:someValuesFrom fhkb:Man ],
35 [ a owl:Restriction ;
36 owl:onProperty fhkb:hasSex ;
37 owl:someValuesFrom fhkb:Sex ],
38 fhkb:DomainEntity ;
39 owl:disjointWith fhkb:Sex ;
40 owl:equivalentClass [ a owl:Class ;
41 owl:unionOf ( fhkb:Man fhkb:Woman ) ] .
42
43fhkb:Marriage a owl:Class ;
44 rdfs:subClassOf fhkb:DomainEntity .
45
46fhkb:Male a owl:Class ;
47 rdfs:subClassOf fhkb:Sex .
48
49fhkb:Female a owl:Class ;
50 rdfs:subClassOf fhkb:Sex ;
51 owl:disjointWith fhkb:Male .
52
53fhkb:Sex a owl:Class ;
54 rdfs:subClassOf fhkb:DomainEntity ;
55 owl:equivalentClass [ a owl:Class ;
56 owl:unionOf ( fhkb:Female fhkb:Male ) ] .
57
58fhkb:Ancestor a owl:Class ;
59 owl:equivalentClass [ a owl:Class ;
60 owl:intersectionOf ( fhkb:Person [ a owl:Restriction ;
61 owl:onProperty fhkb:isAncestorOf ;
62 owl:someValuesFrom fhkb:Person ] ) ] .
63
64fhkb:hasFemalePartner a owl:ObjectProperty ;
65 rdfs:range fhkb:Woman ;
66 rdfs:domain fhkb:Marriage ;
67 rdfs:subPropertyOf fhkb:hasPartner ;
68 owl:inverseOf fhkb:isFemalePartnerIn .
69
70fhkb:hasMalePartner a owl:ObjectProperty ;
71 rdfs:range fhkb:Man ;
72 rdfs:domain fhkb:Marriage ;
73 rdfs:subPropertyOf fhkb:hasPartner ;
74 owl:inverseOf fhkb:isMalePartnerIn .
75
76fhkb:isFatherOf a owl:ObjectProperty .
77
78fhkb:isMotherOf a owl:ObjectProperty .
79
80fhkb:isBrotherOf a owl:ObjectProperty ;
81 rdfs:domain fhkb:Man ;
82 rdfs:range fhkb:Person ;
83 rdfs:subPropertyOf fhkb:isSiblingOf .
84
85fhkb:isSisterOf a owl:ObjectProperty ;
86 rdfs:domain fhkb:Woman ;
87 rdfs:range fhkb:Person ;
88 rdfs:subPropertyOf fhkb:isSiblingOf .
89
90fhkb:hasHusband a owl:ObjectProperty ;
91 rdfs:range fhkb:Man ;
92 rdfs:subPropertyOf fhkb:hasSpouse ;
93 owl:propertyChainAxiom ( fhkb:isFemalePartnerIn fhkb:hasMalePartner ) .
94
95fhkb:hasWife a owl:ObjectProperty ;
96 rdfs:range fhkb:Woman ;
97 rdfs:subPropertyOf fhkb:hasSpouse ;
98 owl:propertyChainAxiom ( fhkb:isMalePartnerIn fhkb:hasFemalePartner ) .
99
100fhkb:isHusbandOf a owl:ObjectProperty ;
101 owl:inverseOf fhkb:hasHusband .
102
103fhkb:isWifeOf a owl:ObjectProperty ;
104 owl:inverseOf fhkb:hasWife .
105
106fhkb:isPartnerIn a owl:ObjectProperty .
107
108fhkb:hasPartner a owl:ObjectProperty ;
109 rdfs:domain fhkb:Marriage ;
110 rdfs:range fhkb:Person ;
111 owl:inverseOf fhkb:isPartnerIn .
112
113fhkb:isSpouseOf a owl:ObjectProperty .
114
115fhkb:hasSpouse a owl:ObjectProperty ;
116 owl:inverseOf fhkb:isSpouseOf .
117
118fhkb:isFemalePartnerIn a owl:ObjectProperty .
119
120fhkb:isMalePartnerIn a owl:ObjectProperty .
121
122fhkb:isSiblingOf a owl:ObjectProperty,
123 owl:SymmetricProperty,
124 owl:TransitiveProperty ;
125 rdfs:subPropertyOf fhkb:isBloodrelationOf ;
126 owl:propertyChainAxiom ( fhkb:hasParent fhkb:isParentOf ) .
127
128fhkb:hasChild a owl:ObjectProperty .
129
130fhkb:isChildOf a owl:ObjectProperty ;
131 owl:inverseOf fhkb:hasChild .
132
133fhkb:hasDaughter a owl:ObjectProperty ;
134 rdfs:subPropertyOf fhkb:hasChild .
135
136fhkb:hasSon a owl:ObjectProperty ;
137 rdfs:subPropertyOf fhkb:hasChild .
138
139fhkb:isDaughterOf a owl:ObjectProperty ;
140 rdfs:subPropertyOf fhkb:isChildOf ;
141 owl:inverseOf fhkb:hasDaughter .
142
143fhkb:isSonOf a owl:ObjectProperty ;
144 rdfs:subPropertyOf fhkb:isChildOf ;
145 owl:inverseOf fhkb:hasSon .
146
147fhkb:hasFather a owl:FunctionalProperty,
148 owl:ObjectProperty ;
149 rdfs:domain fhkb:Person ;
150 rdfs:range fhkb:Man ;
151 rdfs:subPropertyOf fhkb:hasParent ;
152 owl:inverseOf fhkb:isFatherOf .
153
154fhkb:hasMother a owl:FunctionalProperty,
155 owl:ObjectProperty ;
156 rdfs:domain fhkb:Person ;
157 rdfs:range fhkb:Woman ;
158 rdfs:subPropertyOf fhkb:hasParent ;
159 owl:inverseOf fhkb:isMotherOf .
160
161fhkb:hasParent a owl:ObjectProperty ;
162 rdfs:domain fhkb:Person ;
163 rdfs:range fhkb:Person ;
164 rdfs:subPropertyOf fhkb:hasAncestor ;
165 owl:equivalentProperty fhkb:isChildOf ;
166 owl:inverseOf fhkb:isParentOf .
167
168fhkb:isParentOf a owl:ObjectProperty .
169
170fhkb:hasSex a owl:FunctionalProperty,
171 owl:ObjectProperty ;
172 rdfs:domain fhkb:Person ;
173 rdfs:range fhkb:Sex .
174
175fhkb:isAncestorOf a owl:ObjectProperty ;
176 owl:inverseOf fhkb:hasAncestor .
177
178fhkb:hasRelation a owl:ObjectProperty,
179 owl:SymmetricProperty ;
180 rdfs:domain fhkb:Person ;
181 rdfs:range fhkb:Person .
182
183fhkb:isBloodrelationOf a owl:ObjectProperty ;
184 rdfs:subPropertyOf fhkb:hasRelation .
185
186fhkb:hasAncestor a owl:ObjectProperty,
187 owl:TransitiveProperty ;
188 rdfs:subPropertyOf fhkb:hasRelation .
189
190fhkb:hasUncle a owl:ObjectProperty ;
191 owl:inverseOf fhkb:isUncleOf .
192
193fhkb:isUncleOf a owl:ObjectProperty ;
194 rdfs:domain fhkb:Man ;
195 rdfs:range fhkb:Person ;
196 owl:propertyChainAxiom ( fhkb:isBrotherOf fhkb:isParentOf ) .
197
198fhkb:hasGreatUncle a owl:ObjectProperty ;
199 owl:inverseOf fhkb:isGreatUncleOf .
200
201fhkb:isGreatUncleOf a owl:ObjectProperty ;
202 rdfs:domain fhkb:Man ;
203 rdfs:range fhkb:Person ;
204 owl:propertyChainAxiom ( fhkb:isBrotherOf fhkb:isGrandParentOf ) .
205
206fhkb:hasAunt a owl:ObjectProperty ;
207 owl:inverseOf fhkb:isAuntOf .
208
209fhkb:isAuntOf a owl:ObjectProperty ;
210 rdfs:domain fhkb:Woman ;
211 rdfs:range fhkb:Person ;
212 owl:propertyChainAxiom ( fhkb:isSisterOf fhkb:isParentOf ) .
213
214fhkb:hasGreatAunt a owl:ObjectProperty ;
215 owl:inverseOf fhkb:isGreatAuntOf .
216
217fhkb:isGreatAuntOf a owl:ObjectProperty ;
218 rdfs:domain fhkb:Woman ;
219 rdfs:range fhkb:Person ;
220 owl:propertyChainAxiom ( fhkb:isSisterOf fhkb:isGrandParentOf ) .
221
222fhkb:isCousinOf a owl:ObjectProperty ;
223 rdfs:subPropertyOf fhkb:isBloodrelationOf .
224
225fhkb:isFirstCousinOf a owl:ObjectProperty,
226 owl:SymmetricProperty ;
227 rdfs:subPropertyOf fhkb:isCousinOf ;
228 owl:propertyChainAxiom ( fhkb:hasParent fhkb:isSiblingOf fhkb:isParentOf ) .
229
230fhkb:isSecondCousinOf a owl:ObjectProperty,
231 owl:SymmetricProperty ;
232 rdfs:subPropertyOf fhkb:isCousinOf ;
233 owl:propertyChainAxiom ( fhkb:hasGrandParent fhkb:isSiblingOf fhkb:isGrandParentOf ) .
234
235fhkb:isThirdCousinOf a owl:ObjectProperty,
236 owl:SymmetricProperty ;
237 rdfs:subPropertyOf fhkb:isCousinOf ;
238 owl:propertyChainAxiom ( fhkb:hasGreatGrandParent fhkb:isSiblingOf fhkb:isGreatGrandParentOf ) .
239
240fhkb:isGrandfatherOf a owl:ObjectProperty ;
241 owl:inverseOf fhkb:hasGrandfather .
242
243fhkb:isGrandmotherOf a owl:ObjectProperty ;
244 owl:inverseOf fhkb:hasGrandmother .
245
246fhkb:isGrandParentOf a owl:ObjectProperty ;
247 owl:inverseOf fhkb:hasGrandParent .
248
249fhkb:hasGrandfather a owl:ObjectProperty ;
250 rdfs:range fhkb:Man ;
251 rdfs:subPropertyOf fhkb:hasGrandParent ;
252 owl:propertyChainAxiom ( fhkb:hasParent fhkb:hasFather ) .
253
254fhkb:hasGrandmother a owl:ObjectProperty ;
255 rdfs:range fhkb:Woman ;
256 rdfs:subPropertyOf fhkb:hasGrandParent ;
257 owl:propertyChainAxiom ( fhkb:hasParent fhkb:hasMother ) .
258
259fhkb:hasGrandParent a owl:ObjectProperty ;
260 rdfs:domain fhkb:Person ;
261 rdfs:range fhkb:Person ;
262 rdfs:subPropertyOf fhkb:hasAncestor ;
263 owl:propertyChainAxiom ( fhkb:hasParent fhkb:hasParent ) .
264
265fhkb:isGreatGrandfatherOf a owl:ObjectProperty ;
266 owl:inverseOf fhkb:hasGreatGrandfather .
267
268fhkb:isGreatGrandmotherOf a owl:ObjectProperty ;
269 owl:inverseOf fhkb:hasGreatGrandmother .
270
271fhkb:isGreatGrandParentOf a owl:ObjectProperty ;
272 owl:inverseOf fhkb:hasGreatGrandParent .
273
274fhkb:hasGreatGrandfather a owl:ObjectProperty ;
275 rdfs:range fhkb:Man ;
276 rdfs:subPropertyOf fhkb:hasGreatGrandParent ;
277 owl:propertyChainAxiom ( fhkb:hasParent fhkb:hasGrandfather ) .
278
279fhkb:hasGreatGrandmother a owl:ObjectProperty ;
280 rdfs:range fhkb:Woman ;
281 rdfs:subPropertyOf fhkb:hasGreatGrandParent ;
282 owl:propertyChainAxiom ( fhkb:hasParent fhkb:hasGrandmother ) .
283
284fhkb:hasGreatGrandParent a owl:ObjectProperty ;
285 rdfs:domain fhkb:Person ;
286 rdfs:range fhkb:Person ;
287 rdfs:subPropertyOf fhkb:hasAncestor ;
288 owl:propertyChainAxiom ( fhkb:hasParent fhkb:hasParent fhkb:hasParent ) .
289