Theorem proving with ordering and equality constrained clauses
Journal of Symbolic Computation
Information and Computation
Reasoning in description logics
Principles of knowledge representation
A taxonomy of parallel strategies for deduction
Annals of Mathematics and Artificial Intelligence
The Clause-Diffusion Theorem Prover Peers-mcd (System Description)
CADE-14 Proceedings of the 14th International Conference on Automated Deduction
CADE-18 Proceedings of the 18th International Conference on Automated Deduction
Combining superposition, sorts and splitting
Handbook of automated reasoning
Reasoning in Description Logics by a Reduction to Disjunctive Datalog
Journal of Automated Reasoning
A Flexible Partitioning Tool for Large Ontologies
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 01
Conservative extensions in expressive description logics
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Knowledge representation in the semantic web for Earth and environmental terminology (SWEET)
Computers & Geosciences
Combining OWL ontologies using E-Connections
Web Semantics: Science, Services and Agents on the World Wide Web
Querying RDF streams with C-SPARQL
ACM SIGMOD Record
Parallel TBox Classification in Description Logics --First Experimental Results
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
Concurrent classification of EL ontologies
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
Towards semantic interoperability service utilities
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems
Scalable and parallel reasoning in the semantic web
ESWC'10 Proceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part II
Parallel ABox reasoning of EL ontologies
JIST'11 Proceedings of the 2011 joint international conference on The Semantic Web
Very large scale OWL reasoning through distributed computation
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part II
Hi-index | 0.00 |
The Semantic Web is commonly perceived as a web of partially interlinked machine readable data. This data is inherently distributed and resembles the structure of the web in terms of resources being provided by different parties at different physical locations. A number of infrastructures for storing and querying distributed semantic web data, primarily encoded in RDF have been developed but almost all the work on description logic reasoning as a basis for implementing inference in the Web Ontology Language OWL still assumes a centralized approach where the complete terminology has to be present on a single system and all inference steps are carried out on this system. We propose a distributed reasoning method that preserves soundness and completeness of reasoning under the original OWL import semantics. The method is based on resolution methods for $\mathcal{ALCHIQ}$ ontologies that we modify to work in a distributed setting. Results show a promising runtime decrease compared to centralized reasoning and indicate that benefits from parallel computation trade off the overhead caused by communication between the local reasoners.