Search Results for "keeping a knowledge base"

VideLibri lists the books you have borrowed from a public library and lets you search the library catalog from your local device. It has all the usual features of a library OPAC, i.e. viewing, renewing, searching and ordering books. It also renews all due books automatically and can do other things only a locally running app can do, like keeping a history of all ever borrowed books across multiple libraries. Developed in 2006, it is the world's first library app, and by supporting 20...

Enterprise class MediaWiki distribution including Semantic, Visual Editor, Elasticsearch and many more powerful extensions. Deployment and maintenance of MediaWiki may be a continuous challenge. After all, operating system, web server, database, runtime environment, MediaWiki and the numerous extensions needs to be set up and configured. We take on this task for you. As application server for semantic::apps, semantic::core targets primarily enterprises and organizations.Combined with...

In the tradition of Hilbert's program we create a formal correct (checkable by a proof verifier) but readable (like an ordinary LaTeX textbook) mathematical knowledge base which is freely accessible within the internet. Logic and set theory started.

JNOMO is a Jean Plugin for providing more expresiveness in its rule language. This plugin allows for retracting or priorizing rules, removing facts as a rule consecuence or even asking for the "unspecified" information into Knowledge Base.

Knowledge management tool which is primarily designed for pdf files. The tool will let the documents get tagged either automatically or manually. Within the pdf archieve, a user will be able to retrieve desired documents quickly.

KML is a knowledge base with support of logical modeling. Advanced model is used to represent knowledge as a set of statements similar to natural language sentences. This project hosts a set of model storage library and server (vrb-ols) and clients.