Brief description of the ontology and the problem I face: Datatype Property :parent Datatype Property :child1 (subproperty of :parent)
Class A defined with restrictions: :parent cardinality min 1 :child_1 cardinality exactly 1 I create an individual :a and declare the statement: :a :child_1 "abcd" It is my understanding this should infer also :a :parent "abcd". However, it seems it doesn't and I get a constraint violation warning for the :parent property. Is this a bug? A feature? Maybe an error of my understanding of how subproperties ought to work? See attached file for above example. Using TBC FE 4.4.1 -- -- You received this message because you are subscribed to the Google Group "TopBraid Suite Users", the topics of which include Enterprise Vocabulary Network (EVN), TopBraid Composer, TopBraid Live, TopBraid Insight, SPARQLMotion, SPARQL Web Pages and SPIN. To post to this group, send email to topbraid-users@googlegroups.com To unsubscribe from this group, send email to topbraid-users+unsubscr...@googlegroups.com 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 Groups "TopBraid Suite Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to topbraid-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
test.ttl
Description: Binary data
