[Attempto] How to define OWL datatype properties ?

[Jean-Marc Vanel]

How to define OWL datatype properties ?

An example is "Every man has a name." , but is there a way to declare that
name is always a string ? And if yes, does it translate as expected to OWL ?

Here is the larger example :

./ape.exe -text 'Every man has a name. Paul has "Paul" and "Paul" is a
name.' -solo drspp

[A,B,C]
   [D]
   object(D,man,countable,na,eq,1)-1/2
   =>
   [E,F]
   object(E,name,countable,na,eq,1)-1/5
   predicate(F,have,D,E)-1/3
predicate(A,have,named(Paul),string(Paul))-2/2
object(B,name,countable,na,eq,1)-2/8
predicate(C,be,string(Paul),B)-2/6

-- 
Jean-Marc Vanel
Déductions SARL - Consulting, services, training,
Rule-based programming, Semantic Web
http://jmvanel.free.fr/ - EulerGUI, a turntable GUI for Semantic Web +
rules, XML, UML, eCore, Java bytecode
+33 (0)6 89 16 29 52
chat :  irc://irc.freenode.net#eulergui
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ifi.uzh.ch/pipermail/attempto/attachments/20120412/6fd4b72f/attachment.html>