OK, I understand that TBC works with all families of OWL. I understand that OWL 2 allows for Punning, But that is not the issue that I am asking about. Owl 2 does not suit the purposes of a community in which I am working (Everybody wants to be OWL DL).
So my goal is to make all of my models OWL DL compliant in order to be able to work on the tasks that I am working on. I assume that this is indeed possible with TBC. BTW: this, as far as I can tell, has nothing to do with treating a resource as both an individual and a class. It has to do with how one can use annotation properties in OWL DL. One cannot have any subproperty axioms with annotations in OWL-DL With this in mind, how does one get rid of the subproperty axiom for the annotations that are forced on us by TBC? I cannot seem to delete it, but must do so in order to be OWL-DL compliant. (Unless, my interpretation of 7.1 is amiss. Is it?) Best wishes, Leonard On Tue, Feb 1, 2011 at 12:29 PM, Scott Henninger <[email protected] > wrote: > In particular, the restriction that an instance cannot also be used as a > class has been lifted in OWL 2. In particular, see > http://www.w3.org/TR/2009/WD-owl2-new-features-20090421/#F12:_Punning > > -- Scott > > On 1/26/11 12:31 PM, Bradley Shoebottom wrote: > > Scott, > > To put it simply, I was told to keep the ontology in OWL-DL so as to do > reasoning better. I think it had to do something with in OWL Full that a > Class and an instance could be the same making it difficult to isolate out > the instances. > > -- > You received this message because you are subscribed to the Google > Group "TopBraid Suite Users", the topics of which include TopBraid > Composer, > TopBraid Live, TopBraid Ensemble, SPARQLMotion and SPIN. > To post to this group, send email to > [email protected] > To unsubscribe from this group, send email to > [email protected]<topbraid-users%[email protected]> > For more options, visit this group at > http://groups.google.com/group/topbraid-users?hl=en > -- You received this message because you are subscribed to the Google Group "TopBraid Suite Users", the topics of which include TopBraid Composer, TopBraid Live, TopBraid Ensemble, SPARQLMotion and SPIN. 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-users?hl=en
