https://123dok.net/document/qmjkvgp8-reason-inconsistent-ontologies-prioritized-assertional-bases.html