(Redirected from User:Sandro)
I'm the primary W3C staff contact (sometimes called "team contact") for this Working Group.
I was one of two staff contacts for WebOnt for its last 6 months or so, and am staff contact for RIF.
I'm a programmer and software architect, not a logician. Related to OWL, I implemented the test results generator and proof-of-concept OWL Full reasoner, called Surnia, which handed triples + axioms to an FOL theorem prover.