Re: further de-abstraction details

From: Ian Horrocks ([email protected])
Date: 03/22/01


I agree that the "object" names suggested by Pat are better than the
"abstract" ones. In fact AbstractProperty is the only language element
involved - AbstractClass and AbstractRestriction do not exist in the
language specification (although "abstract" is sometimes used in
comments), even if they are referred to in documentation. Moreover,
AbstractProperty is newly introduced in the March 2001 version, so a
change at this point would be relatively painless - the only ontology
we will need to update is daml+oil-ex.

As for "concrete", I believe that this have already been eliminated
from the daml+oil and daml+oil-ex and is again just a matter of
bringing the documentation up to date.

Ian

On March 21, pat hayes writes:
> Heres a bit more of the kind of translation Im suggesting, this time 
> using the further mappings
> 
> abstract restriction --> object restriction
> abstract property -->  object property
> 
> To be consistent this would require changing the names of these three 
> language elements:
>         AbstractClass
>         AbstractProperty
>         AbstractRestriction
> 
> I would suggest to, respectively:
> 
> ObjectClass
> ObjectProperty
> ObjectRestriction
> 
> -------
> A property restriction is a special kind of (abstract) class 
> expression. It implicitly defines an anonymous class, namely the 
> class of all abstract objects that satisfy
> the restriction. There are two kinds of restrictions. The first kind, 
> AbstractRestriction works on abstract properties, i.e., properties 
> that relate abstract objects to
> other abstract objects. The second kind DatatypeRestriction works on 
> datatype properties, i.e., properties that relate abstract objects to 
> datatype values. Both kinds
> of restrictions are created using the same syntax, with the usual 
> difference being whether a class element or a datatype reference is 
> used. It is also possible to
> create restrictions that are neither abstract restrictions nor 
> datatype restrictions, but these restrictions are not handled within 
> DAML+OIL.
> 
> ---------
> 
> 
> A property restriction is a special kind of class expression. It 
> implicitly defines an anonymous class, namely the class of all 
> objects that satisfy
> the restriction. There are two kinds of restrictions. The first kind, 
> ObjectRestriction, works on object properties, i.e., properties that 
> relate objects to
> other objects. The second kind DatatypeRestriction works on datatype 
> properties, i.e., properties that relate  objects to datatype values. 
> Both kinds
> of restrictions are created using the same syntax, with the usual 
> difference being whether a class element or a datatype reference is 
> used. It is also possible to
> create restrictions that are neither abstract restrictions nor 
> datatype restrictions, but these restrictions are not handled within 
> DAML+OIL.
> 
> ---------------------------------------------------------------------
> IHMC					(850)434 8903   home
> 40 South Alcaniz St.			(850)202 4416   office
> Pensacola,  FL 32501			(850)202 4440   fax
> [email protected] 
> http://www.coginst.uwf.edu/~phayes
> 


This archive was generated by hypermail 2.1.4 : 04/02/02 EST