This isn't entirely right. We had intended to use a dereference-able URL for the namespace of fcrepo4, and actually host the ontology there. In fact, fcrepo.org was chosen for the purpose. Why would we want to use more info: URIs?

For the old properties, yes, but not for new ones. Ideally, not even for old ones, but I suppose we have to for now for backward compat.

This brings the ontology in line with the code, but doesn't change the URIs used in the code at all. I can easily change the URIs to use an fcrepo.org namespace such as "http://fcrepo.org/ontology#". I see about two dozen lines of code in fcrepo4 (mostly tests) that have the "info:fedora/fedora-system:def/internal#" namespace hardcoded.

We can define the properties as equivalent to the old info URIs with owl:sameAs, which should make them backwards-compatible in principle.

That sounds very good to me. Let's confer with the @awoods et al and make sure we can get a copy of the ontology hosted in such a way as to make those fcrepo.org URLs work properly, do that, and then bust out some sameAs goodness. We would have to generate coreference to migrate away from info: at some point: might as well do it early.