-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathdtou-lang-general.n3s
54 lines (48 loc) · 1.25 KB
/
dtou-lang-general.n3s
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
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://example.org/ns#>.
######
# General rules for subclass, etc, like OWL.
######
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix log: <http://www.w3.org/2000/10/swap/log#> .
# rdfs:subClassOf
(_:S _:C _:P _:p _:o) log:onNegativeSurface {
_:S a _:C.
_:C rdfs:subClassOf _:P.
() log:onNegativeSurface {
_:S a _:P. # Class information
}.
# () log:onNegativeSurface { # On a separate surface because Property may not exist for the superclass. Seems incorrect, so using the separated one below.
# _:P _:p _:o.
# _:p a rdfs:Property.
# () log:onNegativeSurface {
# _:S _:p _:o. # Property inheritance
# }.
# }.
}.
(_:S _:C _:P _:p _:o) log:onNegativeSurface {
_:S a _:C.
_:C rdfs:subClassOf _:P.
_:P _:p _:o.
_:p a rdfs:Property.
() log:onNegativeSurface {
_:S _:p _:o. # Property inheritance
}.
}.
# rdfs:subPropertyOf
(_:S _:P0 _:P1 _:o) log:onNegativeSurface {
_:P1 rdfs:subPropertyOf _:P0.
_:S _:P1 _:o.
() log:onNegativeSurface {
_:S _:P0 _:o.
}
}.
# :sameAs
(_:C1 _:C2) log:onNegativeSurface {
_:C1 :sameAs _:C2.
() log:onNegativeSurface {
_:C1 rdfs:subClassOf _:C2.
_:C2 rdfs:subClassOf _:C1.
}.
}.