From MathWeb

The SWiM system ontology, consisting of

• a SWiM/document ontology (OMDoc/CNXML/SciML/...)
• a SWiM/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