Hypothetical datalog: complexity and expressibility
Lecture notes in computer science on ICDT '88
Discrete Mathematics - Algebraic graph theory; a volume dedicated to Gert Sabidussi
Term rewriting and all that
Queries with incomplete answers over semistructured data
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
RQL: a declarative query language for RDF
Proceedings of the 11th international conference on World Wide Web
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
On the Semantics of Anonymous Identity and Reification
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Three Implementations of SquishQL, a Simple RDF Query Language
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
TRIPLE - A Query, Inference, and Transformation Language for the Semantic Web
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Data exchange: getting to the core
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Computing cores for data exchange: new algorithms and practical solutions
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
VLDB '05 Proceedings of the 31st international conference on Very large data bases
Optimizing RDF storage removing redundancies: an algorithm
IEA/AIE'2005 Proceedings of the 18th international conference on Innovations in Applied Artificial Intelligence
The logic of RDF and SPARQL: a tutorial
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
IEEE Transactions on Knowledge and Data Engineering
On querying simple conceptual graphs with negation
Data & Knowledge Engineering
Efficient core computation in data exchange
Journal of the ACM (JACM)
Minimal Deductive Systems for RDF
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
An Extension of SPARQL for RDFS
Semantic Web, Ontologies and Databases
Query-Answering CG Knowledge Bases
ICCS '08 Proceedings of the 16th international conference on Conceptual Structures: Knowledge Visualization and Reasoning
Adaptive Metadata Management System for Distributed Video Content Analysis
ACIVS '08 Proceedings of the 10th International Conference on Advanced Concepts for Intelligent Vision Systems
Towards Rule-Based Minimization of RDF Graphs under Constraints
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
nSPARQL: A Navigational Language for RDF
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
Towards a theory of search queries
Proceedings of the 12th International Conference on Database Theory
On explicit provenance management in RDF/S graphs
TAPP'09 First workshop on on Theory and practice of provenance
Proceedings of the 2009 ACM symposium on Applied Computing
Extending SPARQL with regular expression patterns (for querying RDF)
Web Semantics: Science, Services and Agents on the World Wide Web
Semantics and complexity of SPARQL
ACM Transactions on Database Systems (TODS)
Distinguishing Answers in Conceptual Graph Knowledge Bases
ICCS '09 Proceedings of the 17th International Conference on Conceptual Structures: Conceptual Structures: Leveraging Semantic Technologies
Simple and Efficient Minimal RDFS
Web Semantics: Science, Services and Agents on the World Wide Web
Scalable indexing of RDF graphs for efficient join processing
Proceedings of the 18th ACM conference on Information and knowledge management
Relaxing RDF queries based on user and domain preferences
Journal of Intelligent Information Systems
A Minimal Deductive System for General Fuzzy RDF
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Coloring RDF Triples to Capture Provenance
ISWC '09 Proceedings of the 8th International Semantic Web Conference
Dynamic Querying of Mass-Storage RDF Data with Rule-Based Entailment Regimes
ISWC '09 Proceedings of the 8th International Semantic Web Conference
An execution environment for C-SPARQL queries
Proceedings of the 13th International Conference on Extending Database Technology
Web Semantics: Science, Services and Agents on the World Wide Web
An object-oriented based algebra for ontologies and their instances
ADBIS'07 Proceedings of the 11th East European conference on Advances in databases and information systems
Logical foundations of (e)RDF(S): complexity and reasoning
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
On the foundations of computing deltas between RDF models
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
dRDF: entailment for domain-restricted RDF
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
On storage policies for semantic web repositories that support versioning
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
Journal on data semantics X
Foundations of SPARQL query optimization
Proceedings of the 13th International Conference on Database Theory
Certain answers for XML queries
Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Towards a theory of search queries
ACM Transactions on Database Systems (TODS)
nSPARQL: A navigational language for RDF
Web Semantics: Science, Services and Agents on the World Wide Web
Logical foundations of RDF(S) with datatypes
Journal of Artificial Intelligence Research
Redundancy elimination on RDF graphs in the presence of rules, constraints, and queries
RR'10 Proceedings of the Fourth international conference on Web reasoning and rule systems
Compact representation of large RDF data sets for publishing and exchange
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
Representing and querying validity time in RDF and OWL: a logic-based approach
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
Combining approximation and relaxation in semantic web path queries
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
On enhancing scalability for distributed RDF/S stores
Proceedings of the 14th International Conference on Extending Database Technology
Foundations of Semantic Web databases
Journal of Computer and System Sciences
Proceedings of the thirtieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
On Computing Deltas of RDF/S Knowledge Bases
ACM Transactions on the Web (TWEB)
Elimination of redundancy in ontologies
ESWC'11 Proceedings of the 8th extended semantic web conference on The semantic web: research and applications - Volume Part I
RDFS update: from theory to practice
ESWC'11 Proceedings of the 8th extended semantic web conference on The semanic web: research and applications - Volume Part II
SDKB'10 Proceedings of the 4th international conference on Semantics in data and knowledge bases
Publishing open statistical data: the Spanish census
Proceedings of the 12th Annual International Digital Government Research Conference: Digital Government Innovation in Challenging Times
ISWC'11 Proceedings of the 10th international 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
Towards building knowledge centres on the world wide web
ADVIS'04 Proceedings of the Third international conference on Advances in Information Systems
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Time – space trade-offs in scaling up RDF schema reasoning
WISE'05 Proceedings of the 2005 international conference on Web Information Systems Engineering
Semantics and complexity of SPARQL
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
A relaxed approach to RDF querying
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
REDD: an algorithm for redundancy detection in RDF models
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Querying RDF data from a graph database perspective
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
RDF-Based ontology view for relational schema mediation in semantic web
KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part II
Triadic relations: an algebra for the semantic web
SWDB'04 Proceedings of the Second international conference on Semantic Web and Databases
A general framework for representing, reasoning and querying with annotated Semantic Web data
Web Semantics: Science, Services and Agents on the World Wide Web
Logical reconstruction of RDF and ontology languages
PPSWR'05 Proceedings of the Third international conference on Principles and Practice of Semantic Web Reasoning
Representing and querying validity time in RDF and OWL: A logic-based approach
Web Semantics: Science, Services and Agents on the World Wide Web
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
Datalog relaunched: simulation unification and value invention
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Hi-index | 0.00 |
The Semantic Web is based on the idea of adding more machine-readable semantics to web information via annotations written in a language called the Resource Description Framework (RDF). RDF resembles a subset of binary first-order logic including the ability to refer to anonymous objects. Its extended version, RDFS, supports reification, typing and inheritance. These features introduce new challenges into the formal study of sets of RDF/RDFS statements and languages for querying them. Although several such query languages have been proposed, there has been little work on foundational aspects. We investigate these, including computational aspects of testing entailment and redundancy. We propose a query language with well-defined semantics and study the complexity of query processing, query containment, and simplification of answers.