Sesame: A Generic Architecture for Storing and Querying RDF and RDF Schema
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Pellet: A practical OWL-DL reasoner
Web Semantics: Science, Services and Agents on the World Wide Web
DBOWL: Towards a Scalable and Persistent OWL Reasoner
ICIW '08 Proceedings of the 2008 Third International Conference on Internet and Web Applications and Services
ECQ: A Simple Query Language for the Semantic Web
DEXA '08 Proceedings of the 2008 19th International Conference on Database and Expert Systems Application
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 4
Towards a complete OWL ontology benchmark
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
OWLIM – a pragmatic semantic repository for OWL
WISE'05 Proceedings of the 2005 international conference on Web Information Systems Engineering
Minerva: a scalable OWL ontology storage and inference system
ASWC'06 Proceedings of the First Asian conference on The Semantic Web
Hi-index | 0.00 |
Real Semantic Web applications, such as biological tools, use large ontologies, that is, ontologies with a large number (millions) of instances. Due to the increasing development of such applications, it is necessary to provide scalable and efficient ontology querying and reasoning systems. DBOWL is a Persistent and Scalable OWL reasoner which stores ontologies and implements reasoning using a relational database. In this paper we present an extension of DBOWL that implements all inference rules for OWL-DL. Furthermore, we describe briefly the reasoning algorithms and their completeness proofs.