Abstract Mathematics is a ubiquitous foundation of science, technology, and engineering.
Specific areas of mathematics, such as numeric and symbolic computation or logics, enjoy …

Mathematics is becoming increasingly collaborative, but software does not sufficiently
support that: Social Web applications do not currently make mathematical knowledge …

The semantic web ontology languages RDFS and OWL are widely used but limited in both
their expressivity and their support for modularity and integrated documentation …

Hyperlinks are an essential feature of the World Wide Web, highly responsible for its
success. XLink improves on HTML's linking capabilities in several ways. In particular, links …

Semantic Web Collaboration on Semiformal Mathematical Knowledge Page 1 Jacobs University
Bremen – School of Engineering and Science Ph. D. esis submitted in partial fulfillment of the …

Abstract The W3C's XML Linking Language (XLink) offers hypertext linking capabilities
exceeding those known from the Hypertext Markup Language (HTML) by far. XLink's biggest …

Hypertext links are an essential feature of the World Wide Web. Undoubtedly, much of the
Web's success is due to HTML's linking capability. XML links, as specified in the XLink …

As the chapters are organized by topic, whose sections cover diverse subtopics, reviews of
the state of the art and related work of others closely precede the descriptions of my own …