FaCT++ datatype

[rera]

I'm trying to use FaCT++ on an ontology previously created for
NeoClassic. I have replaced all the keywords and got an ontology
formally correct, but FaCT++ understands FLOAT and INTEGER as new
classes instead of datatype. How can I fix this?

[Alan Ruttenberg]

Here's an example of using a datatype in FaCT++
However Fact++ can now be used with OWL via Protege 4, and that is
probably more advisable.
http://protege.stanford.edu/download/prerelease-alpha/index.html
(defdatarole haskey)
(defprimconcept key1 (some haskey (string key1)))
-Alan