A mathematical approach to ontology authoring and documentation
C Lange, M Kohlhase - International Conference on Intelligent Computer …, 2009 - Springer
International Conference on Intelligent Computer Mathematics, 2009•Springer
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 …
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 …
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).
Springer
