Peter M. D. Gray, Graham J. L. Kemp. Capturing Quantified Constraints in FOL, Through Interaction with a Relationship Graph. In Steffen Staab, Vojtech Svátek, editors, Managing Knowledge in a World of Networks, 15th International Conference, EKAW 2006, Podebrady, Czech Republic, October 2-6, 2006, Proceedings. Volume 4248 of Lecture Notes in Computer Science, pages 19-26, Springer, 2006. [doi]
Abstract is missing.