메뉴 건너뛰기




Volumn 5318 LNCS, Issue , 2008, Pages 517-532

An interface-based ontology modularization framework for knowledge encapsulation

Author keywords

[No Author keywords available]

Indexed keywords

MODULAR CONSTRUCTION; ONTOLOGY;

EID: 57349097715     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-88564-1_33     Document Type: Conference Paper
Times cited : (8)

References (20)
  • 3
    • 16244394689 scopus 로고    scopus 로고
    • Distributed description logics: Assimilating information from peer sources
    • Borgida, A., Serafini, L.: Distributed description logics: Assimilating information from peer sources. J. Data Semantics 1, 153-184 (2003)
    • (2003) J. Data Semantics , vol.1 , pp. 153-184
    • Borgida, A.1    Serafini, L.2
  • 4
    • 0242276205 scopus 로고    scopus 로고
    • Bouquet, P., Giunchiglia, F., Harmelen, F., Serafini, L., Stuckenschmidt, H.: COWL: Contextualizing ontologies. In: Fensel, D., Sycara, K.P., Mylopoulos, J. (eds.) ISWC 2003. LNCS, 2870. Springer, Heidelberg (2003)
    • Bouquet, P., Giunchiglia, F., Harmelen, F., Serafini, L., Stuckenschmidt, H.: COWL: Contextualizing ontologies. In: Fensel, D., Sycara, K.P., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870. Springer, Heidelberg (2003)
  • 5
    • 84880858606 scopus 로고    scopus 로고
    • Eql-lite: Effective first-order query processing in description logics
    • Calvanese, D., Giacomo, G.D., Lembo, D., Lenzerini, M., Rosati, R.: Eql-lite: Effective first-order query processing in description logics. In: IJCAI, pp. 274-279 (2007)
    • (2007) IJCAI , pp. 274-279
    • Calvanese, D.1    Giacomo, G.D.2    Lembo, D.3    Lenzerini, M.4    Rosati, R.5
  • 8
    • 35348889032 scopus 로고    scopus 로고
    • Grau, B.C., Horrocks, I., Kazakov, Y., Sattler, U.: Just the right amount: extracting modules from ontologies. In: WWW 2007, pp. 717-726. ACM, New York (2007)
    • Grau, B.C., Horrocks, I., Kazakov, Y., Sattler, U.: Just the right amount: extracting modules from ontologies. In: WWW 2007, pp. 717-726. ACM, New York (2007)
  • 11
    • 84880874673 scopus 로고    scopus 로고
    • Ontology reasoning in the shoq(d) description logic
    • Horrocks, I., Sattler, U.: Ontology reasoning in the shoq(d) description logic. In: IJCAI, pp. 199-204 (2001)
    • (2001) IJCAI , pp. 199-204
    • Horrocks, I.1    Sattler, U.2
  • 12
    • 84886280180 scopus 로고    scopus 로고
    • Horrocks, I., Sattler, U., Tobies, S.: Practical reasoning for expressive description logics. In: Ganzinger, H., McAllester, D., Voronkov, A. (eds.) LPAR 1999. LNCS, 1705, pp. 161-180. Springer, Heidelberg (1999)
    • Horrocks, I., Sattler, U., Tobies, S.: Practical reasoning for expressive description logics. In: Ganzinger, H., McAllester, D., Voronkov, A. (eds.) LPAR 1999. LNCS, vol. 1705, pp. 161-180. Springer, Heidelberg (1999)
  • 14
    • 1942537112 scopus 로고    scopus 로고
    • E-connections of abstract description systems
    • Kutz, O., Lutz, C., Wolter, F., Zakharyaschev, M.: E-connections of abstract description systems. Artif. Intell. 156(1), 1-73 (2004)
    • (2004) Artif. Intell , vol.156 , Issue.1 , pp. 1-73
    • Kutz, O.1    Lutz, C.2    Wolter, F.3    Zakharyaschev, M.4
  • 15
    • 57349199208 scopus 로고    scopus 로고
    • Haase, P., Rudolph, S.: J. E. A. Z. M. D. M. I. Y. J. C. C. C. B. A. J. M. G. Deliverable d1.1.3 neon formalisms for modularization: Syntax, semantics, algebra, NEON EU-IST-2005-027595 (2008)
    • Haase, P., Rudolph, S.: J. E. A. Z. M. D. M. I. Y. J. C. C. C. B. A. J. M. G. Deliverable d1.1.3 neon formalisms for modularization: Syntax, semantics, algebra, NEON EU-IST-2005-027595 (2008)
  • 16
    • 33845453976 scopus 로고    scopus 로고
    • Seidenberg, J., R.ector, A.: Web ontology segmentation: analysis, classification and use. In: WWW 2006, pp. 13-22. ACM, New York (2006)
    • Seidenberg, J., R.ector, A.: Web ontology segmentation: analysis, classification and use. In: WWW 2006, pp. 13-22. ACM, New York (2006)
  • 18
    • 84976756363 scopus 로고    scopus 로고
    • Snyder, A.: Encapsulation and inheritance in object-oriented programming languages. In: OOPLSA 1986, pp. 38-45. ACM, New York (1986)
    • Snyder, A.: Encapsulation and inheritance in object-oriented programming languages. In: OOPLSA 1986, pp. 38-45. ACM, New York (1986)
  • 19
    • 84880802794 scopus 로고    scopus 로고
    • Integrity and change in modular ontologies
    • Stuckenschmidt, H., Klein, M.C.A.: Integrity and change in modular ontologies. In: IJCAI, pp. 900-908 (2003)
    • (2003) IJCAI , pp. 900-908
    • Stuckenschmidt, H.1    Klein, M.C.A.2


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