James A. Overton

What I would really like is to be able to express FOL axiom in some formal language, and then run multiple different FOL reasoners / provers over the axioms. There...

Thanks @fabianneuhaus! I'll play with this as soon as I get a chance. Much appreciated.

Related issue on PATO tracker: https://github.com/pato-ontology/pato/issues/101

My plan is to write up something longer and link to it from here.

@cmungall I don't really disagree, but this will leave us with another big integration problem down the road.

See #33. We have discussion notes from the OBO Core Workshop at ICBO 2019: https://docs.google.com/document/d/1P8uMYDqWxJ4Qh6QKD6ZeYqziNTbxsMHuN-s8jn7soEk/edit

My two main points are: - lots of concrete examples - every example should be tested: this can be a pain at first but pays big dividends, like integration testing...

This repo is an example of what I have in mind: https://github.com/jamesaoverton/cob-data-demo

I guess this is Prolog. Can you point to instructions so that I could try running it?

#4 goes a long way to addressing this. Once that PR is merged, we'll play with a simple ODK project such as https://github.com/obophenotype/c-elegans-phenotype-ontology and see how it goes.