Re: Property vs. restriction

Hi Frank,

As the famous Pizza ontology states:

It is important to realise that in
OWL domains and ranges should not be viewed as constraints to be checked. They
are used as `axioms' in reasoning. For example if the property hasTopping has the
domain set as Pizza and we then applied the hasTopping property to IceCream
(individuals that are members of the class IceCream), this would generally not
result in an error. It would be used to infer that the class IceCream must be a
subclass of Pizza!

Hope this helps.

From: Dietze, Frank 
Sent: Friday, July 15, 2011 11:54 AM
To: public-owl-dev@w3.org 
Subject: Property vs. restriction
Hi,
I try to model with OWL. My question is: 
Instead of using a restriction, do I get the same result by specifying a property with  specific domain and range?
What is assumed as “best practice” of modeling relationships between concepts?

Thanks for your help!


Frank Dietze 
Student intern   I   SAP Research Dresden
SAP AG  I   Chemnitzer Str. 48   I   01187 Dresden   I   Germany

T +49 351 4811-6170   I   F +49 6227 78-56297   I   mailto:frank.dietze@sap.com
www.sap.com


Pflichtangaben/Mandatory Disclosure Statements: 
http://www.sap.com/company/legal/impressum.epx 
Diese E-Mail kann Betriebs- oder Geschäftsgeheimnisse oder sonstige vertrauliche Informationen enthalten. Sollten Sie diese E-Mail irrtümlich erhalten haben, ist Ihnen eine Kenntnisnahme des Inhalts, eine Vervielfältigung oder Weitergabe der E-Mail ausdrücklich untersagt.. Bitte benachrichtigen Sie uns und vernichten Sie die empfangene E-Mail. Vielen Dank. 

This e-mail may contain trade secrets or privileged, undisclosed, or otherwise confidential information. If you have received this e-mail in error, you are hereby notified that any review, copying, or distribution of it is strictly prohibited. Please inform us immediately and destroy the original transmittal. Thank you for your cooperation.