On Sun, Jul 27, 2014 at 12:21 PM, Gordon Dunsire <[log in to unmask]>

> So I can say that it is the intention of the FRBR Review Group to express
> the model using OWL cardinality constraints. The automatic identification
> of "sameAs" instances of Works and Manifestations by reasoners will be
> useful, for example, in applications that bring together FRBR-conformant
> data from multiple local sources. It may well be useless or harmful to
> other applications; I think it is up to the application. I repeat, if there
> is anything wrong with this, please (anyone) let us know!

HasKey axioms and InverseFunctionalProperty are also  more general ways of
inferring equality/inequality.

Also, the use of Q restrictions on classes should eliminate a very large
number of properties from the frbr/er.