discourse-graph/apps/website/public/schema/dg_core.ttl at 0b879461454de27a1207c8a28144cf362b8760e4 · DiscourseGraphs/discourse-graph · GitHub

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
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix : <http://www.w3.org/2000/01/rdf-schema#> .
@prefix dc: <http://purl.org/dc/elements/1.1/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix vs: <http://www.w3.org/2003/06/sw-vocab-status/ns#> .
@prefix sioc: <http://rdfs.org/sioc/ns#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix dgb: <https://discoursegraphs.com/schema/dg_base#> .
@prefix dg: <https://discoursegraphs.com/schema/dg_core#> .
@prefix schema: <http://schema.org/> .

dg:Question a dgb:NodeSchema;
  rdfs:label "Question"@en;
  rdfs:comment "Scientific unknowns that we want to make known, and are addressable by the systematic application of research methods"@en.

dg:Claim a dgb:NodeSchema;
  rdfs:label "Claim"@en;
  rdfs:comment "Atomic, generalized assertions about the world that (propose to) answer research questions"@en.

dg:Evidence a dgb:NodeSchema;
  rdfs:label "Evidence"@en;
  rdfs:comment "A specific empirical observation from a particular application of a research method"@en;
  owl:subClassOf [rdf:type owl:Restriction ; owl:onProperty dg:observationStatement ; owl:cardinality 1],
    [rdf:type owl:Restriction ; owl:onProperty dg:observationBase ; owl:cardinality 1].
  # Ideally also dg:observationOriginActivity, but maybe not a hard constraint.

dg:describesActivity a dgb:RelationDef;
  rdfs:label "Describes activity"@en;
  rdfs:subPropertyOf dc:subject;
  rdfs:domain schema:CreativeWork;
  rdfs:range prov:Activity.

dg:SourceDocument a dgb:NodeSchema;
  rdfs:label "Source document"@en;
  rdfs:comment "Some research source document that reports/generates evidence, like a book, conference paper, or journal article"@en;
  owl:subClassOf schema:CreativeWork, [rdf:type owl:Restriction ; owl:onProperty dg:describesActivity ; owl:minCardinality 1].

dg:observationStatement a dgb:RelationDef;
  rdfs:label "Observation statement"@en;
  rdfs:domain dg:Evidence;
  rdfs:range dg:Claim.

dg:observationOriginActivity a dgb:RelationDef;
  rdfs:label "Observation origin process"@en;
  rdfs:comment "An experiment or study at the origin of the data on which the observation is based"@en;
  rdfs:domain dg:Evidence;
  rdfs:range prov:Activity.
# I would like to add:
#  owl:propertyChainAxiom (dg:sourceDocument dg:describesActivity).
# But it is not strictly accurate; the document may describe many activities
# HOWEVER it is true that, if sourceDocument is defined, the observationOriginActivity should should follow one of these chains.

dg:observationBase a dgb:RelationDef;
  rdfs:label "Observation base"@en;
  rdfs:comment "The data on which the observation is based"@en;
  rdfs:range prov:Entity;
  # That range is very, very provisional. could also involve schema:DigitalDocument , schema:Dataset
  rdfs:domain dg:Evidence.
  # The Entity should be prov:wasGeneratedBy the Activity that is either the Source, or one subject of the Source.
  # I would like to add:
  #  owl:propertyChainAxiom (dg:observationOriginActivity prov:generated).
  # But it is not strictly accurate; the activity may generate many entities.
  # HOWEVER it is true that the observationBase should follow one of these chains, which should exist.

dg:sourceDocument a dgb:RelationDef;
  rdfs:label "Source document"@en;
  rdfs:comment "A document that described the activity which led to the data on which the observation is based"@en;
  rdfs:domain dg:Evidence;
  rdfs:range dg:SourceDocument.

dg:ClaimOrEvidence owl:equivalentClass [
  owl:unionOf (dg:Evidence dg:Claim)
].

dg:opposes a dgb:RelationDef;
  rdfs:label "Opposes"@en;
  rdfs:range dg:Claim;
  rdfs:domain dg:ClaimOrEvidence.

dg:opposedBy a dgb:RelationDef;
  rdfs:label "Opposed by"@en;
  owl:inverseOf dg:opposes;
  rdfs:range dg:ClaimOrEvidence;
  rdfs:domain dg:Claim.

dg:supports a dgb:RelationDef;
  rdfs:label "Supports"@en;
  rdfs:range dg:Claim;
  rdfs:domain dg:ClaimOrEvidence.

dg:supportedBy a dgb:RelationDef;
  rdfs:label "Supported by"@en;
  owl:inverseOf dg:supports;
  rdfs:range dg:ClaimOrEvidence;
  rdfs:domain dg:Claim.

dg:addresses a dgb:RelationDef;
  rdfs:label "Addresses"@en;
  rdfs:range dg:Question;
  rdfs:domain dg:Claim.

dg:addressedBy a dgb:RelationDef;
  rdfs:label "Addressed by"@en;
  owl:inverseOf dg:addresses;
  rdfs:range dg:Claim;
  rdfs:domain dg:Question.