This is the mail archive of the
mailing list for the GCC project.
Re: Call for Review: GCC introspector owl ontology
- From: James Michael DuPont <mdupont777 at yahoo dot com>
- To: Diego Novillo <dnovillo at redhat dot com>
- Cc: gcc at gnu dot org
- Date: Tue, 19 Aug 2003 05:27:57 -0700 (PDT)
- Subject: Re: Call for Review: GCC introspector owl ontology
--- Diego Novillo <firstname.lastname@example.org> 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 vocabulary, which is an RDF
application that allows the syntax to be described in RDF/XML, n3
or ntriples 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  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  to serialize these tree
dump statements into RDF statements using the berkley db backend for
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 .
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
I used the Closed World Machine  from Tim Berners-Lee to process and
check this file, that tool along with the EulerSharp 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
 Introspector - introspector.sf.net
 OWL - http://www.w3.org/TR/owl-ref/
 RDF - http://www.w3.org/RDF/
 RDF/XML http://www.w3.org/TR/rdf-syntax-grammar/
 n3 http://www.w3.org/2000/10/swap/Primer
 ntriples http://www.w3.org/2001/sw/RDFCore/ntriples/
 CWM from timbl http://www.w3.org/2000/10/swap/doc/cwm.html
 Eulersharp http://eulersharp.sourceforge.net/2003/03swap/
 Redland http://www.redland.opensource.ac.uk/
 Example n3 file
 RDFVIZ and validator
James Michael DuPont
Do you Yahoo!?
Yahoo! SiteBuilder - Free, easy-to-use web site design software