Skip to main content
SpringerLink
Log in
Book cover

International Conference on Intelligent Computer Mathematics

CICM 2009: Intelligent Computer Mathematics pp 389–404Cite as

A Mathematical Approach to Ontology Authoring and Documentation

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 5625))

Abstract

The semantic web ontology languages RDFS and OWL are widely used but limited in both their expressivity and their support for modularity and integrated documentation. Expressivity, modularity, and documentation of formal knowledge have always been important issues in the MKM community. Therefore, we try to improve these ontology languages by well-tried MKM techniques.

Concretely, we propose embedding the language concepts into OMDoc to make use of its modularity and documentation infrastructure. We show how OMDoc can be made compatible with semantic web ontology languages, focusing on knowledge representation, modular design, documentation, and metadata. We evaluate our technology by re-implementing the Friend-of-a-friend (FOAF) ontology and applying it in a novel metadata framework for technical documents (including ontologies).

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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)

    Google Scholar 

  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)

    Google Scholar 

  5. 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)

    MATH  Google Scholar 

  6. Brickley, D., Guha, R.V.: RDF vocabulary description language 1.0: RDF Schema. Recommendation, W3C (2004)

    Google Scholar 

  7. Berners-Lee, T., Fielding, R., Masinter, L.: Uniform resource identifier (URI): Generic syntax. RFC 3986, IETF (2005)

    Google Scholar 

  8. Brickley, D., Miller, L.: FOAF vocabulary specification 0.91. Technical report, ILRT (2007)

    Google Scholar 

  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)

    Google Scholar 

  11. Daniel Jr., R.: Harvesting RDF statements from XLinks. Note, W3C (2000)

    Google Scholar 

  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)

    Google Scholar 

  14. Farmer, W., Guttman, J., Thayer, X.: Little theories. In: Kapur, D. (ed.) CADE 1992. LNCS, vol. 607. Springer, Heidelberg (1992)

    Google Scholar 

  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)

    Google Scholar 

  16. Goguadze, G., Ullrich, C., Melis, E., Siekmann, J., Gross, C., Morales, R.: LeActiveMath Structure and Metadata Model. Deliverable D6 (2004)

    Google Scholar 

  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)

    Google Scholar 

  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)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  22. Kohlhase, M.: OMDoc – An Open Markup Format for Mathematical Documents [version 1.2]. LNCS (LNAI), vol. 4180. Springer, Heidelberg (2006)

    Book  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Google Scholar 

  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)

    Google Scholar 

  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)

    Google Scholar 

  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)

    Google Scholar 

  33. Sauermann, L., Cyganiak, R.: Cool URIs for the semantic web. Working Draft, W3C (2008)

    Google Scholar 

  34. Schaffert, S.: IkeWiki: A semantic wiki for collaborative knowledge management. In: 1st Workshop on Semantic Technologies in Collaborative Applications (STICA)(2006)

    Google Scholar 

  35. W3C. Mathematical Markup Language (MathML) 3.0, 3rd edn.

    Google Scholar 

  36. W3C. Scalable Vector Graphics (SVG) Tiny 1.2

    Google Scholar 

  37. Walsh, N.: DocBook 5.0: The Definitive Guide. O’Reilly, Sebastopol (2008)

    Google Scholar 

  38. Zholudev, V.: TNTBase (2009), https://trac.mathweb.org/tntbase/

Download references

Author information

Authors and Affiliations

  1. Computer Science, Jacobs University, Bremen, Germany

    Christoph Lange & Michael Kohlhase

Authors
  1. Christoph Lange
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Michael Kohlhase
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computing and Software, McMaster University, 1280 Main Street West, L8S 4K1, Hamilton, ON, Canada

    Jacques Carette

  2. Informatics, 2.02 Informatics Forum, University of Edinburgh, 10 Crichton street, EH8 9AB, Edinburgh, UK

    Lucas Dixon

  3. Department of Computer Science, University of Bologna, via Mura Anteo Zamboni, 7, 40127, Bologna, Italy

    Claudio Sacerdoti Coen

  4. Department of Computer Science MC 375, University of Western Ontario, N6A 5B7, London, ON, Canada

    Stephen M. Watt

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lange, C., Kohlhase, M. (2009). A Mathematical Approach to Ontology Authoring and Documentation. In: Carette, J., Dixon, L., Coen, C.S., Watt, S.M. (eds) Intelligent Computer Mathematics. CICM 2009. Lecture Notes in Computer Science(), vol 5625. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02614-0_31

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-02614-0_31

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-02613-3

  • Online ISBN: 978-3-642-02614-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation