Re: a recipie for ont:UnambiguousProperty, rdfs:isDefinedBy

From: Dan Connolly (
Date: 05/16/01

Dan Connolly wrote:
> I took an action to explain how to use
> ont:UnambiguousProperty to make unique
> names, to see if this addresses the
> requirements that led Stefa to propose
> introducing the unique names assumption
> in DAML+OIL.

I also took an action to explain how
to use rdfs:isDefinedBy to connect classes
and properties to ontologies.

I thought I would end up showing that
isDefinedBy is very tedious to use,
but onProperty/hasValue allowed
me to make isDefinedBy connections

> So I made a little ontology of colors:
> containing, e.g.
> :red :colorName "red".
> :yellow :colorName "orange".
> :blue :colorName "blue".

it also contains...

:orange :colorID "orange".
:green :colorID "green".
:purple :colorID "purple".

where :colorID is defined/described ala...

:colorID u:label "color ID";
  u:subPropertyOf :colorName;
  u:domain :OfficialColor;
  u:comment """due to the domain, each thing with a colorID
  is an OfficialColor.""".


:OfficialColor u:label "Official Color";
  u:comment """note the restriction on isDefined by; each
  OfficialColor is defined by this ontology.""";
  u:subClassOf [
    ont:onProperty u:isDefinedBy;
    ont:hasValue <colors>

so implicitly,
	:orange u:isDefinedBy <colors>.

Nifty, huh?

> And that's pretty much all there is to it.
> If this seems to make sense, I can expand
> the README info at
> to make this a chapter in our cookbook-to-be.

Dan Connolly, W3C

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