Storing and Querying Ontologies in Logic Databases

The intersection of Description Logic inspired ontology languages with Logic Programs has been recently analyzed in [GHVD03]. The resulting language, called Description Logic Programs, covers RDF Schema and a notable portion of OWL Lite. However, the proposed mapping in [GHVD03] from the corresponding OWL fragment into Logic Programs has shown scalability as well as representational de�cits within our experiments and analysis. In this paper we propose an alternative mapping resulting in lower computational complexity and more representational exibility. We also present benchmarking results for both mappings with ontologies of di�erent size and complexity

Datalog: Bases de datos Deductivas

Este artículo muestra un breve estudio sobre Datalog, el cual es considerado como una  extensión de Prolog que es uno de los sofware más utilizados en la inteligencia artificial. Sistemas importantes como SWI-Prolog[22], Ciao Prolog[4], Sictus-Prolog[20], han sido compiladores utilizados para hacer uso de la funcionalidad del lenguaje lógico para bases de datos deductivas y han logrado la implementación de consultas recursivas  sobre las bases de datos relacionales. En este estudio también se presentan conceptos básicos de Datalog, así como algunos sistemas que se han desarrollado para trabajar con este lenguaje.Palabra(s) Clave(s): Programación lógica, Prolog, Datalog

ULTRA - A Logic Transaction Programming Language

Rule-based language for the specification of complex database updates and transactions. Formal treatment of the syntax and the declarative semanticsRegelbasierte Sprache zur Spezifikation komplexer Datenbank-Operationen und Transaktionen. Formle Behandlung von Syntax und deklarativer Semantik

Neuere Entwicklungen der deklarativen KI-Programmierung : proceedings

The field of declarative AI programming is briefly characterized. Its recent developments in Germany are reflected by a workshop as part of the scientific congress KI-93 at the Berlin Humboldt University. Three tutorials introduce to the state of the art in deductive databases, the programming language Gödel, and the evolution of knowledge bases. Eleven contributed papers treat knowledge revision/program transformation, types, constraints, and type-constraint combinations