[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[DotGNU][Ann: ] call for help bug fixing EulerSharp.sf.net c# rdf proof
James Michael DuPont
[DotGNU][Ann: ] call for help bug fixing EulerSharp.sf.net c# rdf proof engine
Thu, 19 Jun 2003 13:11:44 -0700 (PDT)
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
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, the 06refactor directory in cvs.
Dotgnu.rdf  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
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
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  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.
cvs download server for dotgnu.rdf
James Michael DuPont
Do you Yahoo!?
SBC Yahoo! DSL - Now only $29.95 per month!
|[Prev in Thread]
||[Next in Thread]|
- [DotGNU][Ann: ] call for help bug fixing EulerSharp.sf.net c# rdf proof engine,
James Michael DuPont <=