I did a short presentation about paraconsistent reasoning in Ontopedia on TMRA 2009.
Summary:
-
Paraconsistent reasoning allows to collect assertions from
various sources and “safely” infer new information -
Paraconsistent reasoning works well together with constraint
languages (such as TMCL) -
Paraconsistent reasoning supports evolutionary approach to
building large assertion systems - We do not need to “fix all errors” before we can reason
Link: (on slideshare)