Re: Probable bug in swrl.owl

Mike Dean wrote:
> 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.

I think that should be an option seriously investigated. As the 'slogan' 
of SWRL is "Semantic Web Rule Language (SWRL) based on a combination of 
the OWL DL and OWL Lite sublanguages of the OWL Web Ontology Language", 
offering an OWL-Full schema would be rather inconvenient ;-)

 From a purely esthetical point names such as argument1 and argument2 
are not optimal either. Furthermore, the names do not convey the 
semantics of the properties, i.e. they do not show in what way these 
arguments are used in the interpretation of SWRL rules (as domain and 
range of predicates?).

-Rinke

> 
> 	Mike
> 

-- 
--------------------------------------
Rinke Hoekstra hoekstra@lri.jur.uva.nl
T: +31-20-5253499    F: +31-20-5253495
Leibniz Center for Law,    Law Faculty
University of Amsterdam,   PO Box 1030
1000 BA  Amsterdam,    The Netherlands
--------------------------------------

Received on Monday, 23 August 2004 10:25:17 UTC