메뉴 건너뛰기




Volumn 3831 LNCS, Issue , 2006, Pages 14-29

Evolving ontology evolution

Author keywords

[No Author keywords available]

Indexed keywords

KNOWLEDGE BASED SYSTEMS; PROBLEM SOLVING; SEMANTICS; WEBSITES;

EID: 33745651803     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11611257_2     Document Type: Conference Paper
Times cited : (34)

References (32)
  • 1
    • 0000128393 scopus 로고
    • On the logic of theory change: Partial meet contraction and revision functions
    • Alchourron, C., Gärdenfors, P., Makinson, D.: On the Logic of Theory Change: Partial Meet Contraction and Revision Functions. Journal of Symbolic Logic 50 (1985) 510-530
    • (1985) Journal of Symbolic Logic , vol.50 , pp. 510-530
    • Alchourron, C.1    Gärdenfors, P.2    Makinson, D.3
  • 2
    • 0003727420 scopus 로고    scopus 로고
    • Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds): Cambridge University Press
    • Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds): The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press (2002)
    • (2002) The Description Logic Handbook: Theory, Implementation and Applications
  • 3
    • 29144450096 scopus 로고    scopus 로고
    • Description logics as ontology languages for the semantic web
    • Hutter, D., Stephan, W. (eds): Festschrift in honor of Jörg Siekmann. Springer-Verlag
    • Baader, F., Horrocks, I., Sattler, U.: Description Logics as Ontology Languages for the Semantic Web. In: Hutter, D., Stephan, W. (eds): Festschrift in honor of Jörg Siekmann. Lecture Notes in Artificial Intelligence, Springer-Verlag, (2003)
    • (2003) Lecture Notes in Artificial Intelligence
    • Baader, F.1    Horrocks, I.2    Sattler, U.3
  • 7
    • 33745664752 scopus 로고    scopus 로고
    • Handling ontology change: Survey and proposal for a future research direction
    • Flouris, G., Plexousakis, D.: Handling Ontology Change: Survey and Proposal for a Future Research Direction. Technical Report FORTH-ICS/TR-362 (2005)
    • (2005) Technical Report , vol.FORTH-ICS-TR-362
    • Flouris, G.1    Plexousakis, D.2
  • 8
    • 33646429314 scopus 로고    scopus 로고
    • AGM postulates in arbitrary logics: Initial results and applications
    • Flouris, G., Plexousakis, D., Antoniou, G.: AGM Postulates in Arbitrary Logics: Initial Results and Applications. Technical Report FORTH-ICS/TR-336 (2004)
    • (2004) Technical Report , vol.FORTH-ICS-TR-336
    • Flouris, G.1    Plexousakis, D.2    Antoniou, G.3
  • 11
    • 0003353428 scopus 로고
    • Belief revision: An introduction
    • Gärdenfors, P. (ed): Cambridge University Press
    • Gärdenfors, P.: Belief Revision: An Introduction. In: Gärdenfors, P. (ed): Belief Revision. Cambridge University Press (1992) 1-20
    • (1992) Belief Revision , pp. 1-20
    • Gärdenfors, P.1
  • 12
    • 0002428155 scopus 로고
    • The dynamics of belief systems: Foundations versus coherence theories
    • Gärdenfors, P.: The Dynamics of Belief Systems: Foundations Versus Coherence Theories. Revue Internationale de Philosophie 44 (1992) 24-46
    • (1992) Revue Internationale de Philosophie , vol.44 , pp. 24-46
    • Gärdenfors, P.1
  • 15
    • 0013328572 scopus 로고    scopus 로고
    • A survey of non-prioritized belief revision
    • Hansson, S.O.: A Survey of Non-prioritized Belief Revision. Erkenntnis 50 (1999)
    • (1999) Erkenntnis , vol.50
    • Hansson, S.O.1
  • 16
    • 0000103388 scopus 로고
    • In defense of base contraction
    • Hansson, S.O.: In Defense of Base Contraction. Synthese 91 (1992) 239-245
    • (1992) Synthese , vol.91 , pp. 239-245
    • Hansson, S.O.1
  • 17
    • 0030120628 scopus 로고    scopus 로고
    • Knowledge-level analysis of belief base operations
    • Hansson, S.O.: Knowledge-level Analysis of Belief Base Operations. Artificial Intelligence 82 (1996) 215-235
    • (1996) Artificial Intelligence , vol.82 , pp. 215-235
    • Hansson, S.O.1
  • 19
    • 9344221124 scopus 로고    scopus 로고
    • Reducing OWL entailment to description logic satisfiability
    • Horrocks, I., Patel-Schneider, P.: Reducing OWL Entailment to Description Logic Satisfiability. Journal of Web Semantics 1 4 (2004) 345-357
    • (2004) Journal of Web Semantics , vol.1 , Issue.4 , pp. 345-357
    • Horrocks, I.1    Patel-Schneider, P.2
  • 22
  • 26
    • 0242355917 scopus 로고
    • How to give it up: A survey of some formal aspects of the logic of theory change
    • Makinson, D.: How to Give It Up: A Survey of Some Formal Aspects of the Logic of Theory Change, Synthese 62 (1985) 347-363
    • (1985) Synthese , vol.62 , pp. 347-363
    • Makinson, D.1
  • 29
    • 85132103794 scopus 로고    scopus 로고
    • Ontology evolution: Not the same as schema evolution
    • Noy, N.F., Klein, M.: Ontology Evolution: Not the Same as Schema Evolution, Knowledge and Information Systems 6 4 (2004) 428-440
    • (2004) Knowledge and Information Systems , vol.6 , Issue.4 , pp. 428-440
    • Noy, N.F.1    Klein, M.2


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