Creating a Custom Rules View Tab

One of my regrets about the Revised Protégé Pizza tutorial is that in the section on SWRL I only discussed the SWRLTab. The SWRLTab is excellent but for some use cases the Rules view is superior. E.g., if your ontology uses codes for IRIs the way the ontologies of the OBO foundry do, you definitely should use the Rules view rather than the SWRLTab. However, since it is a view not a tab and it isn't part of any of the standard Protégé tabs it is easy to miss the Rules view. This mini-tutorial will show you how to create your own custom Rules View tab. This will be useful for use cases where you need the Rules view and also will enable you to create your own custom tabs to take advantage of the many Views that are part of Protégé but that aren't included in any of the default tabs.

The problem I chose was to extend the Basic Formal Ontology (BFO) with the interval relations from the Allen Temporal model. BFO provides the foundation for all the Allen relations but doesn't include most of them. My original idea was just to use BFO as an example of the kind of ontology where one could use this SWRL Rules view tab. However, once I started, I realized it wouldn't take much work to add rules for the complete Allen model. I will have another post on that soon.

The PDF for the tutorial is at: https://tinyurl.com/SWRL-View-Tab

The ontology to start the tutorial is the The Basic Formal Ontology with properties added to define the Allen operators but not the rules is at: https://tinyurl.com/BFO-Allen-No-Rules

The GitHub site for the complete extension of BFO with the Allen properties and rules is: https://github.com/mdebellis/BFO-Allen-Model