Autonomous Theorem Prover for First Order Predicate Logic

Describe processes as type transformations, with inference that supports subtypes and parametric polymorphism. Create and query corresponding transformation graphs.

Ontology Domain Subsumption A package for enforcing domain subsumption constraints on inserts and updates issued to an arbitrary NoSQL database.