Question about domains and rages

Hello,

Being a beginner in Protégé, I'd like to understand fully the concept
behind domains and ranges which wasn't clear to me after studying its
tutorial.  Suppose, as in my case, that I have an object property named
hasComponentNeed.  It describes the type of component that is required
by other components in the ontology.  Likewise, there is its inverse &
symmetric property called isComponentNeedOf.

I'm adding the components' classes as the object property domain of
hasComponentNeed.  The issue I'm concerned about is that the object
property domains state it is the intersection, as it does for the
ranges.  Should I understand the domains and ranges intersection
requirement in the set theory context?  My humble understanding about
this is that the domains work more as a "container" for classes.

When it infers the ontology, the ranges are reasoned right.  Is this
correct?

I appreciate any help.

Thanks,

-- 
Andre Luiz Tietbohl Ramos
http://www.feng.pucrs.br/~andreltr 

"The best way to cheer yourself up is to try to cheer someone else up."
Mark Twain

I want a feeling worth paying for before I say goodbye...
Matt Johnson

_______________________________________________
protege-discussion mailing list
[email protected]
https://mailman.stanford.edu/mailman/listinfo/protege-discussion

Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03