Constraint Satisfaction, Bounded Treewidth, and Finite-Variable Logics
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Lower bounds for algebraic computation trees
STOC '83 Proceedings of the fifteenth annual ACM symposium on Theory of computing
Foundations of semantic web databases
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Web Semantics: Science, Services and Agents on the World Wide Web
Web Semantics: Science, Services and Agents on the World Wide Web
RDF entailment as a graph homomorphism
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
EDBT '08 Proceedings of the 11th international conference on Extending database technology: Advances in database technology
An Extension of SPARQL for RDFS
Semantic Web, Ontologies and Databases
Semantic Web, Ontologies and Databases
An Evolutionary Perspective on Approximate RDF Query Answering
SUM '08 Proceedings of the 2nd international conference on Scalable Uncertainty Management
nSPARQL: A Navigational Language for RDF
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
Anytime Query Answering in RDF through Evolutionary Algorithms
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
SAOR: Authoritative Reasoning for the Web
ASWC '08 Proceedings of the 3rd Asian Semantic Web Conference on The Semantic Web
Versatile Semantic Modeling of Frame Logic Programs under Answer Set Semantics
ASWC '08 Proceedings of the 3rd Asian Semantic Web Conference on The Semantic Web
The Sile Model -- A Semantic File System Infrastructure for the Desktop
ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
A Rule System for Querying Persistent RDFS Data
ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
Agent Inferencing Meets the Semantic Web
EPIA '09 Proceedings of the 14th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
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
Functions over RDF Language Elements
ISWC '09 Proceedings of the 8th International Semantic Web Conference
nSPARQL: A navigational language for RDF
Web Semantics: Science, Services and Agents on the World Wide Web
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
AnQL: SPARQLing up annotated RDFS
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
A Prolog-based Query Language for OWL
Electronic Notes in Theoretical Computer Science (ENTCS)
Foundations of Semantic Web databases
Journal of Computer and System Sciences
Proceedings of the 4th International Workshop on Logic in Databases
Querying semantic web data with SPARQL
Proceedings of the thirtieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
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
Scalable OWL 2 reasoning for linked data
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
RDF semantics for web association rules
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
Fuzzy logic, annotation domains and semantic web languages
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
Fuzzy Reasoning over RDF Data Using OWL Vocabulary
WI-IAT '11 Proceedings of the 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Volume 01
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
Replication and versioning of partial RDF graphs
ESWC'10 Proceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part I
Datalog relaunched: simulation unification and value invention
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
An empirical survey of Linked Data conformance
Web Semantics: Science, Services and Agents on the World Wide Web
RDFS reasoning on massively parallel hardware
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part I
Hi-index | 0.00 |
This paper presents a minimalist program for RDF, by showing how one can do without several predicates and keywords of the RDF Schema vocabulary, obtaining a simpler language which preserves the original semantics. This approach is beneficial in at least two directions: (a) To have a simple abstract fragment of RDFS easy to formalize and to reason about, which captures the essence of RDFS; (b) To obtain algorithmic properties of deduction and optimizations that are relevant for particular fragments. Among our results are: the identification of a simple fragment of RDFS; the proof that it encompasses the main features of RDFS; a formal semantics and a deductive system for it; sound and complete deductive systems for their sub-fragments; and an ${\cal O}(n \log n)$ complexity bound for ground entailment in this fragment.