I'm working with F# to do static analysis of source code and had the idea to inject the source code into an RDF/RDFS/OWL triple store to possibly make high-level static analysis easier.
Does this sound like a good or bad idea to you?
I like F# discriminated unions which is very nice at modelling ASTs but is not necessarily ideal as a "query source". In particular, with RDFS/OWL type annotations it is possible to express subtype relationships between node types, subtype relationships between properties and express transitivity and other relational characteristics. Using SPARQL one can also do very high-level queries.
So from that perspective it sounds like an interesting path to take.
Next step is to find a suitable implementation for use in .NET/F#.
