user-defined datypes tree

• From: Dmitry <redmitry@list.ru>
• Date: Thu, 14 Jul 2011 12:39:50 +0200
• To: public-owl-dev@w3.org
• Message-ID: <4E1EC776.4090802@list.ru>

Hello,

I have a problem with understanding a typing in user-defined datatypes:

Class: <http://mydomain/data#MSF>
     SubClassOf:
<http://mydomain/data#MultipleAlignment>
          and (<http://mydomain/property#content> only 
<http://mydomain/format#ClastalW>)
          and (<http://mydomain/property#content> only 
<http://mydomain/format#MSF>)


Datatype: <http://mydomain/format#ClastalW>
     EquivalentTo:
         (xsd:string and <http://mydomain/format#MultipleAlignment>)

Datatype: <http://mydomain/format#MSF>

     EquivalentTo:
         (xsd:string and <urn:lsid:www.inab.org:format:MultipleAlignment>)

Even though I defined two different datatypes they treated as equivalent 
by the reasoner allowing
content only MSF and content only ClastalW, how do I specify that only 
MSF is allowed?

Thank you in advance,

Dmitry

Received on Saturday, 16 July 2011 20:15:35 UTC