- From: Alan Ruttenberg <alanruttenberg@gmail.com>
- Date: Tue, 22 Apr 2008 04:02:09 -0400
- To: Bijan Parsia <bparsia@cs.man.ac.uk>
- Cc: OWL Working Group WG <public-owl-wg@w3.org>
On Apr 21, 2008, at 5:33 PM, Bijan Parsia wrote:
> On Apr 21, 2008, at 10:13 PM, Alan Ruttenberg wrote:
>
>> A quick glance at the document cited reveals only an XML syntax,
>> and the RIF/RDF/OWL documentation[3] suggests that combinations of
>> RIF and RDF be made by way of using multiple documents. Is there
>> a RDF syntax proposed, and if not are we comfortable with having
>> key axioms specified in a non-RDF syntax.
>
> I've put the proposal into the Wiki.
Ok. Thanks for that, and sorry about the confusion.
BTW, I was wondering whether the proposal could be extended to
include very easy keys for classes. This covers a use case I have,
similar to the other bioinformatics ones, except where the entities
are represented as classes.
It would be sufficient to have class keys be global. Same keys would
imply equivalentClasses as opposed to sameIndividuals
classKeyPropertyExpression := dataPropertyExpression |
objectPropertyExpression
classKeyAxiom := 'ClassKey' '(' { annotation} keyPropertyExpression
{ keyPropertyExpression }')'
e.g.
ClassKey(keggId)
I think this could be accomplished as a preprocessing step to compute
the equivalent classes before any (harder) reasoning starts.
-Alan
Received on Tuesday, 22 April 2008 08:02:48 UTC