Peer-to-Peer Reasoning for Interlinked Ontologies
暂无分享,去创建一个
[1] Frank van Harmelen,et al. Marvin: Distributed reasoning over large-scale Semantic Web data , 2009, J. Web Semant..
[2] Manolis Koubarakis,et al. RDFS Reasoning and Query Answering on Top of DHTs , 2008, SEMWEB.
[3] Olivier Bodenreider,et al. Of Mice and Men: Aligning Mouse and Human Anatomies , 2005, AMIA.
[4] Heiner Stuckenschmidt,et al. A Flexible Partitioning Tool for Large Ontologies , 2008, 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology.
[5] Heiner Stuckenschmidt,et al. Distributed Resolution for Expressive Ontology Networks , 2009, RR.
[6] Fahima Aziz. Resolution Methods for Decision Problems and Finite-Model Building , 1992 .
[7] Maria Paola Bonacina. The Clause-Diffusion Theorem Prover Peers-mcd (System Description) , 1997, CADE.
[8] Vassilis Christophides,et al. Query Processing in RDF/S-Based P2P Database Systems , 2006, Semantic Web and Peer-to-Peer.
[9] L. Stein,et al. OWL Web Ontology Language - Reference , 2004 .
[10] Luciano Serafini,et al. Distributed Description Logics: Assimilating Information from Peer Sources , 2003, J. Data Semant..
[11] Christoph Weidenbach,et al. S PASS Version 2.0 , 2002, CADE.
[12] B. Parsia,et al. Combining OWL Ontologies Using E-Connections , 2005 .
[13] Boris Motik,et al. Reasoning in Description Logics by a Reduction to Disjunctive Datalog , 2007, Journal of Automated Reasoning.
[14] Heiner Stuckenschmidt,et al. Towards Distributed Ontology Reasoning for the Web , 2008, 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology.
[15] Steffen Staab,et al. Remindin': semantic query routing in peer-to-peer networks based on social metaphors , 2004, WWW '04.
[16] François Goasdoué,et al. Distributed Reasoning in a Peer-to-Peer Setting , 2004, ECAI.
[17] Jürgen Umbrich,et al. YARS2: A Federated Repository for Querying Graph Structured Data from the Web , 2007, ISWC/ASWC.
[18] V. Svátek,et al. OntoFarm : Towards an Experimental Collection of Parallel Ontologies , 2005 .
[19] Robert A. Meyer,et al. DARES: A Distributed Automated REasoning System , 1990, AAAI.
[20] Vasant Honavar,et al. Package-Based Description Logics , 2009, Modular Ontologies.
[21] William McCune,et al. ROO: A Parallel Theorem Prover , 1992, CADE.
[22] Ian Horrocks,et al. Using Vampire to Reason with OWL , 2004, SEMWEB.
[23] Boris Motik,et al. Reasoning in description logics using resolution and deductive databases , 2006 .
[24] Yarden Katz,et al. Pellet: A practical OWL-DL reasoner , 2007, J. Web Semant..
[25] Heiner Stuckenschmidt,et al. Index structures and algorithms for querying distributed RDF repositories , 2004, WWW '04.
[26] Vasant Honavar,et al. A Tableau-Based Federated Reasoning Algorithm for Modular Ontologies , 2006, 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2006 Main Conference Proceedings)(WI'06).
[27] Carsten Lutz,et al. Conservative Extensions in Expressive Description Logics , 2007, IJCAI.
[28] Maria Paola Bonacina,et al. Parallelization of deduction strategies: An analytical study , 1994, Journal of Automated Reasoning.
[29] Eyal Oren,et al. MaRVIN: A platform for large-scale analysis of Semantic Web data , 2009 .
[30] Yimin Wang,et al. A decentralized infrastructure for query answering over distributed ontologies , 2007, SAC '07.
[31] Ian Horrocks,et al. Modular Reuse of Ontologies: Theory and Practice , 2008, J. Artif. Intell. Res..
[32] Maria Paola Bonacina,et al. A taxonomy of parallel strategies for deduction , 2001, Annals of Mathematics and Artificial Intelligence.
[33] Francesco M. Donini,et al. Reasoning in description logics , 1997 .
[34] Bijan Parsia,et al. Combining OWL ontologies using epsilon-Connections , 2006, J. Web Semant..
[35] Steffen Staab,et al. Semantic Web and Peer-to-Peer - Decentralized Management and Exchange of Knowledge and Information , 2006 .
[36] Christoph Weidenbach,et al. Combining Superposition, Sorts and Splitting , 2001, Handbook of Automated Reasoning.
[37] Sheila A. McIlraith,et al. Partition-based logical reasoning for first-order and propositional theories , 2005, Artif. Intell..
[38] Mary E. Mangan,et al. The Adult Mouse Anatomical Dictionary: a tool for annotating and integrating data , 2005, Genome Biology.