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 <sym...@gmail.com> 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 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 topbraid-composer-users@googlegroups.com To unsubscribe from this group, send email to topbraid-composer-users+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/topbraid-composer-users?hl=en -~----------~----~----~----~------~----~------~--~---
