Re: [protege-user] DL query bug ?
Samson Tu via protege-user <[email protected]> Sun, 23 Nov 2025 17:26:39 +0000
| Newsgroups | gmane.comp.misc.ontology.protege.owl |
|---|---|
| Message-ID | <[email protected]> |
--===============1983439115795319841== Content-Language: en-US Content-Type: multipart/alternative; boundary="_000_060D265F8DCC4EF4A314EBE5697002E0stanfordedu_" --_000_060D265F8DCC4EF4A314EBE5697002E0stanfordedu_ Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 SSBiZWxpZXZlIHRoZXJlIGFyZSBvdGhlciBzZWxmLXJlZmVyZW50aWFsIGF4aW9tcyBzaW1pbGFy IHRvIHRoZSBvbmUgYXNzb2NpYXRlZCB3aXRoIOKAmExleGljYWxpc2VkIGxlbW1hJyBpbiB0aGUg TEVYRUFVIG9udG9sb2d5LiBUcnkgdG8gY29uZHVjdCBhIG1vcmUgc3lzdGVtYXRpYyByZXZpZXcu IFRoZSBIZXJtaVQgcmVhc29uZXIgaGFuZ2luZyBpbmRpY2F0ZXMgdGhhdCB0aGUgcHJvYmxlbSBo YXMgbm90IGJlZW4gZnVsbHkgcmVzb2x2ZWQuIEFuIG9udG9sb2d5IHdpdGggMTYsOTIwIGF4aW9t cyBpcyBub3QgbGFyZ2UuIEl0IHNob3VsZG7igJl0IGNhdXNlIHJlYXNvbmVycyB0byBoYW5nLg0K DQoNCkJlc3QgcmVnYXJkcywNCg0KU2Ftc29uDQoNCk9uIE5vdiAyMywgMjAyNSwgYXQgMjo1OeKA r0FNLCBKZWFuLUxvdWlzIEphbmluIDxqZWFubG91aXNqYW5pbkBnbWFpbC5jb20+IHdyb3RlOg0K DQoNCkhpIFNhbXNvbiwNCg0KSSByZWR1Y2VkIHRoZSBudW1iZXIgb2YgYXhpb21zIGRvd24gdG8g MTYgOTIwIGF4aW9tcyAoZ2V0dGluZyByaWQgb2YgdW5uZWNlc3NhcnkgZGF0YSBwcm9wZXJ0aWVz IG9mIGxleGljb24gZW50aXRpZXMpLCBzdGlsbCB3aXRob3V0IHN1Y2Nlc3Mgd2l0aCBIZXJtaVQg cmVhc29uZXIgZm9yICdvcicgcXVlcmllcy4NCg0KQXMgeW91IHNhaWQsIEVsayByZWFzb25lciBy ZXR1cm5lZCBxdWlja2x5IHRoZSByZXN1bHQgb2YgIm9yIiBxdWVyaWVzLCB3aGljaCBpcyB0aW1l LXNhdmluZyBmb3IgbWUgaW4gdGhlIHByb2Nlc3Mgb2YgZXhwb3J0aW5nIChjb3B5L3Bhc3RlKSBs aXN0cyBvZiBsZXhpY2FsIHVuaXRzIGVkaXRlZCB3aXRoIERMIHF1ZXJpZXMuDQoNCkkgcmV2aXNl ZCB0aGUgYXhpb21zIG9mICdMZXhpY2FsaXNlZCBsZW1tYScgbWVudGlvbmVkIGluIHlvdXIgbGFz dCBtZXNzYWdlLiBMb29wcyBzaG91bGQgYmUgYXZvaWRlZCBpbiB0aGUgcHJvY2VzcyBvZiBlZGl0 aW5nIHRoZXNlIGxlbW1hIGluIFByb3TDqWfDqSwgYWxvbmcgd2l0aCBhdXhpbGlhcnkgbGVtbWFz LiBJIHdpbGwgbG9vayBpbiB0aGUgZnV0dXJlIGZvciB1bm5lY2Vzc2FyeSBheGlvbXMgYnV0IEkg ZG9uJ3QgdGhpbmsgSSB3aWxsIGJlIGFibGUgdG8gcmVkdWNlIHRoZW0gbWFzc2l2ZWx5IDogdGhl IGFpbSBvZiB0aGUgb250b2xvZ3kgaXMgdG8gZ2VuZXJhdGUgYSBzdHJhdGlmaWVkIGxleGljb24g YXMgbGV4aWNhbCB1bml0cyBpc3N1ZWQgZnJvbSBjbGFzcyBuYW1lcywgY29udHJvbGxlZCBlbnRp dGllcyBhbmQgZGF0YSBwcm9wZXJ0aWVzIHRocm91Z2ggYSBsaW1pdGVkIG51bWJlciBvZiBrbm93 bGVkZ2UgZ3JhcGhzIGluIGEgdGhlIG5vbi1zcGVjaWZpYyBhbmQgc3BlY2lmaWMgKG5vbiB0ZWNo bmljYWwsIHRlY2huaWNvLWFkbWluaXN0cmF0aXZlIGFuZCB0ZWNobm8tc2NpZW50aWZpYykgc2Vt YW50aWMgZmllbGRzIG9mICJXYXRlciwgY2xpbWF0ZSBhbmQgc3VzdGFpbmFibGUgZGV2ZWxvcG1l bnQiLCBpbmNsdWRpbmcgdGhlIGdyYXBocyBpbiB0aGUgZmluYWwgZWRpdGlvbiBvZiB0aGUgbGV4 aWNvbi4NCg0KVGhlIG9udG9sb2d5IExFWEVBVSBpcyBhdmFpbGFibGUgb24gdGhlIEFncm9Qb3J0 YWwgZGVwb3NpdCBpbiBNb250cGVsbGllciBpbiBhbiBvYnNvbGV0ZSB2ZXJzaW9uIG9mIEZlYnJ1 YXJ5IDIwMjUgKDIuMiB2ZXJzaW9uKS4gSXQgd2lsbCBiZSB1cGRhdGVkIGF0IHRoZSBlbmQgb2Yg dGhpcyBtb250aCAoMi4zIHZlcnNpb24pIGFmdGVyIGEgY29tcGxldCBlZGl0aW9uIG9mIG5vbiBy ZWRvbmRhbnQgY29uY2VwdHVhbCBncmFwaHMgaW4gRnJlbmNoLg0KDQpUaGUgV29yZCBlZGl0aW9u IG9mIHRoZSBiaWxpbmd1YWwgTGV4aWNvbiBpcyBhdmFpbGFibGUgYXMgYSBwZGYgZmlsZSBvbiB0 aGUgc2l0ZSBvZiB0aGUgRnJlbmNoICdBY2Fkw6ltaWUgZGUgbCdFYXUnIGluIGFuIG9ic29sZXRl IHZlcnNpb24gb2YgRmVicnVhcnkgMjAyNS4gSXQgd2lsbCBiZSB1cGRhdGVkIGhvcGVmdWxseSBl YXJseSBuZXh0IHllYXIgdG9nZXRoZXIgd2l0aCB0aGUgZGVwb3NpdCBvZiAzLjAgZWRpdGlvbiBv ZiBMRVhFQVUgb24gQWdyb1BvcnRhbC4NCg0KVGhhbmtzIHZlcnkgbXVjaCBmb3IgeW91ciBoZWxw Lg0KDQpCZXN0IHJlZ2FyZHMsDQoNCkplYW4tTG91aXMgSmFuaW4NCg0KTGUgMjIvMTEvMjAyNSDD oCAxOTo0OSwgU2Ftc29uIFR1IGEgw6ljcml0IDoNCkhpIEplYW4tTG91aXMsDQoNCllvdXIgcHJv YmxlbSBpcyBub3QgYSBQcm90ZWdlIGJ1ZyBidXQgYSByZWFzb25lciBpc3N1ZS4gVGhlIG9udG9s b2d5IGhhcyBhIGxhcmdlIG51bWJlciBvZiBheGlvbXMgKDcwMiBjbGFzc2VzLCBidXQgMTgsODY1 IGF4aW9tcykuIFRoZSBIZXJtaVQgcmVhc29uZXIgdGllZCBpdHNlbGYgaW4ga25vdHMgdHJ5aW5n IHRvIHJlc29sdmUgdGhlIHF1ZXJ5LiBJbnRlcmVzdGluZ2x5LCB1c2luZyBhIGxlc3MgZXhwcmVz c2l2ZSByZWFzb25lciAoRWxrKSBkZXNpZ25lZCBmb3IgYSBwcm9maWxlIHRoYXQgZG9lc27igJl0 IGluY2x1ZGUgZGlzanVuY3Rpb24gcmV0dXJucyB0aGUgcXVlcnkgcmVzdWx0cyBxdWlja2x5LiBJ IGFtIG5vdCBhbiBleHBlcnQgb24gcmVhc29uZXJzIG9yIHRoZSBpbnRlcm5hbHMgb2YgUHJvdGVn ZS4gTXkgKHdpbGQpIGd1ZXNzIGlzIHRoYXQsIGluIHRoZSBhYnNlbmNlIG9mIGluZmVyZW5jZSBy ZXN1bHRzIGJ1aWx0IGJ5IHRoZSByZWFzb25lciwgUHJvdGVnZSB1c2VzIHNvbWUga2luZCBvZiBs b29rdXAgdG8gcmVzb2x2ZSB0aGUgc2ltcGxlIGRpc2p1bmN0aXZlIHF1ZXJ5Lg0KDQooSW5pdGlh bGx5LCBJIHRob3VnaHQgdGhlIHByb2JsZW0gbWlnaHQgYmUgZHVlIHRvIGxpbWl0ZWQgSmF2YSBt ZW1vcnkgYWxsb2NhdGlvbi4gSG93ZXZlciwgYWZ0ZXIgYWxsb2NhdGluZyA4IEdCIG9mIG1lbW9y eSB0byB0aGUgcHJvY2VzcywgSSBvYnNlcnZlZCB0aGF0IHRoZSBQcm90ZWdlIHByb2Nlc3MgZGlk IG5vdCB1c2UgbW9yZSB0aGFuIDMgR0Igb2YgbWVtb3J5IHdoZW4gaXQgYXR0ZW1wdGVkIHRvIHJl c29sdmUgdGhlIEhlcm1pVC1iYXNlZCBxdWVyeS4gSXQgc2ltcGx5IGh1bmcuKQ0KDQpJIGFtIG5v dCBzdXJlIGFueW9uZSBpcyBtYWludGFpbmluZyB0aGUgcmVhc29uZXJzIGFueW1vcmUuIFRoZXkg d291bGQgYmUgdGhlIHJpZ2h0IHBlb3BsZSB0byBsb29rIGludG8gdGhpcywgbm90IFByb3RlZ2Ug ZGV2ZWxvcGVycy4NCg0KDQpCZXN0IHJlZ2FyZHMsDQoNClNhbXNvbg0KDQoNCltQYXN0ZWRHcmFw aGljLTEudGlmZl0NCg0KT24gTm92IDIwLCAyMDI1LCBhdCA3OjUy4oCvQU0sIEplYW4tTG91aXMg SmFuaW4gPGplYW5sb3Vpc2phbmluQGdtYWlsLmNvbT48bWFpbHRvOmplYW5sb3Vpc2phbmluQGdt YWlsLmNvbT4gd3JvdGU6DQoNCkhlbGxvLA0KDQpJIHRyaWVkIHRvIGV4ZWN1dGUgdGhpcyBxdWVy eSAoc2VlIERMX3F1ZXJ5XzEpIGZvciB0aGUgaW5zdGFuY2VzIG9mIHR3byB0YWJsZXMgb2YgbXkg b250b2xvZ3kgKHNlZSBETF9xdWVyeV80KSBidXQgaXQgZGlkIG5vdCB3b3JrLiBBZnRlciBzb21l IHRpbWUsIEkgd2FzIHRvbGQgdGhhdCBQcm90w6lnw6kgImRvZXMgbm90IHJlc3BvbmQiIChzZWUg RExfcXVlcnlfMikuDQoNCldoeSA/IElzIGl0IGEgcXVlc3Rpb24gb2YgImxpdmUiIG1lbW9yeSA/ DQoNCkkgYXR0YWNoIHRoZSBiZWdpbm5pbmcgb2YgdGhlIHJlcG9ydCAoc2VlIERMXzMpDQoNCllv dXJzLA0KDQpKZWFuLUxvdWlzIEphbmluDQo8RExfcXVlcnlfMS5wbmc+PERMX3F1ZXJ5XzIucG5n PjxETF9xdWVyeV8zLnBuZz48RExfcXVlcnlfNC5wbmc+X19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX18NCnByb3RlZ2UtdXNlciBtYWlsaW5nIGxpc3QNCnByb3Rl Z2UtdXNlckBsaXN0cy5zdGFuZm9yZC5lZHU8bWFpbHRvOnByb3RlZ2UtdXNlckBsaXN0cy5zdGFu Zm9yZC5lZHU+DQpodHRwczovL21haWxtYW4uc3RhbmZvcmQuZWR1L21haWxtYW4vbGlzdGluZm8v cHJvdGVnZS11c2VyDQoNCg0K --_000_060D265F8DCC4EF4A314EBE5697002E0stanfordedu_ Content-Type: text/html; charset="utf-8" Content-ID: <[email protected]> Content-Transfer-Encoding: base64 PGh0bWwgYXJpYS1sYWJlbD0ibWVzc2FnZSBib2R5Ij4NCjxoZWFkPg0KPG1ldGEgaHR0cC1lcXVp dj0iQ29udGVudC1UeXBlIiBjb250ZW50PSJ0ZXh0L2h0bWw7IGNoYXJzZXQ9dXRmLTgiPg0KPC9o ZWFkPg0KPGJvZHkgc3R5bGU9Im92ZXJmbG93LXdyYXA6IGJyZWFrLXdvcmQ7IC13ZWJraXQtbmJz cC1tb2RlOiBzcGFjZTsgbGluZS1icmVhazogYWZ0ZXItd2hpdGUtc3BhY2U7Ij4NCkkgYmVsaWV2 ZSB0aGVyZSBhcmUgb3RoZXIgc2VsZi1yZWZlcmVudGlhbCBheGlvbXMgc2ltaWxhciB0byB0aGUg b25lIGFzc29jaWF0ZWQgd2l0aCDigJhMZXhpY2FsaXNlZCBsZW1tYScgaW4gdGhlIExFWEVBVSBv bnRvbG9neS4gVHJ5IHRvIGNvbmR1Y3QgYSBtb3JlIHN5c3RlbWF0aWMgcmV2aWV3LiBUaGUgSGVy bWlUIHJlYXNvbmVyIGhhbmdpbmcgaW5kaWNhdGVzIHRoYXQgdGhlIHByb2JsZW0gaGFzIG5vdCBi ZWVuIGZ1bGx5IHJlc29sdmVkLiBBbg0KIG9udG9sb2d5IHdpdGggMTYsOTIwIGF4aW9tcyBpcyBu b3QgbGFyZ2UuIEl0IHNob3VsZG7igJl0IGNhdXNlIHJlYXNvbmVycyB0byBoYW5nLg0KPGRpdj48 YnI+DQo8L2Rpdj4NCjxkaXY+DQo8cCBzdHlsZT0ibWFyZ2luOiAwcHg7IGZvbnQtc3R5bGU6IG5v cm1hbDsgZm9udC12YXJpYW50LWNhcHM6IG5vcm1hbDsgZm9udC13aWR0aDogbm9ybWFsOyBsaW5l LWhlaWdodDogbm9ybWFsOyBmb250LXNpemUtYWRqdXN0OiBub25lOyBmb250LWtlcm5pbmc6IGF1 dG87IGZvbnQtdmFyaWFudC1hbHRlcm5hdGVzOiBub3JtYWw7IGZvbnQtdmFyaWFudC1saWdhdHVy ZXM6IG5vcm1hbDsgZm9udC12YXJpYW50LW51bWVyaWM6IG5vcm1hbDsgZm9udC12YXJpYW50LWVh c3QtYXNpYW46IG5vcm1hbDsgZm9udC12YXJpYW50LXBvc2l0aW9uOiBub3JtYWw7IGZvbnQtdmFy aWFudC1lbW9qaTogbm9ybWFsOyBmb250LWZlYXR1cmUtc2V0dGluZ3M6IG5vcm1hbDsgZm9udC1v cHRpY2FsLXNpemluZzogYXV0bzsgZm9udC12YXJpYXRpb24tc2V0dGluZ3M6IG5vcm1hbDsiPg0K PGk+QmVzdCByZWdhcmRzLDwvaT48aT48L2k+PC9wPg0KPHAgc3R5bGU9Im1hcmdpbjogMHB4OyBm b250LXN0eWxlOiBub3JtYWw7IGZvbnQtdmFyaWFudC1jYXBzOiBub3JtYWw7IGZvbnQtd2lkdGg6 IG5vcm1hbDsgbGluZS1oZWlnaHQ6IG5vcm1hbDsgZm9udC1zaXplLWFkanVzdDogbm9uZTsgZm9u dC1rZXJuaW5nOiBhdXRvOyBmb250LXZhcmlhbnQtYWx0ZXJuYXRlczogbm9ybWFsOyBmb250LXZh cmlhbnQtbGlnYXR1cmVzOiBub3JtYWw7IGZvbnQtdmFyaWFudC1udW1lcmljOiBub3JtYWw7IGZv bnQtdmFyaWFudC1lYXN0LWFzaWFuOiBub3JtYWw7IGZvbnQtdmFyaWFudC1wb3NpdGlvbjogbm9y bWFsOyBmb250LXZhcmlhbnQtZW1vamk6IG5vcm1hbDsgZm9udC1mZWF0dXJlLXNldHRpbmdzOiBu b3JtYWw7IGZvbnQtb3B0aWNhbC1zaXppbmc6IGF1dG87IGZvbnQtdmFyaWF0aW9uLXNldHRpbmdz OiBub3JtYWw7Ij4NCjxpPlNhbXNvbjwvaT48L3A+DQo8ZGl2Pjxicj4NCjxibG9ja3F1b3RlIHR5 cGU9ImNpdGUiPg0KPGRpdj5PbiBOb3YgMjMsIDIwMjUsIGF0IDI6NTnigK9BTSwgSmVhbi1Mb3Vp cyBKYW5pbiAmbHQ7amVhbmxvdWlzamFuaW5AZ21haWwuY29tJmd0OyB3cm90ZTo8L2Rpdj4NCjxi ciBjbGFzcz0iQXBwbGUtaW50ZXJjaGFuZ2UtbmV3bGluZSI+DQo8ZGl2Pg0KPGRpdj4NCjxwPkhp IFNhbXNvbiw8L3A+DQo8cD5JIHJlZHVjZWQgdGhlIG51bWJlciBvZiBheGlvbXMgZG93biB0byAx NiA5MjAgYXhpb21zIChnZXR0aW5nIHJpZCBvZiB1bm5lY2Vzc2FyeSBkYXRhIHByb3BlcnRpZXMg b2YgbGV4aWNvbiBlbnRpdGllcyksIHN0aWxsIHdpdGhvdXQgc3VjY2VzcyB3aXRoIEhlcm1pVCBy ZWFzb25lciBmb3IgJ29yJyBxdWVyaWVzLjwvcD4NCjxwPkFzIHlvdSBzYWlkLCBFbGsgcmVhc29u ZXIgcmV0dXJuZWQgcXVpY2tseSB0aGUgcmVzdWx0IG9mICZxdW90O29yJnF1b3Q7IHF1ZXJpZXMs IHdoaWNoIGlzIHRpbWUtc2F2aW5nIGZvciBtZSBpbiB0aGUgcHJvY2VzcyBvZiBleHBvcnRpbmcg KGNvcHkvcGFzdGUpIGxpc3RzIG9mIGxleGljYWwgdW5pdHMgZWRpdGVkIHdpdGggREwgcXVlcmll cy48L3A+DQo8cD5JIHJldmlzZWQgdGhlIGF4aW9tcyBvZiAnTGV4aWNhbGlzZWQgbGVtbWEnIG1l bnRpb25lZCBpbiB5b3VyIGxhc3QgbWVzc2FnZS4gTG9vcHMgc2hvdWxkIGJlIGF2b2lkZWQgaW4g dGhlIHByb2Nlc3Mgb2YgZWRpdGluZyB0aGVzZSBsZW1tYSBpbiBQcm90w6lnw6ksIGFsb25nIHdp dGggYXV4aWxpYXJ5IGxlbW1hcy4gSSB3aWxsIGxvb2sgaW4gdGhlIGZ1dHVyZSBmb3IgdW5uZWNl c3NhcnkgYXhpb21zIGJ1dCBJIGRvbid0IHRoaW5rIEkgd2lsbCBiZQ0KIGFibGUgdG8gcmVkdWNl IHRoZW0gbWFzc2l2ZWx5IDogdGhlIGFpbSBvZiB0aGUgb250b2xvZ3kgaXMgdG8gZ2VuZXJhdGUg YSBzdHJhdGlmaWVkIGxleGljb24gYXMgbGV4aWNhbCB1bml0cyBpc3N1ZWQgZnJvbSBjbGFzcyBu YW1lcywgY29udHJvbGxlZCBlbnRpdGllcyBhbmQgZGF0YSBwcm9wZXJ0aWVzIHRocm91Z2ggYSBs aW1pdGVkIG51bWJlciBvZiBrbm93bGVkZ2UgZ3JhcGhzIGluIGEgdGhlIG5vbi1zcGVjaWZpYyBh bmQgc3BlY2lmaWMgKG5vbg0KIHRlY2huaWNhbCwgdGVjaG5pY28tYWRtaW5pc3RyYXRpdmUgYW5k IHRlY2huby1zY2llbnRpZmljKSBzZW1hbnRpYyBmaWVsZHMgb2YgJnF1b3Q7V2F0ZXIsIGNsaW1h dGUgYW5kIHN1c3RhaW5hYmxlIGRldmVsb3BtZW50JnF1b3Q7LCBpbmNsdWRpbmcgdGhlIGdyYXBo cyBpbiB0aGUgZmluYWwgZWRpdGlvbiBvZiB0aGUgbGV4aWNvbi48L3A+DQo8cD5UaGUgb250b2xv Z3kgTEVYRUFVIGlzIGF2YWlsYWJsZSBvbiB0aGUgQWdyb1BvcnRhbCBkZXBvc2l0IGluIE1vbnRw ZWxsaWVyIGluIGFuIG9ic29sZXRlIHZlcnNpb24gb2YgRmVicnVhcnkgMjAyNSAoMi4yIHZlcnNp b24pLiBJdCB3aWxsIGJlIHVwZGF0ZWQgYXQgdGhlIGVuZCBvZiB0aGlzIG1vbnRoICgyLjMgdmVy c2lvbikgYWZ0ZXIgYSBjb21wbGV0IGVkaXRpb24gb2Ygbm9uIHJlZG9uZGFudCBjb25jZXB0dWFs IGdyYXBocyBpbiBGcmVuY2guJm5ic3A7PC9wPg0KPHA+VGhlIFdvcmQgZWRpdGlvbiBvZiB0aGUg YmlsaW5ndWFsIExleGljb24gaXMgYXZhaWxhYmxlIGFzIGEgcGRmIGZpbGUgb24gdGhlIHNpdGUg b2YgdGhlIEZyZW5jaCAnQWNhZMOpbWllIGRlIGwnRWF1JyBpbiBhbiBvYnNvbGV0ZSB2ZXJzaW9u IG9mIEZlYnJ1YXJ5IDIwMjUuIEl0IHdpbGwgYmUgdXBkYXRlZCBob3BlZnVsbHkgZWFybHkgbmV4 dCB5ZWFyIHRvZ2V0aGVyIHdpdGggdGhlIGRlcG9zaXQgb2YgMy4wIGVkaXRpb24gb2YgTEVYRUFV IG9uDQogQWdyb1BvcnRhbC48L3A+DQo8cD5UaGFua3MgdmVyeSBtdWNoIGZvciB5b3VyIGhlbHAu PC9wPg0KPHA+QmVzdCByZWdhcmRzLDwvcD4NCjxwPkplYW4tTG91aXMgSmFuaW4mbmJzcDs8L3A+ DQo8ZGl2IGNsYXNzPSJtb3otY2l0ZS1wcmVmaXgiPkxlIDIyLzExLzIwMjUgw6AgMTk6NDksIFNh bXNvbiBUdSBhIMOpY3JpdCZuYnNwOzo8YnI+DQo8L2Rpdj4NCjxibG9ja3F1b3RlIHR5cGU9ImNp dGUiIGNpdGU9Im1pZDo5M0ZCRUQ5OC02QjZELTQ5MzUtOTRBNC03QzgwNERBNDE4MzNAc3RhbmZv cmQuZWR1Ij4NCjxkaXY+SGkgSmVhbi1Mb3Vpcyw8L2Rpdj4NCjxkaXY+PGJyPg0KPC9kaXY+DQo8 ZGl2PllvdXIgcHJvYmxlbSBpcyBub3QgYSBQcm90ZWdlIGJ1ZyBidXQgYSByZWFzb25lciBpc3N1 ZS4gVGhlIG9udG9sb2d5IGhhcyBhIGxhcmdlIG51bWJlciBvZiBheGlvbXMgKDcwMiBjbGFzc2Vz LCBidXQgMTgsODY1IGF4aW9tcykuIFRoZSBIZXJtaVQgcmVhc29uZXIgdGllZCBpdHNlbGYgaW4g a25vdHMgdHJ5aW5nIHRvIHJlc29sdmUgdGhlIHF1ZXJ5LiBJbnRlcmVzdGluZ2x5LCB1c2luZyBh IGxlc3MgZXhwcmVzc2l2ZSByZWFzb25lciAoRWxrKQ0KIGRlc2lnbmVkIGZvciBhIHByb2ZpbGUg dGhhdCBkb2VzbuKAmXQgaW5jbHVkZSBkaXNqdW5jdGlvbiByZXR1cm5zIHRoZSBxdWVyeSByZXN1 bHRzIHF1aWNrbHkuIEkgYW0gbm90IGFuIGV4cGVydCBvbiByZWFzb25lcnMgb3IgdGhlIGludGVy bmFscyBvZiBQcm90ZWdlLiBNeSAod2lsZCkgZ3Vlc3MgaXMgdGhhdCwgaW4gdGhlIGFic2VuY2Ug b2YgaW5mZXJlbmNlIHJlc3VsdHMgYnVpbHQgYnkgdGhlIHJlYXNvbmVyLCBQcm90ZWdlIHVzZXMg c29tZSBraW5kDQogb2YgbG9va3VwIHRvIHJlc29sdmUgdGhlIHNpbXBsZSBkaXNqdW5jdGl2ZSBx dWVyeS4mbmJzcDs8L2Rpdj4NCjxkaXY+PGJyPg0KPC9kaXY+DQo8ZGl2PihJbml0aWFsbHksIEkg dGhvdWdodCB0aGUgcHJvYmxlbSBtaWdodCBiZSBkdWUgdG8gbGltaXRlZCBKYXZhIG1lbW9yeSBh bGxvY2F0aW9uLiBIb3dldmVyLCBhZnRlciBhbGxvY2F0aW5nIDggR0Igb2YgbWVtb3J5IHRvIHRo ZSBwcm9jZXNzLCBJIG9ic2VydmVkIHRoYXQgdGhlIFByb3RlZ2UgcHJvY2VzcyBkaWQgbm90IHVz ZSBtb3JlIHRoYW4gMyBHQiBvZiBtZW1vcnkgd2hlbiBpdCBhdHRlbXB0ZWQgdG8gcmVzb2x2ZSB0 aGUgSGVybWlULWJhc2VkDQogcXVlcnkuIEl0IHNpbXBseSBodW5nLik8L2Rpdj4NCjxkaXY+PGJy Pg0KPC9kaXY+DQo8ZGl2PkkgYW0gbm90IHN1cmUgYW55b25lIGlzIG1haW50YWluaW5nIHRoZSBy ZWFzb25lcnMgYW55bW9yZS4gVGhleSB3b3VsZCBiZSB0aGUgcmlnaHQgcGVvcGxlIHRvIGxvb2sg aW50byB0aGlzLCBub3QgUHJvdGVnZSBkZXZlbG9wZXJzLjwvZGl2Pg0KPGRpdj48YnI+DQo8L2Rp dj4NCjxkaXY+DQo8cD48aT5CZXN0IHJlZ2FyZHMsPC9pPjwvcD4NCjxwPjxpPlNhbXNvbjwvaT48 L3A+DQo8L2Rpdj4NCjxkaXY+PGJyPg0KPC9kaXY+DQo8ZGl2Pjxicj4NCjwvZGl2Pg0KPGltZyB3 aWR0aD0iODkwIiBhbHQ9IlBhc3RlZEdyYXBoaWMtMS50aWZmIiBzcmM9ImNpZDpBQjNGNUFFOC0w NkM4LTQ4Q0MtODgzQy05QjMxM0U3OUJDRjIiIG1vei1kby1ub3Qtc2VuZD0idHJ1ZSI+PGJyIGlk PSJsaW5lQnJlYWtBdEJlZ2lubmluZ09mTWVzc2FnZSI+DQo8ZGl2Pjxicj4NCjxibG9ja3F1b3Rl IHR5cGU9ImNpdGUiPg0KPGRpdj5PbiBOb3YgMjAsIDIwMjUsIGF0IDc6NTLigK9BTSwgSmVhbi1M b3VpcyBKYW5pbiA8YSBjbGFzcz0ibW96LXR4dC1saW5rLXJmYzIzOTZFIiBocmVmPSJtYWlsdG86 amVhbmxvdWlzamFuaW5AZ21haWwuY29tIj4NCiZsdDtqZWFubG91aXNqYW5pbkBnbWFpbC5jb20m Z3Q7PC9hPiB3cm90ZTo8L2Rpdj4NCjxiciBjbGFzcz0iQXBwbGUtaW50ZXJjaGFuZ2UtbmV3bGlu ZSI+DQo8ZGl2Pg0KPGRpdj5IZWxsbyw8YnI+DQo8YnI+DQpJIHRyaWVkIHRvIGV4ZWN1dGUgdGhp cyBxdWVyeSAoc2VlIERMX3F1ZXJ5XzEpIGZvciB0aGUgaW5zdGFuY2VzIG9mIHR3byB0YWJsZXMg b2YgbXkgb250b2xvZ3kgKHNlZSBETF9xdWVyeV80KSBidXQgaXQgZGlkIG5vdCB3b3JrLiBBZnRl ciBzb21lIHRpbWUsIEkgd2FzIHRvbGQgdGhhdCBQcm90w6lnw6kgJnF1b3Q7ZG9lcyBub3QgcmVz cG9uZCZxdW90OyAoc2VlIERMX3F1ZXJ5XzIpLjxicj4NCjxicj4NCldoeSA/IElzIGl0IGEgcXVl c3Rpb24gb2YgJnF1b3Q7bGl2ZSZxdW90OyBtZW1vcnkgPzxicj4NCjxicj4NCkkgYXR0YWNoIHRo ZSBiZWdpbm5pbmcgb2YgdGhlIHJlcG9ydCAoc2VlIERMXzMpPGJyPg0KPGJyPg0KWW91cnMsPGJy Pg0KPGJyPg0KSmVhbi1Mb3VpcyBKYW5pbjxicj4NCjxzcGFuIGlkPSJjaWQ6NTMwNTQwNDUtRTZB Ny00NkVCLTgyRTgtN0E0NzM0QTVGMEY4Ij4mbHQ7RExfcXVlcnlfMS5wbmcmZ3Q7PC9zcGFuPjxz cGFuIGlkPSJjaWQ6RjA1NUM5MEUtMjA1Qi00MEVCLTg2RjgtMERFODBCQTU4RUFEIj4mbHQ7RExf cXVlcnlfMi5wbmcmZ3Q7PC9zcGFuPjxzcGFuIGlkPSJjaWQ6NjQ0NTIwRjEtNzJDQy00QkFFLTgw RUYtNUEyQjQzMkI2NjM1Ij4mbHQ7RExfcXVlcnlfMy5wbmcmZ3Q7PC9zcGFuPjxzcGFuIGlkPSJj aWQ6NjVDQTY2ODEtQjkxMC00NDM4LUE2MkYtMTdGQ0ZERDRCNTRDIj4mbHQ7RExfcXVlcnlfNC5w bmcmZ3Q7PC9zcGFuPl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fPGJyPg0KcHJvdGVnZS11c2VyIG1haWxpbmcgbGlzdDxicj4NCjxhIGNsYXNzPSJtb3otdHh0 LWxpbmstYWJicmV2aWF0ZWQgbW96LXR4dC1saW5rLWZyZWV0ZXh0IiBocmVmPSJtYWlsdG86cHJv dGVnZS11c2VyQGxpc3RzLnN0YW5mb3JkLmVkdSI+cHJvdGVnZS11c2VyQGxpc3RzLnN0YW5mb3Jk LmVkdTwvYT48YnI+DQo8YSBjbGFzcz0ibW96LXR4dC1saW5rLWZyZWV0ZXh0IiBocmVmPSJodHRw czovL21haWxtYW4uc3RhbmZvcmQuZWR1L21haWxtYW4vbGlzdGluZm8vcHJvdGVnZS11c2VyIj5o dHRwczovL21haWxtYW4uc3RhbmZvcmQuZWR1L21haWxtYW4vbGlzdGluZm8vcHJvdGVnZS11c2Vy PC9hPjxicj4NCjwvZGl2Pg0KPC9kaXY+DQo8L2Jsb2NrcXVvdGU+DQo8L2Rpdj4NCjxicj4NCjwv YmxvY2txdW90ZT4NCjwvZGl2Pg0KPC9kaXY+DQo8L2Jsb2NrcXVvdGU+DQo8L2Rpdj4NCjxicj4N CjwvZGl2Pg0KPC9ib2R5Pg0KPC9odG1sPg0K --_000_060D265F8DCC4EF4A314EBE5697002E0stanfordedu_-- --===============1983439115795319841== 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 --===============1983439115795319841==--