[tbc-users] Re: Ignoring Transitivity

2009-02-04 Thread Scott Henninger
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

[tbc-users] Re: Ignoring Transitivity

2009-02-04 Thread Nick Khamis
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,

[tbc-users] Re: Ignoring Transitivity

2009-02-04 Thread Irene Polikoff
-composer-users@googlegroups.com [mailto:topbraid-composer-us...@googlegroups.com] On Behalf Of Nick Khamis Sent: Wednesday, February 04, 2009 8:16 AM To: topbraid-composer-users@googlegroups.com Subject: [tbc-users] Re: Ignoring Transitivity Hey Scott, Thanks again for your response. The reason I

[tbc-users] Re: Ignoring Transitivity

2009-02-03 Thread Scott Henninger
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