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
|
<?xml version="1.0" encoding="UTF-8"?>
<RequestMessage xmlns="http://www.owllink.org/owllink#"
xsi:schemaLocation="http://www.owllink.org/owllink# http://www.owllink.org/owllink-20091116.xsd"
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:owl="http://www.w3.org/2002/07/owl#">
<CreateKB kb="http://www.konclude.com/test" />
<Tell kb="http://www.konclude.com/test">
<owl:Declaration>
<owl:Class IRI="#A" />
</owl:Declaration>
<owl:Declaration>
<owl:Class IRI="#B" />
</owl:Declaration>
<owl:Declaration>
<owl:Class IRI="#C" />
</owl:Declaration>
<owl:Declaration>
<owl:ObjectProperty IRI="#r" />
</owl:Declaration>
<owl:Declaration>
<owl:NamedIndividual IRI="#i" />
</owl:Declaration>
<owl:Declaration>
<owl:NamedIndividual IRI="#j" />
</owl:Declaration>
<owl:EquivalentClasses>
<owl:Class IRI="#A" />
<owl:ObjectIntersectionOf>
<owl:Class IRI="#B" />
<owl:ObjectSomeValuesFrom>
<owl:ObjectProperty IRI="#r" />
<owl:Class abbreviatedIRI="owl:Thing" />
</owl:ObjectSomeValuesFrom>
</owl:ObjectIntersectionOf>
</owl:EquivalentClasses>
<owl:EquivalentClasses>
<owl:Class IRI="#C" />
<owl:ObjectSomeValuesFrom>
<owl:ObjectProperty IRI="#r" />
<owl:Class abbreviatedIRI="owl:Thing" />
</owl:ObjectSomeValuesFrom>
</owl:EquivalentClasses>
<owl:ClassAssertion>
<owl:Class IRI="#B" />
<owl:NamedIndividual IRI="#i" />
</owl:ClassAssertion>
<owl:ObjectPropertyAssertion>
<owl:ObjectProperty IRI="#r" />
<owl:NamedIndividual IRI="#i" />
<owl:NamedIndividual IRI="#j" />
</owl:ObjectPropertyAssertion>
</Tell>
<IsClassSatisfiable kb="http://www.konclude.com/test">
<owl:Class IRI="#A" />
</IsClassSatisfiable>
<GetSubClassHierarchy kb="http://www.konclude.com/test" />
<GetFlattenedTypes kb="http://www.konclude.com/test">
<owl:NamedIndividual IRI="#i" />
</GetFlattenedTypes>
<ReleaseKB kb="http://www.konclude.com/test" />
</RequestMessage>
|
