SuperModel Version 1-(1/2)⁸

This is the home page of SuperModel version 1-(1/2)⁸. For more general information about SuperModel, go here.

Brief Setup Instructions

copy the following file into your $PROTEGE/plugins directory

• supermodel.jar

Everything should be as usual, when you start up Protégé. Expect problems if it isn't.

• Select the "Classes" tab.
• In the "View" menu, select "Class views"->"SuperModel" and place the plugin pane somewhere in the classes view.
• Select some concept from the asserted or inferred class hierarchy. Now, the plugin pane should come to live and show a graph representing the model excerpt, and the concepts found in the currently selected node.
• Select nodes, drag them around, add concepts to and object properties between individuals and click on the "Refresh Button" to get a model incorporating your changes.
• Enjoy!

Caveat Utilitor!

This software is just a prototype. It is not even in alpha stage. Expect it to die unexpectedly and, in the worst case, even take some data with it. Backup your valued ontologies!

Features:

• Shows Individuals and their relationships w. each other
• Shows Individuals' named concept labels
• Lets you add to concept labels
• Individuals' labels are in an
  • "Added" section of the Types pane if they have just been added, but the "refresh" button has not been pressed,
  • "Pending" section, if they have been added and are valid in the model shown in the graph,
  • "Inferred" section, if they have been plucked from the model for the asserted state of affairs.
• Object Properties are now shown in the Individual Pane on the right. They can be added. They become incorporated in the model after hitting the refresh button above the graph - just like individuals' labels.
• Limited support for complex concepts: complex concepts added to individuals are now shown as "added" in updated models
• '!' buttons next to node labels say that these labels were added deterministically
• '¬' buttons indicate they were added after some nondeterministic decision of the reasoner - clicking one of these buttons will add the negation of the concept to the label.

New Features!

• Windows binaries included!
• shows inverse and super (object) properties

Planned Features

• Known bug: Can't remove incorporated assertions
• Add object properties filter
• Add support for other reasoners (Pellet) than FaCT++
• Lots and lots of additional functionality