In this paper we review the integration of BFO's theory of types with OntoClean's notion of Rigidity, provide our decision tree procedure for evaluating ontologies based on the integration, while also describing its implementation as a Protégé 4 plugin, the BFO-Rigidity Decision Tree Wizard. Finally we provide a practical analysis of controversial and important ontological topics surrounding the BFO-Rigidity integration work. The decision tree approach allows our wizard plugin to implicitly perform inferences on behalf of a modeler based on answers to questions. This approach is accessible because it does not require familiarity with BFO, OntoClean, or our first-order formal system, and does not require the modeler to make assertions that are not normally considered within the scope of a domain level ontology. Having chosen for our implementation a plugin environment that interoperates with a popular ontology editor, we expect that the principles underlying the integration work will become more accessible to both novice and expert domain modelers.
IOS Press, Inc.
6751 Tepper Drive
Clifton, VA 20124
Tel.: +1 703 830 6300
Fax: +1 703 830 2300 firstname.lastname@example.org
(Corporate matters and books only) IOS Press c/o Accucoms US, Inc.
For North America Sales and Customer Service
West Point Commons
Lansdale PA 19446
Tel.: +1 866 855 8967
Fax: +1 215 660 5042 email@example.com