Description logic programs: combining logic programs with description logic
WWW '03 Proceedings of the 12th international conference on World Wide Web
LUBM: A benchmark for OWL knowledge base systems
Web Semantics: Science, Services and Agents on the World Wide Web
Towards a complete OWL ontology benchmark
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Minerva: a scalable OWL ontology storage and inference system
ASWC'06 Proceedings of the First Asian conference on The Semantic Web
Scalable Web Reasoning Using Logic Programming Techniques
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
SQOWL: type inference in an RDBMS
ER'10 Proceedings of the 29th international conference on Conceptual modeling
On enhancing scalability for distributed RDF/S stores
Proceedings of the 14th International Conference on Extending Database Technology
The role of class dependencies in designing ontology-based databases
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems
The extension-based inference algorithm for pD*
Data & Knowledge Engineering
Type inference methods and performance for data in an RDBMS
SWIM '12 Proceedings of the 4th International Workshop on Semantic Web Information Management
| Hi-index | 0.01 |
A true Semantic Web repository must scale both in terms of number of ontologies and quantity of data. It should also support reasoning using different points of view about the meanings and relationships of concepts and roles. Our DLDB2 system has these features. Our system is sound and complete on a sizable subset of Description Horn Logic when answering extensional conjunctive queries, but more importantly also computes many entailments from OWL DL. By delegating TBox reasoning to a DL reasoner, we focus on the design of the table schema, database views, and algorithms that achieve essential ABox reasoning over an RDBMS. We evaluate the system using synthetic benchmarks as well as real-world data and queries.