Search software: Christoph Lange
Resultados
SWiM
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
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.
- Añadir nuevo comentario
- Leer más
- %count lecturas
Krextor
- 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
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
- Añadir nuevo comentario
- Leer más
- %count lecturas
