tagology/backend/hyper_ontology.ttl at dev · shellybelle/tagology · 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
@prefix tag: <https://theknowledgecommons.org/ns/tagology/> .
@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 sh:   <http://www.w3.org/ns/shacl#> .

tag: a owl:Ontology ;
  rdfs:label "tagology ontology" .

tag:HyperNode
    a owl:Class ;
    rdfs:label "hypergraph node" .

tag:HyperEdge
    a owl:Class ;
    rdfs:label "hyperedge" .

tag:HyperArc
    a owl:Class ;
    rdfs:subClassOf tag:HyperEdge ;
    rdfs:label "directed hyperedge" .

tag:FArc
    a owl:Class ;
    rdfs:subClassOf tag:HyperArc ;
    rdfs:label "F-hyperarc" .

tag:BArc
    a owl:Class ;
    rdfs:subClassOf tag:HyperArc ;
    rdfs:label "B-hyperarc" .

tag:label
    a owl:DatatypeProperty ;
    rdfs:domain tag:HyperNode ;
    rdfs:range rdfs:Literal ;
    rdfs:label "label option" .

tag:hasTail
    a owl:ObjectProperty ;
    rdfs:domain tag:HyperArc ;
    rdfs:range tag:HyperNode ;
    rdfs:label "has tail property" .

tag:hasHead
    a owl:ObjectProperty ;
    rdfs:domain tag:HyperArc ;
    rdfs:range tag:HyperNode ;
    rdfs:label "has head property" .

tag:hasAArc
    a owl:Class ;
    rdfs:subClassOf tag:FArc ;
    rdfs:label "HAS-A F-Hyperarc" .

tag:isAArc
    a owl:Class ;
    rdfs:subClassOf tag:BArc ;
    rdfs:label "IS-A B-Hyperarc" .

tag:BArcShape a sh:NodeShape ;
    sh:targetClass tag:BArc ;
    sh:property [
        sh:path tag:hasTail ;
        sh:minCount 1 ] ;
    sh:property [
        sh:path tag:hasHead ;
        sh:minCount 1 ;
        sh:maxCount 1 ] .

tag:FArcShape a sh:NodeShape ;
    sh:targetClass tag:FArc ;
    sh:property [
        sh:path tag:hasTail ;
        sh:minCount 1 ;
        sh:maxCount 1 ] ;
    sh:property [
        sh:path tag:hasHead ;
        sh:minCount 1 ] .