Injecting domain knowledge in multi-objective optimization problems: A semantic approach

Abstract In the field of complex problem optimization with metaheuristics, semantics has been used for modeling different aspects, such as: problem characterization, parameters, decision-maker’s preferences, or algorithms. However, there is a lack of approaches where ontologies are applied in a direct way into the optimization process, with the aim of enhancing it by allowing the systematic incorporation of additional domain knowledge. This is due to the high level of abstraction of ontologies, which makes them difficult to be mapped into the code implementing the problems and/or the specific operators of metaheuristics. In this paper, we present a strategy to inject domain knowledge (by reusing existing ontologies or creating a new one) into a problem implementation that will be optimized using a metaheuristic. Thus, this approach based on accepted ontologies enables building and exploiting complex computing systems in optimization problems. We describe a methodology to automatically induce user choices (taken from the ontology) into the problem implementations provided by the jMetal optimization framework. With the aim of illustrating our proposal, we focus on the urban domain. Concretely, we start from defining an ontology representing the domain semantics for a city (e.g., building, bridges, point of interest, routes, etc.) that allows defining a-priori preferences by a decision maker in a standard, reusable, and formal (logic-based) way. We validate our proposal with several instances of two use cases, consisting in bi-objective formulations of the Traveling Salesman Problem (TSP) and the Radio Network Design problem (RND), both in the context of an urban scenario. The results of the experiments conducted show how the semantic specification of domain constraints are effectively mapped into feasible solutions of the tackled TSP and RND scenarios. This proposal aims at representing a step forward towards the automatic modeling and adaptation of optimization problems guided by semantics, where the annotation of a human expert can be now considered during the optimization process.

[1]  Panagiotis Tsarchopoulos,et al.  Smart city ontologies: Improving the effectiveness of smart city applications , 2016 .

[2]  Reto Krummenacher,et al.  Ontology-Based Context Modeling , 2007 .

[3]  Christian Blum,et al.  Metaheuristics in combinatorial optimization: Overview and conceptual comparison , 2003, CSUR.

[4]  Kaisa Miettinen,et al.  Nonlinear multiobjective optimization , 1998, International series in operations research and management science.

[5]  José Francisco Aldana Montes,et al.  BIGOWL: Knowledge centered Big Data analytics , 2019, Expert Syst. Appl..

[6]  Javier Del Ser,et al.  Extending the Speed-Constrained Multi-objective PSO (SMPSO) with Reference Point Based Preference Articulation , 2018, PPSN.

[7]  Enrique Alba,et al.  Benchmarking a Wide Spectrum of Metaheuristic Techniques for the Radio Network Design Problem , 2009, IEEE Transactions on Evolutionary Computation.

[8]  Qingfu Zhang,et al.  Multiobjective evolutionary algorithms: A survey of the state of the art , 2011, Swarm Evol. Comput..

[9]  Antonio J. Nebro,et al.  jMetal: A Java framework for multi-objective optimization , 2011, Adv. Eng. Softw..

[10]  Raphaël Troncy,et al.  3cixty: Building comprehensive knowledge bases for city exploration , 2017, J. Web Semant..

[11]  Dave Kolas,et al.  Enabling the geospatial Semantic Web with Parliament and GeoSPARQL , 2012, Semantic Web.

[12]  N. F. Noy,et al.  Ontology Development 101: A Guide to Creating Your First Ontology , 2001 .

[13]  Kalyanmoy Deb,et al.  A fast and elitist multiobjective genetic algorithm: NSGA-II , 2002, IEEE Trans. Evol. Comput..

[14]  Brian McBride,et al.  The Resource Description Framework (RDF) and its Vocabulary Description Language RDFS , 2004, Handbook on Ontologies.

[15]  Thomas R. Gruber,et al.  A translation approach to portable ontology specifications , 1993, Knowl. Acquis..

[16]  Simon Buckingham Shum,et al.  Knowledge Representation with Ontologies: The Present and Future , 2004, IEEE Intell. Syst..

[17]  Haruhiko Kaiya,et al.  Using Domain Ontology as Domain Knowledge for Requirements Elicitation , 2006, 14th IEEE International Requirements Engineering Conference (RE'06).

[18]  Gerhard Reinelt,et al.  TSPLIB - A Traveling Salesman Problem Library , 1991, INFORMS J. Comput..

[19]  Giovanni Iacca,et al.  Presenting the ECO: Evolutionary Computation Ontology , 2017, EvoApplications.

[20]  Nicola Guarino,et al.  Formal ontology, conceptual analysis and knowledge representation , 1995, Int. J. Hum. Comput. Stud..

[21]  José Francisco Aldana Montes,et al.  jMetalSP: A framework for dynamic multi-objective big data optimization , 2017, Appl. Soft Comput..

[22]  Paola Espinoza-Arias,et al.  Ontological Representation of Smart City Data: From Devices to Cities , 2018, Applied Sciences.

[23]  Biplav Srivastava,et al.  Building a highly consumable semantic model for smarter cities , 2011, AIIP '11.

[24]  Piero P. Bonissone,et al.  Evolutionary algorithms + domain knowledge = real-world evolutionary computation , 2006, IEEE Transactions on Evolutionary Computation.

[25]  Mark S. Fox,et al.  The semantics of populations: A city indicator perspective , 2018, J. Web Semant..

[26]  Robert Stevens,et al.  The Manchester OWL Syntax , 2006, OWLED.

[27]  Kurt Sandkuhl,et al.  Patterns in Ontology Engineering: Classification of Ontology Patterns , 2005, ICEIS.

[28]  Enrique Alba,et al.  Optimal antenna placement using a new multi-objective chc algorithm , 2007, GECCO '07.

[29]  Steffen Staab,et al.  International Handbooks on Information Systems , 2013 .

[30]  Pierfrancesco Bellini,et al.  Km4City ontology building vs data harvesting and cleaning for smart-city services , 2014, J. Vis. Lang. Comput..

[31]  Raymond Chiong,et al.  Why Is Optimization Difficult? , 2009, Nature-Inspired Algorithms for Optimisation.

[32]  Johann Marius Zöllner,et al.  Traffic intersection situation description ontology for advanced driver assistance , 2011, 2011 IEEE Intelligent Vehicles Symposium (IV).

[33]  Antonio J. Nebro,et al.  Redesigning the jMetal Multi-Objective Optimization Framework , 2015, GECCO.

[34]  Ralf Tönjes,et al.  CityPulse: Large Scale Data Analytics Framework for Smart Cities , 2016, IEEE Access.

[35]  Heike Trautmann,et al.  Building and Using an Ontology of Preference-Based Multiobjective Evolutionary Algorithms , 2017, EMO.

[36]  Jürgen Branke,et al.  Interactive Multiobjective Evolutionary Algorithms , 2008, Multiobjective Optimization.

[37]  Sean Bechhofer,et al.  The OWL API: A Java API for OWL ontologies , 2011, Semantic Web.

[38]  Pablo Moscato,et al.  A Gentle Introduction to Memetic Algorithms , 2003, Handbook of Metaheuristics.

[39]  José Francisco Aldana Montes,et al.  Dione: An OWL representation of ICD-10-CM for classifying patients’ diseases , 2016, J. Biomed. Semant..