From: pat hayes (phayes@ai.uwf.edu)
Date: 03/21/01
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
phayes@ai.uwf.edu
http://www.coginst.uwf.edu/~phayes
This archive was generated by hypermail 2.1.4 : 04/02/02 EST