Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
Foundations of semantic web databases
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
The Description Logic Handbook
The Description Logic Handbook
Reducing OWL entailment to description logic satisfiability
Web Semantics: Science, Services and Agents on the World Wide Web
RDFS(FA): Connecting RDF(S) and OWL DL
IEEE Transactions on Knowledge and Data Engineering
From SPARQL to rules (and back)
Proceedings of the 16th international conference on World Wide Web
System II: a hypergraph based native rdf repository
Proceedings of the 17th international conference on World Wide Web
Minimal Deductive Systems for RDF
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
Rules and Ontologies for the Semantic Web
Reasoning Web
Web Semantics: Science, Services and Agents on the World Wide Web
Combining a DL Reasoner and a Rule Engine for Improving Entailment-Based OWL Reasoning
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
Rapid prototyping of semantic mash-ups through semantic web pipes
Proceedings of the 18th international conference on World wide web
Extending SPARQL with regular expression patterns (for querying RDF)
Web Semantics: Science, Services and Agents on the World Wide Web
Rule-based OWL Ontology Reasoning Using Dynamic ABOX Entailments
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Extended RDF as a semantic foundation of rule markup languages
Journal of Artificial Intelligence Research
Simple and Efficient Minimal RDFS
Web Semantics: Science, Services and Agents on the World Wide Web
On the Ostensibly Silent `W' in OWL 2 RL
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Dynamic Querying of Mass-Storage RDF Data with Rule-Based Entailment Regimes
ISWC '09 Proceedings of the 8th International Semantic Web Conference
Scalable Distributed Reasoning Using MapReduce
ISWC '09 Proceedings of the 8th International Semantic Web Conference
Querying the Web of Data: A Formal Approach
ASWC '09 Proceedings of the 4th Asian Conference on The Semantic Web
DLEJena: A practical forward-chaining OWL 2 RL reasoner combining Jena and Pellet
Web Semantics: Science, Services and Agents on the World Wide Web
Mind the data skew: distributed inferencing by speeddating in elastic regions
Proceedings of the 19th international conference on 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
dRDF: entailment for domain-restricted RDF
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
Provenance context entity (PaCE): scalable provenance tracking for scientific RDF data
SSDBM'10 Proceedings of the 22nd international conference on Scientific and statistical database management
Bayesian knowledge corroboration with logical rules and user feedback
ECML PKDD'10 Proceedings of the 2010 European conference on Machine learning and knowledge discovery in databases: Part II
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
Embeddings of simple modular extended RDF
RR'10 Proceedings of the Fourth international conference on Web reasoning and rule systems
CoBayes: bayesian knowledge corroboration with assessors of unknown areas of expertise
Proceedings of the fourth ACM international conference on Web search and data mining
SPARQL beyond subgraph matching
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
SAOR: template rule optimisations for distributed reasoning over 1 billion linked data triples
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
Foundations of Semantic Web databases
Journal of Computer and System Sciences
RDF packages: a scheme for efficient reasoning and querying over large-scale RDF data
Proceedings of the 12th International Conference on Information Integration and Web-based Applications & Services
Data & Knowledge Engineering
COROR: a composable rule-entailment owl reasoner for resource-constrained devices
RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
Using SPARQL with RDFS and OWL entailment
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
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
Context-dependent OWL reasoning in sindice - experiences and lessons learnt
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
On the web ontology rule language OWL 2 RL
ICCCI'11 Proceedings of the Third international conference on Computational collective intelligence: technologies and applications - Volume Part I
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
Large scale fuzzy pD* reasoning using mapreduce
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
Getting the meaning right: a complementary distributional layer for the web semantics
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
QueryPIE: backward reasoning for OWL horst over very large knowledge bases
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
Finding all justifications of OWL entailments using TMS and MapReduce
Proceedings of the 20th ACM international conference on Information and knowledge management
Efficient RDFS entailment in external memory
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems
Searching and browsing Linked Data with SWSE: The Semantic Web Search Engine
Web Semantics: Science, Services and Agents on the World Wide Web
Combining RDF and part of OWL with rules: semantics, decidability, complexity
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
The extension-based inference algorithm for pD*
Data & Knowledge Engineering
WebPIE: A Web-scale Parallel Inference Engine using MapReduce
Web Semantics: Science, Services and Agents on the World Wide Web
Web Semantics: Science, Services and Agents on the World Wide Web
ASWC'06 Proceedings of the First Asian conference on The Semantic Web
Contextualized knowledge repositories for the Semantic Web
Web Semantics: Science, Services and Agents on the World Wide Web
Towards a scalable, pragmatic knowledge representation language for the web
PSI'09 Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics
OWL reasoning with WebPIE: calculating the closure of 100 billion triples
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
Verifying resource requirements for ontology-driven rule-based agents
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
Agents and knowledge interoperability in the semantic web era
Proceedings of the 2nd International Conference on Web Intelligence, Mining and Semantics
Parallel ABox reasoning of EL ontologies
JIST'11 Proceedings of the 2011 joint international conference on The Semantic Web
A user and NLP-assisted strategic workflow for a social semantic OWL 2-based knowledge platform
Proceedings of the Workshop on Semantic Analysis in Social Media
Evaluating the quality of a knowledge base populated from text
AKBC-WEKEX '12 Proceedings of the Joint Workshop on Automatic Knowledge Base Construction and Web-scale Knowledge Extraction
RW'07 Proceedings of the Third international summer school conference on Reasoning Web
RDFS reasoning on massively parallel hardware
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part I
The not-so-easy task of computing class subsumptions in OWL RL
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part I
Overcoming limitations of term-based partitioning for distributed RDFS reasoning
Proceedings of the Fifth Workshop on Semantic Web Information Management
A framework for modular ERDF ontologies
Annals of Mathematics and Artificial Intelligence
RDFS and OWL reasoning for linked data
RW'13 Proceedings of the 9th international conference on Reasoning Web: semantic technologies for intelligent data access
A distributed rule execution mechanism based on MapReduce in sematic web reasoning
Proceedings of the 5th Asia-Pacific Symposium on Internetware
Journal of Ambient Intelligence and Smart Environments - Home-based Health and Wellness Measurement and Monitoring
Hi-index | 0.00 |
We prove that entailment for RDF Schema (RDFS) is decidable, NP-complete, and in P if the target graph does not contain blank nodes. We show that the standard set of entailment rules for RDFS is incomplete and that this can be corrected by allowing blank nodes in predicate position. We define semantic extensions of RDFS that involve datatypes and a subset of the OWL vocabulary that includes the property-related vocabulary (e.g. FunctionalProperty), the comparisons (e.g. sameAs and differentFrom) and the value restrictions (e.g. allValuesFrom). These semantic extensions are in line with the 'if-semantics' of RDFS and weaker than the 'iff-semantics' of D-entailment and OWL (DL or Full). For these semantic extensions we present entailment rules, prove completeness results, prove that consistency is in P and that, just as for RDFS, entailment is NP-complete, and in P if the target graph does not contain blank nodes. There are no restrictions on use to obtain decidability: classes can be used as instances.