Skip to content

Commit 3721411

Browse files
committed
readme update4
1 parent 9ba6673 commit 3721411

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

README.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
# DIP (Defeasible-Inference Platform) Plugin:
1+
# Defeasible-Inference Platform (DIP) Protégé Desktop Plugin:
22

33
A Protégé 5 plugin that enables users to specify defeasible subclass axioms and compute "typical" superclasses and instances for a given class expression. The plugin is split into two parts: 1) the tab plugin (net.za.cair.dip.jar) and 2) a tiny extension of Protégé's editor plugin (protege-owl-editor.jar) that enables users to toggle subclass axioms to be defeasible.
44

0 commit comments

Comments
 (0)