OMDoc/document ontology
From MathWeb
The document ontology behind OMDoc. Please see the discussion page (linked above) for questions and discussions!
Contents |
Resources
- the OWL-DL implementation of the ontology itself, in the OMDoc Subversion repository
Development policy
These above-mentioned files form the normative implementation of the ontology. They must not be edited directly with an ontology editor, as that would change the structure of the file and complicate collaboration via Subversion. Instead, use ontology editors for modeling and prototyping only, but make your changes with a plain text editor. (This may improve once we have locutor's MDiff, though…)
There is an equivalent UML diagram, which should be used for designing, explaining and discussing. It can be opened with ArgoUML. See also Expressing OWL in UML.
Please file bug tickets in the OMDoc Trac, under the component that is named SysOntology for historical reasons.
Guidelines
- use explicit disjointness where appropriate
Namespace
The provisional new namespace of the ontology is http://www.omdoc.org/ontology#. --Clange 17:21, 30 March 2007 (CEST)
Background
This is an attempt at formalizing the document ontology of OMDoc in OWL-DL. Before that, the document ontology of OMDoc, i.e. the ontology that describes the data model behind the OMDoc file format, has only been implicitly given in terms of some structural properties of the XML schema (encoded in RelaxNG) and many human-readable interpretations and recommendations in the OMDoc specification.
Documentation
Comments are contained in the files themselves. A quick overview is given in the SWiM tech report. It shall serve as a transitional documentation.
Modular Ontology
The system ontology is modularized in the same way as the Relax NG XML schema for OMDoc (see appendix D of the OMDoc spec) to facilitate cooperative development and future deployment for special applications. So far, we have:
- omdoc.owl (main file that owl:imports all modules)
- base.owl (base classes)
- st.owl (module ST, almost complete, imports base)
- pf.owl (module PF, very basic, imports st)
See also: More notes on modularity.
Tools
SWOOP or Protégé (>= 3.3) are recommended for browsing and validating the ontology.
Terminology and Principles
People
- OWL-DL formalizing
- Christoph Lange
- Normen Müller
- Krzysztof Retel
- participated in discussions (… about this ontology, not the discussion about document and system ontologies in general)
- Octav Druta
- Michael Kohlhase
- Immanuel Normann
- Heinrich Stamerjohanns
