Nick, It is possible that your automatically populated instances have data values in the format that does not correspond to the ranges you are specifying in the ontology. This would cause an inconsistency. Regards, Irene Polikoff <http://www.topquadrant.com/>
_____ From: [email protected] [mailto:[email protected]] On Behalf Of Nick Khamis Sent: Wednesday, February 04, 2009 8:16 AM To: [email protected] Subject: [tbc-users] Re: Ignoring Transitivity Hey Scott, Thanks again for your response. The reason I was asking about data store is because this ontology is only partially populated with instances for testing... When building the ontology we crated instances manually for testing and everything was ok as far as inferences where concerned, once we populated the ontology with more instances (automated) we got no reasoning and the messages discussed already. I will run this by the pellet mailing list as well. Thanks Again! On Tue, Feb 3, 2009 at 11:02 PM, Scott Henninger <[email protected]> wrote: Nick; For this size of an ontology, there is no need to look for outside triple stores. Just read in the file serialization (OWL/n3/ etc) and open. Composer will normally support a few 10's of thousands of triples or more, depending of course on the size of the file/ imports and the amount of memory you have. That Pellet is unable to complete the inference is unfortunate and predictable, but quite outside of Composer's control. I.e. Composer uses Pellet's API to invoke inferencing, an then it's up to Pellet to return the inferred triples. Unless you need true Tableau reasoning, you may be better off using a datalog reasoner - i.e. configure for OWLIM. -- Scott On Feb 3, 10:19 pm, Nick Khamis <[email protected]> wrote: > Hello Everyone, > > I create a TBox that contains a few non-primitive concepts, 10 Object + Data > Type Properties. Two of the Object Properties have transitive closure. The > individuals are loaded into the owl file using Java code... I am seeing the > following message when running the Pellet Resonser. One thing to note is the > "Ignoring Transitivity" part. And when I ran the reasoner on my older > eclipse and TBC installation I saw nothing under inferences after the > services where done. Still waiting to see what the fresh new installation is > going to do..... and waiting.... and waiting..... Which reminds me what's > the "in" with the best way to manage (insert, update. delete, reason) > ontologies (OWL DL), are you guys liking JenaDB or SDB etc.. ?: > > /etc/tbc/eclipse > Feb 3, 2009 10:07:42 PM > com.hp.hpl.jena.rdf.model.impl.RDFDefaultErrorHandler warning > WARNING:http://aseg.cs.concordia.ca/svn(line139249 <http://aseg.cs.concordia.ca/svn%28line139249> column 42): {W137} > Input is large. Switching off checking for illegal reuse of rdf:ID's. > Feb 3, 2009 10:08:37 PM org.mindswap.pellet.PelletOptions load > INFO: Reading Pellet configuration file > bundleresource://1091/pellet.properties > Feb 3, 2009 10:09:13 PM org.mindswap.pellet.jena.OWLLoader > addUnsupportedFeature > WARNING: Unsupported axiom: Ignoring transitivity axiom due to an existing > cardinality restriction for propertyhttp://aseg.cs.concordia.ca/svn#isMadeUpOf > Feb 3, 2009 10:09:13 PM org.mindswap.pellet.jena.OWLLoader > addUnsupportedFeature > WARNING: Unsupported axiom: Ignoring transitivity axiom due to an existing > cardinality restriction for propertyhttp://aseg.cs.concordia.ca/svn#hasMadeRelease > Feb 3, 2009 10:09:13 PM org.mindswap.pellet.RBox ignoreTransitivity > WARNING: Unsupported axiom: Ignoring transitivity and/or complex subproperty > axioms forhttp://aseg.cs.concordia.ca/svn#isMadeUpOf > Feb 3, 2009 10:09:13 PM org.mindswap.pellet.RBox ignoreTransitivity > WARNING: Unsupported axiom: Ignoring transitivity and/or complex subproperty > axioms forhttp://aseg.cs.concordia.ca/svn#hasMadeRelease > Feb 3, 2009 10:09:13 PM org.mindswap.pellet.KnowledgeBase prepare > INFO: Expressivity: SHIF(D), Classes: 4 Properties: 18 Individuals: 103136 > Strategy: SHINStrategy > > Anything we are doing worng? --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "TopBraid Composer Users" group. 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-composer-users?hl=en -~----------~----~----~----~------~----~------~--~---
