Henriette's Notes

Home » UML vs OWL » Mathematical Formalization of Object Orientation

Mathematical Formalization of Object Orientation

In the following number of posts I will give a brief overview of a mathematical formalization of object orientation. Rather than boring you with the mathematical details I will give an intuitive understanding of the formalization by providing illustrative examples. If you are keen on diving into the mathematical details, you are welcome to consult Scenario Testing Using OWL.

Here is a reading list to guide you:

  1. First, let us recall some basic OO theory.
  2. The mathematical formalization I will use here is based on Description Logics (DLs).
  3. There is an intuitive correspondence between OO and DLs.
  4. Let us look at an example of a simple class.
  5. Let us add some more attributes to our class.
  6. A brief introduction to Protege and reasoners.
  7. Now on to class inheritance!
  8. Here is how we deal with associations between classes.


Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: