Build a system for browsing and editing of RDF graphs with focus on knowledge management using any vocabulary. The target audience are experts trained in RDF and logic programming.

A pure (mostly) logic programming language is used to define the structure and behaviour of the user interface. RDF descriptions of documents, the application state, and user input are loaded into a reasoner together with a logic programme. The output describes the user interface and any side effects to be performed.

Software Requirements Management

Manage requirements, solutions, and time estimates. Create a report that links solutions to the requirements they are based on, and requirements to the solutions they fulfil. Easily adapt the report to include different information. Never write office documents.

Software Security Documentation

Define security properties, attack vectors, and mitigations for your software product. Show that all attack vectors are covered. Show that all security properties hold.

Contacts

Manage companies, people, phone numbers. Show them on a map. When your phone rings, show name, company of the caller and the products they have licenced or bought from you.

Anything else

Define new vocabulary on the go.