Hello fellow,
in the Allemang/Hendler book, on page 130-131 there is a discussion about
OWL to Extend OWL.
I want to make sure I understand the ramification of this type of assertion.

If I were to import a file.owl that contained the triple:
owl:inverseOf rdf:type owl:SymmetricProperty .
it would redefine owl:inverseOf for all instances right?

I guess what i am asking is when one goes about redefining items in the owl
namespace,
appropriate care must be given to the scope of those assertions.  Just like
rdfs:domain and rdfs:range, the inferences are aggresive and must be treated
with care.


--tk


-- 

"The nervous system organizes itself so as to compute a stable reality" -
Maturana & Varela

--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups 
"TopBraid Composer Users" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/topbraid-composer-users?hl=en
-~----------~----~----~----~------~----~------~--~---

Reply via email to