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

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 Finin,  Willard and Lillian Hackerman Chair in Engineering,  Computer
Science and
Electrical Engineering, U. Maryland, Baltimore County, 1000 Hilltop Circle,
Baltimore MD

Received on Monday, 1 June 2020 02:37:13 UTC