Study 1: Facts and Rules in POSL
Study 2: Part of Respiratory Disease Ontology in ICD-9 Facts and Rules in POSL
RuleML is a Markup Language permitting both forward (bottom-up) and backward (top-down) rules in XML for deduction, rewriting, and further inferential-transformational tasks.
OO jDREW is a deductive reasoning engine for the RuleML rule markup and exchange format (including the OO extensions), written in Java.
GeoTools is an open source Java code library which provides standards compliant methods for the manipulation of geospatial data.