X.P.T.O. : a system for representing and querying semantic web antologies

Abstract

O termo Semantic Web representa um passo evolutivo para a Internet onde os dados são modelados de forma a serem semanticamente adequados também para agentes informáticos. A necessidade de sistemas informáticos que consigam processar estes da- dos de forma a inferir conhecimento motivou o nosso objetivo: cria: um sistema que consiga processar informação, de um ponto de vista da programação em lógica contextual, vindo de diferentes fontes em variados formatos. Esta tese descreve um protótipo com dois componentes que representam a principal contribuição do trabalho efetuado: - Um sistema capaz de representar ontologias Web; - Um componente que traduz interrogações GNU Prolog/CX para SPARQL O sistema atua como um hub computacional para conhecimento descrito por ontologias OVVL e permite fazer interrogações a essa base de conhecimento. O componente adicional permite fazer interrogações a agentes SPARQL externos, o que possibilita juntar o conhecimento vindo de fontes externas com o representado na base de conhecimento interno. /ABSTRACT - The Semantic Web represents an evolutionary step for the Internet where data is modeled to be semantically adequate also for machine agents. For this meta-info to be useful, systems must be built which can process it in order to infer knowledge We aim for the creation of a computational system, from a contextual logic programming point of view, that can process information from different sources in different formats. Throughout this thesis we describe a prototype with two components which represent the main contributions of the work described herein: - A core that is capable of representing Web ontologies; - A back-end capable of mapping GNU Prolog/CX to SPARQL queries; The core system acts like a computational hub for knowledge modeled by OWL ontologies that enables querying that representation. The back-end provides functions for communicating with SPARQL agents so that the reasoning of the internal knowledge base can be merged with external ontologies.