Donate | Contact | Search
Why not use logical assertions like Cyc, etc?
- They lack inheritance, & it seems too hard for humans to plan globally-useful taxonomies. IMHO those can be a side-effect of recording what you need now.
- Also, in my extremely limited knowledge of such things, they'd suffer the same problem as other tools: human language at low levels which is so limited/-ing.
- Vision and future plans: much more
Copyright 2015-2016 Luke A. Call | OM Home | Contact: email@example.com (but for replies see the mailing lists)
(Content generated selectively from a OneModel instance.)