[redland-dev] RDFS/OWL and reasoning in Redland

[Andre Meyer]

VGhlIGdlbmVyYWwgZGlzY3Vzc2lvbiBpcyBub3QgUmVkbGFuZC1zcGVjaWZpYywgaW5kZWVkLiBZ
b3VyIHBvaW50IHdydC4gT1dMCmlzIGludGVyZXN0aW5nIGFuZCB0aGF0IGlzIHdoYXQgSSBhbSBh
ZnRlciAtIGFuIG9udG9sb2d5IHRoYXQgZGVzY3JpYmVzIG15CmRvbWFpbiBjb25jZXB0cyAobm90
IHRoZSBlbnRpcmUgU2VtYW50aWMgV2ViKSBhbmQgd2hpY2ggYWxsb3dzIG1lIHRvIHVzZQooaW50
ZXJwcmV0ZSwgaW5mZXIsIGV0Yy4pIGluZm9ybWF0aW9uIHVzaW5nIHRoZSBrbm93bGVkZ2UgdGhh
dCBpcyBzcGVjaWZpZWQKYnkgb25lIG9yIG1vcmUgb250b2xvZ2llcy4KCkhvd2V2ZXIsIFJlZGxh
bmQgZG9lcyBub3Qgc3VwcG9ydCBPV0wsIHNvIEkgd2FzIHdvbmRlcmluZyB3aGV0aGVyIFJERlMg
bWlnaHQKaGVscC4gT2J2aW91c2x5LCBpdCBkb2VzIG5vdC4gSSBhbHNvIGZvcmdvdCB0byBtZW50
aW9uIHRoYXQgSSBhbSBsb29raW5nIGZvcgpSREYvUkRGUy9PV0wgdG9vbHMgaW4gUHl0aG9uIDst
KSBJZiB5b3Uga25vdyBvZiBhbnl0aGluZyB1c2VmdWwgYmV5b25kIHdoYXQKaGFzIGJlZW4gbWVu
dGlvbmVkIHNvIGZhciwgcGxlYXNlIGxldCBtZSBrbm93LgoKdGhhbmtzIGEgbG90IGZvciB5b3Vy
IGhlbHAKQW5kcmUKCgpPbiA5LzI4LzA2LCBFeWFsIE9yZW4gPGV5YWwub3JlbkBkZXJpLm9yZz4g
d3JvdGU6Cj4KPiBPbiAwOS8yNy8wNi8wOS8wNiAyMDowNCArMDEwMCwgUmljaGFyZCBOZXdtYW4g
d3JvdGU6Cj4gPiAgICBBbGwgcmlnaHQsIHRoYXQgaXMgYSBkaWZmZXJlbnQsIGJ1dHZhbGlkIHBv
aW50IG9mIHZpZXcgZnJvbUkgd2FudGVkLgo+ID4gICAgQWxsb3dpbmcgYW55dGhpbmcgdG8gYmUg
c3RhdGVkIHdpdGggdmFsaWRhdGlvbiBhZnRlciB0aGUgZmFjdC4KPiA+ICAgIE5ldmVydGhlbGVz
cywgdGhlcmUgZG9lcyBub3Qgc2VlbSB0byBiZSBhIGZhY2lsaXR5IHRvIGFsbG93IGZvcgo+IGNo
ZWNraW5nCj4gPiAgICB0aGUgdmFsaWRpdHkgb2Ygc3RhdGVtZW50cyBhY2NvcmRpbmcgdG8gYW4g
b250b2xvZ3kuIFdoYXQgd291bGQgeW91Cj4gPiAgICBzdWdnZXN0Pwo+ID4KPiA+Cj4gPlRoYXQn
cyBub3QgaG93IHRoZSBzZW1hbnRpYyB3ZWIgd29ya3MuCj4gPgo+ID5Zb3UgY2FuIHNheSBhbnl0
aGluZy4gRXZlcnl0aGluZyB5b3Ugc2F5IG1pZ2h0IGNhdXNlIGFkZGl0aW9uYWwKPiBpbmZvcm1h
dGlvbiB0bwo+ID5iZSBpbmZlcnJlZC4gVGhhdCBhZGRpdGlvbmFsIGluZm9ybWF0aW9uLCBvciB0
aGUgc3RhdGVtZW50IGl0c2VsZiwgbWlnaHQKPiBjYXVzZQo+ID55b3VyIGtub3dsZWRnZSBiYXNl
IHRvIGJlY29tZSBpbmNvbnNpc3RlbnQuIChUaGUgU2VtYW50aWMgV2ViIGFzIGEgd2hvbGUKPiBp
cwo+ID5hbG1vc3QgY2VydGFpbmx5IGluY29uc2lzdGVudCwgaWYgb25seSBiZWNhdXNlIG9mIERh
bm55J3MgY2F0cycgRk9BRgo+IHByb2ZpbGVzISkKPiBiZSBjYXJlZnVsIHdoYXQgeW91IG1lYW4g
d2l0aCAidGhlIHNlbWFudGljIHdlYiI6Cj4KPiAtIHJkZjogdGhlcmUgYXJlIG5vIHJ1bGVzCj4g
LSByZGZzOiB0aGVyZSBpcyBubyBpbmNvbnNpc3RlbmN5Cj4gLSBvd2w6IHRoZSByZXN0IG9mIHlv
dXIgZW1haWwgaG9sZHMKPgo+IGFzIEkgZXhwbGFpbmVkIGJlZm9yZSwgaW4gcmRmcyB0aGVyZSBp
cyBubyB3YXkgdG8gc2F5ICJwZW9wbGUgYXJlIG5vdAo+IGNhcnMiCj4gc28gdGhlcmUgaXMgbm8g
d2F5IHRvIGdldCBhbnkgaW5jb25zaXN0ZW5jeS4gc28gdGhlcmUgaXMgbm8gbmVlZCBmb3IKPiBp
bmNvbnNpc3RlbmN5IGNoZWNraW5nIHNpbmNlIGl0IGNhbiBuZXZlciBvY2N1ci4gIGluIG93bCBo
b3dldmVyLAo+IGV2ZXJ5dGhpbmcgeW91IHNhaWQgaG9sZHMgaW5kZWVkIFsxXSBidXQgdGhlIHNl
bWFudGljIHdlYiBpcyBub3QKPiBuZWNlc3NhcmlseSBvd2wuCj4KPiBhbmQgbm93IHdlIHNob3Vs
ZCBwcm9iYWJseSBzdG9wIHRoaXMgZGlzY3Vzc2lvbiBzaW5jZSBpdCBpcyBub3QgcmVkbGFuZAo+
IHNwZWNpZmljLCBidXQgd2UgY291bGQgY29udGludWUgaXQgb24gc2VtYW50aWMtd2ViQHczLm9y
Zy4KPgo+IC1leWFsCj4KPiBbMV0gZXhjZXB0IHRoYXQgdGhlIHN0b3JlIGRvZXNudCBrbm93IHdo
aWNoIHN0YXRlbWVudCBtYWRlIGl0Cj4gaW5jb25zaXN0ZW50Ogo+IGl0IGNhbiBrbm93IHRoYXQs
IGFuZCBpdCBjYW4gZXZlbiB0ZWxsIHlvdSwgc2VlIHdvcmsgb24gaW5jb25zaXN0ZW5jeQo+IHJl
YXNvbmluZywgZS5nLiB0aGUgbG9naWNhbCBzcHJlYWRzaGVldHMgYnkgbWlrZSBrYXNzb2ZmIGFu
ZCBtaWtlCj4gZ2VuZXNlcmV0aCBhdCBzdGFuZm9yZC4KPiBfX19fX19fX19fX19fX19fX19fX19f
X19fX19fX19fX19fX19fX19fX19fX19fXwo+IHJlZGxhbmQtZGV2IG1haWxpbmcgbGlzdAo+IHJl
ZGxhbmQtZGV2QGxpc3RzLmxpYnJkZi5vcmcKPiBodHRwOi8vbGlzdHMuZ25vbWVoYWNrLmNvbS9t
YWlsbWFuL2xpc3RpbmZvL3JlZGxhbmQtZGV2Cj4KCgoKLS0gCkRyLiBBbmRyZSBQLiBNZXllciAg
ICAgICAgICAgICAgICAgICAgICAgIGh0dHA6Ly9weXRob24ub3BlbnNwYWNlLm5sL21leWVyClRO
TyBEZWZlbmNlLCBTZWN1cml0eSBhbmQgU2FmZXR5ICAgICAgICAgIGh0dHA6Ly93d3cudG5vLm5s
LwpEZWxmdCBDb29wZXJhdGlvbiBvbiBJbnRlbGxpZ2VudCBTeXN0ZW1zICBodHRwOi8vd3d3LmRl
Y2lzLm5sLwoKQWgsIHRoaXMgaXMgb2J2aW91c2x5IHNvbWUgc3RyYW5nZSB1c2FnZSBvZiB0aGUg
d29yZCAnc2FmZScgdGhhdCBJIHdhc24ndApwcmV2aW91c2x5IGF3YXJlIG9mLiAtIERvdWdsYXMg
QWRhbXMKLS0tLS0tLS0tLS0tLS0gbmV4dCBwYXJ0IC0tLS0tLS0tLS0tLS0tCkFuIEhUTUwgYXR0
YWNobWVudCB3YXMgc2NydWJiZWQuLi4KVVJMOiBodHRwOi8vbGlzdHMudXNlZnVsaW5jLmNvbS9w
aXBlcm1haWwvcmVkbGFuZC1kZXYvYXR0YWNobWVudHMvMjAwNjA5MjgvNWJmMzM1NTQvYXR0YWNo
bWVudC5odG1sCg==