Skip to content

Commit 2393dc9

Browse files
committed
readme update5
1 parent 3721411 commit 2393dc9

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-
# Defeasible-Inference Platform (DIP) Protégé Desktop Plugin:
1+
# Defeasible-Inference Platform (DIP) Protégé 5 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)