Managing mathematical texts with OWL and their graphical representation

Proceedings of the Annual Hawaii International Conference on System Sciences

Volumn , Issue , 2008, Pages

  Jeschke, Sabina ^a   Wilke, Marc ^a   Natho, Nicole ^b   Pfeiffer, Olivier ^b  

^a UNIVERSITY OF STUTTGART   (Germany)

^b TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

INTERNATIONAL CONFERENCES; NATURAL LANGUAGE PROCESSING; SYSTEM SCIENCES;

ARTIFICIAL INTELLIGENCE; COMPUTATIONAL LINGUISTICS; COMPUTER NETWORKS; GRAPHIC METHODS; INFORMATION SERVICES; SEARCH ENGINES; STATISTICAL METHODS;

NATURAL LANGUAGE PROCESSING SYSTEMS;

EID: 51449116630     PISSN: 15301605     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HICSS.2008.241     Document Type: Conference Paper

References (30)

1. Bourbaki, N.: Die Architektur der Mathematik. Mathematiker über die Mathematik. Springer, Berlin, Heidelberg, New York (1974)
2. Hilbert, D.: Die Grundlagen der Mathematik. Abhandlungen aus dem mathematischen Seminar der Hamburgischen Universität 6 (1928) 65-85
3. Gödel, K.: Über formal unentscheidbare Sätze der Principia Mathematica und verwandte Systeme I,. Monatsheft f. Mathematik und Physik (1931-1932) 147f
4. Jena: A Semantic Web Framework for Java. http://jena.sourceforge.net (last visited: 09/15/2007)
5. The Apache Software Foundation: Apache Lucene. http://lucene.apache.org/ (last visited: 09/15/2007)
6. Gruber, T., Olsen, G.: An Ontology for Engineering Mathematics. Technical Report KSL-94-18, Stanford University (1994)
7. 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)
8. Baur, J.: Syntax und Semantik mathematischer T6exte. Master's thesis, Universität des Saarlandes, Fachbereich Computerlinguistik (November 1999)
9. Wolfram Research: MathWorld. http://mathworld.wolfram.com (last visited: 09/15/2007)
10. Fellbaum, C.: WordNet: An Electronic Lexical Database. MIT Press, Cambridge, London (1998)
11. Fellbaum, C.: WordNet. http://wordnet.princeton.edu (last visited: 09/15/2007)
12. GermaNet Team: GermaNet. http://www.sfs.unituebingen.de/lsd/english.html (last visited: 09/15/2007)
13. Helbig, H.: Knowledge Representation and the Semantics of Natural Language. Springer, Berlin, Heidelberg, New York (2006)
14. Urban, J.: MoMM - Fast Interreduction and Retrieval in Large Libraries of Formalized Mathematics. Internation Journal on Artificial Intelligence Tools (15(1)) (2006) 109-130
15. Urban, J.: MizarMode - An Integrated Proof Assistance Tool for the Mizar Way of Formalizing Mathematics. Journal of Applied Logic (2005)
16. Urban, J.: XML-izing Mizar: Making Semantic Processing and Presentation of MML Easy, MKM2005 (2002)
17. Pinkall, M., Siekmann, J., Benzmüller, C., and Kruijff-Korbayova, I.: DIALOG. http://www.ags.unisb.de/~dialog/ (last visited: 09/15/2007)
18. 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)
19. Asperti, A., Zacchiroli, S.: Searching Mathematics on theWeb: State of the Art and Future Developments. In: Joint Proceedings of the ECM4 Satellite Conference on Electronic Publishing at KTH Stockholm, AMS - SM M Special Session, Houston / (2004)
20. Jeschke, S.: Mathematik in Virtuellen Wissensräumen - IuK-Strukturen und IT-Technologien in Lehre und Forschung. PhD thesis, Technische Universität Berlin (2004)
21. Natho, N.: MARACHNA: Eine semantische Analyse der mathematischen Sprache für ein computergestütztes Information Retrieval. PhD thesis, Technische Universität Berlin (2005)
22. Grottke, S., Jeschke, S., Natho, N., Seiler, R.: mArachna: A Classification Scheme for Semantic Retrieval in eLearning Environments in Mathematics. Proceedings of the 3rd International Conference on Multimedia and ICTs in Education, June 7-10, 2005, Caceres/Spain (2005)
23. W3C: Web Ontology Language. http://www.w3c.org/2004/OWL (last visited: 09/15/2007)
24. The TEI Consortium: Text Encoding Initiative. http://www.tei-c.org (last visited: 09/15/2007)
25. W3C: MathML. http://www.w3.org/Math (last visited: 09/15/2007)
26. Müller, S.: TRALE. http://www.cl.unibremen.de/Software/Trale/index. html (last visited: 09/15/2007)
27. 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)
28. Mozilla Foundation: Rhino. http://www.mozilla.org/rhino/ (last visited: 09/15/2007)
29. W3C: SPARQL. http://www.w3.org/TR/rdfsparql-query/ (last visited: 09/15/2007)
30. AT&T Research: Graphviz. www.graphviz.org/ (last visited: 09/15/2007)