Bilattices and the semantics of logic programming
Journal of Logic Programming
Theory of generalized annotated logic programming and its applications
Journal of Logic Programming
A theory of nonmonotonic inheritance based on annotated logic
Artificial Intelligence
Materialized views: techniques, implementations, and applications
Materialized views: techniques, implementations, and applications
Information integration using logical views
Theoretical Computer Science - Special issue on the 6th International Conference on Database Theory—ICDT '97
An Efficient Unification Algorithm
ACM Transactions on Programming Languages and Systems (TOPLAS)
Conjunctive-query containment and constraint satisfaction
Journal of Computer and System Sciences - Special issue on the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on principles of database systems
Communications of the ACM
Annotea: an open RDF infrastructure for shared Web annotations
Proceedings of the 10th international conference on World Wide Web
RQL: a declarative query language for RDF
Proceedings of the 11th international conference on World Wide Web
Operational and abstract semantics of the query language G-Log
Theoretical Computer Science
Inference for Annotated Logics over Distributive Lattices
ISMIS '02 Proceedings of the 13th International Symposium on Foundations of Intelligent Systems
Merging Heterogeneous Security Orderings
ESORICS '96 Proceedings of the 4th European Symposium on Research in Computer Security: Computer Security
A New Algorithm for Inexact Graph Matching
ICPR '02 Proceedings of the 16 th International Conference on Pattern Recognition (ICPR'02) Volume 4 - Volume 4
A (Sub)Graph Isomorphism Algorithm for Matching Large Graphs
IEEE Transactions on Pattern Analysis and Machine Intelligence
RDF Aggregate Queries and Views
ICDE '05 Proceedings of the 21st International Conference on Data Engineering
Named graphs, provenance and trust
WWW '05 Proceedings of the 14th international conference on World Wide Web
Story creation from heterogeneous data sources
Multimedia Tools and Applications
Estimating the cardinality of RDF graph patterns
Proceedings of the 16th international conference on World Wide Web
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Tightly integrated probabilistic description logic programs for the semantic web
ICLP'07 Proceedings of the 23rd international conference on Logic programming
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
A framework for schema-driven relationship discovery from unstructured text
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Towards a fuzzy description logic for the semantic web (preliminary report)
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, COA, and ODBASE - Volume Part II
Annotation and provenance tracking in semantic web photo libraries
IPAW'06 Proceedings of the 2006 international conference on Provenance and Annotation of Data
A Fuzzy Semantics for the Resource Description Framework
Uncertainty Reasoning for the Semantic Web I
AnQL: SPARQLing up annotated RDFS
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
YAGO2: exploring and querying world knowledge in time, space, context, and many languages
Proceedings of the 20th international conference companion on World wide web
Proceedings of the 4th International Workshop on Logic in Databases
Interactive exploration of fuzzy RDF knowledge bases
ESWC'11 Proceedings of the 8th extended semantic web conference on The semantic web: research and applications - Volume Part I
Practical RDF schema reasoning with annotated semantic web data
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
A general framework for representing, reasoning and querying with annotated Semantic Web data
Web Semantics: Science, Services and Agents on the World Wide Web
Representing and querying validity time in RDF and OWL: A logic-based approach
Web Semantics: Science, Services and Agents on the World Wide Web
Contextualized knowledge repositories for the Semantic Web
Web Semantics: Science, Services and Agents on the World Wide Web
Tracing where and who provenance in Linked Data: A calculus
Theoretical Computer Science
YAGO2: A spatially and temporally enhanced knowledge base from Wikipedia
Artificial Intelligence
Toward scalable reasoning over annotated RDF data using mapreduce
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
Algebraic structures for capturing the provenance of SPARQL queries
Proceedings of the 16th International Conference on Database Theory
STUN: Spatio-Temporal Uncertain (Social) Networks
ASONAM '12 Proceedings of the 2012 International Conference on Advances in Social Networks Analysis and Mining (ASONAM 2012)
TripleProv: efficient processing of lineage queries in a native RDF store
Proceedings of the 23rd international conference on World wide web
Hi-index | 0.00 |
Real-world use of RDF requires the ability to transparently represent and explain metadata associated with RDF triples. For example, when RDF triples are extracted automatically by information extraction programs, there is a need to represent where the triples came from, what their temporal validity is, and how certain we are that the triple is correct. Today, there is no theoretically clean and practically scalable mechanism that spans these different needs - reification is the only solution propose to date, and its implementations have been ugly. In this paper, we present Annotated RDF (or aRDF for short) in which RDF triples are annotated by members of a partially ordered set (with bottom element) that can be selected in any way desired by the user. We present a formal declarative semantics (model theory) for annotated RDF and develop algorithms to check consistency of aRDF theories and to answer queries to aRDF theories. We show that annotated RDF supports users who need to think about the uncertainty, temporal aspects, and provenance of the RDF triples in an RDF database. We develop a prototype aRDF implementation and show that our algorithms work efficiently even on real world data sets containing over 10 million triples.