What approaches can you think of? Which approaches make logical consistency* easier/harder to achieve ?
Simon
* In classical logics, a set of axioms is inconsistent under an entailment regime iff it is possible to derive both P and not P. Other logics allow for this - see e.g. http://plato.stanford.edu/entries/logic-paraconsistent/
If/when our displays are created from remote linked data, what do we
do about problems with the source data? For example, missing
(Fictitious character) and animal species qualifiers?
Many want logical consistency in their displays.
__ __ J. McRee (Mac) Elrod ([log in to unmask])
{__ | / Special Libraries Cataloguing HTTP://www.slc.bc.ca/
___} |__ \__________________________________________________________