메뉴 건너뛰기




Volumn 6304 LNAI, Issue , 2010, Pages 21-31

Expressive approximations in DL-Lite ontologies

Author keywords

[No Author keywords available]

Indexed keywords

DATA PROPERTIES; DOMAIN KNOWLEDGE; DOMAIN ONTOLOGIES; INCOMPLETE INFORMATION; LARGE AMOUNTS OF DATA; ONTOLOGY-BASED DATA ACCESS; POINT OF INTEREST; POSSIBLE SOLUTIONS; QUERY ANSWERING; SOUNDNESS AND COMPLETENESS; USER QUERY; VERY LARGE DATUM;

EID: 78149274365     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-15431-7_3     Document Type: Conference Paper
Times cited : (20)

References (19)
  • 4
    • 70349334135 scopus 로고    scopus 로고
    • Ontologies and databases: The DL-Lite approach
    • Tessaris, S., Franconi, E., Eiter, T., Gutierrez, C., Handschuh, S., Rousset, M.-C., Schmidt, R.A. (eds.) Reasoning Web. Semantic Technologies for Information Systems. Springer, Heidelberg
    • Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Poggi, A., Rodriguez-Muro, M., Rosati, R.: Ontologies and databases: The DL-Lite approach. In: Tessaris, S., Franconi, E., Eiter, T., Gutierrez, C., Handschuh, S., Rousset, M.-C., Schmidt, R.A. (eds.) Reasoning Web. Semantic Technologies for Information Systems. LNCS, vol. 5689, pp. 255-356. Springer, Heidelberg (2009)
    • (2009) LNCS , vol.5689 , pp. 255-356
    • Calvanese, D.1    De Giacomo, G.2    Lembo, D.3    Lenzerini, M.4    Poggi, A.5    Rodriguez-Muro, M.6    Rosati, R.7
  • 5
    • 34548305118 scopus 로고    scopus 로고
    • Tractable reasoning and efficient query answering in description logics: The DL-Lite family
    • DOI 10.1007/s10817-007-9078-x, Special Issue on Reasoning in Description Logics
    • Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: The DL-Lite family. J. of Automated Reasoning 39(3), 385-429 (2007) (Pubitemid 47340922)
    • (2007) Journal of Automated Reasoning , vol.39 , Issue.3 , pp. 385-429
    • Calvanese, D.1    De Giacomo, G.2    Lembo, D.3    Lenzerini, M.4    Rosati, R.5
  • 7
    • 0002734441 scopus 로고    scopus 로고
    • Ontobroker: Ontology based access to distributed and semi-structured information
    • Meersman, R., Tari, Z., Stevens, S. (eds.) ch. 20, Kluwer Academic Publishers, Dordrecht
    • Decker, S., Erdmann, M., Fensel, D., Studer, R.: Ontobroker: Ontology based access to distributed and semi-structured information. In: Meersman, R., Tari, Z., Stevens, S. (eds.) Database Semantic: Semantic Issues in Multimedia Systems, ch. 20, pp. 351-370. Kluwer Academic Publishers, Dordrecht (1999)
    • (1999) Database Semantic: Semantic Issues in Multimedia Systems , pp. 351-370
    • Decker, S.1    Erdmann, M.2    Fensel, D.3    Studer, R.4
  • 9
    • 84860523368 scopus 로고    scopus 로고
    • RIQ and SROIQ are harder than SHOIQ
    • Kazakov, Y.: RIQ and SROIQ are harder than SHOIQ. In: Proc. of KR 2008, pp. 274-284 (2008)
    • (2008) Proc. of KR 2008 , pp. 274-284
    • Kazakov, Y.1
  • 10
    • 78650500192 scopus 로고    scopus 로고
    • Enhancing web portals with Ontology-Based Data Access: The case study of South Africa's Accessibility Portal for people with disabilities
    • Keet, C.M., Alberts, R., Gerber, A., Chimamiwa, G.: Enhancing web portals with Ontology-Based Data Access: the case study of South Africa's Accessibility Portal for people with disabilities. In: Proc. of OWLED 2008 (2008)
    • (2008) Proc. of OWLED 2008
    • Keet, C.M.1    Alberts, R.2    Gerber, A.3    Chimamiwa, G.4
  • 11
    • 38349006924 scopus 로고    scopus 로고
    • Data complexity in the EL family of description logics
    • Krisnadhi, A., Lutz, C.: Data complexity in the EL family of description logics. In: Proc. of LPAR 2007, pp. 333-347 (2007)
    • (2007) Proc. of LPAR 2007 , pp. 333-347
    • Krisnadhi, A.1    Lutz, C.2
  • 12
    • 84880876708 scopus 로고    scopus 로고
    • Conservative extensions in expressive description logics
    • Lutz, C., Walther, D., Wolter, F.: Conservative extensions in expressive description logics. In: Proc. of IJCAI 2007, pp. 453-458 (2007)
    • (2007) Proc. of IJCAI 2007 , pp. 453-458
    • Lutz, C.1    Walther, D.2    Wolter, F.3
  • 13
    • 36348935029 scopus 로고    scopus 로고
    • Approximating OWL-DL ontologies
    • Pan, J.Z., Thomas, E.: Approximating OWL-DL ontologies. In: Proc. of AAAI 2007, pp. 1434-1439 (2007)
    • (2007) Proc. of AAAI 2007 , pp. 1434-1439
    • Pan, J.Z.1    Thomas, E.2
  • 14
    • 78149265497 scopus 로고    scopus 로고
    • Completeness guaranteed approximations for OWL-DL query answering
    • CEUR, ceur-ws.org
    • Pan, J.Z., Thomas, E., Zhao, Y.: Completeness guaranteed approximations for OWL-DL query answering. In: Proc. of DL 2009. CEUR, vol. 477 (2009), ceur-ws.org
    • (2009) Proc. of DL 2009 , vol.477
    • Pan, J.Z.1    Thomas, E.2    Zhao, Y.3
  • 16
    • 77954746808 scopus 로고    scopus 로고
    • Ontology-based database access with DIG-Mastro and the OBDA Plugin for Protégé
    • Clark, K., Patel-Schneider, P.F. (eds.)
    • Poggi, A., Rodríguez-Muro, M., Ruzzi, M.: Ontology-based database access with DIG-Mastro and the OBDA Plugin for Protégé. In: Clark, K., Patel-Schneider, P.F. (eds.) Proc. of OWLED 2008 DC (2008)
    • (2008) Proc. of OWLED 2008 DC
    • Poggi, A.1    Rodríguez-Muro, M.2    Ruzzi, M.3
  • 17
    • 84889029269 scopus 로고    scopus 로고
    • Soundness preserving approximation for TBox reasoning
    • Ren, Y., Pan, J.Z., Zhao, Y.: Soundness preserving approximation for TBox reasoning. In: Proc. of AAAI 2010 (2010)
    • (2010) Proc. of AAAI 2010
    • Ren, Y.1    Pan, J.Z.2    Zhao, Y.3
  • 18
    • 0030102186 scopus 로고    scopus 로고
    • Knowledge compilation and theory approximation
    • Selman, B., Kautz, H.: Knowledge compilation and theory approximation. J. of the ACM 43(2), 193-224 (1996)
    • (1996) J. of the ACM , vol.43 , Issue.2 , pp. 193-224
    • Selman, B.1    Kautz, H.2
  • 19
    • 57049122846 scopus 로고    scopus 로고
    • Approximate OWL-reasoning with Screech
    • Calvanese, D., Lausen, G. (eds.) RR 2008. Springer, Heidelberg
    • Tserendorj, T., Rudolph, S., Krötzsch, M., Hitzler, P.: Approximate OWL-reasoning with Screech. In: Calvanese, D., Lausen, G. (eds.) RR 2008. LNCS, vol. 5341, pp. 165-180. Springer, Heidelberg (2008)
    • (2008) LNCS , vol.5341 , pp. 165-180
    • Tserendorj, T.1    Rudolph, S.2    Krötzsch, M.3    Hitzler, P.4


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.