Description logics Rules can be defined, which then can be queried. The implementation is a simple description logics tableau resoner. Basic queries are of subsumption type, they ask if a concept subsumes another concept. Subsumption can be seen as is-a relation. Of multiple concepts a subsumption hierarchy, aka taxonomy, can be calculated and displayed.
2D Physics The demo is based on connected particles. Particles can be dragged and thus things go into motion and rotation. On top of this particles a vector graphics is drawn, which moves and deforms with underlying particles.