Declarative Reasoning Systems for the Semantic Web

Project Summary

This project aims to investigate and design declarative languages, methods and systems that can represent and reason about incomplete, inconsistent and changing information and their applications in the Semantic Web. Such systems will critical in the implementation of future, automated, Web-based applications in many domains including business, health, law, education, entertainment and personal information management. In particular, the resulting methods and systems in the proposed project will be used for resolving conflict in ontology integration and for modeling of business rules and policies. Our approach will be based on the combination of preference logic programming (PLP) with emerging Web technologies such as the Web Ontology Language OWL and RuleML.