A Survey of Distributed Inference on Semantic Web

From Tetherless World Wiki

A Survey of Distributed Inference on Semantic Web [ Edit ]
Title	A Survey of Distributed Inference on Semantic Web
Author(s)	Jie Bao, Jesse Weaver
Target Conference
Start date	2009/04/22
Due date
Topic
Latex
Related Project
Abstract

Contents 1 Bib 1.1 Distributed Reasoning in Modular Semantics 1.2 Other modular ontology proposals 1.3 Parallel Reasoning with Global Semantics 2 Resourcess

Bib

Distributed Reasoning in Modular Semantics

P-DL

• Jie Bao,Doina Caragea,Vasant Honavar. (2006) A Tableau-Based Federated Reasoning Algorithm for Modular Ontologies. In Web Intelligence, pp. 404-410, 2006. (Download)
• Jie Bao,Doina Caragea,Vasant Honavar. (2006) A Distributed Tableau Algorithm for Package-based Description Logics. In 2nd International Workshop On Context Representation And Reasoning (CRR 2006), ECAI 2006, , 2006. (Download)

DDL

• Chiara Ghidini,Luciano Serafini. (2008) Mapping Properties of Heterogeneous Ontologies. In AIMSA, pp. 181-193, 2008.
• Luciano Serafini,Andrei Tamilin. (2007) Reasoning with Instances of Heterogeneous Ontologies. In SWAP, , 2007.
• Luciano Serafini,Heiner Stuckenschmidt,Holger Wache. (2005) A Formal Investigation of Mapping Language for Terminological Knowledge. In IJCAI, pp. 576-581, 2005. (Download)
• Luciano Serafini,Alexander Borgida,Andrei Tamilin. (2005) Aspects of Distributed and Modular Ontology Reasoning. In IJCAI, pp. 570-575, 2005. (Download)
• Luciano Serafini,Andrei Tamilin. (2005) Distributed Instance Retrieval in Heterogeneous Ontologies. In SWAP, , 2005.
• Luciano Serafini,Andrei Tamilin. (2005) DRAGO: Distributed Reasoning Architecture for the Semantic Web. In ESWC, pp. 361-376, 2005. (Download)
• Luciano Serafini,Andrei Tamilin. (2004) Local Tableaux for Reasoning in Distributed Description Logics. In Description Logics, , 2004.
• Paolo Bouquet,Fausto Giunchiglia,Frank van Harmelen,Luciano Serafini,Heiner Stuckenschmidt. (2003) C-OWL: Contextualizing Ontologies. In International Semantic Web Conference, pp. 164-179, 2003. (Download)
• Alexander Borgida,Luciano Serafini. (2003) Distributed Description Logics: Assimilating Information from Peer Sources. In J. Data Semantics, 1:153-184, 2003.

E-connections

• Bernardo Cuenca Grau,Bijan Parsia,Evren Sirin,Aditya Kalyanpur. (2006) Modularity and Web Ontologies. In KR, pp. 198-209, 2006.
• Bernardo Cuenca Grau,Bijan Parsia,Evren Sirin. (2004) Working with Multiple Ontologies on the Semantic Web. In International Semantic Web Conference, pp. 620-634, 2004. (Download)

Anne Schlicht's approach

• Anne Schlicht,Heiner Stuckenschmidt. (2008) Towards Distributed Ontology Reasoning for the Web. In Web Intelligence, pp. 536-539, 2008.
• Anne Schlicht,Heiner Stuckenschmidt. (2008) Distributed Resolution for ALC. In Description Logics, , 2008.

Complexity and Decidability

• Jie Bao,George Voutsadakis,Giora Slutzki,Vasant Honavar. (2008) On the Decidability of Role Mappings Between Modular Ontologies. In AAAI'08, pp. 400--405, 2008. (Download)

Other modular ontology proposals

Conservative extensions

• Bernardo Cuenca Grau,Ian Horrocks,Yevgeny Kazakov,Ulrike Sattler. (2007) Just the right amount: extracting modules from ontologies. In WWW, pp. 717-726, 2007. (Download)
• Bernardo Cuenca Grau,Ian Horrocks,Yevgeny Kazakov,Ulrike Sattler. (2007) A Logical Framework for Modularity of Ontologies. In IJCAI, pp. 298-303, 2007. (Download)

Parallel Reasoning with Global Semantics

Approximation

• George Anadiotis,Spyros Kotoulas,Eyal Oren,Ronny Siebes,Frank van Harmelen,Niels Drost,Roelof Kemp,Jason Maassen,Frank J. Seinstra,Henri E. Bal. (2008) MaRVIN: a distributed platform for massive RDF inference. In , , 2008.
• Eyal Oren,Spyros Kotoulas,George Anadiotis,Ronald Siebes,Annette ten Teije,Frank van Harmelen. (2009) MaRVIN: A platform for large-scale analysis of Semantic Web data. In Proceeding of the WebSci'09: Society On-Line, , March, 2009.
• Sebastian Rudolph,Tuvshintur Tserendorj,Pascal Hitzler. (2008) What is Approximate Reasoning?. In Web Reasoning and Rule Systems, 5341/2008:150-164, 2008.

Sound and Complete

• Jurgen Bock. (2008) Parallel Computation Techniques for Ontology Reasoning. In The Semantic Web - ISWC 2008, 5318/2008:901-906, 2008.
• Qiming Fang,Ying Zhao,Guangwen Yang,Weimin Zheng. (2008) Scalable Distributed Ontology Reasoning Using DHT-Based Partitioning. In The Semantic Web, 5367/2008:91-105, 2008.
• Zoi Kaoudi,Iris Miliaraki,Manolis Koubarakis. (2008) RDFS Reasoning and Query Answering on Top of DHTs. In The Semantic Web - ISWC 2008, 5318/2008:499-516, 2008.
• Thorsten Liebig,Felix Muller. (2007) Parallelizing Tableaux-Based Description Logic Reasoning. In On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops, 4806/2007:1135-1144, 2007.
• Ramakrishna Soma,V. K. Prasanna. (2008) Parallel Inferencing for OWL Knowledge Bases. In ICPP '08: Proceedings of the 2008 37th International Conference on Parallel Processing, pp. 75-82, Washington DC, USA, 2008.

Resourcess

• International Workshop on Modular Ontologies
• Description Logic Workshop