18 citations · 19 across the 3 of their papers we have counts for
3 papers
cs.AI2020★ 1 cited
Wikidata Constraints on MARS (Extended Technical Report)
David L. Martin, Peter F. Patel-Schneider
Wikidata constraints, albeit useful, are represented and processed in an incomplete, ad hoc fashion. Constraint declarations do not fully express their meaning, and thus do not pro…
cs.AI2017
ASHACL: Alternative Shapes Constraint Language
Peter F. Patel-Schneider
ASHACL, a variant of the W3C Shapes Constraint Language, is designed to determine whether an RDF graph meets some conditions. These conditions are grouped into shapes, which valida…
cs.AI2011★ 18 cited
A New General Method to Generate Random Modal Formulae for Testing Decision Procedures
P. F. Patel-Schneider, R. Sebastiani
The recent emergence of heavily-optimized modal decision procedures has highlighted the key role of empirical testing in this domain. Unfortunately, the introduction of extensive e…