{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:57:08Z","timestamp":1725533828801},"publisher-location":"Berlin, Heidelberg","reference-count":38,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642026133"},{"type":"electronic","value":"9783642026140"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-02614-0_31","type":"book-chapter","created":{"date-parts":[[2009,7,2]],"date-time":"2009-07-02T11:47:24Z","timestamp":1246535244000},"page":"389-404","source":"Crossref","is-referenced-by-count":8,"title":["A Mathematical Approach to Ontology Authoring and Documentation"],"prefix":"10.1007","author":[{"given":"Christoph","family":"Lange","sequence":"first","affiliation":[]},{"given":"Michael","family":"Kohlhase","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"31_CR1","unstructured":"Abelson, H., Adida, B., Linksvayer, M., Yergler, N.: ccREL: The Creative Commons Rights Expression Language. Technical report, Creative Commons (2008), http:\/\/wiki.creativecommons.org\/Image:Ccrel-1.0.pdf"},{"key":"31_CR2","unstructured":"Adida, B., Birbeck, M., McCarron, S., Pemberton, S.: RDFa in XHTML: Syntax and processing. Recommendation, W3C (2008)"},{"key":"31_CR3","unstructured":"Alford, R.: Proposal: Deprecate membershipClass, add memberOf. E-mail (2007), http:\/\/lists.foaf-project.org\/pipermail\/foaf-dev\/2007-May\/008551.html"},{"key":"31_CR4","unstructured":"Buswell, St., Caprotti, O., Carlisle, D.P., Dewar, M.C., Gaetano, M., Kohlhase, M.: The Open Math standard, version 2.0. Technical report, Open Math Society (2004)"},{"key":"31_CR5","volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2007","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications, 2nd edn. Cambridge University Press, Cambridge (2007)","edition":"2"},{"key":"31_CR6","unstructured":"Brickley, D., Guha, R.V.: RDF vocabulary description language 1.0: RDF Schema. Recommendation, W3C (2004)"},{"key":"31_CR7","doi-asserted-by":"crossref","unstructured":"Berners-Lee, T., Fielding, R., Masinter, L.: Uniform resource identifier (URI): Generic syntax. RFC 3986, IETF (2005)","DOI":"10.17487\/rfc3986"},{"key":"31_CR8","unstructured":"Brickley, D., Miller, L.: FOAF vocabulary specification 0.91. Technical report, ILRT (2007)"},{"key":"31_CR9","unstructured":"Boj\u0101rs, U.: SpecGen 4 \u2013 ontology specification generator for RDFS and OWL, http:\/\/code.google.com\/p\/specgen"},{"key":"31_CR10","doi-asserted-by":"crossref","unstructured":"Cuenca Grau, B., Horrocks, I., Motik, B., Parsia, B., Patel-Schneider, P., Sattler, U.: OWL 2: The next step for OWL. Web Semantics: Science, Services and Agents on the World Wide Web 6(4) (2008)","DOI":"10.1016\/j.websem.2008.05.001"},{"key":"31_CR11","unstructured":"Daniel Jr., R.: Harvesting RDF statements from XLinks. Note, W3C (2000)"},{"key":"31_CR12","unstructured":"Decraene, D.: Online ontology visualisation: Embedding OWL-RDFS syntax in XHTML with RDFa (2007), http:\/\/ontologyonline.blogspot.com\/2007\/11\/embedding-owl-rdfs-syntax-in-xhtml-with.html"},{"key":"31_CR13","unstructured":"Dublin Core metadata element set, version 1.1. DCMI (2008)"},{"key":"31_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-2952-0","volume-title":"Automated Deduction - CADE-11","author":"W. Farmer","year":"1992","unstructured":"Farmer, W., Guttman, J., Thayer, X.: Little theories. In: Kapur, D. (ed.) CADE 1992. LNCS, vol.\u00a0607. Springer, Heidelberg (1992)"},{"key":"31_CR15","series-title":"LNAI","volume-title":"MKM\/Calculemus 2009 Proceedings","author":"J. Giceva","year":"2009","unstructured":"Giceva, J., Lange, C., Rabe, F.: Integrating web services into active mathematical documents. In: MKM\/Calculemus 2009 Proceedings. LNCS (LNAI). Springer, Heidelberg (in press, 2009)"},{"key":"31_CR16","unstructured":"Goguadze, G., Ullrich, C., Melis, E., Siekmann, J., Gross, C., Morales, R.: LeActiveMath Structure and Metadata Model. Deliverable\u00a0D6 (2004)"},{"key":"31_CR17","unstructured":"Hartmann, J., Palma, R., Haase, P., G\u00f3mez-P\u00e9rez, A.: Ontology Metadata Vocabulary \u2013 OMV (2007), http:\/\/omv.ontoware.org"},{"key":"31_CR18","unstructured":"Horridge, M., Patel-Schneider, P.F.: OWL 2 web ontology language: Manchester syntax. Working draft, W3C (2008)"},{"key":"31_CR19","unstructured":"Hausenblas, M., Yung, W.C.: RDFa test suite. Editor\u2019s Draft, W3C (2007), http:\/\/www.w3.org\/2006\/07\/SWD\/RDFa\/testsuite\/"},{"key":"31_CR20","unstructured":"Kutz, O., L\u00fccke, D., Mossakowski, T., Normann, I.: The OWL in the CASL \u2013 designing ontologies across logics. In: Sattler, U., Dolbear, C., Ruttenberg, A. (eds.) OWL: Experiences and Directions (2008)"},{"key":"31_CR21","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"504","DOI":"10.1007\/978-3-540-85110-3_41","volume-title":"Intelligent Computer Mathematics","author":"M. Kohlhase","year":"2008","unstructured":"Kohlhase, M., M\u00fcller, C., Rabe, F.: Notations for living mathematical documents. In: Autexier, S., Campbell, J., Rubio, J., Sorge, V., Suzuki, M., Wiedijk, F. (eds.) AISC 2008, Calculemus 2008, and MKM 2008. LNCS (LNAI), vol.\u00a05144, pp. 504\u2013519. Springer, Heidelberg (2008)"},{"key":"31_CR22","series-title":"LNAI","doi-asserted-by":"publisher","DOI":"10.1007\/11826095","volume-title":"OMDoc \u2013 An Open Markup Format for Mathematical Documents [version 1.2]","author":"M. Kohlhase","year":"2006","unstructured":"Kohlhase, M.: OMDoc \u2013 An Open Markup Format for Mathematical Documents [version 1.2]. LNCS (LNAI), vol.\u00a04180. Springer, Heidelberg (2006)"},{"key":"31_CR23","unstructured":"Lange, C.: Krextor \u2013 the KWARC RDF extractor (2008), http:\/\/kwarc.info\/projects\/krextor\/"},{"key":"31_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"832","DOI":"10.1007\/978-3-540-68234-9_68","volume-title":"The Semantic Web: Research and Applications","author":"C. Lange","year":"2008","unstructured":"Lange, C.: SWiM \u2013 a semantic wiki for mathematical knowledge management. In: Bechhofer, S., Hauswirth, M., Hoffmann, J., Koubarakis, M. (eds.) ESWC 2008. LNCS, vol.\u00a05021, pp. 832\u2013837. Springer, Heidelberg (2008)"},{"key":"31_CR25","unstructured":"Lange, C., Gonz\u00e1lez Palomo, A.: Easily editing and browsing complex OpenMath markup with SWiM. In: Libbrecht, P. (ed.) Mathematical User Interfaces Workshop (2008)"},{"key":"31_CR26","doi-asserted-by":"crossref","unstructured":"Lange, C., Kohlhase, M.: A Semantic Wiki for Mathematical Knowledge Management. In: Rech, J., Decker, B., Ras, E. (eds.) Emerging Technologies for Semantic Work Environments. IGI Global (2008)","DOI":"10.4018\/978-1-59904-877-2.ch004"},{"key":"31_CR27","doi-asserted-by":"crossref","unstructured":"Lange, C., Kohlhase, M.: A mathematical approach to ontology authoring and documentation (2009), https:\/\/svn.omdoc.org\/repos\/omdoc\/trunk\/doc\/blue\/foaf\/note.pdf","DOI":"10.1007\/978-3-642-02614-0_31"},{"key":"31_CR28","unstructured":"ModelDriven.org versioning ontology (2008), http:\/\/modeldriven.org\/2008\/ArchitectureOntology\/doc\/Versioning.html"},{"key":"31_CR29","unstructured":"McGuinness, D.L., van Harmelen, F.: OWL web ontology language overview. Recommendation, W3C (2004)"},{"key":"31_CR30","unstructured":"Raimond, Y., Abdallah, S.: The event ontology. Technical report (2007), http:\/\/motools.sourceforge.net\/event\/"},{"key":"31_CR31","unstructured":"Resource description framework (RDF) (2004), http:\/\/www.w3.org\/RDF\/"},{"key":"31_CR32","unstructured":"Rabe, F., Kohlhase, M.: An exchange format for modular knowledge. In: Rudnicki, P., Sutcliffe, G. (eds.) Knowledge Exchange: Automated Provers and Proof Assistants (KEAPPA) (2008)"},{"key":"31_CR33","unstructured":"Sauermann, L., Cyganiak, R.: Cool URIs for the semantic web. Working Draft, W3C (2008)"},{"key":"31_CR34","doi-asserted-by":"crossref","unstructured":"Schaffert, S.: IkeWiki: A semantic wiki for collaborative knowledge management. In: 1st Workshop on Semantic Technologies in Collaborative Applications (STICA)(2006)","DOI":"10.1109\/WETICE.2006.46"},{"key":"31_CR35","unstructured":"W3C. Mathematical Markup Language (MathML) 3.0, 3rd edn."},{"key":"31_CR36","unstructured":"W3C. Scalable Vector Graphics (SVG) Tiny 1.2"},{"key":"31_CR37","volume-title":"DocBook 5.0: The Definitive Guide","author":"N. Walsh","year":"2008","unstructured":"Walsh, N.: DocBook 5.0: The Definitive Guide. O\u2019Reilly, Sebastopol (2008)"},{"key":"31_CR38","unstructured":"Zholudev, V.: TNTBase (2009), https:\/\/trac.mathweb.org\/tntbase\/"}],"container-title":["Lecture Notes in Computer Science","Intelligent Computer Mathematics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02614-0_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,20]],"date-time":"2020-05-20T05:38:57Z","timestamp":1589953137000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02614-0_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642026133","9783642026140"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02614-0_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}