Thanks to all for this good info. I am not using a syntax checker. I am merely attempting to gain an understanding of what officially counts as what.
I did not take Irene to be giving information that is pertinenant to a syntax checker. Correct me if I am wrong, but Irene's point seemed to be that RDFS, in the context of TBC, provides framework information and is not included in a model that is exported from TBC. Thuse, I do not need to delete it in order to have exported ontologies, which do not use these expressions, count as OWL 1-DL. Is this correct? Best, Leonard On Tue, Feb 1, 2011 at 8:45 PM, Scott Henninger <[email protected]>wrote: > Just to be clear, Irene is correct about this. Breaking the RDFS > standard by removing rrdfs:subPropertyOf relationships should have no > effect on results from your DL syntax checker. The problems you are > experiencing are either due to other relationships in your model or > the DL checker you are using is in error. > > Composer is faithfully following the standard and does nothing extra > in this case. > > -- Scott > > On Feb 1, 5:44 pm, "Irene Polikoff" <[email protected]> wrote: > > Furthermore, as far as I can tell, deleting this axiom would have no > impact > > whatsoever on the ontologies Leonard develops. This includes not only > > whether they would pass OWL DL compliance check, but also, even more > > fundamentally, their content. > > > > This is because ontologies one develops do not contain the statement > Leonard > > considering deleting. Just like they do not contain statements defining > what > > owl:Class is or what owl:ObjectProperty is. These triples come from the > > standard namespaces implementing the W3C specifications and are not part > of > > the user defined domain ontologies. > > > > Regards, > > > > Irene > > -- > 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
