I can come up with the following possibilities, although I have no experience with either: - Using OWL in Java (with OWL API). So you use Java in combination w

I can come up with the following possibilities, although I have no experience with either: - Using OWL in Java (with OWL API). So you use Java in combination with XML - Use a Prolog embedding in Haskell.