datatype reasoning
Original [issue 4](https://code.google.com/p/factplusplus/issues/detail?id=4) created by dtsarkov on 2007-07-13T00:28:09.000Z:
I'm using the latest P4 to build ontologies that place existential restrictions on (xml) datatypes like floats/ints. It doesn't appear that Fact++ supports this kind of reasoning (as output states from the terminal window). Are there plans to add datatype reasoning?
Comments (4)
-
reporter -
reporter Comment [
#2](https://code.google.com/p/factplusplus/issues/detail?id=4#c2) originally posted by dtsarkov on 2007-08-04T15:55:54.000Z:Also, i'm very interested in and have applications that require reasoning about datatypes derived integer, including non-positive/non-negative integers and their subsets (negative integer/positive integer). What datatype reasoning do you plan to support?
-
reporter Comment [
#3](https://code.google.com/p/factplusplus/issues/detail?id=4#c3) originally posted by dtsarkov on 2007-08-07T13:29:09.000Z:All these is available now for integers. Moreover, you can declare a new datatype like TeenAge = (Integer and >= 10 and < 20), and use it in your application.
-
reporter Comment [
#4](https://code.google.com/p/factplusplus/issues/detail?id=4#c4) originally posted by dtsarkov on 2007-08-13T18:03:55.000Z:SVN version now implements float/double reasoning. Will appear in the next version's precompiled binaries.
- Log in to comment
Comment [
#1](https://code.google.com/p/factplusplus/issues/detail?id=4#c1) originally posted by dtsarkov on 2007-08-04T11:22:39.000Z:Current implementation of FaCT++ supports reasoning with strings and ints. Floatsare in the plans with a very high priority.