• LarkcProject
• WP4

WP4: reasoning plugins

Work Space

• workspace for D4.1 (lit. survey): LarkcProject/WP4/D4.1

• workspace for D4.2.1 (experiment design on human search strategies): LarkcProject/WP4/D4.2.1

• workspace for D4.2.2 (analysis of human search strategies, M18): LarkcProject/WP4/D4.2.2

• workspace for D4.3.1 (Strategies & Design for interleaving reasoning and selection of axioms, M18, early release planned for M14): LarkcProject/WP4/D4.3.1

• workspace for D4.4.1 (Strategies & Design for rule-based reasoning, M24, early release planned for M14): ?LarkcProject/WP4/D4.4.1

• workspace for Data Scheduling: LarkcProject/WP4/DataScheduling

• workspace for D4.6.1 (Strategies & Design for stream reasoning, M24) : LarkcProject/WP4/D4.6.1

• workspace for D4.7.1 (Initial Evaluation & Revision of plug-ins deployed in use-cases, M18): LarkcProject/WP4/D4.7.1

Meeting and Teleconference

• WP4 Q1 meeting (April 16, 2008, Innsbruck) LarkcProject/WP4/Meeting&TeleConf

• minutes of 13 May '08 teleconf: http://svn.larkc.eu/wp4/wiki-resource/minutes/MinutesWP4Teleconference13May2008-1.doc

• WP4 Q2 meeting (July 9, 2008, Amsterdam)LarkcProject/WP4/Meeting&TeleConf

• minutes of 19 June '08 teleconf: http://svn.larkc.eu/wp4/wiki-resource/minutes/MinutesWP4Teleconference19June2008.doc]]

• minutes of 15 august '08 teleconf: http://svn.larkc.eu/wp4/wiki-resource/minutes/MinutesWP4Teleconference15August2008.doc]]

• WP4 Q3 meeting (Oct 13, 2008, Stuttgart)LarkcProject/WP4/Meeting&TeleConf

• WP4 meeting on Data Scheduling (Oct 29, 2008, Karlsruhe) LarkcProject/WP4/Meeting&TeleConf

• WP4 Q4 meeting (Jan 13, 2009, Bled)LarkcProject/WP4/Meeting&TeleConf

• WP4 teleconference (Feb 19, 2009) Minutes

• WP4 teleconference (March 6, 2009) Minutes

• WP4 teleconference (April 17, 2009) Minutes

• WP4 meeting (May 19, 2009, Milan)LarkcProject/WP4/Meeting&TeleConf

• WP4 teleconference (June 12, 2009) Minutes

• WP4 teleconference (July 10, 2009) Minutes

• WP4 teleconference (August 14, 2009) Minutes

• WP4 Research meeting in Berlin (Sept 23, 2009)

• WP4 +WP1 joint teleconference (Nov 13, 2009) Minutes

• WP4 meeting in Munich (January 19-21,2010)Minutes

• WP1+WP4 joint teleconference (Jan 27, 2010) http://wiki.larkc.eu/LarkcProject/WP1/D1.2.2

• WP4 teleconference (Feb 12, 2010) Minutes

• WP4 Research Meeting (May 11, 2010) LarkcProject/WP4/Meeting&TeleConf

• Joint WP2+WP4 Workshop on Interleaving reasoning and selection (May 12, 2010)LarkcProject/WP4/Meeting&TeleConf

• WP4 teleconference (June 11,2010)Agenda and Minutes

• Joint WP4+WP6 teleconference (July 19,2010)Minutes

• Joint WP4+WP6 teleconference (July 29,2010)Minutes

• Joint WP4+WP6 teleconference (August 17,2010)

• Joint WP4+WP6 teleconference on Reasoning with Noisy Data (Sept 14,2010)Minutes

• Joint WP4+WP6 teleconference on Reasoning with Noisy Data (Oct 5,2010)Minutes

• WP4 Research Meeting (Nov 15, 2010) LarkcProject/WP4/Meeting&TeleConf

• Joint WP4+WP6 teleconference on Reasoning with Noisy Data (Dec 3,2010)Minutes

• Joint WP2+WP4 teleconference on Selection and Reasoning (Jan 19,2011)Minutes

• Joint WP4+WP6 teleconference on Reasoning with Noisy Data (Jan 20,2011)Minutes

• Joint WP2+WP6 workshop on interleaving reasoning and selection (Feb 2nd, 2011), Lyon

• Joint WP7b+WP4 teleconference on Supporting Reasoning within WP7b Use Case (Feb 22nd, 2011)Minutes

• Joint WP7b+WP4 teleconference on Supporting Reasoning within WP7b Use Case (March 10th, 2011)Minutes

• Joint WP4+WP6 teleconference on Reasoning with Noisy Data (March 22,2011)Minutes

• Joint WP7b+WP4 teleconference on Supporting Reasoning within WP7b Use Case (April 6th, 2011)Minutes

• Joint WP7b+WP4 teleconference on Supporting Reasoning within WP7b Use Case (April 15th, 2011)Minutes

• Joint WP7b+WP4 teleconference on Supporting Reasoning within WP7b Use Case (April 26th, 2011)Minutes

• WP4 Research meeting in Lund (May 11, 2011)LarkcProject/WP4/Presentation

• Joint WP7b+WP4 teleconference on Supporting Reasoning within WP7b Use Case (May 31st, 2011)Minutes

• Joint WP7b+WP4 teleconference on Supporting Reasoning within WP7b Use Case (June 14th, 2011)Minutes

