Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
The complexity of acyclic conjunctive queries
Journal of the ACM (JACM)
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
A possible simplification of the semantic web architecture
Proceedings of the 13th international conference on World Wide Web
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
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
RDF entailment as a graph homomorphism
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Logical reconstruction of RDF and ontology languages
PPSWR'05 Proceedings of the Third international conference on Principles and Practice of Semantic Web Reasoning
Atlas: Storing, updating and querying RDF(S) data on top of DHTs
Web Semantics: Science, Services and Agents on the World Wide Web
Logical foundations of RDF(S) with datatypes
Journal of Artificial Intelligence Research
The design and implementation of minimal RDFS backward reasoning in 4store
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
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
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
Efficient RDFS entailment in external memory
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems
Improving the recall of live linked data querying through reasoning
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
Blank node matching and RDF/S comparison functions
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part I
Using SPARQL to query bioportal ontologies and metadata
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part II
Overcoming limitations of term-based partitioning for distributed RDFS reasoning
Proceedings of the Fifth Workshop on Semantic Web Information Management
RDFS and OWL reasoning for linked data
RW'13 Proceedings of the 9th international conference on Reasoning Web: semantic technologies for intelligent data access
Hi-index | 0.00 |
The original RDFS language design includes several features that hinder the task of developers and theoreticians. This paper has two main contributions in the direction of simplifying the language. First, it introduces a small fragment which, preserving the normative semantics and the core functionalities, avoids the complexities of the original specification, and captures the main semantic functionalities of RDFS. Second, it introduces a minimalist deduction system over this fragment, which by avoiding certain rare cases, obtains a simple deductive system and a computationally efficient entailment checking.