From: Dan Connolly ([email protected])
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 it: (<=> (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 http://www.w3.org/2001/01/ct24 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