메뉴 건너뛰기




Volumn , Issue , 2006, Pages 186-193

An ontology-driven management of change

Author keywords

[No Author keywords available]

Indexed keywords

DOCUMENT MANAGEMENT SYSTEMS; MAINTENANCE PROCESS; MANAGEMENT IS; MANAGEMENT OF CHANGE;

EID: 84874014871     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (9)

References (20)
  • 2
    • 84874010579 scopus 로고    scopus 로고
    • [CNX, 2006]. Project home page at, seen August
    • [CNX, 2006] CONNEXIONS. Project home page at http://www.cnx.org, seen August 2006.
    • (2006)
  • 3
    • 84874012511 scopus 로고    scopus 로고
    • [DocEng, 2006]. Web site at, seen April
    • [DocEng, 2006] The ACM Symposium on Document Engineering. Web site at http://www.documentengineering.org, seen April 2006.
    • (2006) The ACM Symposium on Document Engineering
  • 6
    • 84874001394 scopus 로고    scopus 로고
    • An exploration in the space of mathematical knowledge
    • [Kohlhase and Kohlhase, 2005]. Michael Kohlhase, editor, Springer Verlag
    • [Kohlhase and Kohlhase, 2005] Andrea Kohlhase and Michael Kohlhase. An Exploration in the Space of Mathematical Knowledge. In Michael Kohlhase, editor, Mathematical Knowledge Management, MKM'05, number 3863 in LNAI. Springer Verlag, 2005.
    • (2005) Mathematical Knowledge Management, MKM'05, Number 3863 in LNAI
    • Kohlhase, A.1    Kohlhase, M.2
  • 7
    • 84858929159 scopus 로고    scopus 로고
    • [Kohlhase, 2005]. Manuscript
    • [Kohlhase, 2005] Michael Kohlhase. Semantic markup for TEX/LATEX. Manuscript, available at http://kwarc.eecs.iu-bremen.de/software/stex, 2005.
    • (2005) Semantic Markup for TEX/LATEX
    • Kohlhase, M.1
  • 8
    • 33745661790 scopus 로고    scopus 로고
    • OMDOC-An open markup format for mathematical documents [Version 1.2]
    • [Kohlhase, 2006]. Springer Verlag
    • [Kohlhase, 2006] Michael Kohlhase. OMDOC-An open markup format for mathematical documents [Version 1.2]. Number 4180 in LNAI. Springer Verlag, 2006.
    • (2006) Number 4180 in LNAI
    • Kohlhase, M.1
  • 10
    • 85027489001 scopus 로고    scopus 로고
    • Semantic interrelation of documents via an ontology
    • [Krieg-Brückner et al., 2004b]. G. Engels and S. Seehusen, editors, 6.-8. September 2004, Paderborn, Germany, volume P-52 of Lecture Notes in Informatics, Springer-Verlag; D-69121 Heidelberg, Germany
    • [Krieg-Brückner et al., 2004b] Bernd Krieg-Brückner, Arne Lindow, Christoph Lüth, Achim Mahnke, and George Russell. Semantic interrelation of documents via an ontology. In G. Engels and S. Seehusen, editors, DeLFI 2004, Tagungsband der 2. e-Learning Fachtagung Informatik, 6.-8. September 2004, Paderborn, Germany, volume P-52 of Lecture Notes in Informatics, pages 271-282. Springer-Verlag; D-69121 Heidelberg, Germany; http://www.springer.de, 2004.
    • (2004) DeLFI 2004, Tagungsband der 2. E-Learning Fachtagung Informatik , pp. 271-282
    • Krieg-Brückner, B.1    Lindow, A.2    Lüth, C.3    Mahnke, A.4    Russell, G.5
  • 11
    • 84873470933 scopus 로고    scopus 로고
    • A semantic wiki for mathematical knowledge management
    • [Lange and Kohlhase, 2006]. Max Völkel, Sebastian Schaffert, and Stefan Decker, editors, Budva, Montenegro, 2006. CEUR Workshop Proceedings. To appear, provisional online version
    • [Lange and Kohlhase, 2006] Christoph Lange and Michael Kohlhase. A semantic wiki for mathematical knowledge management. In Max Völkel, Sebastian Schaffert, and Stefan Decker, editors, Proceedings of the 1st Workshop on Semantic Wikis, European Semantic Web Conference 2006, Budva, Montenegro, 2006. CEUR Workshop Proceedings. To appear, provisional online version at http://www.eswc2006.org/technologies/usb/proceedings-workshops/ eswc2006-workshop-semantic-wikis.pdf.
    • Proceedings of the 1st Workshop on Semantic Wikis, European Semantic Web Conference 2006
    • Lange, C.1    Kohlhase, M.2
  • 14
    • 33644636474 scopus 로고    scopus 로고
    • Development graphs-proof management for structured specifications
    • [Mossakowski et al., 2006]
    • [Mossakowski et al., 2006] T. Mossakowski, S. Autexier, and D. Hutter. Development graphs-proof management for structured specifications. Journal of Logic and Algebraic Programming, 67(1-2):114-145, 2006.
    • (2006) Journal of Logic and Algebraic Programming , vol.67 , Issue.1-2 , pp. 114-145
    • Mossakowski, T.1    Autexier, S.2    Hutter, D.3
  • 16
  • 18
    • 84874016405 scopus 로고    scopus 로고
    • Wissen managen
    • [Probst et al., 1997] edition, 1997
    • [Probst et al., 1997] G. Probst, St. Raub, and Kai Romhardt. Wissen managen. Gabler Verlag, 4 (2003) edition, 1997.
    • (2003) Gabler Verlag , vol.4
    • Probst, G.1    Raub, S.2    Romhardt, K.3
  • 19
    • 84874002240 scopus 로고    scopus 로고
    • [SVN, 2006]. Web site at, seen August
    • [SVN, 2006] The Subversion Project. Web site at http://subversion.tigris. org/, seen August 2006.
    • (2006) The Subversion Project


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