- From: James Michael DuPont <mdupont777@yahoo.com>
- Date: Thu, 19 Jun 2003 13:11:44 -0700 (PDT)
- To: www-rdf-interest@w3.org, developers@dotgnu.org, mono-devel-list@lists.ximian.com, tunes@tunes.org, introspectors <introspector-developers@lists.sourceforge.net>
Dear all, Can you please help me test an module that will bring together many different systems into a union. The euler program will become the engine of the semantic web by exposing a dot.net gateway into the semantic web. We will be able to explorer the catalog of methods and functions via rdf catalogs, and invoke them over xmlrpc or .net bindings. I envision a form of rdf reflection that allows c# programs to become aware of, and publish thier interfaces in rdf for invokation. I am in the processes of bugfixing the new refactoring of EulerSharp[1], the 06refactor directory in cvs. Dotgnu.rdf [2] is needed as well as a dependancy in the future, hopefully we can use monos libs for a postgres database backend. The Prover Engine is now separated from the Proof object, this allows the sharing of storage between all the methods of the proof. As next I will add support for multiple Views of Symbols that are linked to Statements in an Rdf Model that is stored on a Postgres Database. The gui will try and use the X11 Winforms from dotgnu for superfast output to the screen. The VCG graph layout tool, and the SVG# output will be used to display the output. This will be fed from the introspector [3] output extracted from the gcc or cscc compilers. That allows for the breaking up of the one proof function into many methods, sharing all the same data. Later I will add in a class for thoughts, each though being a hypothesis. The program just compiles, and there are surely tons of bugs, so if anyone wants to grab the sources and test it on thier c# compiler, I would greatly appreciate it. [1] http://sourceforge.net/projects/eulersharp [2] http://savannah.gnu.org/cvs/?group=dotgnu-libs cvs download server for dotgnu.rdf [3] introspector.sf.net ===== James Michael DuPont http://introspector.sourceforge.net/ __________________________________ Do you Yahoo!? SBC Yahoo! DSL - Now only $29.95 per month! http://sbc.yahoo.com
Received on Thursday, 19 June 2003 16:11:51 UTC