enhancing Unambiguous to be domain-dependent

From: Dan Connolly (connolly@w3.org)
Date: 05/16/01

Just like we make a domain-dependent version
of RDF's range, I'd like UniqueProperty
and UnambiguousProperty to be domain-dependent;
i.e. make them into properties that relate
a property to a class.

So I could say

	:surName ont:unambiguousOver :Family.

This has come up before in my work; oh yeah...
I specified it pretty carefully a while ago...

unambiugousOver is a class-specific form of daml:Unambiguous; in the
     style of the DAML+OIL axiomatic semantics, the following is a
specification for

      (<=> (PropertyValue ?p unambiguousOver ?c) 
                (forall (?x ?y ?v) 
                             (=> (and (Type ?x ?c) (Type ?y ?c)
                                             (PropertyValue ?p ?x ?v) 
                                      (PropertyValue ?p ?y ?v)) 
                                 (= ?x ?y)))))

--        Using XML Schema Datatypes in RDF and DAML+OIL
Thu, 15 Feb 2001 22:23:12 GMT

Dan Connolly, W3C http://www.w3.org/People/Connolly/

This archive was generated by hypermail 2.1.4 : 04/02/02 EST