A Mathematical Approach to Ontology Authoring and Documentation

@inproceedings{Lange2009AMA,
  title={A Mathematical Approach to Ontology Authoring and Documentation},
  author={Christoph Lange and Michael Kohlhase},
  booktitle={Calculemus/MKM},
  year={2009}
}
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… CONTINUE READING
Highly Cited
This paper has 21 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 14 extracted citations

References

Publications referenced by this paper.
Showing 1-10 of 22 references

A mathematical approach to ontology authoring and documentation

  • Ch. Lange, M. Kohlhase
  • https://svn.omdoc.org/repos/omdoc/ trunk/doc/blue…
  • 2009

DocBook 5.0: The Definitive Guide

  • N. Walsh
  • 2008

Easily editing and browsing complex OpenMath markup with SWiM

  • Ch. Lange, A. González Palomo
  • Mathematical User Interfaces Workshop,
  • 2008

Similar Papers

Loading similar papers…