RE: Probable bug in swrl.owl from Mike Dean on 2004-08-19 (www-rdf-rules@w3.org from August 2004)

From: Mike Dean <mdean@bbn.com>
Date: Thu, 19 Aug 2004 09:00:44 -0700
To: "'Rinke Hoekstra'" <hoekstra@lri.jur.uva.nl>
Cc: <www-rdf-rules@w3.org>
Message-Id: <200408191600.i7JG0oje028801@aragorn.bbn.com>

> I just stumbled upon a bug in the swrl.owl file downloadable at
> http://www.w3.org/Submission/SWRL/swrl.owl (this is the version
> submitted to the W3C). The swrl:argument2 property is defined as an
> rdf:Property instead of an owl:ObjectProperty.

argument2 is used with rdfs:Literal values in DatavaluedPropertyAtom and
with owl:Thing values in IndividualPropertyAtom, SameIndividualAtom, and
DifferentIndividualsAtom (see the Restrictions).  It therefore can't be a
DatatypeProperty or an ObjectProperty, but is declared as an rdf:Property
which is a superclass of both.  Unfortunately, this puts the representation
in OWL Full.

An alternative would be to use 2 different properties.

	Mike

Received on Thursday, 19 August 2004 16:01:27 UTC