KWARC » KWARC home

Knowledge Adaptation and Reasoning for Content

The ability to represent knowledge about the world and to draw logical inferences is one of the central components of intelligent behavior, as a consequence, reasoning components of some form are at the heart of many artificial intelligence systems.

Recent blog and wiki posts

These are the two most recent headlines; see our blog and wiki page for more details. Click on the [+] to see a preview of the a post. Click on the title of a post to go to the blog and read the whole post.

[+] Upcoming SPARQL improvements (Christoph in “KWARC was!”, 2 Feb)

W3C’s new SPARQL working drafts bring a lot of nice features that I soon hope to be widely supported, because our applications would also greatly benefit from them. Property paths Property paths will make queries both more powerful and easier to write. Some cases resemble XPath/XQuery: Find the names of people 2 “foaf:knows” links away. { ?x foaf:mbox <mailto:alice@example> [...]
[+] User:Adumitrache (Clange in MathWeb - Recent changes [en], 4 Mar)

changed group membership for User:Adumitrache from (none) to Administrators and interwiki baudenkmalnetz

New page

Mathematical Semantic Web with Krextor

Krextor is now able to extract RDFa metadata and OWL ontologies from OMDoc, thus improving the integration of OMDoc with the semantic web.

OpenMath Content Dictionary Wiki

Our semantic wiki SWiM is now being used as a browser and editor for the official OpenMath Content Dictionaries.

Release: JOMDoc v0.0.1

The first version of JOMDoc, our Java API for OMDoc documents, has been released!

Krextor: KWARC RDF extractor

Krextor is an extensible XSLT-based framework for extracting RDF from XML, supporting multiple input languages as well as multiple output RDF notations.

SWiM 0.2 released

SWiM is a semantic wiki for mathematical knowledge management, based on the markup languages OMDoc, OpenMath, and MathML.