Assertion modeling
-
-
Hello,
Skud passed your name to me. I'm trying to build a set of types to enable complete logical modeling of assertions. I've started it here. I haven't loaded much data into it yet, but I think it's got everything one would need to build logical propositions about freebase objects (and about the things in the world that those objects represent). Let me know if you're interested and what you think of it.
Avi
-