一个与OWL本体可废止推理系统。

A system for defeasible reasoning in DL-based ontologies. The semantics for the notion of defeasibility that we use is based on the preferential model semantics introduced by Lehmann and Magidor (1992) for propositional logic - (1). Available as a Protege 4.1+ plug-in. (1) - Lehmann, D., & Magidor, M. (1992). What does a conditional knowledge base entail?. Artificial Intelligence, 55(1), 1-60. NOTE: Google Code has discontinued the feature of introducing new downloads due to misuse. Please find the latest download of the DIP plugin for Protege at my website. The link is located at the bottom of the menu on the left hand side of this page.

DIP-0.1-alpha(build18)(P4.2+)
net.za.cair.dip.jar
org.protege.editor.owl.jar
README FIRST.txt