|Jose Geraldo, www.cic.unb.br, wrote...                                                 20050802
|
|  I want, for example, that if I have the classes:
|    - PersonalComputer and
|    - OperationalSystem with subclasses:
|            - MacOS;
|            - Windows;
|            - Unix and
|            - Solares.
|And properties:
|    - hasArchitecture (with domain PersonalComputer and range a string or a class that
|       defines the possible architetures) and
|    - hasOperationalSystem (with domain PersonalComputer and range OperationalSystem).
|
|I would like to tell that exists one inconsistence when there is an instance of a
| PersonalComputer with architeture x86 and opertional |system MacOS.
|
|                      ---//---
|
| Here is how to do this in the Internet Business Logic System
| You can run this example by visiting www.reengineeringllc.com and logging into the public ''demo'' ID



a PC made by some-manufacturer could potentially run the operating system some-OStype
not : a computer made by that-manufacturer can actually run that-OStype
------------------------------------------------------------------------------------------------
it is an error to suppose that a computer made by that-manufacturer can actually run that-OStype


for the class  Personal Computer  there is a subclass some-manufacturer
for the class  Operating System  there is a subclass some-OStype
------------------------------------------------------------------------------------
a PC made by that-manufacturer could potentially run the operating system that-OStype


a computer made by this-manufacturer can actually run this-OStype
=================================================================
                     Dell                              Windows
                     Dell                              Linux
                     Mac                               MacOS


for the class this-class there is a subclass this-subclass
===========================================================
Personal Computer                            Dell
Personal Computer                            Mac
Operating System                             MacOS
Operating System                             Windows
Operating System                             Linux