This is very cool. Thanks Marko! I am a huge supporter of knowledge representation using graph stores/databases. Here are a couple of blogs from a couple of years ago illustrating a very simple reasoner on top of Zentity (called "Famulus" back then).
http://savas.me/blog/898 http://savas.me/blog/900 I agree that traditional the first-order and description logic approaches do not scale. I am a huge believer of probabilistic reasoning and latent semantics. Great stuff. Cheers, .savas. On 2/23/11 3:27 PM, "Marko Rodriguez" <okramma...@gmail.com> wrote: >Hi, > >I wrote a blog post regarding knowledge representation and reasoning >using graph databases: > >http://markorodriguez.com/2011/02/23/knowledge-representation-and-reasonin >g-with-graph-databases/ > >Automated reasoning is currently dominated by RDF and its stack of >technologies. However, the standard meta modeling language OWL is >restricted to description logics. While this is all fine and good, it >must be said that there are numerous types of logics. I think that >because graph databases don't have a such strict "layered cake," the >graph database scene is ripe to be a foundation for the exploration and >exploitation of other reasoning structures and algorithms. > >Thats that, >Marko. > >http://markorodriguez.com >_______________________________________________ >Neo4j mailing list >User@lists.neo4j.org >https://lists.neo4j.org/mailman/listinfo/user > _______________________________________________ Neo4j mailing list User@lists.neo4j.org https://lists.neo4j.org/mailman/listinfo/user
