In 2000, Reimer proved that a positive weight quadrature rule on the unit sphere Sd ⊂ Rd+1 has the property of quadrature regularity. Hesse and Sloan used a related property, ca...
We present Data Auditor, a tool for exploring data quality and data semantics. Given a rule or an integrity constraint and a target relation, Data Auditor computes pattern tableau...
Lukasz Golab, Howard J. Karloff, Flip Korn, Divesh...
RDF(S) and OWL 2 currently support only static ontologies. In practice, however, the truth of statements often changes with time, and Semantic Web applications often need to repres...
We describe a mapping language for converting data contained in spreadsheets into the Web Ontology Language (OWL). The developed language, called M2 , overcomes shortcomings with e...
Martin J. O'Connor, Christian Halaschek-Wiener, Ma...
We present a tutorial on verification of safety properties for parameterized systems. Such a system consists of an arbitrary number of processes; the aim is to prove correctness of...