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