W3C home > Mailing lists > Public > public-owl-dev@w3.org > July to September 2011

user-defined datypes tree

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

This archive was generated by hypermail 2.3.1 : Wednesday, 27 March 2013 09:32:59 GMT