Andriy; Standard RDFS/OWL engines do not allow you to suppress rules. You get what the inference engine gives you. One suggestion is to use TopSPIN inferences. Import TopBraid/SPIN/owlrl-all.rdf to run all OWL 2 inferences. This implements the OWL 2 RL standard. Configure the inference engine to run TopSPIN. Then run inferences.
If some of the OWL RL rules are not needed, then import owlrl.rdf. Each OWL 2 RL rule is defined as a SPIN template in owlrl.rdf, using the name defined in the OWL 2 standard. Use the template to add each rule to owl:Thing (recommended, but can be added to any class definition). Use the "Create from SPIN template wizard" from spin:rule to choose the OWL 2 rule you want to use in the model. In addition to this flexibility, you can easily add new rules for inferencing by creating SPIN rules. This allows one to run OWL inferences + rules in a single format and in a single inference step. Future versions of Composer will have built-in rule sets for common profiles, such as RDFS, RDFS+, SKOS, etc. -- Scott On Jun 2, 9:49 am, Andriy Sokolov <[email protected]> wrote: > Hallo! > > I try to use Jena (OWL_DL_MEM_RULE_INF) + Pellet (incl. DL) > inferencing to check circles that could be > in a ontology, produced through a particular property P that has types > owl:TransitiveProperty and owl:IrreflexiveProperty. Jena > does generate new P's. My problem is, that it > generates also for a property P2 with range xsd:unsignedInt additional > ranges such xsd:desimal, short and so on, so I become an inconsistency > warning from Pellet. How do I avoid this new ranges? > I chain this 2 inference machines and use a loop. Without loop new P > and P2 both will not be generated. > > Thanks, > Andriy -- 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
