We propose to evaluate tree dominant semantics for description logic integrity constraints, as well as multiple proposals for adding syntax for integrity constraint axioms, to the Web Ontology Language standard, OWL. Further, we propose to implement a semantics, in the form of a syntax compiler and… More

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… More

DESCRIPTION (provided by applicant): The goal of the proposed research is to determine the feasibility of, and create prototype software for, a library of reusable synthetic biology components using Semantic Web technologies OWL, RDF, SPARQL and SWRL. Thislibrary will dramatically increase the… More

DESCRIPTION (provided by applicant): The long-term aims of this project are to improve the engineering practices of synthetic biologists, and thereby to hasten the pace of synthetic biology research. Synthetic biology is poised to make great contributions to health, medicine, energy, and the… More