Representing and querying validity time in RDF and OWL: A logic-based approach

RDF(S) and OWL 2 can currently represent only static information. In practice, however, the truth of statements often changes with time. Semantic Web applications often need to represent such changes and reason about them. In this paper we present a logic-based approach for representing validity tim...

Full description

Bibliographic Details
Main Author: Motik, B
Format: Journal article
Language:English
Published: 2012
_version_ 1826279476946796544
author Motik, B
author_facet Motik, B
author_sort Motik, B
collection OXFORD
description RDF(S) and OWL 2 can currently represent only static information. In practice, however, the truth of statements often changes with time. Semantic Web applications often need to represent such changes and reason about them. In this paper we present a logic-based approach for representing validity time in RDF(S) and OWL 2. Unlike the existing proposals, our approach is applicable to nondeterministic entailment relations and/or entailment relations that involve existential quantification, such as the OWL 2 Direct Entailment and the OWL 2 RDF-Based Entailment. We also present an extension of SPARQL that can be used to query temporal RDF(S) and OWL 2. Moreover, we present a general query evaluation algorithm that can be used with all entailment relations used in the Semantic Web. Finally, we present two optimizations of the algorithm that are applicable to entailment relations characterized by a set of deterministic rules, such RDF(S) and OWL 2 RL/RDF Entailment. © 2011 Elsevier B.V. All rights reserved.
first_indexed 2024-03-06T23:59:18Z
format Journal article
id oxford-uuid:755c49ef-9534-4780-98b4-997fcefec01c
institution University of Oxford
language English
last_indexed 2024-03-06T23:59:18Z
publishDate 2012
record_format dspace
spelling oxford-uuid:755c49ef-9534-4780-98b4-997fcefec01c2022-03-26T20:08:51ZRepresenting and querying validity time in RDF and OWL: A logic-based approachJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:755c49ef-9534-4780-98b4-997fcefec01cEnglishSymplectic Elements at Oxford2012Motik, BRDF(S) and OWL 2 can currently represent only static information. In practice, however, the truth of statements often changes with time. Semantic Web applications often need to represent such changes and reason about them. In this paper we present a logic-based approach for representing validity time in RDF(S) and OWL 2. Unlike the existing proposals, our approach is applicable to nondeterministic entailment relations and/or entailment relations that involve existential quantification, such as the OWL 2 Direct Entailment and the OWL 2 RDF-Based Entailment. We also present an extension of SPARQL that can be used to query temporal RDF(S) and OWL 2. Moreover, we present a general query evaluation algorithm that can be used with all entailment relations used in the Semantic Web. Finally, we present two optimizations of the algorithm that are applicable to entailment relations characterized by a set of deterministic rules, such RDF(S) and OWL 2 RL/RDF Entailment. © 2011 Elsevier B.V. All rights reserved.
spellingShingle Motik, B
Representing and querying validity time in RDF and OWL: A logic-based approach
title Representing and querying validity time in RDF and OWL: A logic-based approach
title_full Representing and querying validity time in RDF and OWL: A logic-based approach
title_fullStr Representing and querying validity time in RDF and OWL: A logic-based approach
title_full_unstemmed Representing and querying validity time in RDF and OWL: A logic-based approach
title_short Representing and querying validity time in RDF and OWL: A logic-based approach
title_sort representing and querying validity time in rdf and owl a logic based approach
work_keys_str_mv AT motikb representingandqueryingvaliditytimeinrdfandowlalogicbasedapproach