SWiM/system ontology

The SWiM instance of::system ontology, consisting of


 * a ../document ontology (OMDoc/CNXML/SciML/...)
 * a ../wiki ontology (here: IkeWiki)

Advantages of a Semantic Wiki based on a system ontology
Other semantic wikis are not centered around a specific ontology.


 * They allow for ad-hoc modeling a domain ontology
 * or for importing some domain ontologies
 * or they come pre-loaded with some domain ontologies

… and links between pages can be typed with terms from these domain ontologies.

Thus, …


 * they do not have the same knowledge as SWiM has about its pages
 * they do not know about things like dependency or containment.

Note:
 * In the special case of OMDoc/SWiM, the language with a system ontology is an ontology language by itself
 * But not explicitly -- implicitly! (As the knowledge about math must be extracted from the OMDoc code, which is ABox knowledge about mathematical statements)
 * Really? Can't our famous counter-example "all diffable functions are continuous" be written as a theory inclusion?

Reasoning
Misc. ideas:
 * works of Boris Motik, KAON2
 * Local Closed World Assumption might help
 * Generic reasoners are not efficient