Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
A graphical query language supporting recursion
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Finding Regular Simple Paths in Graph Databases
SIAM Journal on Computing
Graph-theoretic methods in database theory
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
GraphLog: a visual formalism for real life recursion
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Fast Algorithms for Solving Path Problems
Journal of the ACM (JACM)
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
Benchmarking RDF Schemas for the Semantic Web
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
RDFS Reasoning and Query Answering on Top of DHTs
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
Extending SPARQL with regular expression patterns (for querying RDF)
Web Semantics: Science, Services and Agents on the World Wide Web
A pragmatic approach for RDFS reasoning over large scale instance data
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems - Volume Part II
A smart space application to dynamically relate medical and environmental information
Proceedings of the Conference on Design, Automation and Test in Europe
An integrated framework to achieve interoperability in person-centric health management
International Journal of Telemedicine 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
An RDF storage and query framework with flexible inference strategy
APWeb'06 Proceedings of the 8th Asia-Pacific Web conference on Frontiers of WWW Research and Development
Reducing the inferred type statements with individual grouping constructs
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
F-OWL: an inference engine for semantic web
FAABS'04 Proceedings of the Third international conference on Formal Approaches to Agent-Based Systems
Web and semantic web query languages: a survey
Proceedings of the First international conference on Reasoning Web
| Hi-index | 0.01 |
Entailment, as defined by RDF's model-theoretical semantics, is a basic requirement for processing RDF, and represents the kind of "semantic interoperability" that RDF-based systems have been anticipated to have to realize the vision of the "Semantic Web". In this paper we give some results in our investigation of a practical implementation of the entailment rules, based on the graph-walking query mechanism of the WILBUR RDF toolkit.