{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T07:14:31Z","timestamp":1730272471819,"version":"3.28.0"},"reference-count":29,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,7]]},"DOI":"10.1109\/iscc.2007.4381623","type":"proceedings-article","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T21:55:20Z","timestamp":1194990920000},"page":"1035-1041","source":"Crossref","is-referenced-by-count":1,"title":["mArachna - Ontology Engineering for Mathematical Natural Language Texts"],"prefix":"10.1109","author":[{"given":"Sabina","family":"Jeschke","sequence":"first","affiliation":[]},{"given":"Nicole","family":"Natho","sequence":"additional","affiliation":[]},{"given":"Sebastian","family":"Rittau","sequence":"additional","affiliation":[]},{"given":"Marc","family":"Wilke","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"year":"0","key":"ref10","article-title":"GermaNet Team: GermaNet"},{"journal-title":"Knowledge Representation and the Semantics of Natural Language","year":"2006","author":"helbig","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1142\/S0218213006002588"},{"key":"ref13","article-title":"MizarMode - An Integrated Proof Assistance Tool for the Mizar Way of Formalizing Mathematics","author":"urban","year":"2005","journal-title":"Journal of Applied Logic"},{"key":"ref14","article-title":"XML-izing Mizar: Making Semantic Processing and Presentation of MML Easy","author":"urban","year":"2002","journal-title":"MKM2005"},{"journal-title":"Dialog","year":"0","author":"pinkall","key":"ref15"},{"key":"ref16","article-title":"HELM and the Semantic Web","author":"asperti","year":"2001","journal-title":"Theorem Proving in Higher Order Logics 14th International Conference TPHOLs 2001"},{"key":"ref17","article-title":"Searching Mathematics on the Web: State of the Art and Future Developments","author":"asperti","year":"2004","journal-title":"Joint Proceedings of the ECM4 Satellite Conference on Electronic Publishing at KTH Stockholm AMS - SM M Special Session"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/1066677.1066695"},{"key":"ref19","first-page":"1611","article-title":"PIA-Core: Semantic Annotation through Example-based Learning","author":"collier","year":"2002","journal-title":"International Conference on Language Resources and Evaluation"},{"year":"0","key":"ref28","article-title":"Jena: A Semantic Web Framework for Java"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/B978-1-4832-1452-8.50120-2"},{"key":"ref27","article-title":"Deutsche Syntax deklarativ: Head-Driven Phrase Structure Grammar fr das Deutsche","author":"muller","year":"2005","journal-title":"Linguistische Arbeiten No 394"},{"key":"ref3","first-page":"1931","article-title":"Über formal unentscheidbare Sätze der Principia Mathematica und ver-wandte Systeme I","volume":"147f","author":"g\u00f6del","year":"0","journal-title":"Monatsheft f Mathematik und Physik"},{"journal-title":"TRALE","year":"0","author":"m\u00fcller","key":"ref6"},{"year":"2005","key":"ref29","article-title":"Wüst: Mathematik für Physiker und Math-ematiker, Bd.1"},{"journal-title":"Syntax und Semantik mathematischer Texte","year":"1999","author":"baur","key":"ref5"},{"key":"ref8","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7287.001.0001","author":"fellbaum","year":"1998","journal-title":"WordNet An Electronic Lexical Database"},{"journal-title":"Mathworld","article-title":"Wolfram Research","year":"0","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-80866-1_5"},{"year":"0","key":"ref9","article-title":"Fellbaum: WordNet"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-663-16102-8"},{"year":"0","key":"ref20","article-title":"The PIA Project: PIA"},{"journal-title":"mArachna Eine semantische Analyse der mathematischen Sprache für ein computergestütztes Information Retrieval","year":"2005","author":"natho","key":"ref22"},{"journal-title":"Mathematik in Virtuellen Wissensräumen - IuK-Strukturen und IT-Technologien in Lehre und Forschung","year":"2004","author":"jeschke","key":"ref21"},{"year":"0","key":"ref24","article-title":"W3C: Web Ontology Language"},{"key":"ref23","article-title":"mArachna: A Classification Scheme for Semantic Retrieval in eLearning Environments in Mathematics","author":"grottke","year":"2005","journal-title":"Proceedings of the 3rd International Conference on Multime-diaand ICTs in Education"},{"year":"0","key":"ref26","article-title":"W3C: MATHML"},{"year":"0","key":"ref25","article-title":"The TEI Consortium: Text Encoding Initiative"}],"event":{"name":"2008 International Conference on Consumer Electronics (ICCE '08)","start":{"date-parts":[[2007,7,1]]},"location":"Las Vegas, NV","end":{"date-parts":[[2007,7,4]]}},"container-title":["2007 12th IEEE Symposium on Computers and Communications"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4381469\/4381470\/04381623.pdf?arnumber=4381623","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,2,11]],"date-time":"2020-02-11T02:54:12Z","timestamp":1581389652000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/4381623\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,7]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/iscc.2007.4381623","relation":{},"subject":[],"published":{"date-parts":[[2007,7]]}}}