Semantic Web Rule Language (SWRL) Process Modeling Tutorial
Updated: Jun 26, 2020
The following is a tutorial for using the Semantic Web Rule Language (SWRL) with the Protege ontology editor. I chose the process modeling domain because I think it is something many people can relate to. Also, it's a simple example that highlights some of the powerful mathematical capabilities that are a result of the set theoretic foundation of OWL and SWRL. At least that was my hope.
Here is the PDF of the tutorial: SWRL Process Modeling Tutorial
The initial ontology to start the tutorial is here: SWRLProcessTutorialStart-V2.owl
The final version of the ontology, with an example waterfall model is here: SWRLProcessTutorialFinal.owl
Thanks to all the people on the Protege user support list for answering my endless stream of questions, special thanks to Martin O'Connor.
If you have questions or comments about the tutorial feel free to email me: email@example.com
Also, the following document has nothing to do with SWRL but it is something I think many new comers to working with Protege and OWL might find useful. OWL (the language underneath Protege) is based on logic and set theory. For those who don't know or are rusty on those concepts here is a PDF that is a good overview of the basics. Don't be misled by the cover page, this is from a book on Mathematical Methods in Linguistics but this is just the first chapter which is a nice overview of logic and set theory: Partee, et. al. Basic Concepts of Set Theory