Hi, sorry if my question is slightly off-topic here, but I'm starting 
now a journey into OWL/RDF using RDFLib (as my final purpose is the use 
of OWL in Plone/Zope, hence my choice of Python), and I feel I still 
have to understand some basic stuff.

Let's say I have a RDF file defining class A, and class B as a subclass 
of A. It then introduces an individual X as belonging to class B.

After loading the graph object into memory using rdflib, somehow I can 
infer that X belongs to class A (because it belongs to class B which is 
a subclass of A).
I could do this "by hand", by expressly searching through the triples 
stored in my rdflib graph to check if class B is defined as a subclass 
of some other class (I do not know this beforehand, if I'm not the one 
who wrote the RDF file). But is it the right way to do it? Or is it what 
reasoners are made for? And, in this case, is there a reasoner I could 
easily use from Python? Or... does the rdflib API already contain what I 
need, by chance? Does SPARQL have anything to do with that? (I guess 
not, judging on what I read...)

Thanks for any info or pointers. I've read quite a lot of stuff about 
OWL in the latest months, but I miss some real life examples (talking 
about the programmer's real life ;)).

-- 
Ciao,
   Marco.

_______________________________________________
Dev mailing list
[email protected]
http://rdflib.net/mailman/listinfo/dev

Reply via email to