Capturing Quantified Constraints in FOL, Through Interaction with a Relationship Graph
Paper in proceeding, 2006

As new semantic web standards evolve to allow quantified rules in FOL, we need new ways to capture them from end users in RDFS(XML). We show how to do this against a graphic view of Entities and their Relationships (associated or derived). This even allows inclusion of existential quantifiers in readable fashion. The captured constraint can be tested by generating queries to search for violations in stored data. The constraint can then be automatically revised to exclude specific cases picked out by the user, who is spared worries about proper syntax and boolean connectives.


P. M. D. Gray

Graham Kemp

Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)

Managing Knowledge in a World of Networks: 15th International Conference, EKAW 2006, Lecture Notes in Computer Science

Vol. 4248 19-26
978-3-540-46363-4 (ISBN)

Subject Categories

Computer Science





More information