International Center for Computational Logic

The International Center for Computational Logic is an interdisciplinary center of teaching and research in the field of computational logic, founded in October 2003 at Technische Universität Dresden in Germany. Its homepage is a Semantic MediaWiki-based wiki and has been in existence since October 2014.

The concept of the site is based on the AIFB Portal, which was the SMW wiki of the month in November 2010. However, it features many technical innovations beyond the earlier wiki.

Editing is only possible for registered users, but all page sources can be viewed by appending "?action=edit" to URLs as usual.

Typical content and pages
The page is heavily based on forms and templates. Some of the main forms of content are:
 * Persons, such as
 * Research groups, such as
 * Publications, such as
 * Lectures, such as

There are a number of other content types that are used as well, but the above make up most of the site's content.

Skin
The ICCL wiki uses the Chameleon skin, with extensive use of Bootstrap layouts. It includes several custom MediaWiki extensions to improve the display, including the carousel on the start page, tabs, as well as the drop-down navigation interface seen on most pages, which is responsive (displays well for different browser widths). In general, the site is fully mobile-friendly.

Two-language support
The wiki can be fully read in both German and English; a link at the top of each page lets users switch between languages. Providing this support required custom code to ensure that all aspects of the wiki (navigation, main page, page contents, HTML headers, etc.) can be read in both languages.

This kind of language support is based on a fixed naming scheme for pages: English page names are always called like their German counterparts, but with "/en" appended to the page title. This makes it easier to create links to pages in the other language, but it also requires both pages to exists in all cases for this to work. The extension AutoCreatePage, which was created for this wiki, is used to create pages automatically whenever new content is added with templates/forms (which is mostly the way in which content is added).

English pages in many cases are not just auto-created but also automatically filled with content that is defined on the German page (using SMW properties) and retrieved using inline queries. This ensures that most content is entered only once, with the exception of texts. MediaWiki's own facilities for changing the displayed title of pages are used to ensure that the English page has the proper title (i.e., not "German title/en").

Navigation
The ICCL wiki largely deviates from MediaWiki's static navigation. Instead, all side-column navigation (usually on the left of pages) is created by the pages in the wiki themselves (using templates). This requires some small extensions to allow for moving, hiding or changing the main title of the page, so that it does not take over too much of the page. Using SMW, the navigation can be highly adaptive to wiki and page contents.

Examples:


 * https://ddll.inf.tu-dresden.de/web/Ver%C3%B6ffentlichungen/2014/en shows year numbers that come from an #ask query and puts the MediaWiki table of contents for the current page below the currently selected year (with some styling to make it fit visually).


 * https://ddll.inf.tu-dresden.de/web/Article4007/en shows links to publication pages of those authors (the authors come from a template parameter added in a form) that have pages on the site (again, SMW is used to figure out the latter).

GraphScope Semantic Search
The default text search of MediaWiki has been replaced by an intelligent search interface GraphScope that takes both semantic properties and text content into account. This is provided as a service by SearchHaus. The search special page contains a number of examples for searches with GraphScope.

Schema.org support
The site embeds schema.org annotations in some of its pages in order to improve the understanding of search engines crawling the site. For example, all person pages provide "semantic" content in this format. The embedding is done using microdata, since RDFa did not seem to work with MediaWiki right now.

Other customizations
The ICCL wiki also includes new Bibtex export result format for SMW that handles Unicode characters (translating them to LaTeX commands) and uses the MediaWiki GeSHI support for highlighting. See, e.g., https://ddll.inf.tu-dresden.de/web/Article4002/en