|
|
|
For the
treatment of inconsistencies the used logic system is important; remember
that constructive logic leads to verifiable triples and the possibility of
using the trust system.
|
|
In first order
logic the ECQ principle holds:
|
|
Ex
Contradictione Quodlibet
|
|
or: from a
contradiction everything can be deduced.
|
|
Though this
priciple is valid for some constructive logic systems, for the WWW it is not
wanted.
|
|
For the
treatment of inconsistencies (and errors) the trust system is important. In
case of conflict, triples fom non-trusted sites can be thrown away (this can
of course better be done preventively).
|
|
At the present
moment only theoretical conclusions can be made. The advent of an operational
semantic web is necessary for seeing which inconsistencies will present
themselves.
|