Experimenting with modeling and inference using semantic web technologies.