From OntologPSMW

Jump to: navigation, search
[ ]

Douglas Miles    (1)

I am primarily a Prolog Programmer working on the creation of inference engines and UI tools to help people develop rules in ...     (1A)

SUO-KIF     (1B)

ISO/IEC 24707:2007 Common Logic     (1D)

made up of predicates and their argument types constrained ontologically.     (1E)

This is my linked in profile can be found here: https://www.linkedin.com/in/logicmoo     (1F)