TBMTest/24.owl at master · CesarPantoja/TBMTest · 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
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
<?xml version="1.0"?>


<!DOCTYPE rdf:RDF [
    <!ENTITY owl "http://www.w3.org/2002/07/owl#" >
    <!ENTITY xsd "http://www.w3.org/2001/XMLSchema#" >
    <!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#" >
    <!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#" >
]>


<rdf:RDF xmlns="http://mmv.eecs.qmul.ac.uk/CLUE.owl#"
     xml:base="http://mmv.eecs.qmul.ac.uk/CLUE.owl"
     xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
     xmlns:owl="http://www.w3.org/2002/07/owl#"
     xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
     xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#">
    <owl:Ontology rdf:about="http://mmv.eecs.qmul.ac.uk/CLUE.owl">
        <rdfs:comment>An example of a game of CLUE for a TBM reasoner

Cesar Pantoja
QMUL</rdfs:comment>
        <owl:imports rdf:resource="http://mmv.eecs.qmul.ac.uk/TBM.owl"/>
    </owl:Ontology>


    <!--
    ///////////////////////////////////////////////////////////////////////////////////////
    //
    // Data properties
    //
    ///////////////////////////////////////////////////////////////////////////////////////
     -->


    <!-- http://mmv.eecs.qmul.ac.uk/CLUE.owl#hasBelief -->

    <owl:DatatypeProperty rdf:about="http://mmv.eecs.qmul.ac.uk/CLUE.owl#hasBelief">
        <rdfs:domain rdf:resource="http://mmv.eecs.qmul.ac.uk/TBM.owl#FocalElement"/>
        <rdfs:range rdf:resource="&xsd;double"/>
    </owl:DatatypeProperty>


    <!-- http://mmv.eecs.qmul.ac.uk/CLUE.owl#hasDoubt -->

    <owl:DatatypeProperty rdf:about="http://mmv.eecs.qmul.ac.uk/CLUE.owl#hasDoubt">
        <rdfs:domain rdf:resource="http://mmv.eecs.qmul.ac.uk/TBM.owl#FocalElement"/>
        <rdfs:range rdf:resource="&xsd;double"/>
    </owl:DatatypeProperty>


    <!-- http://mmv.eecs.qmul.ac.uk/CLUE.owl#hasIgnorance -->

    <owl:DatatypeProperty rdf:about="http://mmv.eecs.qmul.ac.uk/CLUE.owl#hasIgnorance">
        <rdfs:domain rdf:resource="http://mmv.eecs.qmul.ac.uk/TBM.owl#FocalElement"/>
        <rdfs:range rdf:resource="&xsd;double"/>
    </owl:DatatypeProperty>


    <!-- http://mmv.eecs.qmul.ac.uk/CLUE.owl#hasPlausibility -->

    <owl:DatatypeProperty rdf:about="http://mmv.eecs.qmul.ac.uk/CLUE.owl#hasPlausibility">
        <rdfs:domain rdf:resource="http://mmv.eecs.qmul.ac.uk/TBM.owl#FocalElement"/>
        <rdfs:range rdf:resource="&xsd;double"/>
        <rdfs:subPropertyOf rdf:resource="&owl;topDataProperty"/>
    </owl:DatatypeProperty>


    <!--
    ///////////////////////////////////////////////////////////////////////////////////////
    //
    // Classes
    //
    ///////////////////////////////////////////////////////////////////////////////////////
     -->


    <!-- http://mmv.eecs.qmul.ac.uk/CLUE.owl#Murderer -->

    <owl:Class rdf:about="http://mmv.eecs.qmul.ac.uk/CLUE.owl#Murderer"/>


    <!--
    ///////////////////////////////////////////////////////////////////////////////////////
    //
    // Individuals
    //
    ///////////////////////////////////////////////////////////////////////////////////////
     -->


    <!-- http://mmv.eecs.qmul.ac.uk/CLUE.owl#Jamey -->

    <owl:NamedIndividual rdf:about="http://mmv.eecs.qmul.ac.uk/CLUE.owl#Jamey">
        <rdf:type rdf:resource="http://mmv.eecs.qmul.ac.uk/CLUE.owl#Murderer"/>
    </owl:NamedIndividual>


    <!-- http://mmv.eecs.qmul.ac.uk/CLUE.owl#Nina -->

    <owl:NamedIndividual rdf:about="http://mmv.eecs.qmul.ac.uk/CLUE.owl#Nina">
        <rdf:type rdf:resource="http://mmv.eecs.qmul.ac.uk/CLUE.owl#Murderer"/>
    </owl:NamedIndividual>


    <!-- http://mmv.eecs.qmul.ac.uk/CLUE.owl#Tony -->

    <owl:NamedIndividual rdf:about="http://mmv.eecs.qmul.ac.uk/CLUE.owl#Tony">
        <rdf:type rdf:resource="http://mmv.eecs.qmul.ac.uk/CLUE.owl#Murderer"/>
    </owl:NamedIndividual>
</rdf:RDF>


<!-- Generated by the OWL API (version 3.5.1) http://owlapi.sourceforge.net -->