On 2010-04 -19, at 15:29, Jakub Kotowski wrote:
> Dear Olivier,
>
> Olivier Rossel wrote:
>> do you think that cwm's architecture is suitable as a rule engine for OWL2RL?
>
> I'm not an expert on cwm (or OWL for that matter) but I think that most
> OWL 2 RL rules are expressible in N3 rules. You would have to come up
> with a way to translate the rules with "false" in the head
Typically, one generates a triple putting something into class :Error and then checking the result for that.
> and I am not
> sure how the LIST[] expression would be translated to N3 (see for
> example rule eq-diff2).
N3 has list syntax like ( "joe" "alan" "nick").
To have a names on you'd have to say
h = (e1 e2 e3 e4 e5 e6).
in smushing mode (cwm --closure=e) where the = (owl:sameAs) is smushed down a single node,
or else
h rdf:first e1; rdf:rest (e2 e3 e4 e5 e6)
> Anyway, by directly translating the OWL 2 RL rules into N3 you maybe
> would be able to do OWL 2 RL reasoning using cwm but it probably
> wouldn't be very efficient or scalable (e.g. materializing all
> owl:sameAs triples probably isn't the best thing to do).
cwm has a mode (cwm --closure=e) in which it smushes together two nodes
which are owl:sameAs each other. That could help a little.
It may well not be scalable, but playing with the rules may be
useful.
>
> What is your use case?
>
> I'm CCing the cwm mailing list perhaps someone will know more.
Tim
>
> Jakub
>
>
>>
>>
>> On Mon, Apr 19, 2010 at 4:25 PM, Jakub Kotowski <jakubkotowski@gmx.net> wrote:
>>> Dear Olivier,
>>>
>>> Olivier Rossel schrieb:
>>>> Is there a reference list of all the rules to be implemented by a
>>> rules engine
>>>> to be fully compliant with RL?
>>> The rules are given already in the spec:
>>> http://www.w3.org/TR/owl2-profiles/#Reasoning_in_OWL_2_RL_and_RDF_Graphs_using_Rules
>>>
>>>> Or, even better, a reference implementation of OWL2-RL for an existing
>>>> rules engine?
>>> I don't know about any _reference_ implementation but there are some
>>> initial implementations - I know Ivan Herman made one and there are
>>> other (such as the SAOR reasoner [2]) that are close to OWL 2 RL which
>>> partly implement the pD* [1] semantics.
>>>
>>> Regards,
>>> Jakub
>>>
>>>
>>> [1] http://linkinghub.elsevier.com/retrieve/pii/S1570826805000144
>>> [2]
>>> http://axel.deri.ie/presentations/20081029saor_ISWC_btriples_challenge.pdf
>>>
>>
>
>
>