Re: [protege-user] DL query bug ?
Samson Tu via protege-user <[email protected]> Sat, 22 Nov 2025 23:06:03 +0000
| Newsgroups | gmane.comp.misc.ontology.protege.owl |
|---|---|
| Message-ID | <[email protected]> |
--===============4234859063665915396== Content-Language: en-US Content-Type: multipart/alternative; boundary="_000_77176B8742BA4B7DBE5A696685E32775stanfordedu_" --_000_77176B8742BA4B7DBE5A696685E32775stanfordedu_ Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 T25lIGZpbmFsIHRob3VnaHQ6IFRoZSByZWFzb25lcnMgbWF5IGJlIE9LLiBUaGUgcHJvYmxlbSBt YXkgYmUgdGhlIG9udG9sb2d5IGl0c2VsZi4NCg0KSSBicm93c2VkIHRoZSBMRVhFQVUgb250b2xv Z3kgYnJpZWZseSBhbmQgc2F3IHRoYXQgKOKAmExleGljYWxpemVkIGxlbW1h4oCZIGNvbXBvc2Vz IHNvbWUg4oCYTGV4aWNhbGl6ZWQgbGVtbWHigJkgKSBhbmQgKOKAmExleGljYWxpemVkIGxlbW1h 4oCZIOKAmGlzIGNvbXBvc2VkIG9mJyBzb21lIOKAmExleGljYWxpemVkIGxlbW1h4oCZICkuIERv buKAmXQgdGhlc2UgYXhpb21zIGNyZWF0ZSBsb29wcyB0aGF0IG1heSB0cmlwIHVwIHJlYXNvbmVy cz8gSSBkb27igJl0IGtub3cgdGhlIGludGVuZGVkIHNlbWFudGljcyBvZiB0aGVzZSBheGlvbXMu IEhvd2V2ZXIsIGhvdyBjYW4gYSBmaW5pdGUgbnVtYmVyIG9mIOKAmExleGljYWxpemVkIGxlbW1h 4oCZIGluZGl2aWR1YWxzIHNhdGlzZnkgdGhlc2UgYXhpb21zIHdpdGhvdXQgY3JlYXRpbmcgbG9v cHM/IE1heWJlIHRoYXTigJlzIHdoYXTigJlzIGNhdXNpbmcgdGhlIHJlYXNvbmVycyB0byBzcGlu IGFuZCBub3QgZmluaXNoLg0KDQpJIHRoaW5rIHRoaXMgaXMgbXkgZmluYWwgZGlhZ25vc2lzLiBU aGUgc29mdHdhcmUgaXMgT0ssIGJ1dCB0aGUgb250b2xvZ3kgbmVlZHMgZml4aW5nLg0KDQpEb2Vz IGFueW9uZSBrbm93IGEgdmFsaWRhdG9yIHRoYXQgY2FuIGRldGVjdCB0aGlzIGtpbmQgb2YgcHJv YmxlbT8NCg0KDQpCZXN0IHJlZ2FyZHMsDQoNClNhbXNvbg0KDQpPbiBOb3YgMjIsIDIwMjUsIGF0 IDE6MjnigK9QTSwgU2Ftc29uIFR1IDxzd3RAc3RhbmZvcmQuZWR1PiB3cm90ZToNCg0KSGkgSWdv ciwNCg0KSSBzdGFydGVkIHRoZSBQZWxsZXQgcmVhc29uZXIsIGFuZCBhZnRlciBoYWxmIGFuIGhv dXIsIGl04oCZcyBzdGlsbCBjaHVnZ2luZyBhbG9uZywgY29uc3VtaW5nIDcuNDQgR0Igb2YgbWVt b3J5LiBNeSBNYWNCb29rIFBybyBoYXMgbm90IHJlcG9ydGVkIGl0IGJlaW5nIHVucmVzcG9uc2l2 ZSB0aG91Z2gsDQoNCkplYW4tTG91aXMgc2VudCBtZSBoaXMgb250b2xvZ3kgZm9yIG1lIHRvIGV4 cGVyaW1lbnQgd2l0aC4gSSB0aGluayB0aGUgb250b2xvZ3kgaXMgdW5uZWNlc3NhcmlseSBjb21w bGV4LiBBeGlvbXMgb24gYWRtaW5pc3RyYXRpdmUgaW5mb3JtYXRpb24sIHN1Y2ggYXMgY3JlYXRp b24gZGF0ZSwgY29udHJpYnV0b3IgaW5pdGlhbCwgY3JlYXRvciBpbml0aWFsLCBhbmQgdXBkYXRp bmcgZGF0ZSwgY29udHJpYnV0ZSBub3RoaW5nIHRvIHRoZSBzZW1hbnRpY3Mgb2YgdGhlIGVudGl0 aWVzIGJlaW5nIG1vZGVsZWQuIElmIHlvdSBuZWVkIHRoZW0gdG8gZW5mb3JjZSBpbnRlZ3JpdHkg Y29uc3RyYWludHMsIGl04oCZcyBiZXR0ZXIgdG8gdXNlIHNvbWV0aGluZyBsaWtlIFNIQUNMLiBH ZXQgcmlkIG9mIHRoZXNlIHVubmVjZXNzYXJ5IOKAnGF4aW9tc+KAnSB0byBnZXQgYmV0dGVyIHBl cmZvcm1hbmNlLg0KDQpCZXN0IHJlZ2FyZHMsDQpTYW1zb24NCg0KDQpPbiBOb3YgMjIsIDIwMjUs IGF0IDEyOjA34oCvUE0sIElnb3IgVG91amlsb3YgdmlhIHByb3RlZ2UtdXNlciA8cHJvdGVnZS11 c2VyQGxpc3RzLnN0YW5mb3JkLmVkdT4gd3JvdGU6DQoNCkhpIFNhbXNvbiwNCkhhdmUgeW91IHRy aWVkIFBlbGxldD8NCg0KQ2hlZXJzLA0KSWdvcg0KDQoNClNlbnQ6IFNhdHVyZGF5LCBOb3ZlbWJl ciAyMiwgMjAyNSBhdCA2OjQ5IFBNDQpGcm9tOiAiU2Ftc29uIFR1IHZpYSBwcm90ZWdlLXVzZXIi IDxwcm90ZWdlLXVzZXJAbGlzdHMuc3RhbmZvcmQuZWR1Pg0KVG86ICJqZWFubG91aXNqYW5pbkBn bWFpbC5jb20iIDxqZWFubG91aXNqYW5pbkBnbWFpbC5jb20+LCAiVXNlciBzdXBwb3J0IGZvciBX ZWJQcm90ZWdlIGFuZCBQcm90ZWdlIERlc2t0b3AiIDxwcm90ZWdlLXVzZXJAbGlzdHMuc3RhbmZv cmQuZWR1Pg0KQ2M6ICJTYW1zb24gVHUiIDxzd3RAc3RhbmZvcmQuZWR1Pg0KU3ViamVjdDogUmU6 IFtwcm90ZWdlLXVzZXJdIERMIHF1ZXJ5IGJ1ZyA/DQpIaSBKZWFuLUxvdWlzLA0KDQpZb3VyIHBy b2JsZW0gaXMgbm90IGEgUHJvdGVnZSBidWcgYnV0IGEgcmVhc29uZXIgaXNzdWUuIFRoZSBvbnRv bG9neSBoYXMgYSBsYXJnZSBudW1iZXIgb2YgYXhpb21zICg3MDIgY2xhc3NlcywgYnV0IDE4LDg2 NSBheGlvbXMpLiBUaGUgSGVybWlUIHJlYXNvbmVyIHRpZWQgaXRzZWxmIGluIGtub3RzIHRyeWlu ZyB0byByZXNvbHZlIHRoZSBxdWVyeS4gSW50ZXJlc3RpbmdseSwgdXNpbmcgYSBsZXNzIGV4cHJl c3NpdmUgcmVhc29uZXIgKEVsaykgZGVzaWduZWQgZm9yIGEgcHJvZmlsZSB0aGF0IGRvZXNu4oCZ dCBpbmNsdWRlIGRpc2p1bmN0aW9uIHJldHVybnMgdGhlIHF1ZXJ5IHJlc3VsdHMgcXVpY2tseS4g SSBhbSBub3QgYW4gZXhwZXJ0IG9uIHJlYXNvbmVycyBvciB0aGUgaW50ZXJuYWxzIG9mIFByb3Rl Z2UuIE15ICh3aWxkKSBndWVzcyBpcyB0aGF0LCBpbiB0aGUgYWJzZW5jZSBvZiBpbmZlcmVuY2Ug cmVzdWx0cyBidWlsdCBieSB0aGUgcmVhc29uZXIsIFByb3RlZ2UgdXNlcyBzb21lIGtpbmQgb2Yg bG9va3VwIHRvIHJlc29sdmUgdGhlIHNpbXBsZSBkaXNqdW5jdGl2ZSBxdWVyeS4NCg0KKEluaXRp YWxseSwgSSB0aG91Z2h0IHRoZSBwcm9ibGVtIG1pZ2h0IGJlIGR1ZSB0byBsaW1pdGVkIEphdmEg bWVtb3J5IGFsbG9jYXRpb24uIEhvd2V2ZXIsIGFmdGVyIGFsbG9jYXRpbmcgOCBHQiBvZiBtZW1v cnkgdG8gdGhlIHByb2Nlc3MsIEkgb2JzZXJ2ZWQgdGhhdCB0aGUgUHJvdGVnZSBwcm9jZXNzIGRp ZCBub3QgdXNlIG1vcmUgdGhhbiAzIEdCIG9mIG1lbW9yeSB3aGVuIGl0IGF0dGVtcHRlZCB0byBy ZXNvbHZlIHRoZSBIZXJtaVQtYmFzZWQgcXVlcnkuIEl0IHNpbXBseSBodW5nLikNCg0KSSBhbSBu b3Qgc3VyZSBhbnlvbmUgaXMgbWFpbnRhaW5pbmcgdGhlIHJlYXNvbmVycyBhbnltb3JlLiBUaGV5 IHdvdWxkIGJlIHRoZSByaWdodCBwZW9wbGUgdG8gbG9vayBpbnRvIHRoaXMsIG5vdCBQcm90ZWdl IGRldmVsb3BlcnMuDQoNCkJlc3QgcmVnYXJkcywNClNhbXNvbg0KDQoNCltQYXN0ZWRHcmFwaGlj LTEudGlmZl0NCg0KT24gTm92IDIwLCAyMDI1LCBhdCA3OjUy4oCvQU0sIEplYW4tTG91aXMgSmFu aW4gPGplYW5sb3Vpc2phbmluQGdtYWlsLmNvbT4gd3JvdGU6DQoNCkhlbGxvLA0KDQpJIHRyaWVk IHRvIGV4ZWN1dGUgdGhpcyBxdWVyeSAoc2VlIERMX3F1ZXJ5XzEpIGZvciB0aGUgaW5zdGFuY2Vz IG9mIHR3byB0YWJsZXMgb2YgbXkgb250b2xvZ3kgKHNlZSBETF9xdWVyeV80KSBidXQgaXQgZGlk IG5vdCB3b3JrLiBBZnRlciBzb21lIHRpbWUsIEkgd2FzIHRvbGQgdGhhdCBQcm90w6lnw6kgImRv ZXMgbm90IHJlc3BvbmQiIChzZWUgRExfcXVlcnlfMikuDQoNCldoeSA/IElzIGl0IGEgcXVlc3Rp b24gb2YgImxpdmUiIG1lbW9yeSA/DQoNCkkgYXR0YWNoIHRoZSBiZWdpbm5pbmcgb2YgdGhlIHJl cG9ydCAoc2VlIERMXzMpDQoNCllvdXJzLA0KDQpKZWFuLUxvdWlzIEphbmluDQo8RExfcXVlcnlf MS5wbmc+PERMX3F1ZXJ5XzIucG5nPjxETF9xdWVyeV8zLnBuZz48RExfcXVlcnlfNC5wbmc+X19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18NCnByb3RlZ2UtdXNl ciBtYWlsaW5nIGxpc3QNCnByb3RlZ2UtdXNlckBsaXN0cy5zdGFuZm9yZC5lZHUNCmh0dHBzOi8v bWFpbG1hbi5zdGFuZm9yZC5lZHUvbWFpbG1hbi9saXN0aW5mby9wcm90ZWdlLXVzZXINCg0KX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18gcHJvdGVnZS11c2Vy IG1haWxpbmcgbGlzdCBwcm90ZWdlLXVzZXJAbGlzdHMuc3RhbmZvcmQuZWR1IGh0dHBzOi8vbWFp bG1hbi5zdGFuZm9yZC5lZHUvbWFpbG1hbi9saXN0aW5mby9wcm90ZWdlLXVzZXINCl9fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fDQpwcm90ZWdlLXVzZXIgbWFp bGluZyBsaXN0DQpwcm90ZWdlLXVzZXJAbGlzdHMuc3RhbmZvcmQuZWR1DQpodHRwczovL21haWxt YW4uc3RhbmZvcmQuZWR1L21haWxtYW4vbGlzdGluZm8vcHJvdGVnZS11c2VyDQoNCg0K --_000_77176B8742BA4B7DBE5A696685E32775stanfordedu_ Content-Type: text/html; charset="utf-8" Content-ID: <[email protected]> Content-Transfer-Encoding: base64 PGh0bWwgYXJpYS1sYWJlbD0ibWVzc2FnZSBib2R5Ij4NCjxoZWFkPg0KPG1ldGEgaHR0cC1lcXVp dj0iQ29udGVudC1UeXBlIiBjb250ZW50PSJ0ZXh0L2h0bWw7IGNoYXJzZXQ9dXRmLTgiPg0KPC9o ZWFkPg0KPGJvZHkgc3R5bGU9Im92ZXJmbG93LXdyYXA6IGJyZWFrLXdvcmQ7IC13ZWJraXQtbmJz cC1tb2RlOiBzcGFjZTsgbGluZS1icmVhazogYWZ0ZXItd2hpdGUtc3BhY2U7Ij4NCk9uZSBmaW5h bCB0aG91Z2h0OiBUaGUgcmVhc29uZXJzIG1heSBiZSBPSy4gVGhlIHByb2JsZW0gbWF5IGJlIHRo ZSBvbnRvbG9neSBpdHNlbGYuDQo8ZGl2Pjxicj4NCjwvZGl2Pg0KPGRpdj5JIGJyb3dzZWQgdGhl IExFWEVBVSBvbnRvbG9neSBicmllZmx5IGFuZCBzYXcgdGhhdCAo4oCYTGV4aWNhbGl6ZWQgbGVt bWHigJkgY29tcG9zZXMgc29tZSDigJhMZXhpY2FsaXplZCBsZW1tYeKAmSApIGFuZCAo4oCYTGV4 aWNhbGl6ZWQgbGVtbWHigJkg4oCYaXMgY29tcG9zZWQgb2YnIHNvbWUg4oCYTGV4aWNhbGl6ZWQg bGVtbWHigJkgKS4gRG9u4oCZdCB0aGVzZSBheGlvbXMgY3JlYXRlIGxvb3BzIHRoYXQgbWF5IHRy aXAgdXAgcmVhc29uZXJzPyBJIGRvbuKAmXQga25vdyB0aGUNCiBpbnRlbmRlZCBzZW1hbnRpY3Mg b2YgdGhlc2UgYXhpb21zLiBIb3dldmVyLCBob3cgY2FuIGEgZmluaXRlIG51bWJlciBvZiDigJhM ZXhpY2FsaXplZCBsZW1tYeKAmSBpbmRpdmlkdWFscyBzYXRpc2Z5IHRoZXNlIGF4aW9tcyB3aXRo b3V0IGNyZWF0aW5nIGxvb3BzPyBNYXliZSB0aGF04oCZcyB3aGF04oCZcyBjYXVzaW5nIHRoZSBy ZWFzb25lcnMgdG8gc3BpbiBhbmQgbm90IGZpbmlzaC48L2Rpdj4NCjxkaXY+PGJyPg0KPC9kaXY+ DQo8ZGl2PkkgdGhpbmsgdGhpcyBpcyBteSBmaW5hbCBkaWFnbm9zaXMuIFRoZSBzb2Z0d2FyZSBp cyBPSywgYnV0IHRoZSBvbnRvbG9neSBuZWVkcyBmaXhpbmcuPC9kaXY+DQo8ZGl2Pjxicj4NCjwv ZGl2Pg0KPGRpdj5Eb2VzIGFueW9uZSBrbm93IGEgdmFsaWRhdG9yIHRoYXQgY2FuIGRldGVjdCB0 aGlzIGtpbmQgb2YgcHJvYmxlbT88L2Rpdj4NCjxkaXY+PGJyPg0KPC9kaXY+DQo8ZGl2Pg0KPHAg c3R5bGU9Im1hcmdpbjogMHB4OyBmb250LXN0eWxlOiBub3JtYWw7IGZvbnQtdmFyaWFudC1jYXBz OiBub3JtYWw7IGZvbnQtd2lkdGg6IG5vcm1hbDsgbGluZS1oZWlnaHQ6IG5vcm1hbDsgZm9udC1z aXplLWFkanVzdDogbm9uZTsgZm9udC1rZXJuaW5nOiBhdXRvOyBmb250LXZhcmlhbnQtYWx0ZXJu YXRlczogbm9ybWFsOyBmb250LXZhcmlhbnQtbGlnYXR1cmVzOiBub3JtYWw7IGZvbnQtdmFyaWFu dC1udW1lcmljOiBub3JtYWw7IGZvbnQtdmFyaWFudC1lYXN0LWFzaWFuOiBub3JtYWw7IGZvbnQt dmFyaWFudC1wb3NpdGlvbjogbm9ybWFsOyBmb250LXZhcmlhbnQtZW1vamk6IG5vcm1hbDsgZm9u dC1mZWF0dXJlLXNldHRpbmdzOiBub3JtYWw7IGZvbnQtb3B0aWNhbC1zaXppbmc6IGF1dG87IGZv bnQtdmFyaWF0aW9uLXNldHRpbmdzOiBub3JtYWw7Ij4NCjxpPkJlc3QgcmVnYXJkcyw8L2k+PGk+ PC9pPjwvcD4NCjxwIHN0eWxlPSJtYXJnaW46IDBweDsgZm9udC1zdHlsZTogbm9ybWFsOyBmb250 LXZhcmlhbnQtY2Fwczogbm9ybWFsOyBmb250LXdpZHRoOiBub3JtYWw7IGxpbmUtaGVpZ2h0OiBu b3JtYWw7IGZvbnQtc2l6ZS1hZGp1c3Q6IG5vbmU7IGZvbnQta2VybmluZzogYXV0bzsgZm9udC12 YXJpYW50LWFsdGVybmF0ZXM6IG5vcm1hbDsgZm9udC12YXJpYW50LWxpZ2F0dXJlczogbm9ybWFs OyBmb250LXZhcmlhbnQtbnVtZXJpYzogbm9ybWFsOyBmb250LXZhcmlhbnQtZWFzdC1hc2lhbjog bm9ybWFsOyBmb250LXZhcmlhbnQtcG9zaXRpb246IG5vcm1hbDsgZm9udC12YXJpYW50LWVtb2pp OiBub3JtYWw7IGZvbnQtZmVhdHVyZS1zZXR0aW5nczogbm9ybWFsOyBmb250LW9wdGljYWwtc2l6 aW5nOiBhdXRvOyBmb250LXZhcmlhdGlvbi1zZXR0aW5nczogbm9ybWFsOyI+DQo8aT5TYW1zb248 L2k+PC9wPg0KPGRpdj48YnI+DQo8YmxvY2txdW90ZSB0eXBlPSJjaXRlIj4NCjxkaXY+T24gTm92 IDIyLCAyMDI1LCBhdCAxOjI54oCvUE0sIFNhbXNvbiBUdSAmbHQ7c3d0QHN0YW5mb3JkLmVkdSZn dDsgd3JvdGU6PC9kaXY+DQo8YnIgY2xhc3M9IkFwcGxlLWludGVyY2hhbmdlLW5ld2xpbmUiPg0K PGRpdj4NCjxkaXYgc3R5bGU9Im92ZXJmbG93LXdyYXA6IGJyZWFrLXdvcmQ7IC13ZWJraXQtbmJz cC1tb2RlOiBzcGFjZTsgbGluZS1icmVhazogYWZ0ZXItd2hpdGUtc3BhY2U7Ij4NCkhpIElnb3Is DQo8ZGl2Pjxicj4NCjwvZGl2Pg0KPGRpdj5JIHN0YXJ0ZWQgdGhlIFBlbGxldCByZWFzb25lciwg YW5kIGFmdGVyIGhhbGYgYW4gaG91ciwgaXTigJlzIHN0aWxsIGNodWdnaW5nIGFsb25nLCBjb25z dW1pbmcgNy40NCBHQiBvZiBtZW1vcnkuIE15IE1hY0Jvb2sgUHJvIGhhcyBub3QgcmVwb3J0ZWQg aXQgYmVpbmcgdW5yZXNwb25zaXZlIHRob3VnaCw8L2Rpdj4NCjxkaXY+PGJyPg0KPC9kaXY+DQo8 ZGl2PkplYW4tTG91aXMgc2VudCBtZSBoaXMgb250b2xvZ3kgZm9yIG1lIHRvIGV4cGVyaW1lbnQg d2l0aC4gSSB0aGluayB0aGUgb250b2xvZ3kgaXMgdW5uZWNlc3NhcmlseSBjb21wbGV4LiBBeGlv bXMgb24gYWRtaW5pc3RyYXRpdmUgaW5mb3JtYXRpb24sIHN1Y2ggYXMgY3JlYXRpb24gZGF0ZSwg Y29udHJpYnV0b3IgaW5pdGlhbCwgY3JlYXRvciBpbml0aWFsLCBhbmQgdXBkYXRpbmcgZGF0ZSwg Y29udHJpYnV0ZSBub3RoaW5nIHRvIHRoZSBzZW1hbnRpY3MNCiBvZiB0aGUgZW50aXRpZXMgYmVp bmcgbW9kZWxlZC4gSWYgeW91IG5lZWQgdGhlbSB0byBlbmZvcmNlIGludGVncml0eSBjb25zdHJh aW50cywgaXTigJlzIGJldHRlciB0byB1c2Ugc29tZXRoaW5nIGxpa2UgU0hBQ0wuIEdldCByaWQg b2YgdGhlc2UgdW5uZWNlc3Nhcnkg4oCcYXhpb21z4oCdIHRvIGdldCBiZXR0ZXIgcGVyZm9ybWFu Y2UuJm5ic3A7PC9kaXY+DQo8ZGl2Pjxicj4NCjwvZGl2Pg0KPGRpdj4NCjxkaXYgc3R5bGU9Im1h cmdpbjogMHB4OyBmb250LXN0eWxlOiBub3JtYWw7IGZvbnQtdmFyaWFudC1jYXBzOiBub3JtYWw7 IGZvbnQtd2lkdGg6IG5vcm1hbDsgbGluZS1oZWlnaHQ6IG5vcm1hbDsgZm9udC1zaXplLWFkanVz dDogbm9uZTsgZm9udC1rZXJuaW5nOiBhdXRvOyBmb250LXZhcmlhbnQtYWx0ZXJuYXRlczogbm9y bWFsOyBmb250LXZhcmlhbnQtbGlnYXR1cmVzOiBub3JtYWw7IGZvbnQtdmFyaWFudC1udW1lcmlj OiBub3JtYWw7IGZvbnQtdmFyaWFudC1lYXN0LWFzaWFuOiBub3JtYWw7IGZvbnQtdmFyaWFudC1w b3NpdGlvbjogbm9ybWFsOyBmb250LWZlYXR1cmUtc2V0dGluZ3M6IG5vcm1hbDsgZm9udC1vcHRp Y2FsLXNpemluZzogYXV0bzsgZm9udC12YXJpYXRpb24tc2V0dGluZ3M6IG5vcm1hbDsiPg0KPGk+ QmVzdCByZWdhcmRzLDwvaT48aT48L2k+PC9kaXY+DQo8ZGl2IHN0eWxlPSJtYXJnaW46IDBweDsg Zm9udC1zdHlsZTogbm9ybWFsOyBmb250LXZhcmlhbnQtY2Fwczogbm9ybWFsOyBmb250LXdpZHRo OiBub3JtYWw7IGxpbmUtaGVpZ2h0OiBub3JtYWw7IGZvbnQtc2l6ZS1hZGp1c3Q6IG5vbmU7IGZv bnQta2VybmluZzogYXV0bzsgZm9udC12YXJpYW50LWFsdGVybmF0ZXM6IG5vcm1hbDsgZm9udC12 YXJpYW50LWxpZ2F0dXJlczogbm9ybWFsOyBmb250LXZhcmlhbnQtbnVtZXJpYzogbm9ybWFsOyBm b250LXZhcmlhbnQtZWFzdC1hc2lhbjogbm9ybWFsOyBmb250LXZhcmlhbnQtcG9zaXRpb246IG5v cm1hbDsgZm9udC1mZWF0dXJlLXNldHRpbmdzOiBub3JtYWw7IGZvbnQtb3B0aWNhbC1zaXppbmc6 IGF1dG87IGZvbnQtdmFyaWF0aW9uLXNldHRpbmdzOiBub3JtYWw7Ij4NCjxpPlNhbXNvbjwvaT48 L2Rpdj4NCjwvZGl2Pg0KPGRpdj48YnIgaWQ9ImxpbmVCcmVha0F0QmVnaW5uaW5nT2ZNZXNzYWdl Ij4NCjxkaXY+PGJyPg0KPGJsb2NrcXVvdGUgdHlwZT0iY2l0ZSI+DQo8ZGl2Pk9uIE5vdiAyMiwg MjAyNSwgYXQgMTI6MDfigK9QTSwgSWdvciBUb3VqaWxvdiB2aWEgcHJvdGVnZS11c2VyICZsdDtw cm90ZWdlLXVzZXJAbGlzdHMuc3RhbmZvcmQuZWR1Jmd0OyB3cm90ZTo8L2Rpdj4NCjxiciBjbGFz cz0iQXBwbGUtaW50ZXJjaGFuZ2UtbmV3bGluZSI+DQo8ZGl2Pg0KPGRpdj4NCjxkaXYgc3R5bGU9 ImZvbnQtZmFtaWx5OiBWZXJkYW5hO2ZvbnQtc2l6ZTogMTIuMHB4OyI+DQo8ZGl2PkhpJm5ic3A7 U2Ftc29uLDwvZGl2Pg0KPGRpdj5IYXZlIHlvdSB0cmllZCBQZWxsZXQ/PC9kaXY+DQo8ZGl2PiZu YnNwOzwvZGl2Pg0KPGRpdj5DaGVlcnMsPC9kaXY+DQo8ZGl2Pklnb3I8L2Rpdj4NCjxkaXY+Jm5i c3A7DQo8ZGl2PiZuYnNwOw0KPGRpdiBuYW1lPSJxdW90ZSIgc3R5bGU9Im1hcmdpbjoxMHB4IDVw eCA1cHggMTBweDsgcGFkZGluZzogMTBweCAwIDEwcHggMTBweDsgYm9yZGVyLWxlZnQ6MnB4IHNv bGlkICNDM0Q5RTU7IHdvcmQtd3JhcDogYnJlYWstd29yZDsgLXdlYmtpdC1uYnNwLW1vZGU6IHNw YWNlOyAtd2Via2l0LWxpbmUtYnJlYWs6IGFmdGVyLXdoaXRlLXNwYWNlOyI+DQo8ZGl2IHN0eWxl PSJtYXJnaW46MCAwIDEwcHggMDsiPjxiPlNlbnQ6PC9iPiZuYnNwO1NhdHVyZGF5LCBOb3ZlbWJl ciAyMiwgMjAyNSBhdCA2OjQ5IFBNPGJyPg0KPGI+RnJvbTo8L2I+Jm5ic3A7JnF1b3Q7U2Ftc29u IFR1IHZpYSBwcm90ZWdlLXVzZXImcXVvdDsgJmx0O3Byb3RlZ2UtdXNlckBsaXN0cy5zdGFuZm9y ZC5lZHUmZ3Q7PGJyPg0KPGI+VG86PC9iPiZuYnNwOyZxdW90O2plYW5sb3Vpc2phbmluQGdtYWls LmNvbSZxdW90OyAmbHQ7amVhbmxvdWlzamFuaW5AZ21haWwuY29tJmd0OywgJnF1b3Q7VXNlciBz dXBwb3J0IGZvciBXZWJQcm90ZWdlIGFuZCBQcm90ZWdlIERlc2t0b3AmcXVvdDsgJmx0O3Byb3Rl Z2UtdXNlckBsaXN0cy5zdGFuZm9yZC5lZHUmZ3Q7PGJyPg0KPGI+Q2M6PC9iPiZuYnNwOyZxdW90 O1NhbXNvbiBUdSZxdW90OyAmbHQ7c3d0QHN0YW5mb3JkLmVkdSZndDs8YnI+DQo8Yj5TdWJqZWN0 OjwvYj4mbmJzcDtSZTogW3Byb3RlZ2UtdXNlcl0gREwgcXVlcnkgYnVnID88L2Rpdj4NCjxkaXYg bmFtZT0icXVvdGVkLWNvbnRlbnQiPg0KPGRpdj4NCjxkaXY+SGkgSmVhbi1Mb3Vpcyw8L2Rpdj4N CjxkaXY+Jm5ic3A7PC9kaXY+DQo8ZGl2PllvdXIgcHJvYmxlbSBpcyBub3QgYSBQcm90ZWdlIGJ1 ZyBidXQgYSByZWFzb25lciBpc3N1ZS4gVGhlIG9udG9sb2d5IGhhcyBhIGxhcmdlIG51bWJlciBv ZiBheGlvbXMgKDcwMiBjbGFzc2VzLCBidXQgMTgsODY1IGF4aW9tcykuIFRoZSBIZXJtaVQgcmVh c29uZXIgdGllZCBpdHNlbGYgaW4ga25vdHMgdHJ5aW5nIHRvIHJlc29sdmUgdGhlIHF1ZXJ5LiBJ bnRlcmVzdGluZ2x5LCB1c2luZyBhIGxlc3MgZXhwcmVzc2l2ZSByZWFzb25lciAoRWxrKQ0KIGRl c2lnbmVkIGZvciBhIHByb2ZpbGUgdGhhdCBkb2VzbuKAmXQgaW5jbHVkZSBkaXNqdW5jdGlvbiBy ZXR1cm5zIHRoZSBxdWVyeSByZXN1bHRzIHF1aWNrbHkuIEkgYW0gbm90IGFuIGV4cGVydCBvbiBy ZWFzb25lcnMgb3IgdGhlIGludGVybmFscyBvZiBQcm90ZWdlLiBNeSAod2lsZCkgZ3Vlc3MgaXMg dGhhdCwgaW4gdGhlIGFic2VuY2Ugb2YgaW5mZXJlbmNlIHJlc3VsdHMgYnVpbHQgYnkgdGhlIHJl YXNvbmVyLCBQcm90ZWdlIHVzZXMgc29tZSBraW5kDQogb2YgbG9va3VwIHRvIHJlc29sdmUgdGhl IHNpbXBsZSBkaXNqdW5jdGl2ZSBxdWVyeS4mbmJzcDs8L2Rpdj4NCjxkaXY+Jm5ic3A7PC9kaXY+ DQo8ZGl2PihJbml0aWFsbHksIEkgdGhvdWdodCB0aGUgcHJvYmxlbSBtaWdodCBiZSBkdWUgdG8g bGltaXRlZCBKYXZhIG1lbW9yeSBhbGxvY2F0aW9uLiBIb3dldmVyLCBhZnRlciBhbGxvY2F0aW5n IDggR0Igb2YgbWVtb3J5IHRvIHRoZSBwcm9jZXNzLCBJIG9ic2VydmVkIHRoYXQgdGhlIFByb3Rl Z2UgcHJvY2VzcyBkaWQgbm90IHVzZSBtb3JlIHRoYW4gMyBHQiBvZiBtZW1vcnkgd2hlbiBpdCBh dHRlbXB0ZWQgdG8gcmVzb2x2ZSB0aGUgSGVybWlULWJhc2VkDQogcXVlcnkuIEl0IHNpbXBseSBo dW5nLik8L2Rpdj4NCjxkaXY+Jm5ic3A7PC9kaXY+DQo8ZGl2PkkgYW0gbm90IHN1cmUgYW55b25l IGlzIG1haW50YWluaW5nIHRoZSByZWFzb25lcnMgYW55bW9yZS4gVGhleSB3b3VsZCBiZSB0aGUg cmlnaHQgcGVvcGxlIHRvIGxvb2sgaW50byB0aGlzLCBub3QgUHJvdGVnZSBkZXZlbG9wZXJzLjwv ZGl2Pg0KPGRpdj4mbmJzcDs8L2Rpdj4NCjxkaXY+DQo8ZGl2IHN0eWxlPSJtYXJnaW46IDBweDsg Zm9udC1zdHlsZTogbm9ybWFsOyBsaW5lLWhlaWdodDogbm9ybWFsOyBmb250LXNpemUtYWRqdXN0 OiBub25lOyI+DQo8aT5CZXN0IHJlZ2FyZHMsPC9pPjwvZGl2Pg0KPGRpdiBzdHlsZT0ibWFyZ2lu OiAwcHg7IGZvbnQtc3R5bGU6IG5vcm1hbDsgbGluZS1oZWlnaHQ6IG5vcm1hbDsgZm9udC1zaXpl LWFkanVzdDogbm9uZTsiPg0KPGk+U2Ftc29uPC9pPjwvZGl2Pg0KPC9kaXY+DQo8ZGl2PiZuYnNw OzwvZGl2Pg0KPGRpdj4mbmJzcDs8L2Rpdj4NCjxpbWcgYWx0PSJQYXN0ZWRHcmFwaGljLTEudGlm ZiIgc3JjPSJjaWQ6QUIzRjVBRTgtMDZDOC00OENDLTg4M0MtOUIzMTNFNzlCQ0YyIiB3aWR0aD0i ODkwIj4NCjxkaXY+Jm5ic3A7DQo8YmxvY2txdW90ZT4NCjxkaXY+T24gTm92IDIwLCAyMDI1LCBh dCA3OjUy4oCvQU0sIEplYW4tTG91aXMgSmFuaW4gJmx0O2plYW5sb3Vpc2phbmluQGdtYWlsLmNv bSZndDsgd3JvdGU6PC9kaXY+DQombmJzcDsNCjxkaXY+DQo8ZGl2PkhlbGxvLDxicj4NCjxicj4N CkkgdHJpZWQgdG8gZXhlY3V0ZSB0aGlzIHF1ZXJ5IChzZWUgRExfcXVlcnlfMSkgZm9yIHRoZSBp bnN0YW5jZXMgb2YgdHdvIHRhYmxlcyBvZiBteSBvbnRvbG9neSAoc2VlIERMX3F1ZXJ5XzQpIGJ1 dCBpdCBkaWQgbm90IHdvcmsuIEFmdGVyIHNvbWUgdGltZSwgSSB3YXMgdG9sZCB0aGF0IFByb3TD qWfDqSAmcXVvdDtkb2VzIG5vdCByZXNwb25kJnF1b3Q7IChzZWUgRExfcXVlcnlfMikuPGJyPg0K PGJyPg0KV2h5ID8gSXMgaXQgYSBxdWVzdGlvbiBvZiAmcXVvdDtsaXZlJnF1b3Q7IG1lbW9yeSA/ PGJyPg0KPGJyPg0KSSBhdHRhY2ggdGhlIGJlZ2lubmluZyBvZiB0aGUgcmVwb3J0IChzZWUgRExf Myk8YnI+DQo8YnI+DQpZb3Vycyw8YnI+DQo8YnI+DQpKZWFuLUxvdWlzIEphbmluPGJyPg0KPHNw YW4gaWQ9ImNpZDo1MzA1NDA0NS1FNkE3LTQ2RUItODJFOC03QTQ3MzRBNUYwRjgiPiZsdDtETF9x dWVyeV8xLnBuZyZndDs8L3NwYW4+PHNwYW4gaWQ9ImNpZDpGMDU1QzkwRS0yMDVCLTQwRUItODZG OC0wREU4MEJBNThFQUQiPiZsdDtETF9xdWVyeV8yLnBuZyZndDs8L3NwYW4+PHNwYW4gaWQ9ImNp ZDo2NDQ1MjBGMS03MkNDLTRCQUUtODBFRi01QTJCNDMyQjY2MzUiPiZsdDtETF9xdWVyeV8zLnBu ZyZndDs8L3NwYW4+PHNwYW4gaWQ9ImNpZDo2NUNBNjY4MS1COTEwLTQ0MzgtQTYyRi0xN0ZDRkRE NEI1NEMiPiZsdDtETF9xdWVyeV80LnBuZyZndDs8L3NwYW4+X19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX188YnI+DQpwcm90ZWdlLXVzZXIgbWFpbGluZyBsaXN0 PGJyPg0KcHJvdGVnZS11c2VyQGxpc3RzLnN0YW5mb3JkLmVkdTxicj4NCjxhIGhyZWY9Imh0dHBz Oi8vbWFpbG1hbi5zdGFuZm9yZC5lZHUvbWFpbG1hbi9saXN0aW5mby9wcm90ZWdlLXVzZXIiIHRh cmdldD0iX2JsYW5rIj5odHRwczovL21haWxtYW4uc3RhbmZvcmQuZWR1L21haWxtYW4vbGlzdGlu Zm8vcHJvdGVnZS11c2VyPC9hPjwvZGl2Pg0KPC9kaXY+DQo8L2Jsb2NrcXVvdGU+DQo8L2Rpdj4N Cjxicj4NCl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fIHBy b3RlZ2UtdXNlciBtYWlsaW5nIGxpc3QgcHJvdGVnZS11c2VyQGxpc3RzLnN0YW5mb3JkLmVkdQ0K PGEgaHJlZj0iaHR0cHM6Ly9tYWlsbWFuLnN0YW5mb3JkLmVkdS9tYWlsbWFuL2xpc3RpbmZvL3By b3RlZ2UtdXNlciIgdGFyZ2V0PSJfYmxhbmsiPg0KaHR0cHM6Ly9tYWlsbWFuLnN0YW5mb3JkLmVk dS9tYWlsbWFuL2xpc3RpbmZvL3Byb3RlZ2UtdXNlcjwvYT48L2Rpdj4NCjwvZGl2Pg0KPC9kaXY+ DQo8L2Rpdj4NCjwvZGl2Pg0KPC9kaXY+DQo8L2Rpdj4NCl9fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fPGJyPg0KcHJvdGVnZS11c2VyIG1haWxpbmcgbGlzdDxi cj4NCnByb3RlZ2UtdXNlckBsaXN0cy5zdGFuZm9yZC5lZHU8YnI+DQpodHRwczovL21haWxtYW4u c3RhbmZvcmQuZWR1L21haWxtYW4vbGlzdGluZm8vcHJvdGVnZS11c2VyPGJyPg0KPC9kaXY+DQo8 L2Jsb2NrcXVvdGU+DQo8L2Rpdj4NCjxicj4NCjwvZGl2Pg0KPC9kaXY+DQo8L2Rpdj4NCjwvYmxv Y2txdW90ZT4NCjwvZGl2Pg0KPGJyPg0KPC9kaXY+DQo8L2JvZHk+DQo8L2h0bWw+DQo= --_000_77176B8742BA4B7DBE5A696685E32775stanfordedu_-- --===============4234859063665915396== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline _______________________________________________ protege-user mailing list [email protected] https://mailman.stanford.edu/mailman/listinfo/protege-user --===============4234859063665915396==--