REWERSE - Reasoning on the Web

REWERSE - Reasoning on the Web http://www.rewerse.net/ REWERSE is a research "Network of Excellence" (NoE) on "Reasoning on the Web" that is funded by the EU Commission and Switzerland within the "6th Framework Programme" (FP6), Information Society Technologies (IST), Priority 2 under the project reference number 506779. REWERSE addresses the IST strategic action line "Semantic-based knowledge systems". en Copyright by REWERSE Sat, 05 Jul 2008 14:49:36 +0200 http://blogs.law.harvard.edu/tech/rss REWERSE http://rewerse.net/grafik/REWERSE-250.gif http://www.rewerse.net/ Semantic Web Topic Hierarchy Version 2 available http://ontoworld.org/wiki/Semantic_Web_Topic_Hierarchy Mon, 10 Sep 2007 19:30:51 +0200 New English Press Release: "Unilever extends collaboration with Transinsight in the field of semantic searching" http://rewerse.net/press_releases.html#english Sun, 25 May 2008 00:23:45 +0200 Project Event: "Best Paper Awards for REWERSE members at RR 2007" http://rewerse.net/news.html#RR07_Best_Paper Tue, 12 Jun 2007 16:37:15 +0200 Related Event: The 3rd Asian Semantic Web Conference (ASWC 2008) (December 8-11, 2008) http://rewerse.net/related_events.html#ASWC2008 Sun, 25 May 2008 00:02:24 +0200 Related Event: The Second International Conference on Web Reasoning and Rule Systems (RR2008) (October 31 - November 2, 2008) http://rewerse.net/related_events.html#RR2008 Sat, 24 May 2008 23:45:07 +0200 Related Event: The 7th International Conference on Ontologies, DataBases, and Applications of Semantics (ODBASE 2008) (November 11-13, 2008) http://rewerse.net/related_events.html#OTM2008 Sat, 24 May 2008 23:38:07 +0200 Related Event: OnTheMove OTM Federated Conferences and Workshops 2008 (OTM'08) (November 9-14, 2008) http://rewerse.net/related_events.html#OTM2008 Sat, 24 May 2008 23:30:14 +0200 Related Event: The Sixth Summer School on Ontological Engineering and the Semantic Web (SSSW'08)(July 6-12, 2008) http://rewerse.net/related_events.html#SSSW08 Sat, 24 May 2008 20:50:07 +0200 Related Event: The 5th Prestigious Applications of Intelligent Systems (PAIS 2008) sub-conference (July 21-25, 2008) http://rewerse.net/related_events.html#PAIS08 Sat, 24 May 2008 19:34:07 +0200 Related Event: The 11th International Conference on Interactive Computer aided Learning (ICL2008)(September 24-26, 2008) http://rewerse.net/related_events.html#ICL2008 Sat, 24 May 2008 19:20:07 +0200 Related Event: The 2008 IEEE Workshop on Policies for Distributed Systems and Networks (POLICY 2008)(June 2-4, 2008) http://rewerse.net/related_events.html#POLICY2008 Mon, 03 Dec 2007 19:53:29 +0100 Related Event: The 2008 International Conference on Enterprise Information Systems and Web Technologies (EISWT-08) (July 7-10, 2008) http://rewerse.net/related_events.html#EISWT08 Mon, 03 Dec 2007 19:46:42 +0100 Related Event: The 4th International Joint Conference on Automated Reasoning (IJCAR 2008) (August 10-15, 2008) http://rewerse.net/related_events.html#IJCAR2008 Mon, 22 Oct 2007 01:07:58 +0200 Related Event: The 11th International Conference on Extending Database Technology (EDBT 2008) (March 25-30, 2008) http://rewerse.net/related_events.html#EDBT2008 Mon, 22 Oct 2007 01:07:58 +0200 Related Event: The 2nd International Workshop on Semantic Media Adaptation and Personalization (SMAP 2007) (December 17-18, 2007) http://rewerse.net/related_events.html#SMAP2007 Mon, 22 Oct 2007 00:18:53 +0200 New Research Paper: "Semantic Web zur Unterstützung von Wissensgemeinschaften" http://rewerse.net/publications/index.html#REWERSE-RP-2008-040 Tue, 22 Apr 2008 20:00:05 +0200 New Research Paper: "Event Algebras and Process Algebras in ECA Rules" http://rewerse.net/publications/index.html#REWERSE-RP-2008-039 Tue, 22 Apr 2008 18:37:12 +0200 New Research Paper: "Integrating and querying distributed XML data via XLINK" http://rewerse.net/publications/index.html#REWERSE-RP-2008-038 Tue, 22 Apr 2008 18:23:22 +0200 New Research Paper: "Comparing rule-based policies" http://rewerse.net/publications/index.html#REWERSE-RP-2008-037 Tue, 22 Apr 2008 17:42:12 +0200 New Research Paper: "DYNAWeb, a Web Platform for Flexible Provision of E-Maintenance Services" http://rewerse.net/publications/index.html#REWERSE-RP-2007-163 Tue, 22 Apr 2008 17:01:51 +0200 New Research Paper: "Web Services System for Distributed Technology Upgrade Within an e-Maintenance Framework" http://rewerse.net/publications/index.html#REWERSE-RP-2007-162 Tue, 22 Apr 2008 16:48:10 +0200 New Research Paper: "Usability and Security of Personal Firewalls" http://rewerse.net/publications/index.html#REWERSE-RP-2007-161 Tue, 22 Apr 2008 16:35:56 +0200 New Research Paper: "Proceedings of the Fifth IEEE International Conference on Peer-to-Peer Computing (P2P2005)" http://rewerse.net/publications/index.html#REWERSE-RP-2005-148 Tue, 22 Apr 2008 16:23:23 +0200 New Research Paper: "Proceedings of the Sixth IEEE International Conference on Peer-to-Peer Computing (P2P2006)" http://rewerse.net/publications/index.html#REWERSE-RP-2006-189 Tue, 22 Apr 2008 16:17:21 +0200 New Research Paper: "Proceedings of the Seventh IEEE International Conference on Peer to Peer Computing (P2P2007)" http://rewerse.net/publications/index.html#REWERSE-RP-2007-160 Tue, 22 Apr 2008 16:10:04 +0200 New Research Paper: "A Trust-Aware, P2P-Based Overlay for Intrusion Detection" http://rewerse.net/publications/index.html#REWERSE-RP-2006-188 Tue, 22 Apr 2008 15:56:29 +0200 New Research Paper: "Modeling Software Vulnerabilities with Vulnerability Cause Graphs" http://rewerse.net/publications/index.html#REWERSE-RP-2006-187 Tue, 22 Apr 2008 15:38:54 +0200 New Research Paper: "Design of a Process for Software Security" http://rewerse.net/publications/index.html#REWERSE-RP-2007-156 Tue, 22 Apr 2008 14:42:57 +0200 New Research Paper: "Towards a Structured Unified Process for Software Security" http://rewerse.net/publications/index.html#REWERSE-RP-2006-186 Tue, 22 Apr 2008 15:25:06 +0200 New Research Paper: "User Help Techniques for Usable Security" http://rewerse.net/publications/index.html#REWERSE-RP-2007-159 Tue, 22 Apr 2008 15:14:33 +0200 New Research Paper: "Usable Set-up of Runtime Security Policies" http://rewerse.net/publications/index.html#REWERSE-RP-2007-158 Tue, 22 Apr 2008 15:05:35 +0200 New Research Paper: "Usable Set-up of Runtime Security Policies" http://rewerse.net/publications/index.html#REWERSE-RP-2007-157 Tue, 22 Apr 2008 14:57:43 +0200 New Research Paper: "How can the developer benefit from security modeling?" http://rewerse.net/publications/index.html#REWERSE-RP-2007-155 Tue, 22 Apr 2008 14:37:06 +0200 New Research Paper: "A Cause-Based Approach to Preventing Software Vulnerabilities" http://rewerse.net/publications/index.html#REWERSE-RP-2008-036 Tue, 22 Apr 2008 14:27:32 +0200 New Research Paper: "Integrating a Security Plug-in with the OpenUP/Basic Development process" http://rewerse.net/publications/index.html#REWERSE-RP-2008-035 Tue, 22 Apr 2008 14:24:03 +0200 New Research Paper: "Anatomical Ontologies: Linking Names to Places in Biology" http://rewerse.net/publications/index.html#REWERSE-RP-2008-033 Sun, 20 Apr 2008 19:36:34 +0200 New Research Paper: "XSPAN: A Cross-Species Anatomy Network" http://rewerse.net/publications/index.html#REWERSE-RP-2008-032 Sun, 20 Apr 2008 19:32:49 +0200 New Research Paper: "Anatomy Ontologies for Bioinformatics: Principles and Practice" http://rewerse.net/publications/index.html#REWERSE-RP-2008-031 Sun, 20 Apr 2008 19:28:27 +0200 New Research Paper: "Towards the use of Argumentation in Bioinformatics: A Gene Expression Case Study" http://rewerse.net/publications/index.html#REWERSE-RP-2008-030 Sun, 20 Apr 2008 19:18:02 +0200 New Research Paper: "Conjunctive Query Answering in SH using Knots" http://rewerse.net/publications/index.html#REWERSE-RP-2008-029 Sun, 20 Apr 2008 17:51:07 +0200 New Research Paper: "Conjunctive Queries are not so Hard for Expressive Description Logics without Inverses" http://rewerse.net/publications/index.html#REWERSE-RP-2008-028 Sun, 20 Apr 2008 17:43:05 +0200 New Research Paper: "Combining Answer Set Programming with Description Logics for the Semantic Web" http://rewerse.net/publications/index.html#REWERSE-RP-2008-027 Sun, 20 Apr 2008 17:36:40 +0200 New Research Paper: "On Temporal Logic Constraint Solving for Analyzing Numerical Data Time Series" http://rewerse.net/publications/index.html#REWERSE-RP-2008-026 Sun, 20 Apr 2008 17:22:37 +0200 New Research Paper: "From Reaction Models to Influence Graphs and Back: a Theorem" http://rewerse.net/publications/index.html#REWERSE-RP-2008-025 Sun, 20 Apr 2008 17:04:17 +0200 New Research Paper: "Formal Cell Biology in Biocham" http://rewerse.net/publications/index.html#REWERSE-RP-2008-024 Thu, 17 Apr 2008 19:24:33 +0200 New Research Paper: "Abstract Interpretation and Types for Systems Biology" http://rewerse.net/publications/index.html#REWERSE-RP-2008-023 Thu, 17 Apr 2008 19:10:32 +0200 New Research Paper: "A Hybrid Spatial Model for Representing Indoor Environments" http://rewerse.net/publications/index.html#REWERSE-RP-2006-185 Wed, 16 Apr 2008 21:18:45 +0200 New Research Paper: "Evaluation of Queries on Linked Distributed XML Data" http://rewerse.net/publications/index.html#REWERSE-RP-2006-184 Tue, 15 Apr 2008 13:19:32 +0200 New Research Paper: "Versatile Route Descriptions for Pedestrian Guidance in Buildings - Conceptual Model and Systematic Method" http://rewerse.net/publications/index.html#REWERSE-RP-2008-022 Tue, 15 Apr 2008 12:52:15 +0200 New Research Paper: "Interschema Correspondence Establishment in a Cooperative OWL-Based Multi-Information Server Grid Environment" http://rewerse.net/publications/index.html#REWERSE-RP-2008-021 Wed, 02 Apr 2008 19:50:01 +0200 New Research Paper: "Smart Web Learning Applications: the InDy Assistant" http://rewerse.net/publications/index.html#REWERSE-RP-2007-152 Wed, 02 Apr 2008 18:33:53 +0200 New Research Paper: "Poster: The Deployment of Major Principles of Pervasive Computing on Wearable Devices" http://rewerse.net/publications/index.html#REWERSE-RP-2007-153 Wed, 02 Apr 2008 18:41:26 +0200 New Research Paper: "Poster: Enhanced Dynamicity for Web Learning Applications: Web technologies on the move" http://rewerse.net/publications/index.html#REWERSE-RP-2007-151 Wed, 02 Apr 2008 18:24:53 +0200 New Research Paper: "A Personal Semantic Desktop" http://rewerse.net/publications/index.html#REWERSE-RP-2007-150 Wed, 02 Apr 2008 18:17:46 +0200 New Research Paper: "Regular Rooted Graph Grammars - A Web Type and Schema Language" http://rewerse.net/publications/index.html#REWERSE-RP-2008-020 Tue, 01 Apr 2008 00:51:13 +0200 New Research Paper: "Types for XML with Application to Xcerpt" http://rewerse.net/publications/index.html#REWERSE-RP-2008-019 Tue, 01 Apr 2008 00:38:32 +0200 New Research Paper: "AceWiki: A Natural and Expressive Semantic Wiki" http://rewerse.net/publications/index.html#REWERSE-RP-2008-018 Sat, 29 Mar 2008 17:06:05 +0100 New Research Paper: "A Comparison of three Controlled Natural Languages for OWL 1.1" http://rewerse.net/publications/index.html#REWERSE-RP-2008-017 Sat, 29 Mar 2008 16:50:50 +0100 New Research Paper: "Evolving Reactive Logic Programs" http://rewerse.net/publications/index.html#REWERSE-RP-2008-016 Wed, 12 Mar 2008 20:45:25 +0100 New Research Paper: "Modeling and Querying of Distributed XML Data in Presence of 3rd Party Links" http://rewerse.net/publications/index.html#REWERSE-RP-2008-015 Wed, 12 Mar 2008 20:31:26 +0100 New Research Paper: "First Experiences with an Ontology-Based Search for Environmental Data" http://rewerse.net/publications/index.html#REWERSE-RP-2008-014 Wed, 12 Mar 2008 19:17:46 +0100 New Research Paper: "Access Control for Sharing Semantic Data across Desktops" http://rewerse.net/publications/index.html#REWERSE-RP-2007-149 Wed, 12 Mar 2008 18:43:27 +0100 New Research Paper: "A Flexible Policy-Driven Trust Negotiation Model" http://rewerse.net/publications/index.html#REWERSE-RP-2007-148 Wed, 12 Mar 2008 18:32:42 +0100 New Research Paper: "Four-valued Extension of Rough Sets" http://rewerse.net/publications/index.html#REWERSE-RP-2008-013 Thu, 06 Mar 2008 00:37:58 +0100 New Research Paper: "Adding Roles to Relationship Patterns" http://rewerse.net/publications/index.html#REWERSE-RP-2007-147 Wed, 05 Mar 2008 23:17:51 +0100 New Research Paper: "Attempto Controlled English as a Semantic Web Language" http://rewerse.net/publications/index.html#REWERSE-RP-2008-012 Wed, 05 Mar 2008 22:52:34 +0100 New Research Paper: "Integration Languages for Data-Driven Approaches to Ontology Population and Maintenance" http://rewerse.net/publications/index.html#REWERSE-RP-2007-146 Wed, 05 Mar 2008 21:31:19 +0100 New Research Paper: "Extended RDF as a Semantic Foundation of Rule Markup Languages" http://rewerse.net/publications/index.html#REWERSE-RP-2008-011 Wed, 05 Mar 2008 21:05:02 +0100 New Research Paper: "EVOLP - Transformation-based Implementation" http://rewerse.net/publications/index.html#REWERSE-RP-2007-145 Wed, 05 Mar 2008 20:33:45 +0100 New Research Paper: "Service selection by choreography-driven matching" http://rewerse.net/publications/index.html#REWERSE-RP-2007-144 Tue, 26 Feb 2008 15:52:35 +0100 New Research Paper: "A Novel Approach to Social Tagging: GroupMe!" http://rewerse.net/publications/index.html#REWERSE-RP-2008-010 Tue, 26 Feb 2008 15:38:37 +0100 New Research Paper: "FDNC: Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols" http://rewerse.net/publications/index.html#REWERSE-RP-2007-143 Sun, 20 Jan 2008 21:03:28 +0100 New Research Paper: "Exploiting Conjunctive Queries in Description Logic Programs" http://rewerse.net/publications/index.html#REWERSE-RP-2008-009 Sun, 20 Jan 2008 20:51:18 +0100 New Research Paper: "Exploiting Conjunctive Queries in Description Logic Programs" http://rewerse.net/publications/index.html#REWERSE-RP-2007-142 Sun, 20 Jan 2008 20:40:26 +0100 New Research Paper: "Answer Set Programming for the Semantic Web (Tutorial)" http://rewerse.net/publications/index.html#REWERSE-RP-2007-141 Sun, 20 Jan 2008 20:17:19 +0100 New Research Paper: "Jos de Bruijn, Thomas Eiter, Axel Polleres, Hans Tompits" http://rewerse.net/publications/index.html#REWERSE-RP-2007-140 Sun, 20 Jan 2008 20:01:36 +0100 New Research Paper: "Answering Regular Path Queries in Expressive Description Logics: An Automata-Theoretic Approach" http://rewerse.net/publications/index.html#REWERSE-RP-2007-139 Sun, 20 Jan 2008 19:47:22 +0100 New Research Paper: "What should an ASP Solver output? A Multiple Position Paper" http://rewerse.net/publications/index.html#REWERSE-RP-2007-138 Sun, 20 Jan 2008 18:20:16 +0100 New Research Paper: "DLVHEX-SPARQL: A SPARQL Compliant Query Engine Based on DLVHEX" http://rewerse.net/publications/index.html#REWERSE-RP-2007-137 Sun, 20 Jan 2008 18:12:00 +0100 New Research Paper: "SPARQL++ for Mapping between RDF Vocabularies" http://rewerse.net/publications/index.html#REWERSE-RP-2007-136 Sun, 20 Jan 2008 18:02:48 +0100 New Research Paper: "Towards a Financial Service Implementation using Jena and JBoss" http://rewerse.net/publications/index.html#REWERSE-RP-2007-135 Tue, 15 Jan 2008 19:27:25 +0100 New Research Paper: "Sharing rules between JBoss and Jena" http://rewerse.net/publications/index.html#REWERSE-RP-2007-134 Tue, 15 Jan 2008 19:04:59 +0100 New Research Paper: "Towards a Mapping from Java Vocabulary to RDFS" http://rewerse.net/publications/index.html#REWERSE-RP-2007-133 Tue, 15 Jan 2008 18:58:31 +0100 New Research Paper: "An Integrated Rule Modeling Framework" http://rewerse.net/publications/index.html#REWERSE-RP-2007-132 Tue, 15 Jan 2008 18:48:56 +0100 New Research Paper: "Integration of Rules and Policies for Semantic Web Services" http://rewerse.net/publications/index.html#REWERSE-RP-2007-131 Tue, 15 Jan 2008 18:34:05 +0100 New Research Paper: "Semantic Web and Rule Reasoning inside of E-Learning Systems" http://rewerse.net/publications/index.html#REWERSE-RP-2007-130 Tue, 15 Jan 2008 18:20:20 +0100 New Research Paper: "Poster: Implementing Modal Extensions of Defeasible Logic for the Semantic Web" http://rewerse.net/publications/index.html#REWERSE-RP-2007-129 Tue, 15 Jan 2008 18:10:08 +0100 New Research Paper: "A Semantics-Based Framework for Context-Aware Services: Lessons Learned and Challenges" http://rewerse.net/publications/index.html#REWERSE-RP-2007-128 Tue, 15 Jan 2008 17:58:00 +0100 New Research Paper: "A Visualization Algorithm for Defeasible Logic Rule Bases over RDF Data" http://rewerse.net/publications/index.html#REWERSE-RP-2007-127 Tue, 15 Jan 2008 17:50:37 +0100 New Research Paper: "Proof Explanation in the DR-DEVICE System" http://rewerse.net/publications/index.html#REWERSE-RP-2007-126 Tue, 15 Jan 2008 17:45:47 +0100 New Research Paper: "The Ramification Problem in Temporal Databases: Concurrent Execution with Conflicting Constraints" http://rewerse.net/publications/index.html#REWERSE-RP-2007-125 Tue, 15 Jan 2008 17:33:29 +0100 New Research Paper: "Visual Stratification of Defeasible Logic Rule Bases" http://rewerse.net/publications/index.html#REWERSE-RP-2007-124 Tue, 15 Jan 2008 17:27:02 +0100 New Research Paper: "Distributed AI for Ambient Intelligence: Issues and Approaches" http://rewerse.net/publications/index.html#REWERSE-RP-2007-123 Tue, 15 Jan 2008 17:18:45 +0100 New Research Paper: "Proof Explanation for the Semantic Web Using Defeasible Logic" http://rewerse.net/publications/index.html#REWERSE-RP-2007-122 Tue, 15 Jan 2008 17:07:20 +0100 New Research Paper: "A system for modal and deontic defeasible reasoning" http://rewerse.net/publications/index.html#REWERSE-RP-2007-121 Tue, 15 Jan 2008 16:55:55 +0100 New Research Paper: "DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web" http://rewerse.net/publications/index.html#REWERSE-RP-2007-120 Mon, 14 Jan 2008 23:27:34 +0100 New Research Paper: "Challenges and Principles in Teaching Semantic Web Technologies" http://rewerse.net/publications/index.html#REWERSE-RP-2008-008 Mon, 14 Jan 2008 23:20:34 +0100 New Research Paper: "Visual Development of Defeasible Logic Rules for the Semantic Web" http://rewerse.net/publications/index.html#REWERSE-RP-2007-119 Mon, 14 Jan 2008 23:12:01 +0100 New Research Paper: "DR-NEGOTIATE - A System for Automated Agent Negotiation with Defeasible Logic-Based Strategies" http://rewerse.net/publications/index.html#REWERSE-RP-2007-118 Mon, 14 Jan 2008 22:59:37 +0100 New Research Paper: "DR-BROKERING: A semantic brokering system" http://rewerse.net/publications/index.html#REWERSE-RP-2007-117 Mon, 14 Jan 2008 22:43:57 +0100 New Research Paper: "Ontology change: classification and survey" http://rewerse.net/publications/index.html#REWERSE-RP-2008-007 Mon, 14 Jan 2008 22:32:33 +0100 New Research Paper: "Proof Explanation for a Nonmonotonic Semantic Web Rules Language" http://rewerse.net/publications/index.html#REWERSE-RP-2008-006 Mon, 14 Jan 2008 22:23:50 +0100 New Research Paper: "The Facility Control Markup Language FCML" http://rewerse.net/publications/index.html#REWERSE-RP-2008-005 Thu, 13 Dec 2007 16:51:35 +0100 New Research Paper: "Extending an Ontology-based Search with a Formalism for Spatial Reasoning" http://rewerse.net/publications/index.html#REWERSE-RP-2008-004 Thu, 13 Dec 2007 16:20:27 +0100 New Research Paper: "Advances in Rule Interchange and Applications. Proceedings of International RuleML Symposium on Rule Interchange and Applications 2007 (RuleML-2007)" http://rewerse.net/publications/index.html#REWERSE-RP-2007-116 Thu, 13 Dec 2007 15:13:52 +0100 New Research Paper: "Verifying Agent Conformance with Protocols Specified" http://rewerse.net/publications/index.html#REWERSE-RP-2007-115 Mon, 03 Dec 2007 19:16:34 +0100 New Research Paper: "Rule-Based Policy Representation and Reasoning for the Semantic Web" http://rewerse.net/publications/index.html#REWERSE-RP-2007-114 Mon, 03 Dec 2007 19:04:33 +0100 New Research Paper: "Inductive Logic Programming for Bioinformatics in Prova" http://rewerse.net/publications/index.html#REWERSE-RP-2007-113 Sun, 02 Dec 2007 20:26:34 +0100 New Research Paper: "Prospective Updating of Theories with Preferences" http://rewerse.net/publications/index.html#REWERSE-RP-2007-112 Sun, 02 Dec 2007 20:00:52 +0100 New Research Paper: "Well-Founded Semantics for Hybrid Rules" http://rewerse.net/publications/index.html#REWERSE-RP-2008-003 Sun, 02 Dec 2007 18:01:53 +0100 New Research Paper: "Abstract Critical Pairs and Confluence of Arbitrary Binary Relations" http://rewerse.net/publications/index.html#REWERSE-RP-2007-111 Sun, 02 Dec 2007 17:52:15 +0100 New Research Paper: "Closures and Modules within Linear Logic Concurrent Constraint Programming" http://rewerse.net/publications/index.html#REWERSE-RP-2007-110 Sun, 02 Dec 2007 17:42:36 +0100 New Research Paper: "A Good Role Model for Ontologies: Collaborations" http://rewerse.net/publications/index.html#REWERSE-RP-2007-109 Sun, 02 Dec 2007 17:31:55 +0100 New Research Paper: "Terminologies for text-mining; an experiment in the lipoprotein metabolism domain" http://rewerse.net/publications/index.html#REWERSE-RP-2007-108 Wed, 28 Nov 2007 21:16:05 +0100 New Research Paper: "On the Analysis of Numerical Data Time Series in Temporal Logic" http://rewerse.net/publications/index.html#REWERSE-RP-2007-107 Wed, 28 Nov 2007 21:03:30 +0100 New Research Paper: "Constraint Programming in Structural Bioinformatics" http://rewerse.net/publications/index.html#REWERSE-RP-2008-002 Wed, 28 Nov 2007 20:51:21 +0100 New Research Paper: "Efficient Sequence Alignment with Side-Constraints by Cluster Tree Elimination" http://rewerse.net/publications/index.html#REWERSE-RP-2008-001 Thu, 22 Nov 2007 18:38:29 +0100 New Research Paper: "SAMBO results for the Ontology Alignment Evaluation Initiative 2007" http://rewerse.net/publications/index.html#REWERSE-RP-2007-106 Thu, 22 Nov 2007 18:15:04 +0100 New Research Paper: "A low resolution approximation for protein structure prediction from NMR data" http://rewerse.net/publications/index.html#REWERSE-RP-2007-105 Thu, 22 Nov 2007 18:07:00 +0100 New Research Paper: "Mining Protein Structure Data" http://rewerse.net/publications/index.html#REWERSE-RP-2007-104 Thu, 22 Nov 2007 18:04:56 +0100 New Research Paper: "Web Reasoning and Rule Systems. Proceedings of the First International Conference on Web Reasoning and Rule Systems (RR2007)" http://rewerse.net/publications/index.html#REWERSE-RP-2007-103 Sat, 27 Oct 2007 18:33:16 +0200 New Technical Report: "Fuzzy Time Intervals - The FuTI-Library" http://rewerse.net/publications/index.html#REWERSE-TR-2005-04 Wed, 16 Apr 2008 21:00:33 +0200 New Technical Report: "Discourse Representation Structures for ACE 6.0" http://rewerse.net/publications/index.html#REWERSE-TR-2008-01 Wed, 12 Mar 2008 20:18:29 +0100 New Technical Report: "Type Inference and Rule Dependencies in Xcerpt" http://rewerse.net/publications/index.html#REWERSE-TR-2007-08 Wed, 12 Mar 2008 19:25:36 +0100 New Technical Report: "Discourse Representation Structures for ACE 5.5" http://rewerse.net/publications/index.html#REWERSE-TR-2007-07 Wed, 05 Mar 2008 22:21:42 +0100 New Technical Report: "Building a Distributed Rule Translator System as a Web Service" http://rewerse.net/publications/index.html#REWERSE-TR-2007-06 Thu, 13 Dec 2007 15:39:18 +0100 New Technical Report: "An Approach to Complex Event Detection in the Web" http://rewerse.net/publications/index.html#REWERSE-TR-2007-04 Wed, 20 Jun 2007 01:02:39 +0200 New Deliverable: "More on Reasoning and Semantic Wikis" http://rewerse.net/publications/index.html#REWERSE-DEL-2008-I2-D15 Sat, 05 Jul 2008 14:49:36 +0200 New Deliverable: "Protune" http://rewerse.net/publications/index.html#REWERSE-DEL-2008-I2-D16 Tue, 15 Apr 2008 14:29:51 +0200 New Deliverable: "An infrastructure for Web Service-based personalization in the Semantic Web: the Personal Reader Framework" http://rewerse.net/publications/index.html#REWERSE-DEL-2008-A3-D12 Tue, 15 Apr 2008 13:40:45 +0200 New Deliverable: "Implementation: The CTTN-System, Version 2007" http://rewerse.net/publications/index.html#REWERSE-DEL-2008-A1-D10-2 Tue, 08 Apr 2008 21:30:52 +0200 New Deliverable: "ERDF Implementation and Evaluation" http://rewerse.net/publications/index.html#REWERSE-DEL-2008-I1-D14 Wed, 02 Apr 2008 20:43:37 +0200 New Deliverable: "Input to standardization organizations" http://rewerse.net/publications/index.html#REWERSE-DEL-2008-I1-D13 Wed, 02 Apr 2008 20:31:05 +0200 New Deliverable: "Consolidation of Language Extensions" http://rewerse.net/publications/index.html#REWERSE-DEL-2008-I1-D12 Tue, 01 Apr 2008 18:59:53 +0200 New Deliverable: "Implementation: L-DSMS - A Local Data Stream Management System" http://rewerse.net/publications/index.html#REWERSE-DEL-2008-A1-D10-3 Tue, 01 Apr 2008 18:25:41 +0200 New Deliverable: "Pre-standardization of the language" http://rewerse.net/publications/index.html#REWERSE-DEL-2008-I5-D10 Sun, 30 Mar 2008 23:00:34 +0200 New Deliverable: "Chaining with Memory in Xcerpt" http://rewerse.net/publications/index.html#REWERSE-DEL-2008-I4-D18 Sun, 30 Mar 2008 22:41:27 +0200 New Deliverable: "Testing of the Language Implementations" http://rewerse.net/publications/index.html#REWERSE-DEL-2008-I4-D17 Sun, 30 Mar 2008 22:38:56 +0200 New Deliverable: "Initial Specification of a Language Extension with Types and Type Checking" http://rewerse.net/publications/index.html#REWERSE-DEL-2008-I4-D16 Sun, 30 Mar 2008 22:36:10 +0200 New Deliverable: "Composition Framework and Typing Technology tutorial" http://rewerse.net/publications/index.html#REWERSE-DEL-2008-I3-D14 Sat, 29 Mar 2008 17:38:13 +0100 New Deliverable: "Typing composition of rule-based languages" http://rewerse.net/publications/index.html#REWERSE-DEL-2008-I3-D12 Sat, 29 Mar 2008 17:27:52 +0100 New Deliverable: "Job search with GoPubMed" http://rewerse.net/publications/index.html#REWERSE-DEL-2008-A2-D9 Thu, 06 Mar 2008 01:14:55 +0100 New Deliverable: "Testbeds" http://rewerse.net/publications/index.html#REWERSE-DEL-2008-A3-D11 Thu, 21 Feb 2008 17:31:10 +0100 New Deliverable: "Final Report on ET Educational Effort" http://rewerse.net/publications/index.html#REWERSE-DEL-2008-E-D13 Thu, 21 Feb 2008 17:21:14 +0100 New Deliverable: "Reasoning over networks with BioRevise and PowerGraphs" http://rewerse.net/publications/index.html#REWERSE-DEL-2008-A2-D8 Thu, 21 Feb 2008 17:16:24 +0100 New Deliverable: "Awareness Event III: Semantic Web Days 2007" http://rewerse.net/publications/index.html#REWERSE-DEL-2008-T-D12 Thu, 21 Feb 2008 17:10:40 +0100 New Deliverable: "Guidelines for the adaptation of existing REWERSE specific courses to the industry" http://rewerse.net/publications/index.html#REWERSE-DEL-2008-T-D11 Thu, 21 Feb 2008 17:06:03 +0100 New Deliverable: "Final Report on Summer Schools" http://rewerse.net/publications/index.html#REWERSE-DEL-2008-E-D12 Thu, 21 Feb 2008 17:00:31 +0100 New Deliverable: "Scalable, Space-optimal Implementation of Web Queries - Part 2: CIQCAG Algebra and Evaluation" http://rewerse.net/publications/index.html#REWERSE-DEL-2008-I4-D15b Sun, 20 Jan 2008 22:09:20 +0100 New Deliverable: "Scalable, Space-optimal Implementation of Web Queries - Part 1: Data Model, Queries, and Translation" http://rewerse.net/publications/index.html#REWERSE-DEL-2008-I4-D15a Sun, 20 Jan 2008 22:03:03 +0100 New Deliverable: "Formal Policy Analysis Techniques for Comparison and Validation" http://rewerse.net/publications/index.html#REWERSE-DEL-2008-I2-D14 Sun, 20 Jan 2008 21:47:26 +0100 New Deliverable: "Prototype on the RDF/OWL level" http://rewerse.net/publications/index.html#REWERSE-DEL-2007-I5-D9 Mon, 26 Nov 2007 15:36:56 +0100 New Deliverable: "Realistic information integration application" http://rewerse.net/publications/index.html#REWERSE-DEL-2007-I5-D8 Mon, 26 Nov 2007 15:32:26 +0100 New Deliverable: "Reasoning, Rules and Semantic Wikis" http://rewerse.net/publications/index.html#REWERSE-DEL-2007-I2-D13 Sat, 27 Oct 2007 18:42:17 +0200 New Deliverable: "Personal Information Systems in the Semantic Web - Lesson Learnt and Best Practices" http://rewerse.net/publications/index.html#REWERSE-DEL-2007-A3-D10 Mon, 15 Oct 2007 14:06:06 +0200 New Deliverable: "Exploring and Taming Existence in Rule-based RDF Queries" http://rewerse.net/publications/index.html#REWERSE-DEL-2007-I4-D14 Mon, 08 Oct 2007 14:38:27 +0200 New Deliverable: "The structure of the Semantic Web Topics: Progress Report and Applications" http://rewerse.net/publications/index.html#REWERSE-DEL-2007-E-D11 Thu, 27 Sep 2007 15:49:17 +0200 New Deliverable: "An International Appointment Scheduling System - Requirement Analysis" http://rewerse.net/publications/index.html#REWERSE-DEL-2007-A1-D8 Wed, 26 Sep 2007 17:15:09 +0200 New Deliverable: "Prototype composition technology toolset" http://rewerse.net/publications/index.html#REWERSE-DEL-2007-I3-D11 Wed, 26 Sep 2007 17:01:08 +0200 New Deliverable: "Prototypical Implementation of Xcerpt: Xcerpt 1.0 Prototype and Beyond" http://rewerse.net/publications/index.html#REWERSE-DEL-2007-I4-D13 Tue, 25 Sep 2007 23:55:20 +0200 New Deliverable: "GoPubMed: ontology-based literature search for the life sciences" http://rewerse.net/publications/index.html#REWERSE-DEL-2007-A2-D7 Tue, 04 Sep 2007 01:27:23 +0200