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 -~----------~----~----~----~------~----~------~--~---
