> You were asking about description logic programming; well, OWL 2 RL: > > http://www.w3.org/TR/owl2-profiles/#OWL_2_RL > > is exactly that: it is a manifestation of DLP. It has a Direct > Semantics > 'side', compatible with OWL 2 DL, and a rule based 'side', described > by > the rule set: > > http://www.w3.org/TR/owl2-profiles/#Reasoning_in_OWL_2_RL_and_RDF_Graphs_using_Rules > > This rule set can be used for a forward or backward chaining approach > (or a combination thereof) that you describe. I have heard rumours > and/or statements on implementations coming up from various vendors. I > have, actually, a purely proof-of-concept-stupid-simple implementation > doing brute force forward chaining: > > http://www.ivan-herman.net/Misc/2008/owlrl/ > > Just to show what happens. And I am sure other implementations will > come > to the fore that I do not yet about. Cool stuff. How would backward chaining work? Would it be invoked via SPARQL? Is listing all properties of a given resource still possible? Axel -- Axel.Rauschmayer@ifi.lmu.de http://www.pst.ifi.lmu.de/~rauschma/Received on Monday, 27 July 2009 11:00:14 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:41:35 GMT