SuperModel Version 0.9375

This is the home page of SuperModel version 0.9375. For more general information about SuperModel, go here.

Brief Setup Instructions

If FaCT++ is installed, then remove it (any .jar - files in the $PROTEGE/plugins directory whose file names contain "fact++")

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"->"Model Excerpts" 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 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,
  • "Incorporated" 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.
• SuperModel is now fully independent of the FaCTPlusPlus version Protégé is using as a general reasoner. Install any FPP plugin you like (or none at all) next to SuperModel.
• Object Properties are now shown in the Individual Pane on the right. They can be added and removed. They become incorporated in the model after hitting the refresh button above the graph - just like individuals' labels.
• Fixed a cashing-related bug that used models that were computed for subconcepts for their superconcepts (correct, but undesired).
• Types and object properties can now be removed from individuals!

New Features!

• Bug fix: can now work with ontologies that make owlapi send singleton con-/disjunctions to the reasoner (family.owl)
• Moved hardcoded configuration of model exploration depth to java-side, set it to 10 (instead of 5).

Planned Features

• Known bug: Can't remove incorporated assertions
• Add object properties filter
• Change force coefficient - increase natural distance between individuals in graph.
• Add support for other reasoners (Pellet) than FaCT++
• Have the Types pane on the right show also complex types
• Fill the Explanation button (question marks next to implied concepts) with life
• Show implicit object properties like transitive, chains, inverse(?)...
• Show which labels are definitely necessary (empty dep-set)
• Lots and lots of additional functionality