The resilience of cyberphysical systems to denial-of-service (DoS) and integrity attacks is studied in this paper. system modeled as a linear structured system, its an attack interpreted graph theoretical framework. structural the characterized terms unmatched vertices maximum matchings bipartite connected components directed representations under attack. We first present conditions for be resi...

This paper presents our work on supporting evaluation of integrity constraint issues in semantic web instance data. We propose an alternative semantics for the ontology language, i.e., OWL, a decision procedure for constraint evaluation by query answering, and an approach of explaining and repairing integrity constraint violations by utilizing the justifications of conjunctive query answers. ke...