This paper explores the idea of integrating powerful optimization and planning techniques with knowledge representation formalisms of the Semantic Web. The paper outlines a language paradigm that combines algebraic and logical modelling of constraints and objective functions. It provides a method for instantiation of optimization and planning problems with Semantic Web background knowledge, by modelling objective functions and restrictions as algebraic and logic expressions of results of conjunctive queries. Furthermore, the paper investigates reasoning techniques for the language based on problem compilation to satisfiability modulo theories and integer programming

چکیده

 این مقاله، ایده‌ی ترکیب تکنیک‌های برنامه‌ریزی و بهینه‌سازی با  نمایش دانش وب معنایی را بررسی می‌نماید. این مقاله یک پارادایم زبانی که مدل‌سازی جبری و منطقی قیدها و توابع هدف  را ترکیب می‌نماید، به طور اجمالی بررسی می‌کند و روشی برای برای نمونه از مشکلات بهینه‌سازی و بهینه‌سازی با دانش پس‌زمینه‌ی وب معنایی را با مدل سازی توابع هدف و قیودی به عنوان عبارات جبری و منطقی از نتایج کوئری‌های ربطی، فراهم می‌کند. همچنین، این مقاله، تکنیک‌های استدلال برای زبان براساس مسئله‌ی کامپایل برای ارضای تئوری‌های پیمانه‌‌ی n و برنامه‌نویسی عددی را بررسی می‌کند.