https://123dok.net/document/y6em6k3g-dip-a-defeasible-inference-platform-for-owl-ontologies.html