Introduction to the TPLP special issue, logic programming in databases: From Datalog to semantic-web rules

摘要

Much has happened in data and knowledge base research since the introductionudof the relational model in Codd (1970) and its strong logical foundations influenceudits advances ever since. Logic has been a common ground where Database andudArtificial Intelligence research competed and collaborated with each other for audlong time (Abiteboul et al. 1995). The product of this joint effort has been a set ofudlogic-based formalisms, such as the Relational Calculus (Codd 1970), Datalog (Ceriudet al. 1990), Description Logics (Baader et al. 2007), etc., capturing not only theudstructure but also the semantics of data in an explicit way, thus enabling complexudinference procedures.This special issue contains three rigorously reviewed articles addressing problemsudthat span from Query Answering to Data Mining. All these contributions have theirudroots in the foundational formalisms of Data and Knowledge Bases such as LogicudProgramming, Description Logic and Hybrid Logics, representing a clear exampleudof the effort that the Database and the Semantic-Web communities are producing toudbridge the various schools of thinking in modern Data and Knowledge Management.