The formal notation may be included in the pages themselves by users, as in Semantic MediaWiki, or it may be derived from the pages or the page names or the means of linking.
The technologies developed by the Semantic Web community provide one basis for formal reasoning about the knowledge model that is developed by importing this data.