메뉴 건너뛰기




Volumn 5341 LNCS, Issue , 2008, Pages 43-57

Reasoning with a network of aligned ontologies

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTABILITY AND DECIDABILITY; DATA DESCRIPTION; PEER TO PEER NETWORKS;

EID: 57049170306     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-88737-9_5     Document Type: Conference Paper
Times cited : (31)

References (12)
  • 1
    • 69849089097 scopus 로고    scopus 로고
    • Tableau Algorithms for Description Logics
    • Dyckhoff, R, ed, TABLEAUX 2000, Springer, Heidelberg
    • Baader, F.: Tableau Algorithms for Description Logics. In: Dyckhoff, R. (ed.) TABLEAUX 2000. LNCS, vol. 1847, pp. 1-18. Springer, Heidelberg (2000)
    • (2000) LNCS , vol.1847 , pp. 1-18
    • Baader, F.1
  • 2
    • 33845463186 scopus 로고    scopus 로고
    • Bao, J., Caragea, D., Honavar, V.: On the Semantics of Linking and Importing in Modular Ontologies. In: Cruz, I.F., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L. (eds.) ISWC 2006. LNCS, 4273, pp. 72-86. Springer, Heidelberg (2006)
    • Bao, J., Caragea, D., Honavar, V.: On the Semantics of Linking and Importing in Modular Ontologies. In: Cruz, I.F., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L. (eds.) ISWC 2006. LNCS, vol. 4273, pp. 72-86. Springer, Heidelberg (2006)
  • 3
    • 0242308061 scopus 로고    scopus 로고
    • Distributed Description Logics: Assimilating Information from Peer Sources
    • Borgida, A., Serafini, L.: Distributed Description Logics: Assimilating Information from Peer Sources. Journal on Data Semantics I 2008, 153-184 (2003)
    • (2003) Journal on Data Semantics , vol.I 2008 , pp. 153-184
    • Borgida, A.1    Serafini, L.2
  • 4
    • 77955379053 scopus 로고    scopus 로고
    • Expressive alignment language and implementation. Deliverable 2.2.10, Knowledge Web NoE
    • Euzenat, J., Scharffe, F., Zimmermann, A.: Expressive alignment language and implementation. Deliverable 2.2.10, Knowledge Web NoE (2007). ftp://ftp.inrialpes.fr/pub/exmo/reports/kweb-2210.pdf
    • Euzenat, J.1    Scharffe, F.2    Zimmermann, A.3
  • 6
    • 84885016756 scopus 로고    scopus 로고
    • Alignment-based modules for encapsulating ontologies
    • Cuenca-Grau, B, Honavar, V.G, Schlicht, A, Wolter, F, eds
    • Euzenat, J., Zimmermann, A., Freitas, F.: Alignment-based modules for encapsulating ontologies. In: Cuenca-Grau, B., Honavar, V.G., Schlicht, A., Wolter, F. (eds.) Second International Workshop on Modular Ontologies (WOMO 2007), pp. 32-45 (2007)
    • (2007) Second International Workshop on Modular Ontologies (WOMO , pp. 32-45
    • Euzenat, J.1    Zimmermann, A.2    Freitas, F.3
  • 7
    • 1942537112 scopus 로고    scopus 로고
    • Kutz, O., Lutz, C., Wolter, F., Zakharyaschev, M.: ε -connections of abstract description systems. Artificial Intelligence 156(1), 1-73 (2004)
    • Kutz, O., Lutz, C., Wolter, F., Zakharyaschev, M.: ε -connections of abstract description systems. Artificial Intelligence 156(1), 1-73 (2004)
  • 9
    • 0033522692 scopus 로고    scopus 로고
    • Modal Logics, Description Logics and Arithmetic Reasoning
    • Ohlbach, H.J., Koehler, J.: Modal Logics, Description Logics and Arithmetic Reasoning. Artificial Intelligence 109(1-2), 1-31 (1999)
    • (1999) Artificial Intelligence , vol.109 , Issue.1-2 , pp. 1-31
    • Ohlbach, H.J.1    Koehler, J.2
  • 10
    • 84872895247 scopus 로고    scopus 로고
    • Zimmermann, A.: Integrated Distributed Description Logics. In: Calvanese, D., Franconi, E., Haarslev, V., Lembo, D., Motik, B., Tessaris, S., Turhan, A.-Y. (eds.) Proceedings of the 20th International Workshop on Description Logics DL 2007, pp. 507-514. Bolzano University Press (2007)
    • Zimmermann, A.: Integrated Distributed Description Logics. In: Calvanese, D., Franconi, E., Haarslev, V., Lembo, D., Motik, B., Tessaris, S., Turhan, A.-Y. (eds.) Proceedings of the 20th International Workshop on Description Logics DL 2007, pp. 507-514. Bolzano University Press (2007)
  • 11
    • 57049123782 scopus 로고    scopus 로고
    • Reasoning on a Network of Aligned Ontologies
    • Technical report, INRIA March
    • Zimmermann, A., Le Due, C.: Reasoning on a Network of Aligned Ontologies. Technical report, INRIA (March 2008), http://hal.inria.fr/inria-00267808/fr/
    • (2008)
    • Zimmermann, A.1    Le Due, C.2
  • 12
    • 33845405512 scopus 로고    scopus 로고
    • Zimmermann, A., Euzenat, J.: Three Semantics for Distributed Systems and their Relations with Alignment Composition. In: Cruz, I.E, Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L. (eds.) ISWC 2006. LNCS, 4273, pp. 16-29. Springer, Heidelberg (2006)
    • Zimmermann, A., Euzenat, J.: Three Semantics for Distributed Systems and their Relations with Alignment Composition. In: Cruz, I.E, Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L. (eds.) ISWC 2006. LNCS, vol. 4273, pp. 16-29. Springer, Heidelberg (2006)


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