메뉴 건너뛰기




Volumn 5032 LNAI, Issue , 2008, Pages 84-95

Aspects of inconsistency resolution in modular ontologies

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; USER INTERFACES;

EID: 44649164593     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-68825-9_9     Document Type: Conference Paper
Times cited : (5)

References (17)
  • 1
    • 44649121552 scopus 로고    scopus 로고
    • On the formalization of interface-based modular ontologies under the closed-world assumption. Tech. rep
    • On the formalization of interface-based modular ontologies under the closed-world assumption. Tech. rep. (2008)
    • (2008)
  • 2
    • 33750232177 scopus 로고    scopus 로고
    • Bao, J., Caragea, D., Honavar, V.: Modular ontologies - a formal investigation of semantics and expressivity. In: Mizoguchi, R., Shi, Z.-Z., Giunchiglia, F. (eds.) ASWC 2006. LNCS, 4185, pp. 616-631. Springer, Heidelberg (2006)
    • Bao, J., Caragea, D., Honavar, V.: Modular ontologies - a formal investigation of semantics and expressivity. In: Mizoguchi, R., Shi, Z.-Z., Giunchiglia, F. (eds.) ASWC 2006. LNCS, vol. 4185, pp. 616-631. Springer, Heidelberg (2006)
  • 5
    • 0043115834 scopus 로고    scopus 로고
    • Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study part 1: The flat case
    • Benferhat, S., Dubois, D., Prade, H.: Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study part 1: The flat case. Studia, Logica 58(1), 17-45 (1997)
    • (1997) Studia, Logica , vol.58 , Issue.1 , pp. 17-45
    • Benferhat, S.1    Dubois, D.2    Prade, H.3
  • 6
    • 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
  • 7
    • 33745329882 scopus 로고    scopus 로고
    • Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Inconsistency tolerance in P2P data integration: an epistemic logic approach. In: Bierman, G., Koch, C. (eds.) DBPL 2005. LNCS, 3774, pp. 90-105. Springer, Heidelberg (2005)
    • Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Inconsistency tolerance in P2P data integration: an epistemic logic approach. In: Bierman, G., Koch, C. (eds.) DBPL 2005. LNCS, vol. 3774, pp. 90-105. Springer, Heidelberg (2005)
  • 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
    • 84880743024 scopus 로고    scopus 로고
    • Reasoning with inconsistent ontologies
    • Huang, Z., van Harmelen, F., ten Teije, A.: Reasoning with inconsistent ontologies. In: IJCAI, pp. 454-459 (2005)
    • (2005) IJCAI , pp. 454-459
    • Huang, Z.1    van Harmelen, F.2    ten Teije, A.3
  • 13
    • 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
    • 44649128064 scopus 로고    scopus 로고
    • A revision-based approach to handling inconsistency in description logics
    • Qi, G., Liu, W., Bell, D.: A revision-based approach to handling inconsistency in description logics. Artif. Intell. Rev. 26(1-2), 115-128 (2006)
    • (2006) Artif. Intell. Rev , vol.26 , Issue.1-2 , pp. 115-128
    • Qi, G.1    Liu, W.2    Bell, D.3
  • 16
    • 84880740288 scopus 로고    scopus 로고
    • Aspects of distributed and modular ontology reasoning
    • Serafini, L., Borgida, A., Tamilin, A.: Aspects of distributed and modular ontology reasoning. In: IJCAI, pp. 570-575 (2005)
    • (2005) IJCAI , pp. 570-575
    • Serafini, L.1    Borgida, A.2    Tamilin, A.3
  • 17
    • 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가 분석하여 추출한 것입니다.