2nd CfP (deadline 31 Oct) Math. in Comp. Sci. Special Issue 'Enabling Domain Experts to use Formalised Reasoning'
Christoph LANGE <[email protected]> Thu, 03 Oct 2013 12:08:57 +0100
| Newsgroups | gmane.comp.misc.ontology.protege.general,gmane.comp.misc.ontology.protege.owl |
|---|---|
| Organization | University of Birmingham |
| Message-ID | <[email protected]> |
ICAgICBDYWxsIGZvciBQYXBlcnMgZm9yIGEgU3BlY2lhbCBJc3N1ZSBvZiBNQVRIRU1BVElDUyBJ TiBDT01QVVRFUiBTQ0lFTkNFCgogICAgICAgICAgICAgIEVOQUJMSU5HIERPTUFJTiBFWFBFUlRT IFRPIFVTRSBGT1JNQUxJU0VEIFJFQVNPTklORwogICAgICAgaHR0cDovL3d3dy5jcy5iaGFtLmFj LnVrL3Jlc2VhcmNoL3Byb2plY3RzL2Zvcm1hcmUvcHVicy9tY3MtZG9mb3JtLwoKICAgICAgICAg ICBHdWVzdCBlZGl0b3JzOiBNYW5mcmVkIEtlcmJlciwgQ2hyaXN0b3BoIExhbmdlLCBDb2xpbiBS b3dhdAoKV2UgaW52aXRlIGhpZ2gtcXVhbGl0eSBvcmlnaW5hbCByZXNlYXJjaCBwYXBlcnMgdG8g YSBzcGVjaWFsIGlzc3VlIG9mCnRoZSBCaXJraMOkdXNlci9TcHJpbmdlciBqb3VybmFsIE1hdGhl bWF0aWNzIGluIENvbXB1dGVyIFNjaWVuY2Ugb24gdGhlCnVzZSBvZiBzeXN0ZW1zIGJhc2VkIG9u IGEgZm9ybWFsLCBleHBsaWNpdCwgbWFjaGluZS12ZXJpZmlhYmxlCnJlcHJlc2VudGF0aW9uIG9m IGtub3dsZWRnZSBpbiBhcHBsaWNhdGlvbiBkb21haW5zIHN1Y2ggYXMgZWNvbm9taWNzLAplbmdp bmVlcmluZywgaGVhbHRoIGNhcmUsIGVkdWNhdGlvbi4gRXhhbXBsZXMgaW5jbHVkZToKCiogcHJv YmxlbXMgZnJvbSBhcHBsaWNhdGlvbiBkb21haW5zLCB3aGljaCBjb3VsZCBiZW5lZml0IGZyb20g YmV0dGVyCiAgdmVyaWZpY2F0aW9uIGFuZCBrbm93bGVkZ2UgbWFuYWdlbWVudCBmYWNpbGl0aWVz LCBhbmQKCioga25vd2xlZGdlIG1hbmFnZW1lbnQgYW5kIHZlcmlmaWNhdGlvbiB0b29scywgd2hp Y2ggZG9tYWluIGV4cGVydHMKICBjYW4gdXNlIHdpdGhvdXQgYSBjb21wdXRlciBzY2llbmNlIGJh Y2tncm91bmQuIChSZWFkIG1vcmUgYWJvdXQgb3VyCiAgdG9waWNzIG9mIGludGVyZXN0KQoKRm9y IGZ1cnRoZXIgZXhhbXBsZXMsIHBsZWFzZSBzZWUgdGhlIFN5bXBvc2l1bSBvbiBFbmFibGluZyBE b21haW4KRXhwZXJ0cyB0byB1c2UgRm9ybWFsaXNlZCBSZWFzb25pbmcKKGh0dHA6Ly93d3cuY3Mu YmhhbS5hYy51ay9yZXNlYXJjaC9wcm9qZWN0cy9mb3JtYXJlL2V2ZW50cy9haXNiMjAxMy8pCmhl bGQgYXQgdGhlIGFubnVhbCBjb252ZW50aW9uIG9mIHRoZSBBSVNCIChTb2NpZXR5IGZvciB0aGUg U3R1ZHkgb2YKQXJ0aWZpY2lhbCBJbnRlbGxpZ2VuY2UgYW5kIFNpbXVsYXRpb24gb2YgQmVoYXZp b3VyKSBpbiBBcHJpbCAyMDEzLgoKICAgIFN1Ym1pc3Npb246IDMxIE9jdG9iZXIgMjAxMwogICAg Tm90aWZpY2F0aW9uOiAxNSBEZWNlbWJlciAyMDEzCiAgICBSZXZpc2VkIHZlcnNpb24gZHVlOiAx NSBKYW51YXJ5IDIwMTQKICAgIEZpbmFsIHZlcnNpb24gZHVlOiAxNSBGZWJydWFyeSAyMDE0CiAg ICBQdWJsaWNhdGlvbiAoZXhwZWN0ZWQpOiBBcHJpbCAyMDE0CgpUb3BpY3Mgb2YgaW50ZXJlc3Qg aW5jbHVkZSBidXQgYXJlIG5vdCBsaW1pdGVkIHRvOgoKKiBmb3IgZG9tYWluIGV4cGVydHM6IHdo YXQgcHJvYmxlbXMgaW4gYXBwbGljYXRpb24gZG9tYWlucyBjb3VsZAogIGJlbmVmaXQgZnJvbSBi ZXR0ZXIgdmVyaWZpY2F0aW9uIGFuZCBrbm93bGVkZ2UgbWFuYWdlbWVudAogIGZhY2lsaXRpZXM/ IFBvc3NpYmxlIGZpZWxkcyBpbmNsdWRlOgoKICAtIEV4YW1wbGUgMSAoZWNvbm9taWNzKTogYXVj dGlvbnMsIHZhbHVlLWF0LXJpc2sgbW9kZWxzLCB0cmFkaW5nCiAgICBhbGdvcml0aG1zLCBtYXJr ZXQgZGVzaWduCgogIC0gRXhhbXBsZSAyIChlbmdpbmVlcmluZyk6IHN5c3RlbSBpbnRlcm9wZXJh YmlsaXR5LCBtYW51ZmFjdHVyaW5nCiAgICBwcm9jZXNzZXMsIHByb2R1Y3QgY2xhc3NpZmljYXRp b24KCiogZm9yIGNvbXB1dGVyIHNjaWVudGlzdHM6IGhvdyB0byBwcm92aWRlIHRoZSByaWdodCBr bm93bGVkZ2UKICBtYW5hZ2VtZW50IGFuZCB2ZXJpZmljYXRpb24gdG9vbHMgdG8gZG9tYWluIGV4 cGVydHMgd2l0aG91dCBhCiAgY29tcHV0ZXIgc2NpZW5jZSBiYWNrZ3JvdW5kPwoKICAtICB3aWtp cyBhbmQgYmxvZ3MgZm9yIGluZm9ybWFsLCBzZW1hbnRpYywgc2VtaWZvcm1hbCwgYW5kIGZvcm1h bAogICAgIG1hdGhlbWF0aWNhbCBrbm93bGVkZ2U7CiAgLSAgZ2VuZXJhbCB0ZWNobmlxdWVzIGFu ZCB0b29scyBmb3Igb25saW5lIGNvbGxhYm9yYXRpdmUgbWF0aGVtYXRpY3M7CiAgLSAgdG9vbHMg Zm9yIGNvbGxhYm9yYXRpdmVseSBwcm9kdWNpbmcsIHByZXNlbnRpbmcsIHB1Ymxpc2hpbmcsIGFu ZAogICAgIGludGVyYWN0aW5nIHdpdGggb25saW5lIG1hdGhlbWF0aWNzOwogIC0gIGF1dG9tYXRp b24gYW5kIGh1bWFuLWNvbXB1dGVyIGludGVyYWN0aW9uIGFzcGVjdHMgb2YgbWF0aGVtYXRpY2Fs Cndpa2lzOwogIC0gIG9udG9sb2dpZXMgYW5kIGtub3dsZWRnZSBiYXNlcyBkZXNpZ25lZCB0byBz dXBwb3J0IGtub3dsZWRnZQogICAgIG1hbmFnZW1lbnQgYW5kIHZlcmlmaWNhdGlvbiBpbiBhcHBs aWNhdGlvbiBkb21haW5zOwogIC0gIHByYWN0aWNhbCBleHBlcmllbmNlcywgdXNhYmlsaXR5IGFz cGVjdHMsIGZlYXNpYmlsaXR5IHN0dWRpZXM7CiAgLSAgZXZhbHVhdGlvbiBvZiBleGlzdGluZyB0 b29scyBhbmQgZXhwZXJpbWVudHM7CiAgLSAgcmVxdWlyZW1lbnRzLCB1c2VyIHNjZW5hcmlvcyBh bmQgZ29hbHMuCgpTdWJtaXNzaW9ucyBzaG91bGQgYmUgYXBwcm94aW1hdGVseSAyMCBwYWdlcyBs b25nLCBzaG91bGQgZm9sbG93CnB1Ymxpc2hlcnMnIGluc3RydWN0aW9ucyBhbmQgc2hvdWxkIGJl IHN1Ym1pdHRlZCB2aWEgRWFzeUNoYWlyLgoKUG90ZW50aWFsIGNvbnRyaWJ1dG9ycyBtYXkgY29u dGFjdCB0aGUgZ3Vlc3QgZWRpdG9ycwooZG9mb3JtbWNzMjAxNEBlYXN5Y2hhaXIub3JnKSB0byBk aXNjdXNzIHRoZSBzdWl0YWJpbGl0eSBvZiB0b3BpY3MgYW5kCnBhcGVycy4KCi0tIApDaHJpc3Rv cGggTGFuZ2UsIFNjaG9vbCBvZiBDb21wdXRlciBTY2llbmNlLCBVbml2ZXJzaXR5IG9mIEJpcm1p bmdoYW0KaHR0cDovL2NzLmJoYW0uYWMudWsvfmxhbmdlYy8sIFNreXBlIGR1a2U0NzAxCgrihpIg SW50ZWxsaWdlbnQgQ29tcHV0ZXIgTWF0aGVtYXRpY3MsIDjigJMxMiBKdWx5LCBCYXRoLCBVSy4K ICBFYXJseSByZWdpc3RyYXRpb24gZGVhZGxpbmUgMjMgSnVuZTsgaHR0cDovL2NpY20tY29uZmVy ZW5jZS5vcmcvMjAxMy8K4oaSIEtub3dsZWRnZSBhbmQgRXhwZXJpZW5jZSBNYW5hZ2VtZW50LCA3 LTkgT2N0b2JlciwgQmFtYmVyZywgR2VybWFueS4KICBTdWJtaXNzaW9uIHVudGlsIDEgSnVseTsg aHR0cDovL21pbmYudW5pLWJhbWJlcmcuZGUvbHdhMjAxMy9jZnAvZmd3bS8K4oaSIE1vZHVsYXIg T250b2xvZ2llcyAoV29NTyksIDE1IFNlcHRlbWJlciwgQ29ydW5uYSwgU3BhaW4uCiAgU3VibWlz c2lvbiB1bnRpbCA1IEp1bHk7IGh0dHA6Ly93d3cuaWFvYS5vcmcvd29tby8yMDEzLmh0bWwKX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KcHJvdGVnZS1kaXNj dXNzaW9uIG1haWxpbmcgbGlzdApwcm90ZWdlLWRpc2N1c3Npb25AbGlzdHMuc3RhbmZvcmQuZWR1 Cmh0dHBzOi8vbWFpbG1hbi5zdGFuZm9yZC5lZHUvbWFpbG1hbi9saXN0aW5mby9wcm90ZWdlLWRp c2N1c3Npb24KCkluc3RydWN0aW9ucyBmb3IgdW5zdWJzY3JpYmluZzogaHR0cDovL3Byb3RlZ2Uu c3RhbmZvcmQuZWR1L2RvYy9mYXEuaHRtbCMwMWEuMDMK