메뉴 건너뛰기




Volumn 5341 LNCS, Issue , 2008, Pages 74-88

A survey of revision approaches in description logics

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LANGUAGES; LIFE CYCLE; ONTOLOGY;

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

References (28)
  • 1
    • 0000128393 scopus 로고
    • On the logic of theory change: Partial meet contraction and revision functions
    • Alchourrón, C.E., Gärdenfors, P., Makinson, D.: On the logic of theory change: Partial meet contraction and revision functions. J. Symb. Log. 50(2), 510-530 (1985)
    • (1985) J. Symb. Log , vol.50 , Issue.2 , pp. 510-530
    • Alchourrón, C.E.1    Gärdenfors, P.2    Makinson, D.3
  • 5
    • 33646394932 scopus 로고    scopus 로고
    • Generalizing the agm postulates: Preliminary results and applications
    • Flouris, G., Plexousakis, D., Antoniou, G.: Generalizing the agm postulates: preliminary results and applications. In: Proc. of NMR 2004, pp. 171-179 (2004)
    • (2004) Proc. of NMR , pp. 171-179
    • Flouris, G.1    Plexousakis, D.2    Antoniou, G.3
  • 6
    • 33646394310 scopus 로고    scopus 로고
    • Flouris, G., Plexousakis, D., Antoniou, G.: On applying the AGM theory to DLs and OWL. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, 3729, pp. 216-231. Springer, Heidelberg (2005)
    • Flouris, G., Plexousakis, D., Antoniou, G.: On applying the AGM theory to DLs and OWL. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol. 3729, pp. 216-231. Springer, Heidelberg (2005)
  • 7
    • 0001182056 scopus 로고
    • Theory contraction through base contraction
    • Fuhrmann, A.: Theory contraction through base contraction. Journal of Philosophical Logic 20(2), 175-203 (1991)
    • (1991) Journal of Philosophical Logic , vol.20 , Issue.2 , pp. 175-203
    • Fuhrmann, A.1
  • 9
    • 33750726055 scopus 로고    scopus 로고
    • On the update of description logic ontologies at the instance level
    • De Giacomo, G., Lenzerini, M., Poggi, A., Rosati, R.: On the update of description logic ontologies at the instance level. In: Proc. of AAAI 2006 (2006)
    • (2006) Proc. of AAAI
    • De Giacomo, G.1    Lenzerini, M.2    Poggi, A.3    Rosati, R.4
  • 10
    • 26444478633 scopus 로고    scopus 로고
    • Haase, P., Stojanovic, L.: Consistent evolution of owl ontologies. In: Gómez-Pérez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, 3532, pp. 182-197. Springer, Heidelberg (2005)
    • Haase, P., Stojanovic, L.: Consistent evolution of owl ontologies. In: Gómez-Pérez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, vol. 3532, pp. 182-197. Springer, Heidelberg (2005)
  • 11
    • 33646412834 scopus 로고    scopus 로고
    • Haase, P., van Harmelen, F., Huang, Z., Stuckenschmidt, H., Sure, Y.: A framework for handling inconsistency in changing ontologies. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, 3729, pp. 353-367. Springer, Heidelberg (2005)
    • Haase, P., van Harmelen, F., Huang, Z., Stuckenschmidt, H., Sure, Y.: A framework for handling inconsistency in changing ontologies. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol. 3729, pp. 353-367. Springer, Heidelberg (2005)
  • 13
    • 84977342710 scopus 로고
    • New operators for theory change
    • Hansson, S.O.: New operators for theory change. Theoria 55, 114-132 (1989)
    • (1989) Theoria , vol.55 , pp. 114-132
    • Hansson, S.O.1
  • 14
  • 15
    • 21844482326 scopus 로고
    • Kernel contraction
    • Hansson, S.O.: Kernel contraction. J. Symb. Log. 59(3), 845-859 (1994)
    • (1994) J. Symb. Log , vol.59 , Issue.3 , pp. 845-859
    • Hansson, S.O.1
  • 18
    • 0026383919 scopus 로고
    • Propositional knowledge base revision and minimal change
    • Katsuno, H., Mendelzon, A.O.: Propositional knowledge base revision and minimal change. Artif. Intell. 52(3), 263-294 (1992)
    • (1992) Artif. Intell , vol.52 , Issue.3 , pp. 263-294
    • Katsuno, H.1    Mendelzon, A.O.2
  • 20
    • 29344457216 scopus 로고    scopus 로고
    • Knowledge integration for description logics
    • Meyer, T., Lee, K., Booth, R.: Knowledge integration for description logics. In: Proc. of AAAI 2005, pp. 645-650 (2005)
    • (2005) Proc. of AAAI 2005 , pp. 645-650
    • Meyer, T.1    Lee, K.2    Booth, R.3
  • 21
    • 0003370662 scopus 로고
    • Reasoning and Revision in Hybrid Representation Systems
    • Springer, Heidelberg
    • Nebel, B.: Reasoning and Revision in Hybrid Representation Systems. LNCS, vol. 422. Springer, Heidelberg (1990)
    • (1990) LNCS , vol.422
    • Nebel, B.1
  • 22
    • 33746052027 scopus 로고    scopus 로고
    • Plessers, P., De Troyer, O.: Resolving inconsistencies in evolving ontologies. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, 4011, pp. 200-214. Springer, Heidelberg (2006)
    • Plessers, P., De Troyer, O.: Resolving inconsistencies in evolving ontologies. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol. 4011, pp. 200-214. Springer, Heidelberg (2006)
  • 23
    • 33750078987 scopus 로고    scopus 로고
    • Knowledge base revision in description logics
    • Fisher, M, van der Hoek, W, Konev, B, Lisitsa, A, eds, JELIA 2006, Springer, Heidelberg
    • Qi, G., Liu, W., Bell, D.A.: Knowledge base revision in description logics. In: Fisher, M., van der Hoek, W., Konev, B., Lisitsa, A. (eds.) JELIA 2006. LNCS (LNAI), vol. 4160, pp. 386-398. Springer, Heidelberg (2006)
    • (2006) LNCS (LNAI , vol.4160 , pp. 386-398
    • Qi, G.1    Liu, W.2    Bell, D.A.3
  • 25
    • 44349155989 scopus 로고    scopus 로고
    • Base revision in description logics - preliminary results
    • Ribeiro, M.M., Wassermann, R.: Base revision in description logics - preliminary results. In: Proc. of IWOD 2007, pp. 69-82 (2007)
    • (2007) Proc. of IWOD 2007 , pp. 69-82
    • Ribeiro, M.M.1    Wassermann, R.2


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