Reasoning with Temporal Constraints in RDF

Time management is a key feature needed in any query language for web and semistructured data. However, only recently this has been addressed by the Semantic Web community, through the study of temporal extensions to RDF (Resource Description Framework). In this paper we show that the ability of the RDF data model of handling unknown resources by means of blank nodes, naturally yields a rich framework for temporal reasoning in RDF. That is, even without knowing the interval of validity of some statements we can still entail useful knowledge from temporal RDF databases. To take advantage of this, we incorporate a class of temporal constraints over anonymous timestamps based on Allen's interval algebra. We show that testing entailment in temporal graphs with the constraints proposed reduces to closure computation and mapping discovery, that is, an extended form of the standard approach for testing entailment in non-temporal RDF graphs.

[1]  Alberto O. Mendelzon,et al.  Foundations of semantic web databases , 2004, PODS.

[2]  Vassilis Christophides,et al.  Ontology Storage and Querying , 2002 .

[3]  Jan Chomicki,et al.  Temporal Query Languages: A Survey , 1994, ICTL.

[4]  Alasdair Urquhart,et al.  Temporal Logic , 1971 .

[5]  Claudio Gutiérrez,et al.  Introducing Time into RDF , 2007, IEEE Transactions on Knowledge and Data Engineering.

[6]  Ubbo Visser,et al.  Intelligent Information Integration for the Semantic Web , 2004, Lecture Notes in Computer Science.

[7]  François Bry,et al.  On Reasoning on Time and Location on the Web , 2003, PPSWR.

[8]  Ur Informatik.  Temporal Constructs for a Web Language , 2003 .

[9]  Rina Dechter,et al.  Temporal Constraint Networks , 1989, Artif. Intell..

[10]  Curtis E. Dyreson,et al.  Observing transaction-time semantics with /sub TT/XPath , 2001, Proceedings of the Second International Conference on Web Information Systems Engineering.

[11]  Alberto O. Mendelzon,et al.  Indexing Temporal XML Documents , 2004, VLDB.

[12]  Manolis Koubarakis,et al.  Database models for infinite and indefinite temporal information , 1994, Inf. Syst..

[13]  Dan Brickley,et al.  Resource Description Framework (RDF) Model and Syntax Specification , 2002 .

[14]  James F. Allen.  Maintaining knowledge about temporal intervals , 1983, CACM.

[15]  James F. Allen.  Time and time again: The many ways to represent time , 1991, Int. J. Intell. Syst..

[16]  Michael Kifer,et al.  On the Semantics of Anonymous Identity and Reification , 2002, OTM.

[17]  Sushil Jajodia,et al.  Temporal Databases: Theory, Design, and Implementation , 1993 .

[18]  Frank van Harmelen,et al.  A semantic web primer , 2004 .

[19]  Richard T. Snodgrass,et al.  Temporal Slicing in the Evaluation of XML Queries , 2003, VLDB.

[20]  Richard T. Snodgrass,et al.  The TSQL2 Temporal Query Language , 1995 .

[21]  Jennifer Widom,et al.  Managing Historical Semistructured Data , 1999, Theory Pract. Object Syst..

[22]  Krzysztof R. Apt,et al.  Logic Programming , 1990, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[23]  Alberto O. Mendelzon,et al.  Formal aspects of querying RDF databases , 2003, SWDB.

[24]  Toshiyuki Amagasa,et al.  A Data Model for Temporal XML Documents , 2000, DEXA.

[25]  Dan Brickley,et al.  Rdf vocabulary description language 1.0 : Rdf schema , 2004 .

[26]  Ora Lassila,et al.  W3c resource description framework (rdf) model and syntax specification , 1998 .

[27]  Ubbo Visser.  Intelligent Information Integration For The Semantic Web (Lecture Notes in Computer Science) , 2005 .

[28]  François Bry,et al.  Temporal Constructs for a Web Language , 2003 .

[29]  Chen Li,et al.  On Containment of Conjunctive Queries with Arithmetic Comparisons , 2004, EDBT.

[30]  Claudio Gutiérrez,et al.  Temporal RDF , 2005, ESWC.

[31]  Raphael Volz,et al.  A Comparison of RDF Query Languages , 2004, SEMWEB.