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(line 139249 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 property http://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 property http://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 for http://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 for http://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 -~----------~----~----~----~------~----~------~--~---