메뉴 건너뛰기




Volumn , Issue , 2008, Pages

Managing mathematical texts with OWL and their graphical representation

Author keywords

[No Author keywords available]

Indexed keywords

INTERNATIONAL CONFERENCES; NATURAL LANGUAGE PROCESSING; SYSTEM SCIENCES;

EID: 51449116630     PISSN: 15301605     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HICSS.2008.241     Document Type: Conference Paper
Times cited : (2)

References (30)
  • 1
    • 37849045104 scopus 로고
    • Die Architektur der Mathematik
    • Springer, Berlin, Heidelberg, New York
    • Bourbaki, N.: Die Architektur der Mathematik. Mathematiker über die Mathematik. Springer, Berlin, Heidelberg, New York (1974)
    • (1974) Mathematiker über die Mathematik
    • Bourbaki, N.1
  • 3
    • 48049093171 scopus 로고
    • Über formal unentscheidbare Sätze der Principia Mathematica und verwandte Systeme I,. Monatsheft f. Mathematik und
    • Gödel, K.: Über formal unentscheidbare Sätze der Principia Mathematica und verwandte Systeme I,. Monatsheft f. Mathematik und Physik (1931-1932) 147f
    • (1931) Physik
    • Gödel, K.1
  • 4
    • 51449109662 scopus 로고    scopus 로고
    • Jena: A Semantic Web Framework for Java. http://jena.sourceforge.net (last visited: 09/15/2007)
    • Jena: A Semantic Web Framework for Java. http://jena.sourceforge.net (last visited: 09/15/2007)
  • 5
    • 51449118471 scopus 로고    scopus 로고
    • The Apache Software Foundation: Apache Lucene. http://lucene.apache.org/ (last visited: 09/15/2007)
    • The Apache Software Foundation: Apache Lucene. http://lucene.apache.org/ (last visited: 09/15/2007)
  • 6
    • 0004171335 scopus 로고
    • An Ontology for Engineering Mathematics
    • Technical Report KSL-94-18, Stanford University
    • Gruber, T., Olsen, G.: An Ontology for Engineering Mathematics. Technical Report KSL-94-18, Stanford University (1994)
    • (1994)
    • Gruber, T.1    Olsen, G.2
  • 7
    • 0035201140 scopus 로고    scopus 로고
    • MBase: Representing Knowledge and Context for the Intergration of Mathematical Software Systems
    • M. Kohlhase, A. Franke, "MBase: Representing Knowledge and Context for the Intergration of Mathematical Software Systems.", Journal of Symbolic Computation 23:4, pp. 365-402 (2001)
    • (2001) Journal of Symbolic Computation , vol.23 , Issue.4 , pp. 365-402
    • Kohlhase, M.1    Franke, A.2
  • 8
    • 22944465027 scopus 로고    scopus 로고
    • Master's thesis, Universität des Saarlandes, Fachbereich Computerlinguistik November
    • Baur, J.: Syntax und Semantik mathematischer T6exte. Master's thesis, Universität des Saarlandes, Fachbereich Computerlinguistik (November 1999)
    • (1999) Syntax und Semantik mathematischer T6exte
    • Baur, J.1
  • 9
    • 51449101297 scopus 로고    scopus 로고
    • Wolfram Research: MathWorld. http://mathworld.wolfram.com (last visited: 09/15/2007)
    • Wolfram Research: MathWorld. http://mathworld.wolfram.com (last visited: 09/15/2007)
  • 11
    • 51449101546 scopus 로고    scopus 로고
    • Fellbaum, C.: WordNet. http://wordnet.princeton.edu (last visited: 09/15/2007)
    • Fellbaum, C.: WordNet. http://wordnet.princeton.edu (last visited: 09/15/2007)
  • 12
    • 51449084726 scopus 로고    scopus 로고
    • GermaNet Team: GermaNet. http://www.sfs.unituebingen.de/lsd/english.html (last visited: 09/15/2007)
    • GermaNet Team: GermaNet. http://www.sfs.unituebingen.de/lsd/english.html (last visited: 09/15/2007)
  • 14
    • 33746227615 scopus 로고    scopus 로고
    • MoMM - Fast Interreduction and Retrieval in Large Libraries of Formalized Mathematics
    • Urban, J.: MoMM - Fast Interreduction and Retrieval in Large Libraries of Formalized Mathematics. Internation Journal on Artificial Intelligence Tools (15(1)) (2006) 109-130
    • (2006) Internation Journal on Artificial Intelligence Tools (15(1)) , pp. 109-130
    • Urban, J.1
  • 17
    • 51449098441 scopus 로고    scopus 로고
    • Pinkall, M., Siekmann, J., Benzmüller, C., and Kruijff-Korbayova, I.: DIALOG. http://www.ags.unisb.de/~dialog/ (last visited: 09/15/2007)
    • Pinkall, M., Siekmann, J., Benzmüller, C., and Kruijff-Korbayova, I.: DIALOG. http://www.ags.unisb.de/~dialog/ (last visited: 09/15/2007)
  • 18
    • 51449110430 scopus 로고    scopus 로고
    • Asperti, A.,.Padovani, L., Sacerdoti Coen, C. and Schena, I.: HELM and the Semantic Web. In Boulton, R.J., Jackson, P.B., eds.: Theorem Proving in Higher Order Logics, 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001, Proceedings. 2152 of Lecture Notes in Computer Science., Springer (2001)
    • Asperti, A.,.Padovani, L., Sacerdoti Coen, C. and Schena, I.: HELM and the Semantic Web. In Boulton, R.J., Jackson, P.B., eds.: Theorem Proving in Higher Order Logics, 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001, Proceedings. Volume 2152 of Lecture Notes in Computer Science., Springer (2001)
  • 23
    • 51449105944 scopus 로고    scopus 로고
    • W3C: Web Ontology Language. http://www.w3c.org/2004/OWL (last visited: 09/15/2007)
    • W3C: Web Ontology Language. http://www.w3c.org/2004/OWL (last visited: 09/15/2007)
  • 24
    • 51449101764 scopus 로고    scopus 로고
    • The TEI Consortium: Text Encoding Initiative. http://www.tei-c.org (last visited: 09/15/2007)
    • The TEI Consortium: Text Encoding Initiative. http://www.tei-c.org (last visited: 09/15/2007)
  • 25
    • 51449091018 scopus 로고    scopus 로고
    • W3C: MathML. http://www.w3.org/Math (last visited: 09/15/2007)
    • W3C: MathML. http://www.w3.org/Math (last visited: 09/15/2007)
  • 26
    • 51449087172 scopus 로고    scopus 로고
    • Müller, S.: TRALE. http://www.cl.unibremen.de/Software/Trale/index. html (last visited: 09/15/2007)
    • Müller, S.: TRALE. http://www.cl.unibremen.de/Software/Trale/index. html (last visited: 09/15/2007)
  • 27
    • 37849022315 scopus 로고    scopus 로고
    • Deutsche Syntax deklarativ: Head-Driven Phrase Structure Grammar für das Deutsche
    • Max Niemeyer Verlag, Tübingen
    • Müller, S.: Deutsche Syntax deklarativ: Head-Driven Phrase Structure Grammar für das Deutsche. In: Linguistische Arbeiten, No. 394. Max Niemeyer Verlag, Tübingen (2005)
    • (2005) Linguistische Arbeiten , Issue.394
    • Müller, S.1
  • 28
    • 51449091019 scopus 로고    scopus 로고
    • Mozilla Foundation: Rhino. http://www.mozilla.org/rhino/ (last visited: 09/15/2007)
    • Mozilla Foundation: Rhino. http://www.mozilla.org/rhino/ (last visited: 09/15/2007)
  • 29
    • 51449103021 scopus 로고    scopus 로고
    • W3C: SPARQL. http://www.w3.org/TR/rdfsparql-query/ (last visited: 09/15/2007)
    • W3C: SPARQL. http://www.w3.org/TR/rdfsparql-query/ (last visited: 09/15/2007)
  • 30
    • 51449107776 scopus 로고    scopus 로고
    • AT&T Research: Graphviz. www.graphviz.org/ (last visited: 09/15/2007)
    • AT&T Research: Graphviz. www.graphviz.org/ (last visited: 09/15/2007)


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