Sounds like the “open-world assumption” used in RDF, with coherence maintained by OWL. (Well, at least it’s a hint of a proposal.)