%PDF-1.4 5 0 obj << /S /GoTo /D (chapter.2) >> endobj 8 0 obj (Introduction) endobj 9 0 obj << /S /GoTo /D (section.3) >> endobj 12 0 obj (Semantic Web Concepts) endobj 13 0 obj << /S /GoTo /D (subsection.4) >> endobj 16 0 obj (Ontologies) endobj 17 0 obj << /S /GoTo /D (subsection.6) >> endobj 20 0 obj (Web Ontology Languages) endobj 21 0 obj << /S /GoTo /D (subsection.8) >> endobj 24 0 obj (Reasoners and Inference Engines) endobj 25 0 obj << /S /GoTo /D (section.10) >> endobj 28 0 obj (The Conceptual Formulation) endobj 29 0 obj << /S /GoTo /D (chapter.14) >> endobj 32 0 obj (Querying a DAML+OIL Knowledge Base) endobj 33 0 obj << /S /GoTo /D (section.15) >> endobj 36 0 obj (Introduction) endobj 37 0 obj << /S /GoTo /D (subsection.16) >> endobj 40 0 obj (DAML+OIL) endobj 41 0 obj << /S /GoTo /D (subsection.19) >> endobj 44 0 obj (Description Logics) endobj 45 0 obj << /S /GoTo /D (section.22) >> endobj 48 0 obj (Querying) endobj 49 0 obj << /S /GoTo /D (subsection.23) >> endobj 52 0 obj (Extended Retrieval Support) endobj 53 0 obj << /S /GoTo /D (subsection.27) >> endobj 56 0 obj (Conjunctive Queries) endobj 57 0 obj << /S /GoTo /D (subsection.28) >> endobj 60 0 obj (Graphs as Query Representation) endobj 61 0 obj << /S /GoTo /D (section.33) >> endobj 64 0 obj (Query Transformation) endobj 65 0 obj << /S /GoTo /D (subsection.34) >> endobj 68 0 obj (Boolean Queries with one Leaf) endobj 69 0 obj << /S /GoTo /D (subsection.40) >> endobj 72 0 obj (Boolean Queries with Multiple Leaves) endobj 73 0 obj << /S /GoTo /D (subsection.43) >> endobj 76 0 obj (Rolling-Up in the Role Direction) endobj 77 0 obj << /S /GoTo /D (subsection.46) >> endobj 80 0 obj (Rolling-Up with Individual Names) endobj 81 0 obj << /S /GoTo /D (subsection.49) >> endobj 84 0 obj (Rolling-Up for non Boolean Queries) endobj 85 0 obj << /S /GoTo /D (chapter.52) >> endobj 88 0 obj (The DQL Abstract Specification) endobj 89 0 obj << /S /GoTo /D (section.54) >> endobj 92 0 obj (Query and Answer Parts) endobj 93 0 obj << /S /GoTo /D (section.57) >> endobj 96 0 obj (A Query-Answering Dialogue) endobj 97 0 obj << /S /GoTo /D (section.59) >> endobj 100 0 obj (Query Classes) endobj 101 0 obj << /S /GoTo /D (section.60) >> endobj 104 0 obj (OWL-QL) endobj 105 0 obj << /S /GoTo /D (chapter.62) >> endobj 108 0 obj (Realisation of a DQL Server Prototype) endobj 109 0 obj << /S /GoTo /D (section.63) >> endobj 112 0 obj (The Architecture) endobj 113 0 obj << /S /GoTo /D (section.66) >> endobj 116 0 obj (Used Tools, Products and Languages) endobj 117 0 obj << /S /GoTo /D (section.75) >> endobj 120 0 obj (The Components) endobj 121 0 obj << /S /GoTo /D (subsection.76) >> endobj 124 0 obj (The Web Service Interface) endobj 125 0 obj << /S /GoTo /D (subsection.79) >> endobj 128 0 obj (The DQL Server Component) endobj 129 0 obj << /S /GoTo /D (subsection.81) >> endobj 132 0 obj (The Query Parser) endobj 133 0 obj << /S /GoTo /D (subsection.84) >> endobj 136 0 obj (Knowledge Base Loading) endobj 137 0 obj << /S /GoTo /D (subsection.86) >> endobj 140 0 obj (Interaction with the Reasoner) endobj 141 0 obj << /S /GoTo /D (subsection.90) >> endobj 144 0 obj (The Query Graph Component) endobj 145 0 obj << /S /GoTo /D (subsection.92) >> endobj 148 0 obj (Query Types) endobj 149 0 obj << /S /GoTo /D (subsection.96) >> endobj 152 0 obj (Query Answers) endobj 153 0 obj << /S /GoTo /D (subsection.98) >> endobj 156 0 obj (The Answer Set Cache) endobj 157 0 obj << /S /GoTo /D (section.101) >> endobj 160 0 obj (A Query Processing Sequence) endobj 161 0 obj << /S /GoTo /D (section.103) >> endobj 164 0 obj (Error Handling) endobj 165 0 obj << /S /GoTo /D (section.104) >> endobj 168 0 obj (Testing) endobj 169 0 obj << /S /GoTo /D (section.107) >> endobj 172 0 obj (The DQL Client Interface) endobj 173 0 obj << /S /GoTo /D (chapter.113) >> endobj 176 0 obj (Conclusion) endobj 177 0 obj << /S /GoTo /D (section.114) >> endobj 180 0 obj (Improvements for Future Versions) endobj 181 0 obj << /S /GoTo /D (subsection.115) >> endobj 184 0 obj (Extended Query Support) endobj 185 0 obj << /S /GoTo /D (subsection.116) >> endobj 188 0 obj (Multi-Thread Safe Reasoner Connections) endobj 189 0 obj << /S /GoTo /D (subsection.117) >> endobj 192 0 obj (Proper Use of the Termination Token) endobj 193 0 obj << /S /GoTo /D (subsection.118) >> endobj 196 0 obj (Interaction with the Reasoner) endobj 197 0 obj << /S /GoTo /D (subsection.119) >> endobj 200 0 obj (Improved Candidate Checks) endobj 201 0 obj << /S /GoTo /D (section.120) >> endobj 204 0 obj (Identified Improvements for the DQL Specification) endobj 205 0 obj << /S /GoTo /D (subsection.121) >> endobj 208 0 obj (Security) endobj 209 0 obj << /S /GoTo /D (subsection.122) >> endobj 212 0 obj (External Query Language Definition) endobj 213 0 obj << /S /GoTo /D (subsection.125) >> endobj 216 0 obj (Forced Different or Equal Bindings) endobj 217 0 obj << /S /GoTo /D (subsection.127) >> endobj 220 0 obj (Knowledge Base Loading) endobj 221 0 obj << /S /GoTo /D (subsection.128) >> endobj 224 0 obj (Answer Bundle Size Bound) endobj 225 0 obj << /S /GoTo /D (section.129) >> endobj 228 0 obj (Comparison with Other Systems) endobj 229 0 obj << /S /GoTo /D (subsection.131) >> endobj 232 0 obj (The Stanford OWL-QL Server) endobj 233 0 obj << /S /GoTo /D (subsection.138) >> endobj 236 0 obj (Racer Query Language) endobj 237 0 obj << /S /GoTo /D (chapter*.139) >> endobj 240 0 obj (References) endobj 241 0 obj << /S /GoTo /D (appendix.171) >> endobj 244 0 obj (Appendix) endobj 245 0 obj << /S /GoTo /D (section.172) >> endobj 248 0 obj (Notation) endobj 249 0 obj << /S /GoTo /D (section.173) >> endobj 252 0 obj (Abbreviations) endobj 253 0 obj << /S /GoTo /D (section.176) >> endobj 256 0 obj (The Enclosed CD) endobj 257 0 obj << /S /GoTo /D (subsection.177) >> endobj 260 0 obj (Application Files) endobj 261 0 obj << /S /GoTo /D (subsection.178) >> endobj 264 0 obj (Dependent Applications) endobj 265 0 obj << /S /GoTo /D (subsection.179) >> endobj 268 0 obj (The Report and the References) endobj 269 0 obj << /S /GoTo /D (subsection.180) >> endobj 272 0 obj (The Project Source Files) endobj 273 0 obj << /S /GoTo /D (subsection.181) >> endobj 276 0 obj (Documentation) endobj 277 0 obj << /S /GoTo /D (section.182) >> endobj 280 0 obj (Model Theoretic Semantics of DAML+OIL) endobj 281 0 obj << /S /GoTo /D [282 0 R /Fit ] >> endobj 284 0 obj << /Length 619 /Filter /FlateDecode >> stream xڍTɎ0Wp)8 6̚D:)MEӘ13ߧvMG-خ\C"1*(XT+5Z`"~&RQ Ĕ LAπ)G %zB9G:@/ Zo睱*I)ծʘi(Efe$_hgiR[dwIcq8Y] JJGZ=4=TEk~,Beժ`٨κzTeTWl{zpÃfh e!]ZB)XW+zҍQ^yi)@n44_/˄ j7N;ة{kV{9kv_p+YxFxwsN(A6] 4d M&x"na'ظ2.5)Gz!<'HUfda[1 vZ)|ݚnÃNNs))xs3Ypx#Cgc~|;UwA )3vC牢GVfQ3