Andrew Broad's Website
Computer Science
PhD Project
Experimental Results
Semantic Strength
Summarised Output
person
corresponds to
person
person
corresponds to
person
person.name
corresponds to
person.name
person.age
corresponds to
person.age
age >= 0
corresponds to (is semantically weaker than)
age >= 18
domain_rule#3
corresponds to
domain_rule#4
Email me