• Joint WP7b+WP4 teleconference on Supporting Reasoning within WP7b Use Case (July 12th, 2011)Minutes

• Joint WP7b+WP4 teleconference on Supporting Reasoning within WP7b Use Case (July 12th, 2011)Minutes

• Joint WP7b+WP4 teleconference on Supporting Reasoning within WP7b Use Case (August 2nd, 2011)Minutes

• Joint WP7b+WP4 teleconference on Supporting Reasoning within WP7b Use Case (August 9th, 2011)Minutes

Presentation

• The slides of WP4 Q2 meeting (July 8-11, 2008, Amsterdam)LarkcProject/WP4/Presentation

  • Where are we? (Zhisheng, VUA) http://svn.larkc.eu/wp4/wiki-resource/presentations/WP4-Q2.ppt

  • Web Scale Reasoning and Approximate Reasoning (Zhisheng, VUA) http://svn.larkc.eu/wp4/wiki-resource/presentations/WP4-Q2-research.ppt

  • Granular Reasoning and Variable Precision Logics (Jia, WICI)http://svn.larkc.eu/wp4/wiki-resource/presentations/attachment:WP4-Q2-jia.ppt

  • MPG presentation (MPG) http://svn.larkc.eu/wp4/wiki-resource/presentations/WP4-Q2-mpg.ppt

  • Approximate Rule Based Reasoning (Barry, STI)Rule-based reasoning

  • Web Scale Reasoning from the perspectives of Human Intelligence (Peipeng, WICI)http://svn.larkc.eu/wp4/wiki-resource/presentations/WP4-Q2-peipeng.ppt

  • Parallel Reasoning and Distributed reasoning (Axel, HLRS)http://svn.larkc.eu/wp4/wiki-resource/presentations/WP4-Q2-axel.ppt

  • Web Scale Reasoning: Use cases and Tasks (Annette and Zhisheng, VUA) http://svn.larkc.eu/wp4/wiki-resource/presentations/WP4-Q2-usecase.ppt

  • http://svn.larkc.eu/wp4/wiki-resource/presentations/wp4_q2_rule_based_reasoning.ppt, Barry Bishop, UIBK

• The slides of WP4 Q3 meeting (Oct 12-15, 2008, Stuttgart)

  • Where are we? (Zhisheng, VUA) http://svn.larkc.eu/wp4/wiki-resource/presentations/attachment:WP4-Q3.ppt

  • Distributed ontology reasoning based on resolution (Heiner Stuckenschmidt, University of Mannheim)

  • Towards Scalable Ontology Reasoning (Pascal Hitzler, Karlsruhe University)http://svn.larkc.eu/wp4/wiki-resource/presentations/2008-10-Hitzler.ppt

  • MaRVIN: inference over billions of triples (Eyal Oren, VUA)http://svn.larkc.eu/wp4/wiki-resource/presentations/MaRVIN.pdf

  • Giving Up Tasks —How Do Humans Stop Search and Switch Between Tasks? (Hansjoerg Neth, MPG)http://svn.larkc.eu/wp4/wiki-resource/presentations/StoppingMemorySearch_MPG_081014.pdf

  • Comparing semantic models (Jose Quesada, MPG)http://svn.larkc.eu/wp4/wiki-resource/presentations/Stuttgart-WP4.ppt

  • Towards Granular Computing on the Web (Ning Zhong, WICI) http://svn.larkc.eu/wp4/wiki-resource/presentations/larkc-stuttgart-oct08-zhong.ppt

  • Stream Reasoning and C-SPARQL (Emanuele Della Valle, CEFRIEL)http://svn.larkc.eu/wp4/wiki-resource/presentations/RDFstreams_and_C-SPARQLpdf.pdf

• The slides of WP4 Q4 meeting (Jan 12-14, 2009, Bled)
  • Plan of Stream Reasoner (Daniel, CEFRIEL)
  • Experimental design for mapping human search strategies (Hans, MPG)

  • Human Heuristic Search in Problem Solving (Yulin Qin, WICI) http://wiki.larkc.eu/LarkcProject/WP4?action=AttachFile&do=get&target=09-01-20-wici-wp4-report.ppt

  • Data Scheduling for Scalability(VUA and HLRS)http://svn.larkc.eu/wp4/wiki-resource/presentations/DataScheduling.ppt

  • Accelerating LarKC by Spatial Reasoning through Granular Knowledge Structures (Yi Zeng, WICI)http://wiki.larkc.eu/LarkcProject/WP4?action=AttachFile&do=get&target=LarKC-GKS-Jan-13-WP4.pdf

• The slides of WP4 Q2 meeting (February 1-3, 2010, Lyon)LarkcProject/WP4/Presentation

  • Rule-Based Reasoning (Softgress and UIBK)

Progress Reports

• Period Progress Reports LarkcProject/WP4/ProgressReport

Deliverables

Evaluation and Benchmarking of Reasoners

• Typical Queries LarkcProject/WP4/Evaluation&Benchmarking

Reasoner Plugins

• Keyword Extension Reasoner for GWAS: http://wiki.larkc.eu/LarkcPlugins/KeywordReasoner

• /D4.1   /D4.2.1   /D4.2.2   /D4.3.1   /D4.3.2   /D4.6.1   /D4.7.1   /DataScheduling   /Evaluation&Benchmarking   /Meeting&TeleConf   /Presentation   /ProgressReport   /ReasoningPlugins   /SpeedDating