W3C home > Mailing lists > Public > public-rdf-dawg@w3.org > January to March 2005

Re: ACTION Bijan: to work on "closeOver" work-alike with

From: Bijan Parsia <bparsia@isr.umd.edu>
Date: Mon, 7 Mar 2005 20:35:15 -0500
Message-Id: <877a7be2b8de34daf3de5c6cabe510e8@isr.umd.edu>
Cc: DAWG Mailing List <public-rdf-dawg@w3.org>, kendall@monkeyfist.com
To: jos.deroo@agfa.com

On Mar 7, 2005, at 4:32 PM, jos.deroo@agfa.com wrote:

> Bijan wrote:
>> On Mar 7, 2005, at 1:47 PM, Kendall Clark wrote:
>>> On Mon, Mar 07, 2005 at 10:55:45AM -0500, Bijan Parsia wrote:
>>>> If the action was to show the feasibility, then it is completed.
>>> I think I understand what you've done. But my only concerns are
>>>   1. Jos's case of being able to say that a graph is closed over an
>>>      arbitrary (?) set of rules
>> They just need an URI denoting them as an individual. That could be a
>> member of the class Expressivity.
> OK, URI's are fine and what I did last 5 years was using such
> expressivities which can be passed as command line argument
> and have an internal mapping to load appropriate rule sets
> else if (el.verb.startsWith(RDF)) return
> "http://www.agfa.com/w3c/euler/rdf-rules.n3";
> else if (el.verb.startsWith(RDFS)) return
> "http://www.agfa.com/w3c/euler/rdfs-rules.n3";
> else if (el.verb.startsWith(XSD)) return
> "http://www.agfa.com/w3c/euler/xsd-rules.n3";
> else if (el.verb.startsWith(OWL)) return
> "http://www.agfa.com/w3c/euler/owl-rules.n3";


I guess if you consider those to be specifications of expressivity then 
you're fine.

If you really wanted to, you could inline them as a datatypeproperty 
value. There is precedent.

> btw Bijan, in
> http://www.mindswap.org/dav/ontologies/bijan/2005/dawg/TestClosedOver
> I was not quite sure what was meant with
>     :RDFSGraph  rdf:rest ();

It looks like a spurious artifact of my editor, to wit, the failure to 
remove a oneOf cleanly.


There are annotations now.

If people use Swoop to view, we can use annotea to discuss :)

Received on Tuesday, 8 March 2005 01:35:18 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:00:46 UTC