Abstract:
Description logics have strong potential to enhance data and knowledge management on the World Wide Web. The Semantic Web has converted this potential into a harmonious approach. But some obstacles make its influence on common practice quite limited. In particular, logic is too heavy for solving the majority of 'everyday' web development tasks, and too complicated for conventional developers. In this paper we introduce some formal methods based on the idea of logic architectures, which are aimed at solving this problem.