Toward principles for the design of ontologies used for knowledge sharing
International Journal of Human-Computer Studies - Special issue: the role of formal ontology in the information technology
Jena: implementing the semantic web recommendations
Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters
A Flexible Ontology Reasoning Architecture for the Semantic Web
IEEE Transactions on Knowledge and Data Engineering
Pellet: A practical OWL-DL reasoner
Web Semantics: Science, Services and Agents on the World Wide Web
Reasoning and change management in modular ontologies
Data & Knowledge Engineering
Scalable semantic web data management using vertical partitioning
VLDB '07 Proceedings of the 33rd international conference on Very large data bases
DBOWL: Towards a Scalable and Persistent OWL Reasoner
ICIW '08 Proceedings of the 2008 Third International Conference on Internet and Web Applications and Services
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
Dynamic composition and optimization of Web services
Distributed and Parallel Databases
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
DLDB2: A Scalable Multi-perspective Semantic Web Repository
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 01
A Scalable Scheme for Bulk Loading Large RDF Graphs into Oracle
ICDE '08 Proceedings of the 2008 IEEE 24th International Conference on Data Engineering
Scalable semantic retrieval through summarization and refinement
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Scalable highly expressive reasoner (SHER)
Web Semantics: Science, Services and Agents on the World Wide Web
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
Reasoning with large ontologies stored in relational databases: The OntoMinD approach
Data & Knowledge Engineering
SQOWL: type inference in an RDBMS
ER'10 Proceedings of the 29th international conference on Conceptual modeling
Data & Knowledge Engineering
Towards a complete OWL ontology benchmark
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research 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
OWLIM – a pragmatic semantic repository for OWL
WISE'05 Proceedings of the 2005 international conference on Web Information Systems Engineering
The summary abox: cutting ontologies down to size
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
FaCT++ description logic reasoner: system description
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Minerva: a scalable OWL ontology storage and inference system
ASWC'06 Proceedings of the First Asian conference on The Semantic Web
Hi-index | 0.01 |
In this work, we present a scalable rule-based reasoning algorithm for the OWL pD* language. This algorithm uses partial materialization and a syntactic ontology transformation (the extension-based knowledge model) to provide a fast inference. Because the materialized part of the ontology does not contain assertional data, the time consumed by the process, and the number of inferred triples, remain fixed with varying amounts of assertional data. The algorithm uses database reasoning and a query rewriting technique to handle the remaining inference. The extension-based knowledge model and the database reasoning prevent the expected decreases in query performances, which are the natural result of online reasoning during query time. This work also evaluates the efficiency of the proposed method by conducting experiments using LUBM and UOBM benchmarks.