blob: 02148f01c40c4103fcd3cacd9af4ced179a3e484 (
plain) (
blame)
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
|
@prefix : <http://example.com/rsa_example.owl#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xml: <http://www.w3.org/XML/1998/namespace> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@base <http://example.com/rsa_example.owl> .
# A ⊑ D
# A ⊑ ∃ S⁻.C
# ∃ S.A ⊑ D
# D ⊑ ∃ R.B
# B ⊑ ∃ S.D
# R ⊑ T⁻
# S ⊑ T
#
# a : A
:A rdf:type owl:Class ;
rdfs:subClassOf :D ;
rdfs:subClassOf [ rdf:type owl:Restriction ;
owl:onProperty [ owl:inverseOf :S ] ;
owl:someValuesFrom :C
] .
[ rdf:type owl:Restriction ;
owl:onProperty :S ;
owl:someValuesFrom :A
] rdfs:subClassOf :D .
:D rdf:type owl:Class ;
rdfs:subClassOf [ rdf:type owl:Restriction ;
owl:onProperty :R ;
owl:someValuesFrom :B
] .
:B rdf:type owl:Class ;
rdfs:subClassOf [ rdf:type owl:Restriction ;
owl:onProperty :S ;
owl:someValuesFrom :D
] .
:R rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf [ owl:inverseOf :T ] .
:S rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf :T .
:a rdf:type :A .
|
