Re: Question on SWRL

Peter F. Patel-Schneider wrote:

> From: Axel Polleres <axel.polleres@uibk.ac.at>
> Subject: Question on SWRL 
> Date: Mon, 22 Nov 2004 09:55:31 +0100
> 
> 
>>Dear all,
>>
>>I have a question on the SWRL submission at
>>http://www.w3.org/Submission/SWRL/
>>(also in the revised version at http://www.daml.org/2004/11/fol/rules-all)
>>on the Tables the table in Section 3.1:
>>
>>What is the last line supposed to mean?!?
>>
>>  builtIn(r,z1,...,zn)         <S(z1),...,S(zn)> \in  D(f)
>>
>>i.e., what is D(f) here? D is nowehere mentioned as part of the
>>interpretation, rather it is written:
>>"D is an OWL DL data range" which does not make sense here, or no?
>>
>>Thanks for clarification,
>>
>>axel
> 
> 
> Hmm.  I agree that the wording could be much clearer, but D is defined just
> above, as an extension of the datatype map, in the last two sentences in
> the quote below, taken from the beginning of Section 3.1:
> 
> 	From the OWL Semantics and Abstract Syntax document we recall that,
> 	given a datatype map D, an abstract OWL interpretation is a tuple
> 	of the form
> 		I = <R, EC, ER, L, S, LV>
> 	where R is a set of resources, LV<=R is a set of literal values,
> 	EC is a mapping from classes and datatypes to subsets of R and LV
> 	respectively, ER is a mapping from properties to binary relations
> 	on R, L is a mapping from typed literals to elements of LV, and S
> 	is a mapping from individual names to elements of EC(owl:Thing). To
> 	handle the built-in relations, we augment the datatype map to map
> 	the built-in relations to tuples over the appropriate sets. That
> 	is, op:numeric-add is mapped into the triples of numeric values
> 	that correctly interpret numeric addition.
> 
> The mapping of built-in relations is indeed not part of an interpretation,
> as it does not vary between interpretations.
> 
> peter
> 
> PS:  Note that there is a typo in condition you quote.  It should read
> 
> 	builtIn(r,z1,...,zn)         <S(z1),...,S(zn)> \in  D(r)

ah, the P.S. mainly clarified my question :-)
and I guess the amgiguous meaning of using 'D' as a date range and
for the Datatype map should be resolved.
Then the table is clear.

axel

-- 
Dr. Axel Polleres
Digital Enterprise Research Institute - DERI Innsbruck
Institute of Computer Science, University of Innsbruck
+43-512-507/6486               Axel.Polleres@deri.org
http://homepage.uibk.ac.at/~c703262/

Received on Wednesday, 1 December 2004 12:43:00 UTC