Yes, you are right. Open world assumption does not make this conclusion possible for the standard OWL inferencing. However, with the beta release of 3.0 scheduled for tomorrow, you will be able to use SPIN http://www.topquadrant.com/topbraid/composer/spin.html to implement this inferencing.
Regards, Irene Polikoff Executive Partner, TopQuadrant tel: 914-777-0888/ cell: 914-329-8576 www.topquadrant.com -----Original Message----- From: [email protected] [mailto:[email protected]] On Behalf Of Christoph Sent: Tuesday, December 30, 2008 12:22 PM To: TopBraid Composer Users Subject: [tbc-users] open world assumption problem I would like to have a class "Certificate" and two other Classes "Valid Certificates" and "Invalid Certificates". Authorities can set a certificate to be an invalid one. How can I reason all valid certificates (all certificates that are not invalid ones)? Is this possible? This might be an open world assumption problem. If a certificate is not explicitly set "invalid", the reasoner cannot know if it is therefore valid. It might be the case or not. Thanks! --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---
