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

Author

Fischer, T.

Author_Institution

Dept. of Bus. Inf. Syst., Friedrich-Schiller-Univ. Jena, Jena, Germany

Volume

1

fYear

2014

fDate

11-14 Aug. 2014

Firstpage

165

Lastpage

174

Abstract

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.

Keywords

algebra; computability; inference mechanisms; integer programming; knowledge representation; planning (artificial intelligence); query processing; semantic Web; algebraic expressions; conjunctive query programming; integer programming; knowledge engineering; knowledge representation; language paradigm; logic expressions; objective functions; optimization techniques; planning techniques; problem compilation; reasoning techniques; satisfiability modulo theories; semantic Web background knowledge; Linear programming; OWL; Ontologies; Optimization; Planning; Conjunctive Query Programming; Optimization; Planning; Semantic Web;

fLanguage

English

Publisher

ieee

Conference_Titel

Web Intelligence (WI) and Intelligent Agent Technologies (IAT), 2014 IEEE/WIC/ACM International Joint Conferences on

Conference_Location

Warsaw

Type

conf

DOI

10.1109/WI-IAT.2014.30

Filename

6927539