Expressive Integrity Constraint Validation with OWL

We propose to develop a commercially adequate, robust and perfomant OWL-based Integrity Constraint (IC) validation system with several innovations, including novel debugging and explanation support for data integrity errors; incremental and optimized validation of data integrity; and a unified system for validating structured, semi-structured, and semantic data. A rigorous and formal specification of the semantics of OWL-based ICs will also be delivered. The goal of Phase II works is to address two primary use cases:1) validation of data sources that are of arbitrary size and complexity, with arbitrary numbers of constraints, and non-trivial update rates; 2) validation of messages exchanged in Enterprise Service Bus (ESB) and Service Oriented Architecture (SOA) systems, where data sizes are relatively small but message throughput may be high and data validation times must be short. We will also develop a plugin for the popular ontology editor Protégé that will help users author and validate ICs.