Nick; You may to check the OWL species of your ontology. I take it the Pellet warning occurs when you add automatically added instances?
The Pellet warning is telling you that there is an (anticipated) undecidability problem in the ontology. I.e. you fell off OWL-DL and Pellet restricts itself to DL reasoning. You can check where this is occurring in Composer by doing Inference > Validate OWL Species. Informational statements on the graph pieces involved in OWL-Full appear in the error log tab. Clean these up and Pellet may be able to process the ontology. -- Scott On Feb 4, 8:15 am, Nick Khamis <[email protected]> wrote: > 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 -~----------~----~----~----~------~----~------~--~---
