From: Lynn Andrea Stein ([email protected])
Date: 01/09/01
These comments are based on http://www.daml.org/2000/12/semantics.html, which may not be the current version. Also, I'm not entirely sure what forum this should go to, so my apologies if this is too narrowly sent; you may freely forward it to a more appropriate forum. I have some questions about the relationships between IC, IR, and IO. It seems clear to me that for this semantics to pertain to DAML-in-RDF, the domains of these three functions cannot be disjoint. (As I understand it, classes, restrictions, and relationships are all individuals in RDF.) Thus, it seems to me that equivalentTo constrains not just IC but also IO. Also, if samePropertyAs is supposed to be a subPropertyOf equivalentTo, equivalentTo ought to constrain IR as well. Also (reasonably unrelated), shouldn't the definition of inverseOf use an iff?: <inverseOf, ?R, ?S> should be defined as <x,y> in IR(?R) *iff* <y,x> in IR(?S) Lynn
This archive was generated by hypermail 2.1.4 : 04/02/02 EST