Re: DAML +OIL notation question

Dear Mariam,
what you have done can be used
For class Anlge  values of unit property are restricted to class Angle_unit
and there are four instances of that class. Other instances are impossible
It is correct way
Another possible way
is to define XML Schema type  using xsd:enumeration on xsd:string base type,
and then use that type to restrict DAML property values
But I'd prefer to use your way, because you have explicitle defiend and
understandable for any DAML parser & reasoner instances in DAML notations.
There is no need to analyze XML Schema definitions


Best regards
MSc Andrei S. Lopatenko
Researcher
Vienna University of Technology
A chairman of CERIF Task Group
euroCRIS conc.
http://purl.org/NET/andrei

----- Original Message -----
From: "myriam ribiere" <Myriam_Ribiere-AMR061@email.mot.com>
To: <www-rdf-logic@w3.org>
Cc: <ribiere@crm.mot.com>
Sent: Thursday, January 24, 2002 2:58 PM
Subject: DAML +OIL notation question


> Hi everyone,
>
> I would like to represent a property that can take values into a set of
> predefined values that are string.
> For example the possible value for the unit property of an angle class
could
> be Minutes, or Radians or Degrees or Seconds
>
> I've found several solutions but for a collection of classes.
> In fact i'm trying to represent what is called "Symbol" in the protege
tool.
> Could you tell me if the following notation is right:
>
>    <rdfs:Class rdf:ID="Angle">
>         <rdfs:subClassOf>
>             <daml:Restriction daml:mincardinality="1"
> daml:maxcardinality="1">
>                 <daml:onProperty rdf:resource="#unit"/>
>                 <daml:toClass rdf:resource="#Angle_unit_selection"/>
>             </daml:Restriction>
>         </rdfs:subClassOf>
>         <rdfs:subClassOf>
>             <daml:Restriction daml:mincardinality="1"
> daml:maxcardinality="1">
>                 <daml:onProperty rdf:resource="#value"/>
>                 <daml:toClass
> rdf:resource="http://www.w3.org/TR/xmlschema-2/#string"/>
>             </daml:Restriction>
>         </rdfs:subClassOf>
>     </rdfs:Class>
>
>     <daml:Class  rdf:ID="Angle_unit_selection">
>   <rdfs:comment>
>     This class represents the choice in Angle unit.
>   </rdfs:comment>
>   <daml:oneOf rdf:parseType="daml:collection">
> <Angle_unit_selection rdf:ID="Minutes"/>
> <Angle_unit_selection rdf:ID="Radians"/>
> <Angle_unit_selection rdf:ID="Degrees"/>
> <Angle_unit_selection rdf:ID="Seconds"/>
>   </daml:oneOf>
>     </daml:Class>
>
> Thanks a lot for your help,
>
> Myriam.
>
>

Received on Thursday, 24 January 2002 09:25:05 UTC