A mathematical approach to ontology authoring and documentation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5625 LNAI, Issue , 2009, Pages 389-404

  Lange, Christoph ^a   Kohlhase, Michael ^a  

^a JACOBS UNIVERSITY BREMEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL KNOWLEDGE; MATHEMATICAL APPROACH; MODULAR DESIGNS; ONTOLOGY LANGUAGE; SEMANTIC WEB ONTOLOGIES; TECHNICAL DOCUMENTS;

KNOWLEDGE MANAGEMENT; KNOWLEDGE REPRESENTATION; LINGUISTICS; METADATA; QUERY LANGUAGES; SEMANTIC WEB; SEMANTICS;

ONTOLOGY;

EID: 69049095046     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-02614-0_31     Document Type: Conference Paper

References (38)

1. 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
2. Adida, B., Birbeck, M., McCarron, S., Pemberton, S.: RDFa in XHTML: Syntax and processing. Recommendation, W3C (2008)
3. Alford, R.: Proposal: Deprecate membershipClass, add memberOf. E-mail (2007), http://lists.foaf-project.org/pipermail/foaf-dev/2007-May/008551.html
4. 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)
5. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, andApplications, 2nd edn.CambridgeUniversityPress,Cambridge (2007)
6. Brickley, D., Guha, R.V.: RDF vocabulary description language 1.0: RDF Schema. Recommendation, W3C (2004)
7. Berners-Lee, T., Fielding, R., Masinter, L.: Uniform resource identifier (URI): Generic syntax. RFC 3986, IETF (2005)
8. Brickley, D., Miller, L.: FOAF vocabulary specification 0.91. Technical report, ILRT (2007)
9. Bojārs, U.: SpecGen 4 - ontology specification generator for RDFS and OWL, http://code.google.com/p/specgen
10. 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)
11. Daniel Jr., R.: Harvesting RDF statements from XLinks. Note, W3C (2000)
12. 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
13. Dublin Core metadata element set, version 1.1. DCMI (2008)
14. Farmer, W., Guttman, J., Thayer, X.: Little theories. In: Kapur, D. (ed.) CADE 1992. LNCS, vol. 607. Springer, Heidelberg (1992)
15. 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)
16. Goguadze, G., Ullrich, C., Melis, E., Siekmann, J., Gross, C., Morales, R.: LeActiveMath Structure and Metadata Model. Deliverable D6 (2004)
17. Hartmann, J., Palma, R., Haase, P., Gómez-Pérez, A.: Ontology Metadata Vocabulary - OMV (2007), http://omv.ontoware.org
18. Horridge, M., Patel-Schneider, P.F.: OWL 2 web ontology language: Manchester syntax. Working draft, W3C (2008)
19. Hausenblas, M., Yung, W.C.: RDFa test suite. Editor's Draft, W3C (2007), http://www.w3.org/2006/07/SWD/RDFa/testsuite/
20. Kutz, O., Lücke, D., Mossakowski, T., Normann, I.: The OWL in the CASL - designing ontologies across logics. In: Sattler, U., Dolbear, C., Ruttenberg, A. (eds.) OWL: Experiences and Directions (2008)
21. Kohlhase, M., Müller, 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. 5144, pp. 504-519. Springer, Heidelberg (2008)
22. Kohlhase, M.: OMDoc - An Open Markup Format for Mathematical Documents [version 1.2]. LNCS (LNAI), vol. 4180. Springer, Heidelberg (2006)
23. Lange, C.: Krextor - the KWARC RDF extractor (2008), http://kwarc.info/ projects/krextor/
24. Lange, C.: SWiM - a semantic wiki for mathematical knowledge management. In:Bechhofer, S.,Hauswirth,M.,Hoffmann,J.,Koubarakis,M. (eds.) ESWC 2008. LNCS, vol. 5021, pp. 832-837. Springer, Heidelberg (2008)
25. Lange, C., González Palomo, A.: Easily editing and browsing complex OpenMath markup with SWiM. In: Libbrecht, P. (ed.) Mathematical User Interfaces Workshop (2008)
26. 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)
27. 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
28. ModelDriven.org versioning ontology (2008), http://modeldriven.org/2008/ ArchitectureOntology/doc/Versioning.html
29. McGuinness, D.L., van Harmelen, F.: OWL web ontology language overview. Recommendation, W3C (2004)
30. Raimond, Y., Abdallah, S.: The event ontology. Technical report (2007), http://motools.sourceforge.net/event/
31. Resource description framework (RDF) (2004), http://www.w3.org/RDF/
32. 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)
33. Sauermann, L., Cyganiak, R.: Cool URIs for the semantic web. Working Draft, W3C (2008)
34. st Workshop on Semantic Technologies in Collaborative Applications (STICA)(2006)
35. W3C. Mathematical Markup Language (MathML) 3.0, 3rd edn.
36. W3C. Scalable Vector Graphics (SVG) Tiny 1.2
37. Walsh,N.:DocBook 5.0: TheDefinitiveGuide.O'Reilly, Sebastopol (2008)
38. Zholudev, V.: TNTBase (2009), https://trac.mathweb.org/tntbase/