W3C home > Mailing lists > Public > public-prov-wg@w3.org > March 2012

Re: PROV-ISSUE-265 (TLebo): RL, why? [Ontology]

From: Stian Soiland-Reyes <soiland-reyes@cs.manchester.ac.uk>
Date: Mon, 5 Mar 2012 15:58:14 +0000
Message-ID: <CAPRnXtn4EU4igq5oB49pqb+Mgd=Dn9fOvdJKqfYK4ZNb7yAhUg@mail.gmail.com>
To: Timothy Lebo <lebot@rpi.edu>
Cc: Provenance Working Group <public-prov-wg@w3.org>
By the way, here are the tests against all profiles:

: stain@ralph ~/src/provenance-wg/prov/ontology;
bin/profilechecker.jar ProvenanceOntology.owl --all
OWL2DLProfile: OK
OWL2ELProfile: 64 violations
OWL2Profile: OK
OWL2QLProfile: 12 violations
OWL2RLProfile: OK

QL does not like irreflexive and functional. EL just goes crazy over
annotation properties.. not sure if I need to include an RDFS owl.





On Mon, Mar 5, 2012 at 15:49, Timothy Lebo <lebot@rpi.edu> wrote:
> Thanks, Stain. I look forward to trying this out.
>
> I added your notes at http://www.w3.org/2011/prov/wiki/PIL_OWL_Ontology#RL_compliance so that we can develop them further.
>
> Regards,
> Tim
>
> On Mar 5, 2012, at 10:39 AM, Stian Soiland-Reyes wrote:
>
>> Right, I've now added my little JAR, which you can invoke just calling
>> 'make' in the ontology/ folder:
>>
>> : stain@ralph ~/src/provenance-wg/prov/ontology; make
>> java -jar bin/profilechecker.jar ProvenanceOntology.owl OWL2RLProfile
>>
>>
>> If everything is fine, there is no further output.
>>
>> However, if I add that Element is a subclass of (Activity or Entity) I get:
>>
>> : stain@ralph ~/src/provenance-wg/prov/ontology; make
>> java -jar bin/profilechecker.jar ProvenanceOntology.owl OWL2RLProfile
>> Use of non-superclass expression in position that requires a
>> superclass expression:
>> ObjectUnionOf(<http://www.w3.org/ns/prov-o/Activity>
>> <http://www.w3.org/ns/prov-o/Entity>)
>> [SubClassOf(<http://www.w3.org/ns/prov-o/Element>
>> ObjectUnionOf(<http://www.w3.org/ns/prov-o/Activity>
>> <http://www.w3.org/ns/prov-o/Entity>)) in
>> <http://www.w3.org/ns/prov-o/>]
>> make: *** [test] Error 1
>>
>>
>> See https://github.com/stain/profilechecker for source code of the JAR
>> - it is based on OWL API 3.2.4, and can also check against other (or
>> all) profiles.
>>
>>
>> On Mon, Feb 27, 2012 at 13:56, Stian Soiland-Reyes
>> <soiland-reyes@cs.manchester.ac.uk> wrote:
>>> On Fri, Feb 24, 2012 at 18:40, Jim McCusker <mccusj@rpi.edu> wrote:
>>>> None of these require OWL-Full, and are well within DL. I haven't had
>>>> trouble reasoning over these sorts of restrictions with data in place.
>>>
>>> Well, we can keep it in DL if that still does the job, I just meant
>>> that there would be no OWL profile restrictions on forming those
>>> rules, and that it should be possible to 'retrofit' them like that.
>>>
>>> --
>>> Stian Soiland-Reyes, myGrid team
>>> School of Computer Science
>>> The University of Manchester
>>
>>
>>
>> --
>> Stian Soiland-Reyes, myGrid team
>> School of Computer Science
>> The University of Manchester
>>
>>
>



-- 
Stian Soiland-Reyes, myGrid team
School of Computer Science
The University of Manchester
Received on Monday, 5 March 2012 15:59:06 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Thursday, 26 April 2012 13:06:58 GMT