Conjunctive Query Programming: A Paradigm for Knowledge Engineering of Optimization Problems in the Semantic Web

被引:0
|
作者
Fischer, Thomas [1 ]
机构
[1] Univ Jena, Dept Business Informat Syst, D-07743 Jena, Germany
关键词
D O I
10.1109/WI-IAT.2014.30
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
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.
引用
收藏
页码:165 / 174
页数:10
相关论文
共 50 条