Rules and Ontologies for the Semantic Web
Reasoning Web
SAOR: Authoritative Reasoning for the Web
ASWC '08 Proceedings of the 3rd Asian Semantic Web Conference on The Semantic Web
Conjunctive query answering in the description logic EL using a relational database system
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
On the Ostensibly Silent `W' in OWL 2 RL
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
DLEJena: A practical forward-chaining OWL 2 RL reasoner combining Jena and Pellet
Web Semantics: Science, Services and Agents on the World Wide Web
Conceptual model for semantic representation of industrial manufacturing processes
Computers in Industry
Optimizing enterprise-scale OWL 2 RL reasoning in a relational database system
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
Incremental reasoning over multiple ontologies
WAIM'11 Proceedings of the 12th international conference on Web-age information management
Repairing ontologies for incomplete reasoners
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
Semantic data markets: a flexible environment for knowledge management
Proceedings of the 20th ACM international conference on Information and knowledge management
On benchmarking data translation systems for semantic-web ontologies
Proceedings of the 20th ACM international conference on Information and knowledge management
A general Datalog-based framework for tractable query answering over ontologies
Web Semantics: Science, Services and Agents on the World Wide Web
Completeness guarantees for incomplete ontology reasoners: theory and practice
Journal of Artificial Intelligence Research
Semantic-based approach for route determination and ontologyupdating
Engineering Applications of Artificial Intelligence
Making the most of your triple store: query answering in OWL 2 using an RL reasoner
Proceedings of the 22nd international conference on World Wide Web
Towards performance evaluation of semantic databases management systems
BNCOD'13 Proceedings of the 29th British National conference on Big Data
Computing datalog rewritings beyond horn ontologies
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Ontology-based data access: An application to intermodal logistics
Information Systems Frontiers
Acyclicity notions for existential rules and their application to query answering in ontologies
Journal of Artificial Intelligence Research
Hi-index | 0.00 |
This Inference Engines are an integral part of Semantic Data Stores. In this paper, we describe our experience of implementing a scalable inference engine for Oracle Semantic Data Store. This inference engine computes production rule based entailment of one or more RDFS/OWL encoded semantic data models. The inference engine capabilities include i) inferencing based on semantics of RDFS/OWL constructs and user-defined rules, ii) computing ancillary information (namely, semantic distance and proof) for inferred triples, and iii) validation of semantic data model based on RDFS/OWL semantics. A unique aspect of our approach is that the inference engine is implemented entirely as a database application on top of Oracle Database. The paper describes the inferencing requirements, challenges in supporting a sufficiently expressive set of RDFS/OWL constructs, and techniques adopted to build a scalable inference engine. A performance study conducted using both native and synthesized semantic datasets demonstrates the effectiveness of our approach.