From: Alexander Maedche (ama@aifb.uni-karlsruhe.de)
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: maedche@aifb.uni-karlsruhe.de www: http://www.aifb.uni-karlsruhe.de/WBS/ama
This archive was generated by hypermail 2.1.4 : 03/26/02 EST