메뉴 건너뛰기




Volumn 7031 LNCS, Issue PART 1, 2011, Pages 681-696

Repairing ontologies for incomplete reasoners

Author keywords

[No Author keywords available]

Indexed keywords

PRACTICAL ALGORITHMS; QUERY ANSWERING; REASONER; SEMANTIC WEB APPLICATIONS;

EID: 80055033354     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-25073-6_43     Document Type: Conference Paper
Times cited : (15)

References (17)
  • 2
    • 78149274365 scopus 로고    scopus 로고
    • Expressive Approximations in DL-lite Ontologies
    • Dicheva, D., Dochev, D. (eds.) AIMSA 2010. Springer, Heidelberg
    • Botoeva, E., Calvanese, D., Rodriguez-Muro, M.: Expressive Approximations in DL-lite Ontologies. In: Dicheva, D., Dochev, D. (eds.) AIMSA 2010. LNCS, vol. 6304, pp. 21-31. Springer, Heidelberg (2010)
    • (2010) LNCS , vol.6304 , pp. 21-31
    • Botoeva, E.1    Calvanese, D.2    Rodriguez-Muro, M.3
  • 3
    • 84880493386 scopus 로고    scopus 로고
    • Description logic programs: Combining logic programs with description logic
    • Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: Combining logic programs with description logic. In: Proc. of WWW, pp. 48-57 (2003)
    • (2003) Proc. of WWW , pp. 48-57
    • Grosof, B.N.1    Horrocks, I.2    Volz, R.3    Decker, S.4
  • 4
    • 25144513579 scopus 로고    scopus 로고
    • LUBM: A Benchmark for OWL Knowledge Base Systems
    • Guo, Y., Pan, Z., Heflin, J.: LUBM: A Benchmark for OWL Knowledge Base Systems. Journal of Web Semantics 3(2), 158-182 (2005)
    • (2005) Journal of Web Semantics , vol.3 , Issue.2 , pp. 158-182
    • Guo, Y.1    Pan, Z.2    Heflin, J.3
  • 5
    • 41349083943 scopus 로고    scopus 로고
    • Deciding Expressive Description Logics in the Framework of Resolution
    • Hustadt, U., Motik, B., Sattler, U.: Deciding Expressive Description Logics in the Framework of Resolution. Information & Computation 206(5), 579-601 (2008)
    • (2008) Information & Computation , vol.206 , Issue.5 , pp. 579-601
    • Hustadt, U.1    Motik, B.2    Sattler, U.3
  • 6
    • 33744820303 scopus 로고    scopus 로고
    • Owlim-a pragmatic semantic repository for owl
    • Dean, M., Guo, Y., Jun, W., Kaschek, R., Krishnaswamy, S., Pan, Z., Sheng, Q.Z. (eds.)
    • Kiryakov, A., Ognyanov, D., Manov, D.: Owlim-a pragmatic semantic repository for owl. In: Dean, M., Guo, Y., Jun, W., Kaschek, R., Krishnaswamy, S., Pan, Z., Sheng, Q.Z. (eds.) WISE Workshops, pp. 182-192 (2005)
    • (2005) WISE Workshops , pp. 182-192
    • Kiryakov, A.1    Ognyanov, D.2    Manov, D.3
  • 9
    • 57549095614 scopus 로고    scopus 로고
    • Combining a DL Reasoner and a Rule Engine for Improving Entailment-Based OWL Reasoning
    • Sheth, A.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. Springer, Heidelberg
    • Meditskos, G., Bassiliades, N.: Combining a DL Reasoner and a Rule Engine for Improving Entailment-Based OWL Reasoning. In: Sheth, A.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol. 5318, pp. 277-292. Springer, Heidelberg (2008)
    • (2008) LNCS , vol.5318 , pp. 277-292
    • Meditskos, G.1    Bassiliades, N.2
  • 13
    • 77549087969 scopus 로고    scopus 로고
    • Tractable query answering and rewriting under description logic constraints
    • Pérez-Urbina, H., Motik, B., Horrocks, I.: Tractable query answering and rewriting under description logic constraints. Journal of Applied Logic 8(2), 186-209 (2010)
    • (2010) Journal of Applied Logic , vol.8 , Issue.2 , pp. 186-209
    • Pérez-Urbina, H.1    Motik, B.2    Horrocks, I.3
  • 14
    • 33750022060 scopus 로고    scopus 로고
    • Ontological and Practical Issues in Using a Description Logic to Represent Medical Concept Systems: Experience from GALEN
    • Barahona, P., Bry, F., Franconi, E., Henze, N., Sattler, U. (eds.) Reasoning Web 2006. Springer, Heidelberg
    • Rector, A.L., Rogers, J.D.: Ontological and Practical Issues in Using a Description Logic to Represent Medical Concept Systems: Experience from GALEN. In: Barahona, P., Bry, F., Franconi, E., Henze, N., Sattler, U. (eds.) Reasoning Web 2006. LNCS, vol. 4126, pp. 197-231. Springer, Heidelberg (2006)
    • (2006) LNCS , vol.4126 , pp. 197-231
    • Rector, A.L.1    Rogers, J.D.2
  • 15
    • 78650881494 scopus 로고    scopus 로고
    • Completeness guarantees for incomplete reasoners
    • Proc. of ISWC-10. Springer
    • Stoilos, G., Cuenca Grau, B., Horrocks, I.: Completeness guarantees for incomplete reasoners. In: Proc. of ISWC-10. LNCS, Springer (2010)
    • (2010) LNCS
    • Stoilos, G.1    Cuenca Grau, B.2    Horrocks, I.3
  • 17
    • 52649168921 scopus 로고    scopus 로고
    • Implementing an inference engine for RDFS/OWL constructs and user-defined rules in oracle
    • IEEE
    • Wu, Z., Eadon, G., Das, S., Chong, E.I., Kolovski, V., Annamalai, M., Srinivasan, J.: Implementing an inference engine for RDFS/OWL constructs and user-defined rules in oracle. In: Proc. of ICDE, pp. 1239-1248. IEEE (2008)
    • (2008) Proc. of ICDE , pp. 1239-1248
    • Wu, Z.1    Eadon, G.2    Das, S.3    Chong, E.I.4    Kolovski, V.5    Annamalai, M.6    Srinivasan, J.7


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