Re: Re: Call for Review: GCC introspector owl ontology

Thanks, fixed.

here is a description of the contents that i posted to the gcc list
FYI:
http://gcc.gnu.org/ml/gcc/2003-08/msg01117.html

and the newest post :

--- Joe Buck <jbuck@synopsys.com> wrote:
> On Tue, Aug 19, 2003 at 12:09:13AM -0700, James Michael DuPont wrote:
> > Dear all,
> > Ashley winters and I have produced what is the first prototype for
> a
> > gcc ontology. It describes the facts extracted from the gcc using
> the
> > introspector.
>
> Merriam-Webster defines ontology as follows:
>
> 1 : a branch of metaphysics concerned with the nature and relations
> of being
> 2 : a particular theory about the nature of being or the kinds of
> existents
>
> I don't think that this is the right term for a piece of code that
> produces XML output from a high-level language input.
> 
Your right. The ontology here is a description of the gcc tree nodes in
a very high level that allows you to *understand* the RDF/XML output .

The code that produces this data that matches this onto. is in my cvs,
very boring stuff.


I think that this onto. is interesting because it allows you to express
the high level semantics of the tree structures in a somewhat implement
ion independent manner.

When this is all done and %100 tested we should be able to generate
sets of c functions to process data from that ont, databases to store
it, and other things like perl and java classes to process the data as
well.

n3 coupled with CWM and Euler makes a logical programming language like
prolog, you can express data schemas but also proofs, filters and
algorithms in n3 /RDF format as well.

I hope that the proofs expressed in CWM and Euler can be translated
automatically into new c functions of the compiler in the very very
long term.

In any case this ont is meant to be human readable and editable, even
if not very pretty. Later on in a lowel level ont. it will contain
mapping to the exact gcc structures and functions that implement these
ASTS.

In any case this ONT should be of interest and value to anyone wanting
to study the gcc ASTS, not just someone who wants to deal with any
external represention.

The proofs expressed in n3 should be executable directly on the gcc
data structures in memory without any direct external represention when
we are able to map out all the data structures and generate  binding
code.

Then users will be able to write custom filter, algorithms and rules
that run inside the gcc for them on their own programs.


