Mocassin - Mathematical Semantic Search Engine

 http://http://code.google.com/p/mocassin/

There are some use cases to demonstrate the benefits of integration TNTBase and Mocassin:

Searching theorems by title

Formulate the query: Theorem ->  http://purl.org/dc/elements/1.1/title -> completeness AND theorem

Searching documents using its metadata

Searching proofs of theorems/lemmas/propositions

Proof -> proves -> Theorem ->  http://purl.org/dc/elements/1.1/title -> completeness AND theorem

Searching definitions

Definition -> has Property -> Property -> has text -> natural AND numbers

Searching examples

Example -> exemplifies -> Definition -> has Property -> Property -> has text -> parse-tree