Accueil › Search software

Search software: Christoph Lange

Version imprimable
  • user warning: Table './jem/sessions' is marked as crashed and should be repaired query: SELECT COUNT(sid) AS count FROM sessions WHERE timestamp >= 1231496300 AND uid = 0 in /var/www/net.jem-thematic/site/includes/database.mysql.inc on line 174.
  • user warning: Table './jem/sessions' is marked as crashed and should be repaired query: SELECT DISTINCT u.uid, u.name, s.timestamp FROM users u INNER JOIN sessions s ON u.uid = s.uid WHERE s.timestamp >= 1231496300 AND s.uid > 0 ORDER BY s.timestamp DESC in /var/www/net.jem-thematic/site/includes/database.mysql.inc on line 174.
2 resultas

Résultats

SWiM

Partner_node: 
Jacobs University
General Information
Roadmap: 
See http://wiki.kiwi-project.eu/atlassian-jira/browse/SWIM?report=com.atlassian.jira.plugin.system.project:roadmap-panel
Download/Demo: 
http://kwarc.info/projects/swim/
Bug reporting: 
http://wiki.kiwi-project.eu/atlassian-jira/browse/SWIM
Objectives: 

A Semantic Wiki for Mathematical Knowledge Management

  • collaborative authoring of mathematical knowledge
  • easy browsing through a mathematical knowledge base
  • easy authoring (annotating and linking)
  • connections to external repositories, mathematical applications, and web services

User Support
User support Contact: 
Christoph Lange
Users mailing list: 
http://lists.jacobs-university.de/mailman/listinfo/project-swim
User Manual: 
http://mathweb.org/wiki/SWiM
Developer support
Technical contact: 
Christoph Lange
Technical documentation: 
http://mathweb.org/wiki/SWiM
Developer mailing list: 
http://lists.jacobs-university.de/mailman/listinfo/project-swim

SWiM is a semantic wiki for collaboratively building, editing and browsing a mathematical knowledge base. Its pages, containing mathematical theories or content dictionaries, are stored in OMDoc or OpenMath, both being markup format for mathematical knowledge. Our long-term objective is to develop a software that facilitates the creation of a shared, public collection of mathematical knowledge (e.g. for education) and serves work groups of mathematicians as a tool for collaborative development of new theories.

Krextor

Partner_node: 
Jacobs University
General Information
Roadmap: 
Extend the coverage of OMDoc, in parallel with the expanding OMDoc ontology Gather feedback from other users, adapt the tool to their requirements
Download/Demo: 
http://kwarc.info/projects/krextor/
Bug reporting: 
https://trac.kwarc.info/krextor/
Objectives: 
  • Extensible XSLT-based framework for extracting RDF graph from XML documents
  • Offer extraction modules for common mathematical markup languages (OMDoc, OpenMath)
  • Make knowledge from XML documents usable on the semantic web, for query tools and reasoners
User Support
User support Contact: 
Christoph Lange
Users mailing list: 
http://lists.jacobs-university.de/mailman/listinfo/project-swim
User Manual: 
https://svn.kwarc.info/repos/swim/projects/krextor/trunk/doc/README
Developer support
Technical contact: 
Christoph Lange
Technical documentation: 
https://svn.kwarc.info/repos/swim/projects/krextor/trunk/doc/README
Developer mailing list: 
http://lists.jacobs-university.de/mailman/listinfo/project-swim

Krextor is the KWARC RDF Extractor. It is an extensible XSLT-based framework for extracting RDF from XML, supporting multiple input languages as well as multiple output RDF notations. Krextor provides convenience templates that try to do “the right thing”™ in many common cases, as to reduce the need for manually writing repetitive code.

Krextor comes with extraction modules for OMDoc and OpenMath content dictionaries.

The extracted RDF graph will in most cases be an outline of the semantic