Computer
A survey on temporal reasoning in artificial intelligence
AI Communications
First-order logic and automated theorem proving (2nd ed.)
First-order logic and automated theorem proving (2nd ed.)
Maintaining knowledge about temporal intervals
Communications of the ACM
The design and implementation of the redland RDF application framework
Proceedings of the 10th international conference on World Wide Web
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
A survey of temporal extensions of description logics
Annals of Mathematics and Artificial Intelligence
Rule Ordering in Bottom-Up Fixpoint Evaluation of Logic Programs
IEEE Transactions on Knowledge and Data Engineering
Temporal Query Languages: A Survey
ICTL '94 Proceedings of the First International Conference on Temporal Logic
Sesame: A Generic Architecture for Storing and Querying RDF and RDF Schema
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Jena: implementing the semantic web recommendations
Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters
Foundations of semantic web databases
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
An efficient SQL-based RDF querying scheme
VLDB '05 Proceedings of the 31st international conference on Very large data bases
Optimized Index Structures for Querying RDF from the Web
LA-WEB '05 Proceedings of the Third Latin American Web Congress
IEEE Transactions on Knowledge and Data Engineering
The foundational model of anatomy in OWL: Experience and perspectives
Web Semantics: Science, Services and Agents on the World Wide Web
Proceedings of the 17th international conference on World Wide Web
Temporal Description Logics: A Survey
TIME '08 Proceedings of the 2008 15th International Symposium on Temporal Representation and Reasoning
Knowledge Engineering in a Temporal Semantic Web Context
ICWE '08 Proceedings of the 2008 Eighth International Conference on Web Engineering
Hexastore: sextuple indexing for semantic web data management
Proceedings of the VLDB Endowment
Web Semantics: Science, Services and Agents on the World Wide Web
Applied Temporal RDF: Efficient Temporal Querying of RDF Data with SPARQL
ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
Semantics and complexity of SPARQL
ACM Transactions on Database Systems (TODS)
EQL-lite: effective first-order query processing in description logics
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
ACM Transactions on Computational Logic (TOCL)
Hypertableau reasoning for description logics
Journal of Artificial Intelligence Research
AnQL: SPARQLing up annotated RDFS
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
Reasoning with temporal constraints in RDF
PPSWR'06 Proceedings of the 4th international conference on Principles and Practice of Semantic Web Reasoning
FaCT++ description logic reasoner: system description
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Towards a unifying approach to representing and querying temporal data in description logics
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
Temporal description logic for ontology-based data access
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.00 |
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.