Michel; I think it depends on what you intend to do with your model. Is it a matter of documenting the constraints in your model, or will you run OWL or other inferences? If you want some action taken, do you want the system to make an inference or raise a consistency check flag?
If you want to use RDFS/OWL inferences, keep in mind that the RDFS inferences will create new triples to make your domain/range statements consistent. I.e. if you define ":classFulfillment rdfs:domain :Function", and have the triple ":myFunct :classFulfillment :someValue", then then RDFS inference will create the triple ":myFunct rdf:type :Function", if it does not already exist. The converse occurs for rdfs:range. If instead you want to flag constraint violations in your model, then I'd suggest using SPARQL Constraints. I think this is a good starting point. It may not be what you want, but will provide a path around some misconceptions, particularly w.r.t. domain/range inferences. With some clarification on your intent, more detail can be provided. -- Scott On Dec 9, 12:53 pm, "Bohms, H.M. (Michel)" <[email protected]> wrote: > Dear all, > > in the model below I want to define/constrain: > > the objectProperty "classFulfillment"can only between a subclass of Function > and subclass of Object. > (or similar: classDecomposition can only be amoung Function or Objects but > not mixed) > > can I define this directly in owl or do i better use spin/sparql some way? > > thx for any advice > > ps current ontology: > [...] > TNO.NL > > Michel Böhms > sr. Research Scientist Building Innovation > > TNO > Van Mourik Broekmanweg 6 | PO Box 49 > 2600 AA | Delft | The Netherlands > > Tel +31 888663107 > E-mail [email protected]<mailto:[email protected]> > Webhttp://www.linkedin.com/in/michelbohms > Skype michelbohms > > Disclaimer<blocked::http://www.tno.nl/content.cfm?&context=overtno&content=overtnosub&laa...> > > This e-mail and its contents are subject to the DISCLAIMER > athttp://www.tno.nl/disclaimer/email.html -- 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
