Query processing with description logic ontologies over object-wrapped databases
Proceedings 14th International Conference on Scientific and Statistical Database Management - Trang 27-36
Tóm tắt
This paper presents an approach to answering queries over an ontology modelled using a description logic. The ontology acts as a global schema, providing a declarative description of the concepts of the domain, the instances of which are stored in (potentially many) object-wrapped sources. Queries are expressed using terms from the rich vocabulary of the ontology, and are translated into an equivalent calculus expression, which references only the objects available in the source databases. The query is then optimized on the basis of information from the ontology and the source databases. Distinctive features of the approach include: the use of the expressive ALCQI description logic, which supports both ontology definition and query expression; the adoption of a global-as-view approach to relating the ontology to the sources; and the use of the ontology to direct semantic optimization of queries phrased over specific sources. The approach is being developed in, and is illustrated using examples from, bioinformatics.
Từ khóa
#Query processing #Logic #Ontologies #Proposals #Bioinformatics #Calculus #Spatial databases #Object oriented modeling #Algebra #Computer scienceTài liệu tham khảo
etzold, 1996, SRS: information retrieval system for molecular biology data banks, Methods Enzymol 266 114–128, 10.1016/S0076-6879(96)66010-8
fegaras, 2001, Optimizing object queries using an effective calculus, ACM Transactions on Database Systems
10.1142/S0218843000000181
10.1147/sj.402.0532
horrocks, 1999, Practical reasoning for expressive description logics, Proc of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR'99), 161, 10.1007/3-540-48242-3_11
10.1007/BF00962627
10.1023/A:1008741824956
10.1109/SSDM.1999.787629
10.1093/bib/1.4.398
ullman, 1997, Information integration using logical views, Proc of the 6th Int Conf on Database Theory (ICDT'97), 1186, 19, 10.1007/3-540-62222-5_34
10.1007/978-1-4615-5643-5_8
10.1109/LICS.2000.855784
cattell, 2000, The Object Data Standard ODMG 3 0
calvanese, 0, Unifying class-based representation formalisms, J of Artificial Intelligence Research 11 199–240 1999
davidson, 1997, BioKleisli: A Digital Library for Biomedical Researchers, Journal of Digital Libraries, 1, 36, 10.1007/s007990050003
10.1109/SSDM.1997.621192
10.1109/COOPIS.1998.706234
10.1007/BF00122124
10.1145/170088.170143