-
Notifications
You must be signed in to change notification settings - Fork 3
/
catalyst_idea.ttl
124 lines (103 loc) · 3.44 KB
/
catalyst_idea.ttl
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
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix foaf: <http://xmlns.com/foaf/0.1/> .
@prefix pa_ibis: <http://privatealpha.com/ontology/ibis/1#> .
@prefix idea: <http://purl.org/catalyst/idea#> .
<http://purl.org/catalyst/idea#> a owl:Ontology.
idea:GenericIdea
a owl:Class.
idea:GenericIdeaNode
a owl:Class;
rdfs:subClassOf idea:GenericIdea;
rdfs:label "generic idea"@en, "idée générique"@fr.
idea:IdeaRelation
a owl:Class;
rdfs:subClassOf idea:GenericIdea.
idea:relates_idea
a owl:ObjectProperty;
rdfs:domain idea:IdeaRelation;
rdfs:range idea:GenericIdeaNode.
idea:DirectedIdeaRelation
a owl:Class;
rdfs:subClassOf idea:IdeaRelation .
idea:source_idea
a owl:ObjectProperty;
rdfs:subPropertyOf idea:relates_idea;
rdfs:domain idea:DirectedIdeaRelation;
rdfs:range idea:GenericIdeaNode.
idea:target_idea
a owl:ObjectProperty;
rdfs:subPropertyOf idea:relates_idea;
rdfs:domain idea:DirectedIdeaRelation;
rdfs:range idea:GenericIdeaNode;
rdfs:comment "The destination is the parent"@en.
idea:InclusionRelation
a owl:Class;
rdfs:subClassOf idea:DirectedIdeaRelation;
rdfs:comment """This is a vague subordination property between ideas,
as in mind maps and assembl containment."""@en.
idea:includes
a owl:AsymmetricProperty;
rdfs:domain idea:GenericIdeaNode;
rdfs:range idea:GenericIdeaNode;
owl:propertyChainAxiom (
[owl:inverseOf idea:target_idea;
rdfs:range idea:InclusionRelation]
idea:source_idea
).
idea:includedIn
a owl:AsymmetricProperty;
owl:inverseOf idea:includes;
rdfs:domain idea:GenericIdeaNode;
rdfs:range idea:GenericIdeaNode;
owl:propertyChainAxiom (
[owl:inverseOf idea:source_idea;
rdfs:range idea:InclusionRelation]
idea:target_idea
).
idea:WholePartRelation
a owl:Class;
rdfs:subClassOf idea:InclusionRelation;
rdfs:comment """This is strict idea containment. Examples include
a proposal in many points, or identifying premises in an argument.
It may also be applied to Compendium-style maps (TBD.)"""@en.
idea:hasPart
rdfs:subPropertyOf idea:includes, dcterms:hasPart;
rdfs:domain idea:GenericIdeaNode;
rdfs:range idea:GenericIdeaNode;
owl:propertyChainAxiom (
[owl:inverseOf idea:target_idea;
rdfs:range idea:WholePartRelation]
idea:source_idea
).
idea:isPartOf
rdfs:subPropertyOf idea:includedIn, dcterms:isPartOf;
owl:inverseOf idea:hasPart;
rdfs:domain idea:GenericIdeaNode;
rdfs:range idea:GenericIdeaNode;
owl:propertyChainAxiom (
[owl:inverseOf idea:source_idea;
rdfs:range idea:WholePartRelation]
idea:target_idea
).
idea:Question
a owl:Class;
rdfs:subClassOf idea:DirectedIdeaRelation.
#map
idea:Map
a owl:Class;
rdfs:subClassOf idea:GenericIdea.
# Positional. We could just infer from in_map.
idea:inMap
a owl:ObjectProperty;
rdfs:subPropertyOf idea:includes;
rdfs:range idea:Map.
# The map inclusion may not be referenced.
# Not clear that we need a reified relation here.
# Relevance
idea:MutualRelevanceStatement
a owl:Class;
rdfs:subClassOf idea:IdeaRelation .