Restricted inverse relations

From: Alexander Maedche ([email protected])
Date: 10/09/00


Hi,

DAML supports only expressing inverse relation at the
global property level (http://www.daml.org/2000/10/daml-walkthru):

<rdfs:Property rdf:ID="child">
 <daml:inverseOf rdf:resource="#parent"/>
</rdfsProperty>

That's nice, however, in realistic application scenarios
expressing inverse relations has to be restricted to specific domain /
ranges
of relations, as for example it is possible in F-Logic:

FORALL Org1, Proj1
 Proj1:Project[financedBy ->> Org1] <->
  Org1:Organization[finances ->> Proj1].

How is this reflected by DAML?

Regards,
Alex
--
Alexander Maedche
University of Karlsruhe, Institute AIFB,
D-76128 Karlsruhe, Germany
Tel.: +49-(0)721-608 6558, Fax.: +49-(0)721-608 6580
e-mail: [email protected]
www: http://www.aifb.uni-karlsruhe.de/WBS/ama


This archive was generated by hypermail 2.1.4 : 03/26/02 EST