mike
--- Francesco_Cannistrà <fracan@inwind.it> wrote:
> Maybe the owl document can be viewed without problems through most of
> the
> diffused browsers if you re-edit it so that it contains an xml doc
> type
> declaration (eg: <?xml version="1.0"?>)
> 
> Greetings,
> Francesco
> 
> ----- Original Message -----
> From: "James Michael DuPont" <mdupont777@yahoo.com>
> To: <www-rdf-interest@w3.org>
> Sent: Tuesday, August 19, 2003 2:48 PM
> Subject: Fwd: Re: Call for Review: GCC introspector owl ontology
> 
> 
> >
> > Here is the scoop!
> >
> > --- James Michael DuPont <mdupont777@yahoo.com> wrote:
> > > Date: Tue, 19 Aug 2003 05:27:57 -0700 (PDT)
> > > From: James Michael DuPont <mdupont777@yahoo.com>
> > > Subject: Re: Call for Review: GCC introspector owl ontology
> > > To: Diego Novillo <dnovillo@redhat.com>
> > > CC: gcc@gnu.org
> >
> > > --- Diego Novillo <dnovillo@redhat.com> wrote:
> > > > On Tue, 2003-08-19 at 03:09, James Michael DuPont wrote:
> > > >
> > > > >
> http://introspector.sourceforge.net/2003/08/16/introspector.n3
> > > > >
> http://introspector.sourceforge.net/2003/08/16/introspector.owl
> > > > >
> > > > Does this need any kind of special browser support?  All I see
> in
> > > > mozilla is source code of some kind.
> > >
> > > Sorry that I did not explain.
> > > Basically this is a high level class model for the GCC internal
> tree
> > > structures as used by the c and (not complete C++) compiler.
> > >
> > > The file are based on the OWL[1] vocabulary, which is an RDF[2]
> > > application that allows the syntax to be described in RDF/XML[3],
> > > n3[4]
> > > or ntriples[5] format.
> > >
> > > """"The Web Ontology Language OWL is a semantic markup language
> for
> > > publishing and sharing ontologies on the World Wide Web. OWL is
> > > developed as a vocabulary extension of RDF (the Resource
> Description
> > > Framework) and is derived from the DAML+OIL Web Ontology
> Language.
> > > """"
> > >
> > > This file is describing the data extracted by the introspector
> [0]
> > > from
> > > the gcc. The format of the file is closly related to the
> > > -fdump-translation-units format, but more usable. I patched the
> gcc
> > > using the Redland RDF Application framework [8] to serialize
> these
> > > tree
> > > dump statements into RDF statements using the berkley db backend
> for
> > > fast storage.
> > >
> > > The DB is then available for querying using C/C++, JAVA, PERL,
> > > Python,
> > > and many other interfaces via the Redland Swig interface. Even
> more
> > > you
> > > can filter out interesting statements into RDF/XML format for
> > > interchanging with other tools.
> > >
> > > You can find an example file extracted from the source code of
> > > internals of the pnet runtime engine here [9].
> > >
> > > The ontology file is basically a powerful class model, you can
> use
> > > many
> > > tools to edit and view them, (which i have not tried most of
> them)
> > > TWO of them are the rdfviz tool and owl validator[10]
> > >
> > >
> > > I used the Closed World Machine [6] from Tim Berners-Lee to
> process
> > > and
> > > check this file, that tool along with the EulerSharp[7] that I am
> > > working on will allow you to run queries, filters and proof over
> the
> > > data extracted from the gcc.
> > >
> > > Futher still, my intent is to embedded a small version of the
> Euler
> > > machine into the gcc and dotgnu/pnet to allow proofs to be made
> at
> > > compile time.
> > >
> > > mike
> > >
> > > [0] Introspector - introspector.sf.net
> > > [1] OWL - http://www.w3.org/TR/owl-ref/
> > > [2] RDF - http://www.w3.org/RDF/
> > > [3] RDF/XML  http://www.w3.org/TR/rdf-syntax-grammar/
> > > [4] n3       http://www.w3.org/2000/10/swap/Primer
> > > [5] ntriples http://www.w3.org/2001/sw/RDFCore/ntriples/
> > > [6] CWM from timbl http://www.w3.org/2000/10/swap/doc/cwm.html
> > > [7] Eulersharp http://eulersharp.sourceforge.net/2003/03swap/
> > > [8] Redland     http://www.redland.opensource.ac.uk/
> > > [9] Example n3 file
> > > http://demo.dotgnu.org/~mdupont/introspector/cwm.rdf.gz
> > > [10] RDFVIZ  and validator
> > > http://www.ilrt.bristol.ac.uk/discovery/rdf-dev/rudolf/rdfviz/
> > > http://owl.bbn.com/cgi-bin/vowlidator.pl
> > >
> > >
> > > =====
> > > James Michael DuPont
> > > http://introspector.sourceforge.net/
> > >
> > > __________________________________
> > > Do you Yahoo!?
> > > Yahoo! SiteBuilder - Free, easy-to-use web site design software
> > > http://sitebuilder.yahoo.com
> > >
> >
> >
> > =====
> > James Michael DuPont
> > http://introspector.sourceforge.net/
> >
> > __________________________________
> > Do you Yahoo!?
> > Yahoo! SiteBuilder - Free, easy-to-use web site design software
> > http://sitebuilder.yahoo.com
> >
> 


=====
James Michael DuPont
http://introspector.sourceforge.net/

__________________________________
Do you Yahoo!?
Yahoo! SiteBuilder - Free, easy-to-use web site design software
http://sitebuilder.yahoo.com

Received on Thursday, 21 August 2003 16:28:54 UTC