 |
Page History
...
In the FCAView Tab, we assume that the instances (i.e. the formal objects) of a class in protégé-2000, together with its own slots (i.e. the formal attributes), could form a formal context that would interests the users. In particular, two kinds of formal context can be formed: 1) the instances of a class with its slots in Boolean type; 2) the instances of a class with its slots in Multiple Instance type.
OWLFCAView Tab for Protégé OWL ontology
In the OWLFCAView Tab, we developed a property-oriented way for visualization of OWL ontology in Protégé-2000. There are three basic specifications implemented in current version of our tool. The first perspective focused on one of the properties in a selected set of the classes. Here, the selected set of the classes was used as the formal objects and the fillers of the restriction of the selected property were used as the formal attributes. The second perspective focused on all asserted restrictions in a selected set of the classes. Here, the selected set of the classes was used as the formal concepts and the fillers of all asserted restrictions defined for the classes were used as the formal attributes. The third persepctive focused on all super-classes of a selected set of the classes. Here, the selected set of the classes was used as the formal objects and the super-classes of each class were used as the formal attributes.
Downloads
The FCAView Tab plug-in (Ver 1.0) can be downloaded from here. Last updated: May 12, 2006.
The OWLFCAView Tab plug-in (Ver 1.1) can be downloaded from here. Last updated: May 12, 2006.
...
The FCAView Tab plug-in is only compiled for protégé-3.0. A manual is provided and an example project can be downloaded from here.
The OWLFCAView Tab plug-in is only compiled for protégé-3.1. A manual is provided.
...
