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] For more options, visit this group at http://groups.google.com/group/topbraid-users?hl=en
