Re: Anyone working on an extension to SWRL to handle RDF*?

Hi,

none of the examples above seem to contain anything that cannot be
“inferred” using SPARQL (e.g. CONSTRUCT).


Martynas

On Thu, 4 Jun 2020 at 10.57, Doerthe Arndt <doerthe.arndt@ugent.be> wrote:

> Dear Finn,
>
> I can update that the example you describe below is now supported in the
> EYE reasoner (thanks to Jos de Roo). For more information, see
> https://github.com/w3c/N3/issues/27
>
> Kind regards,
> Doerthe
>
>
> Am 03.06.20 um 14:31 schrieb Doerthe Arndt:
>
> Dear Finn,
>
> I was very interested in reading about your idea about having rules on top
> of RDF*. I work in the N3 community group where we aim to propose a
> standard for N3, another rule-language for the semantics web. N3 already
> supports citation of graphs (not triples as RDF*).
>
> In N3 you can express triples including graphs
>
>     {:man :hasSpouse :woman} :startDate "1970-01-01"^^xsd:date .
>
> and you can write rules on top of your triples like for example:
>
>
>     { {?P1 :hasSpouse ?P2} :startDate ?D } *=>* { {?P2 :hasSpouse ?P1}
> :startDate ?D}.
>
> This rule applied to the previous triple would actually result in
>
>     {:woman :hasSpouse :man} :startDate "1970-01-01"^^xsd:date .
>
>
> We would like to align with RDF* but it will also depend on RDF*'s
> semantics whether we can assume that cited N3 graphs containing one single
> triple are actually the same as RDF* expressions, i.e. whether
>
> {:man :hasSpouse :woman} :startDate "1970-01-01"^^xsd:date . and  <<:man
> :hasSpouse :woman>> :startDate "1970-01-01"^^xsd:date .
>
> have the same meaning. If that will be the case, the derivation you
> propose is already supported by N3. Otherwise, we need to see how these
> constructs relate.
>
> If you want to play with N3, you can try our online tutorial of N3:
> https://n3.restdesc.org/
> In the tutorial there are different reasoning windows which actually call
> the EYE reasoner ( http://eulersharp.sourceforge.net/) in the background.
> So, if you want a first try, you can add your facts and rules and press
> "Execute EYE". If you would like to include OWL-RL, you can find the rules
> here: http://eulersharp.sourceforge.net/2003/03swap/eye-owl2.html
>
> Of course that is not RDF* yet, but when the semantics is fixed we plan to
> improve here.
>
> Kind regards,
> Doerthe
>
> Am 01.06.20 um 04:36 schrieb Tim Finin:
>
> I'm late to the game and just started experimenting with RDF* using
> Stardog's implementation. It didn't take me long to realize that I was not
> in Kansas anymore. :-)
>
> I started with a simple example:
>
> <<:man :hasSpouse :woman>> :startDate "1970-01-01"^^xsd:date .
>
>
> and thought to add
>
>
> :hasSpouse a owl:SymmetricProperty .
>
> Stardog did the right thing and added a triple <<:woman :hasSpouse :man>>,
> so I was happy.
>
> But then wanted to add a general way to represent the constraint that
>
> <<?P1 :hasSpouse ?P2>> :startDate ?D *=>*  <<?P2 :hasSpouse ?P1>>
> :startDate ?D
>
>
> This seemed very reasonable, at least for the normal semantics for the
> human spouse relation.
>
> I don't think there is a way to enforce this in OWL DL and assume that
> there's no version of SWRL that can handle RDF*.  I'm unsure if a SWRL rule
> using the reification model will work and even if it does, it seems to
> defeat the purpose of RDF*.
>
> I could do that with a SPARQL query, but that doesn't seem right -- I'd
> like to make this constraint be part of the schema/ontology.
>
> Is anyone aware of work on a SWRL reasoner that can work with RRF*?
>
> Tim
>
> --
> Tim Finin,  Willard and Lillian Hackerman Chair in Engineering,  Computer
> Science and
> Electrical Engineering, U. Maryland, Baltimore County, 1000 Hilltop
> Circle, Baltimore
> <https://www.google.com/maps/search/1000%0D%0A++++++++++++++++++++++Hilltop+Circle,+Baltimore%C2%A0+MD+%0D%0A++++++++++++++++++++++21250?entry=gmail&source=g>
> MD
> <https://www.google.com/maps/search/1000%0D%0A++++++++++++++++++++++Hilltop+Circle,+Baltimore%C2%A0+MD+%0D%0A++++++++++++++++++++++21250?entry=gmail&source=g>
> 21250
> <https://www.google.com/maps/search/1000%0D%0A++++++++++++++++++++++Hilltop+Circle,+Baltimore%C2%A0+MD+%0D%0A++++++++++++++++++++++21250?entry=gmail&source=g>
> . http://umbc.edu/~finin, finin@umbc.edu, tfinin@gmail.com,
> mobile:410-499-3522
>
> --
> Dörthe Arndt
> Researcher Semantic Web
> imec - Ghent University - IDLab | Faculty of Engineering and Architecture | Department of Electronics and Information SystemsTechnologiepark-Zwijnaarde 122, 9052 Ghent, Belgium <https://www.google.com/maps/search/Technologiepark-Zwijnaarde+122,+9052+Ghent,+Belgium?entry=gmail&source=g>
> t: +32 9 331 49 59 | e: doerthe.arndt@ugent.be
>
> --
> Dörthe Arndt
> Researcher Semantic Web
> imec - Ghent University - IDLab | Faculty of Engineering and Architecture | Department of Electronics and Information SystemsTechnologiepark-Zwijnaarde 122, 9052 Ghent, Belgium <https://www.google.com/maps/search/Technologiepark-Zwijnaarde+122,+9052+Ghent,+Belgium?entry=gmail&source=g>
> t: +32 9 331 49 59 | e: doerthe.arndt@ugent.be
>
>