This page: http://www.pms.ifi.lmu.de/publikationen/idefixStatic/rewerse-publications.html
Static version of http://www.rewerse.net/publications/, created: Sunday, 06-Jul-2008 11:00:49 CEST

Publications

Please respect the copyright-notice (.html .pdf).
Guidelines to submit your REWERSE related publication can be found here.

Research Papers

2008

• REWERSE-RP-2008-041
  Dimitra Alexopoulou, Thomas Wächter, Laura Pickersgill, Cecilia Eyre, and Michael Schroeder:
  Terminologies for text-mining; an experiment in the lipoprotein metabolism domain.
  Complete Text [.pdf, 528KB]
  BMC Bioinformatics 9(Suppl 4) (S2), April 2008
  © BioMed Central

• REWERSE-RP-2008-040
  Rolf Grütter:
  Semantic Web zur Unterstützung von Wissensgemeinschaften.
  Semantic Web zur Unterstützung von Wissensgemeinschaften, April 2008, ISBN 978-3-486-58626-8
  © Oldenbourg Wissenschaftsverlag

• REWERSE-RP-2008-039
  Erik Behrends, Oliver Fritzen, Wolfgang May, and Franz Schenk:
  Embedding Event Algebras and Process Algebras in a Framework for ECA Rules for the Semantic Web.
  Fundamenta Informaticae 82 (3), 237-263, April 2008
  © IOS Press

• REWERSE-RP-2008-038
  Erik Behrends, Oliver Fritzen, and Wolfgang May:
  Integrating and querying distributed XML data via XLINK.
  Information Systems 33 (6), 508-566, September 2008
  © Elsevier

• REWERSE-RP-2008-037
  Piero A. Bonatti and Fabio Mogavero:
  Comparing rule-based policies.
  Proceedings of 2008 IEEE Workshop on Policies for Distributed Systems and Networks (POLICY 2008), Palisades, NY, USA (2nd - 4th June 2008), Organization: IEEE, 11-18, June 2008, ISBN 978-0-7695-3133-5
  © IEEE Computer Society

• REWERSE-RP-2008-036
  David Byers and Nahid Shahmehri:
  A Cause-Based Approach to Preventing Software Vulnerabilities.
  Proceedings of Third International Conference on Availability, Reliability and Security (ARES 2008), Barcelona , Spain (4th - 7th March 2008), 276-283, March 2008
  © IEEE Computer Society

• REWERSE-RP-2008-035
  Shanai Ardi and Nahid Shahmehri:
  Integrating a Security Plug-in with the OpenUP/Basic Development process.
  Proceedings of Third International Conference on Availability, Reliability and Security (ARES 2008), Barcelona, Spain (4th - 7th March 2008), 284-291, March 2008
  © IEEE Computer Society

• REWERSE-RP-2008-034
  Patrick Lambrix and He Tan:
  Albert Burger, Duncan Davidson, and Richard Baldock (editors):
  Ontology Alignment and Merging.
  Anatomy Ontologies for Bioinformatics: Principles and Practice, Computational Biology 6, 133-149, April 2008, ISBN 978-1-84628-884-5
  © Springer

• REWERSE-RP-2008-033
  Richard Baldock and Albert Burger:
  Albert Burger, Duncan Davidson, and Richard Baldock (editors):
  Anatomical Ontologies: Linking Names to Places in Biology.
  Anatomy Ontologies for Bioinformatics: Principles and Practice, Computational Biology 6, 197-211, April 2008, ISBN 978-1-84628-884-5
  © Springer

• REWERSE-RP-2008-032
  Albert Burger and Jonathan Bard:
  Albert Burger, Duncan Davidson, and Richard Baldock (editors):
  XSPAN: A Cross-Species Anatomy Network.
  Anatomy Ontologies for Bioinformatics: Principles and Practice, Computational Biology 6, 163-175, April 2008, ISBN 978-1-84628-884-5
  © Springer

• REWERSE-RP-2008-031
  Albert Burger, Duncan Davidson, and Richard Baldock (editors):
  Anatomy Ontologies for Bioinformatics: Principles and Practice.
  Anatomy Ontologies for Bioinformatics: Principles and Practice, Computational Biology 6, April 2008, ISBN 978-1-84628-884-5
  © Springer

• REWERSE-RP-2008-030
  Kenneth McLeod and Albert Burger:
  Towards the use of Argumentation in Bioinformatics: A Gene Expression Case Study.
  Complete Text [.pdf, 438KB]
  Proceedings of 16th Annual International Conference Intelligent Systems for Molecular Biology (ISMB 2008), Toronto, Canada (19th - 23rd July 2008), Organization: ISCB 24 (13), i304-i312, July 2008
  © Oxford University Press

• REWERSE-RP-2008-029
  Magdalena Ortiz, Mantas Šimkus, and Thomas Eiter:
  Conjunctive Query Answering in SH using Knots.
  Complete Text [.pdf, 140KB]
  Proceedings of 21st International Workshop on Description Logics (DL2008), Dresden, Germany (13th - 16th May 2008) 353, May 2008
  © CEUR Workshop Proceedings

• REWERSE-RP-2008-028
  Magdalena Ortiz, Mantas Šimkus, and Thomas Eiter:
  Worst-case Optimal Conjunctive Query Answering for an Expressive Description Logic without Inverses.
  Complete Text [.pdf, 159KB]
  Proceedings of Twenty-Third AAAI Conference on Artificial Intelligence (AAAI-08), Chicago, Illinois, USA (13th - 17th July 2008), Organization: AAAI, 504-510, July 2008, ISBN 978-1-57735-368-3
  © AAAI Press

• REWERSE-RP-2008-027
  Thomas Eiter, Giovambattista Ianni, Thomas Lukasiewicz, Roman Schindlauer, and Hans Tompits:
  Combining Answer Set Programming with Description Logics for the Semantic Web.
  Artificial Intelligence 172 (12-13), 1495-1539, August 2008
  © Elsevier

• REWERSE-RP-2008-026
  François Fages and Aurélien Rizk:
  On Temporal Logic Constraint Solving for Analyzing Numerical Data Time Series.
  Complete Text [.pdf, 238KB]
  Transactions on Computational Systems Biology, 2008
  © Springer

• REWERSE-RP-2008-025
  François Fages and Sylvain Soliman:
  From Reaction Models to Influence Graphs and Back: a Theorem.
  Complete Text [.pdf, 346KB]
  Proceedings of First International Workshop on Formal Methods in Systems Biology (FMSB 2008), Cambridge, UK (4th - 5th June 2008), LNCS 5054, June 2008, ISBN 978-3-540-68410-7
  © Springer

• REWERSE-RP-2008-024
  François Fages and Sylvain Soliman:
  Formal Cell Biology in Biocham.
  Complete Text [.pdf, 552KB]
  Proceedings of 8th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Computational Systems Biology (SFM-08:Bio), Bertinoro, Italy (2nd - 7th June 2008), LNCS 5016, 54-80, June 2008, ISBN 978-3-540-68892-1
  © Springer

• REWERSE-RP-2008-023
  François Fages and Sylvain Soliman:
  Abstract Interpretation and Types for Systems Biology.
  Complete Text [.pdf, 412KB]
  Theoretical Computer Science, 2008
  © Elsevier

• REWERSE-RP-2008-022
  Edgar-Philipp Stoffel and Hans Jürgen Ohlbach:
  Versatile Route Descriptions for Pedestrian Guidance in Buildings - Conceptual Model and Systematic Method.
  Proceedings of 11th AGILE International Conference on Geographic Information Science (AGILE 2008), Girona, Spain (5th - 8th May 2008), Organization: AGILE, LNGC, May 2008, ISBN 978-3-540-78945-1
  © Springer

• REWERSE-RP-2008-021
  Abdel-Rahman H. Tawil, Matthew Montebello, Rami Bahsoon, W. Alex Gray, and Nick J. Fiddian:
  Interschema Correspondence Establishment in a Cooperative OWL-Based Multi-Information Server Grid Environment.
  Information Sciences 178 (4), 1011-1031, February 2008
  © Elsevier

• REWERSE-RP-2008-020
  Sacha Berger:
  Regular Rooted Graph Grammars - A Web Type and Schema Language.
  Complete Text [.pdf, 3.98MB]
  PhD Thesis, Institute for Informatics, University of Munich, February 2008
  Regular Rooted Graph Grammars - A Web Type and Schema Language, February 2008
  © University Library Munich

• REWERSE-RP-2008-019
  Artur Wilk:
  Types for XML with Application to Xcerpt.
  Complete Text [.pdf, 1.25MB]
  PhD Thesis, Linköping University, Department of Computer and Information Science, February 2008
  Types for XML with Application to Xcerpt, Linköping studies in science and technology. Dissertations 1156, February 2008, ISBN 978-91-85895-08-3
  © Linköping University, Department of Computer and Information Science

• REWERSE-RP-2008-018
  Tobias Kuhn:
  AceWiki: A Natural and Expressive Semantic Wiki.
  Complete Text [.pdf, 496KB]
  Proceedings of Workshop Semantic Web User Interaction at CHI 2008: Exploring HCI Challenges, Florence, Italy (5th April 2008), April 2008
  © CEUR Workshop Proceedings

• REWERSE-RP-2008-017
  Rolf Schwitter, Kaarel Kaljurand, Anne Cregan, Catherine Dolbear, and Glen Hart:
  A Comparison of three Controlled Natural Languages for OWL 1.1.
  Complete Text [.pdf, 146KB]
  Proceedings of Fourth International Workshop on OWL: Experiences and Directions (OWLED 2008), Washington, D.C., USA (1st - 2nd April 2008), April 2008

• REWERSE-RP-2008-016
  Federico Banti:
  Evolving Reactive Logic Programs.
  PhD Thesis, Department of Computer Science, New University of Lisbon, February 2008
  Evolving Reactive Logic Programs, February 2008

• REWERSE-RP-2008-015
  Oliver Fritzen:
  Modeling and Querying of Distributed XML Data in Presence of 3rd Party Links.
  Complete Text [.pdf, 1.31MB]
  PhD Thesis, Faculty of Mathematics, Goettingen University, January 2008
  Modeling and Querying of Distributed XML Data in Presence of 3rd Party Links, January 2008
  © Goettingen State and University Library

• REWERSE-RP-2008-014
  Rolf Grütter, Bettina Bauer-Messmer, and Marcel Frehner:
  First Experiences with an Ontology-Based Search for Environmental Data.
  Proceedings of 11th AGILE International Conference on Geographic Information Science (AGILE 2008), Girona, Spain (5th - 8th May 2008), Organization: AGILE, LNGC, May 2008, ISBN 978-3-540-78945-1
  © Springer

• REWERSE-RP-2008-013
  Aida Vitória, Andrzej Szałas, and Jan Małuszyński:
  Four-valued Extension of Rough Sets.
  Complete Text [.pdf, 158KB]
  Proceedings of Third International Conference on Rough Sets and Knowledge Technology (RSKT 2008), Chengdu, China (17th - 19th May 2008), LNCS 5009, 106-114, May 2008, ISBN 978-3-540-79720-3
  © Springer

• REWERSE-RP-2008-012
  Kaarel Kaljurand:
  Attempto Controlled English as a Semantic Web Language.
  Complete Text [.pdf, 1.42MB]
  PhD Thesis, Faculty of Mathematics and Computer Science, University of Tartu, January 2008
  Attempto Controlled English as a Semantic Web Language, January 2008
  © Tartu University Press

• REWERSE-RP-2008-011
  Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, and Gerd Wagner:
  Extended RDF as a Semantic Foundation of Rule Markup Languages.
  Complete Text [.pdf, 559KB]
  Journal of Artificial Intelligence Research 32, 37-94, May 2008
  © AAAI Press

• REWERSE-RP-2008-010
  Fabian Abel, Nicola Henze, and Daniel Krause:
  A Novel Approach to Social Tagging: GroupMe!.
  Proceedings of 4th International Conference on Web Information Systems and Technologies (WEBIST 2008), Funchal, Madeira, Portugal (4th - 7th May 2008), May 2008

• REWERSE-RP-2008-009
  Thomas Eiter, Thomas Krennwallner, Roman Schindlauer, and Giovambattista Ianni:
  Exploiting Conjunctive Queries in Description Logic Programs.
  Complete Text [.pdf, 171KB]
  Proceedings of Tenth International Symposium on Artificial Intelligence and Mathematics (ISAIM 2008), Fort Lauderdale, Florida, USA (2nd - 4th January 2008), January 2008

• REWERSE-RP-2008-008
  Grigoris Antoniou and Martin Doerr:
  Challenges and Principles in Teaching Semantic Web Technologies.
  International Journal of Teaching and Case Studies (IJTCS), 2008
  © Inderscience Publishers

• REWERSE-RP-2008-007
  Giorgos Flouris, Dimitris Manakanatas, Haridimos Kondylakis, Dimitris Plexousakis, and Grigoris Antoniou:
  Ontology change: classification and survey.
  Complete Text [.pdf, 1.66MB]
  The Knowledge Engineering Review 23 (2), 117-152, May 2008
  © Cambridge University Press

• REWERSE-RP-2008-006
  Grigoris Antoniou, Antonis Bikakis, Nikos Dimaresis, Manolis Genetzakis, Giannis Georgalis, Guido Governatori, Efie Karouzaki, Nikolas Kazepis, Dimitris Kosmadakis, Manolis Kritsotakis, Giannis Lilis, Antonis Papadogiannakis, Panagiotis Pediaditis, Constantinos Terzakis, Rena Theodosaki, and Dimitris Zeginis:
  Proof Explanation for a Nonmonotonic Semantic Web Rules Language.
  Data & Knowledge Engineering 64 (3), 662-687, March 2008
  © Elsevier

• REWERSE-RP-2008-005
  François Bry, Bernhard Lorenz, Hans Jürgen Ohlbach, Martin Roeder, and Marc Weinberger:
  The Facility Control Markup Language FCML.
  Proceedings of Second International Conference on the Digital Society (ICDS 2008), Sainte Luce, Martinique (10th - 15th February 2008), Organization: IARIA, 117-122, February 2008, ISBN 978-0-7695-3087-1
  © IEEE Computer Society

• REWERSE-RP-2008-004
  Rolf Grütter, Bettina Bauer-Messmer, and Martin Hägeli:
  Extending an Ontology-based Search with a Formalism for Spatial Reasoning.
  Proceedings of 23rd Annual ACM Symposium on Applied Computing (SAC 2008), Fortaleza, Brazil (16th - 20th March 2008), Organization: ACM, 2266-2270, March 2008, ISBN 978-1-59593-753-7
  © ACM Press

• REWERSE-RP-2008-003
  Włodzimierz Drabent and Jan Małuszyński:
  Well-Founded Semantics for Hybrid Rules.
  Knowledge and Information Systems, 2008
  © Springer

• REWERSE-RP-2008-002
  Pedro Barahona and Ludwig Krippahl:
  Constraint Programming in Structural Bioinformatics.
  Complete Text [.pdf, 597KB]
  Constraints Journal - Special Issue on Constraint based methods for Bioinformatics 13 (1), 3-20, March 2008
  © Springer

• REWERSE-RP-2008-001
  Sebastian Will, Anke Busch, and Rolf Backofen:
  Efficient Sequence Alignment with Side-Constraints by Cluster Tree Elimination.
  Complete Text [.pdf, 397KB]
  Constraints Journal - Special Issue on Constraint based methods for Bioinformatics 13 (1), 110-129, April 2008
  © Springer

2007

• REWERSE-RP-2007-164
  Grigoris Antoniou:
  Jorge Cardoso (editor):
  Web Ontology Languages.
  Semantic Web Services - Theory, Tools, and Applications, March 2007, ISBN 978-1-59904-045-5
  © IGI Publishing

• REWERSE-RP-2007-163
  Aitor Arnaiz Irigaray, Benoit Iung, Erkki Jantunen, Eric Levrat, and Eduardo Gilabert:
  DYNAWeb, a Web Platform for Flexible Provision of E-Maintenance Services.
  Proceedings of Second World Congress on Engineering Asset Management and Fourth International Conference on Condition Monitoring (WCEAM-CM2007), Harrogate, UK (11th - 14th June 2007), 174-182, June 2007, ISBN 978-1-901892-22-2
  © The Coxmoor Publishing Company

• REWERSE-RP-2007-162
  Eduardo Gilabert, Susana Ferreiro, and Aitor Arnaiz Irigaray:
  Web Services System for Distributed Technology Upgrade Within an e-Maintenance Framework.
  Proceedings of 3rd International Workshop On Agents and Web Services in Distributed Environments (AWeSOMe '07), Vilamoura, Algarve, Portugal (26th - 27th November 2007), LNCS 4805, 149-157, November 2007, ISBN 978-3-540-76887-6
  © Springer

• REWERSE-RP-2007-161
  Almut Herzog and Nahid Shahmehri:
  Usability and Security of Personal Firewalls.
  Complete Text [.pdf, 213KB]
  Proceedings of 22nd IFIP TC-11 International Information Security Conference (SEC2007), Sandton, South Africa (14th - 16th May 2007), Organization: IFIP, IFIP 232, 37-48, May 2007, ISBN 978-0-387-72366-2
  © Springer

• REWERSE-RP-2007-160
  Manfred Hauswirth, Alberto Montresor, Nahid Shahmehri, Klaus Wehrle, and Adam Wierzbicki (editors):
  Proceedings of the Seventh IEEE International Conference on Peer to Peer Computing (P2P2007).
  Proceedings of The Seventh IEEE International Conference on Peer to Peer Computing (P2P2007), September 2007, ISBN 0-7695-2986-0
  © IEEE Computer Society

• REWERSE-RP-2007-159
  Almut Herzog and Nahid Shahmehri:
  User Help Techniques for Usable Security.
  Proceedings of 1st Symposium on Computer Human Interaction for Management of Information Technology (CHIMIT 07), Cambridge, MA, USA (30th - 31st March 2007), Organization: ACM, March 2007, ISBN 1-59593-635-6
  © ACM Press

• REWERSE-RP-2007-158
  Almut Herzog and Nahid Shahmehri:
  Usable Set-up of Runtime Security Policies.
  Complete Text [.pdf, 161KB]
  Proceedings of International Symposium on Human Aspects of Information Security & Assurance (HAISA 2007), Plymouth, UK (10th July 2007), 99-113, July 2007, ISBN 978-1-84102-174-4
  © University of Plymouth

• REWERSE-RP-2007-157
  Almut Herzog and Nahid Shahmehri:
  Usable Set-up of Runtime Security Policies.
  Information Management & Computer Security 15 (5), 394-407, July 2007
  © Emerald Group Publishing Limited

• REWERSE-RP-2007-156
  David Byers and Nahid Shahmehri:
  Design of a Process for Software Security.
  Complete Text [.pdf, 221KB]
  Proceedings of Second International Conference on Availability, Reliability and Security (ARES 2007), Vienna, Austria (10th - 13th April 2007), 301-309, April 2007, ISBN 0-7695-2775-2
  © IEEE Computer Society

• REWERSE-RP-2007-155
  Shanai Ardi, David Byers, Per Håkon Meland, Inger Anne Tødel, and Nahid Shahmehri:
  How can the developer benefit from security modeling?.
  Proceedings of First International Workshop on Secure Software Engineering (SecSE 2007), Vienna, Austria (10th - 13th April 2007), 1017-1025, April 2007, ISBN 0-7695-2775-2
  © IEEE Computer Society

• REWERSE-RP-2007-154
  Patrick Lambrix, He Tan, Vaida Jakoniene, and Lena Strömbäck:
  Christopher J. O. Baker and Kei-Hoi Cheung (editors):
  Biological Ontologies.
  Semantic Web: Revolutionizing Knowledge Discovery in the Life Sciences, 85-99, April 2007, ISBN 978-0-387-48436-5
  © Springer

• REWERSE-RP-2007-153
  Nicholas Micallef and Matthew Montebello:
  Poster: The Deployment of Major Principles of Pervasive Computing on Wearable Devices.
  Proceedings of Second International Conference on Internet Technologies & Applications (ITA07), Wrexham, North Wales, UK (4th - 7th September 2007), 250-253, September 2007, ISBN 978-0-9468-8154-3
  © North East Wales Institute of Higher Education (NEWI)

• REWERSE-RP-2007-152
  Vanessa Camilleri and Matthew Montebello:
  Smart Web Learning Applications: the InDy Assistant.
  Proceedings of IADIS International Conference e-Learning 2007, Lisbon, Portugal (6th - 8th July 2007), Organization: IADIS, July 2007

• REWERSE-RP-2007-151
  Vanessa Camilleri and Matthew Montebello:
  Poster: Enhanced Dynamicity for Web Learning Applications: Web technologies on the move.
  Proceedings of Second International Conference on Internet Technologies & Applications (ITA07), Wrexham, North Wales, UK (4th - 7th September 2007), 254-257, September 2007, ISBN 978-0-9468-8154-3
  © North East Wales Institute of Higher Education (NEWI)

• REWERSE-RP-2007-150
  Jimmy Borg and Matthew Montebello:
  A Personal Semantic Desktop.
  Proceedings of Second International Conference on Internet Technologies & Applications (ITA07), Wrexham, North Wales, UK (4th - 7th September 2007), 258-263, September 2007, ISBN 978-0-9468-8154-3
  © North East Wales Institute of Higher Education (NEWI)

• REWERSE-RP-2007-149
  Juri Luca De Coi, Ekaterini Ioannou, Arne W. Koesling, Wolfgang Nejdl, and Daniel Olmedilla:
  Access Control for Sharing Semantic Data across Desktops.
  Complete Text [.pdf, 460KB]
  Proceedings of 1st International Workshop on Privacy Enforcement and Accountability with Semantics (PEAS07), Busan, Korea (12th November 2007) 320, 36-45, November 2007
  © CEUR Workshop Proceedings

• REWERSE-RP-2007-148
  Juri Luca De Coi and Daniel Olmedilla:
  A Flexible Policy-Driven Trust Negotiation Model.
  Complete Text [.pdf, 384KB]
  Proceedings of 2007 IEEE / WIC / ACM International Conference on Intelligent Agent Technology (IAT 2007), Silicon Valley, USA (2nd - 5th November 2007), Organization: IEEE, WIC, ACM, 450-453, November 2007, ISBN 0-7695-3027-3
  © IEEE Computer Society

• REWERSE-RP-2007-147
  Matteo Baldoni, Guido Boella, and Leendert van der Torre:
  Adding Roles to Relationship Patterns.
  Complete Text [.pdf, 76KB]
  Proceedings of WOA 2007: Dagli oggetti agli agenti, Agenti e Industrie: Applicazioni tecnologiche degli agenti software (WOA 2007), Genova, Italy (24th - 25th September 2007), 112-125, September 2007, ISBN 978-88-6122-061-4
  © Seneca Edizioni

• REWERSE-RP-2007-146
  Eduardo Torres-Schumann, Uwe Mönnich, and Klaus U. Schulz:
  Integration Languages for Data-Driven Approaches to Ontology Population and Maintenance.
  Complete Text [.pdf, 621KB]
  GLDV-Journal for Computational Linguistics and Language Technology 22 (2), 35-49, December 2007
  © GLDV

• REWERSE-RP-2007-145
  Martin Slota and João A. Leite :
  EVOLP - Transformation-based Implementation.
  Proceedings of Eighth Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VIII), Porto, Portugal (10th - 11th September 2007), 290-294, September 2007

• REWERSE-RP-2007-144
  Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, and Claudio Schifanella:
  Service selection by choreography-driven matching.
  Complete Text [.pdf, 444KB]
  Proceedings of 2nd Workshop on Emerging Web Services Technology (WEWST 2007), Halle (Saale), Germany (26th November 2007) 313, November 2007
  © CEUR Workshop Proceedings

• REWERSE-RP-2007-143
  Mantas Šimkus and Thomas Eiter:
  FDNC: Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols.
  Complete Text [.pdf, 292KB]
  Proceedings of 14th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR 2007), Yerevan, Armenia (15th - 19th October 2007), LNCS 4790, 514-530, October 2007, ISBN 978-3-540-75558-6
  © Springer

• REWERSE-RP-2007-142
  Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, and Roman Schindlauer:
  Exploiting Conjunctive Queries in Description Logic Programs.
  Complete Text [.pdf, 200KB]
  Proceedings of 20th International Workshop on Description Logics (DL2007), Brixen-Bressanone, Italy (8th - 10th June 2007) 250, 259-266, June 2007, ISBN 978-88-6046-008-5
  © CEUR Workshop Proceedings

• REWERSE-RP-2007-141
  Thomas Eiter:
  Answer Set Programming for the Semantic Web (Tutorial).
  Proceedings of 23rd International Conference on Logic Programming (ICLP'2007), Porto, Portugal (8th - 13th September 2007), Organization: ALP, LNCS 4670, 23-26, September 2007, ISBN 978-3-540-74608-9
  © Springer

• REWERSE-RP-2007-140
  Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge-Base Combination:
  Jos de Bruijn, Thomas Eiter, Axel Polleres, Hans Tompits.
  Complete Text [.pdf, 174KB]
  Proceedings of Twentieth International Joint Conference on Artificial Intelligence (IJCAI-07), Hyderabad, India (6th - 12th January 2007), Organization: IJCAI, 304-309, January 2007
  © AAAI Press

• REWERSE-RP-2007-139
  Diego Calvanese, Thomas Eiter, and Magdalena Ortiz:
  Answering Regular Path Queries in Expressive Description Logics: An Automata-Theoretic Approach.
  Complete Text [.pdf, 227KB]
  Proceedings of Twenty-Second AAAI Conference on Artificial Intelligence (AAAI 2007), Vancouver, British Columbia (22nd July - 26th February 2007), Organization: AAAI, 391-396, July 2007, ISBN 978-1-57735-323-2
  © AAAI Press

• REWERSE-RP-2007-138
  Martin Brain, Wolfgang Faber, Marco Maratea, Axel Polleres, Torsten Schaub, and Roman Schindlauer:
  What should an ASP Solver output? A Multiple Position Paper.
  Complete Text [.pdf, 142KB]
  Proceedings of 1st International Workshop on Software Engineering for Answer Set Programming (SEA'07), Tempe, Arizona, USA (14th May 2007) 281, 26-37, May 2007
  © CEUR Workshop Proceedings

• REWERSE-RP-2007-137
  Axel Polleres and Roman Schindlauer:
  DLVHEX-SPARQL: A SPARQL Compliant Query Engine Based on DLVHEX.
  Complete Text [.pdf, 177KB]
  Proceedings of 2nd International Workshop on Applications of Logic Programming to the Web, Semantic Web and Semantic Web Services (ALPSWS2007), Porto, Portugal (13th September 2007) 287, 3-12, September 2007
  © CEUR Workshop Proceedings

• REWERSE-RP-2007-136
  Axel Polleres, François Scharffe, and Roman Schindlauer:
  SPARQL++ for Mapping between RDF Vocabularies.
  Complete Text [.pdf, 279KB]
  Proceedings of 6th International Conference on Ontologies, DataBases, and Applications of Semantics (ODBASE 2007), Vilamoura, Algarve, Portugal (27th - 29th November 2007), LNCS 4803, 878-896, November 2007, ISBN 978-3-540-76846-3
  © Springer

• REWERSE-RP-2007-135
  Oana Nicolae, Ion-Mircea Diaconescu, Adrian Giurca, and Gerd Wagner:
  Towards a Financial Service Implementation using Jena and JBoss.
  Complete Text [.pdf, 276KB]
  Proceedings of 7th International Conference on Artificial Intelligence and Digital Communication (AIDC 2007), Craiova, Romania (15th - 16th September 2007), Research Notes in Artificial Intelligence and Digital Communications 106, 59-69, September 2007, ISBN 978-973-671-135-0
  © Reprograph

• REWERSE-RP-2007-134
  Oana Nicolae, Ion-Mircea Diaconescu, Adrian Giurca, and Gerd Wagner:
  Sharing rules between JBoss and Jena.
  Proceedings of 9th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (Synasc 2007), Timisoara, Romania (26th - 29th September 2007), 105-108, September 2007, ISBN 0-7695-3078-8
  © IEEE Computer Society

• REWERSE-RP-2007-133
  Ion-Mircea Diaconescu and Gerd Wagner:
  Towards a Mapping from Java Vocabulary to RDFS.
  Proceedings of 1st East European Workshop on Rule-Based Applications (RuleApps'2007), Timisoara, Romania (27th September 2007), 518-522, September 2007, ISBN 0-7695-3078-8
  © IEEE Computer Society

• REWERSE-RP-2007-132
  Sergey Lukichev, Adrian Giurca, and Gerd Wagner:
  An Integrated Rule Modeling Framework.
  Proceedings of 2nd International Workshop on Applications of Semantic Technologies (AST 2007), Bremen, Germany (25th September 2007), LNI P-109, 217-221, September 2007, ISBN 978-3-88579-203-1
  © GI - Gesellschaft für Informatik e.V.

• REWERSE-RP-2007-131
  Nima Kaviani, Dragan Gasevic, Marek Hatala, David Clement, and Gerd Wagner:
  Integration of Rules and Policies for Semantic Web Services.
  Complete Text [.pdf, 703KB]
  International Journal of Advanced Media and Communication (IJAMC) 1 (4), 404-423, July 2007
  © Inderscience Publishers

• REWERSE-RP-2007-130
  Ion-Mircea Diaconescu, Sergey Lukichev, and Adrian Giurca:
  Semantic Web and Rule Reasoning inside of E-Learning Systems.
  Proceedings of First International Symposium on Intelligent and Distributed Computing (IDC'2007), Craiova, Romania (18th - 20th October 2007), Studies in Computational Intelligence 78, 251-257, October 2007, ISBN 978-3-540-74929-5
  © Springer

• REWERSE-RP-2007-129
  Nikos Dimaresis and Grigoris Antoniou:
  Poster: Implementing Modal Extensions of Defeasible Logic for the Semantic Web.
  Proceedings of Twenty-Second AAAI Conference on Artificial Intelligence (AAAI 2007), Vancouver, British Columbia, Canada (22nd - 26th July 2007), Organization: AAAI, 1848-1849, July 2007, ISBN 978-1-57735-323-2
  © AAAI Press

• REWERSE-RP-2007-128
  Theodore Patkos, Antonis Bikakis, Grigoris Antoniou, Maria Papadopouli, and Dimitris Plexousakis:
  A Semantics-Based Framework for Context-Aware Services: Lessons Learned and Challenges.
  Complete Text [.pdf, 245KB]
  Proceedings of 4th International Conference on Ubiquitous Intelligence and Computing (UIC-07), Hong Kong, China (11th - 13th July 2007), LNCS 4611, 839-848, July 2007, ISBN 978-3-540-73548-9
  © Springer

• REWERSE-RP-2007-127
  Efstratios Kontopoulos, Nick Bassiliades, and Grigoris Antoniou:
  A Visualization Algorithm for Defeasible Logic Rule Bases over RDF Data.
  Complete Text [.pdf, 82KB]
  Proceedings of First International Conference on Web Reasoning and Rule Systems (RR2007), Innsbruck, Austria (7th - 8th June 2007), LNCS 4524, 367-369, June 2007, ISBN 978-3-540-72981-5
  © Springer

• REWERSE-RP-2007-126
  Nick Bassiliades, Grigoris Antoniou, and Guido Governatori:
  Proof Explanation in the DR-DEVICE System.
  Complete Text [.pdf, 410KB]
  Proceedings of First International Conference on Web Reasoning and Rule Systems (RR2007), Innsbruck, Austria (7th - 8th June 2007), LNCS 4524, 249-258, June 2007, ISBN 978-3-540-72981-5
  © Springer

• REWERSE-RP-2007-125
  Nikos Papadakis, Grigoris Antoniou, and Dimitris Plexousakis:
  The Ramification Problem in Temporal Databases: Concurrent Execution with Conflicting Constraints.
  Complete Text [.pdf, 84KB]
  Proceedings of 19th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2007), Patras, Greece (29th - 31st October 2007), Organization: IEEE 2, 274-278, October 2007
  © IEEE Computer Society

• REWERSE-RP-2007-124
  Efstratios Kontopoulos, Nick Bassiliades, and Grigoris Antoniou:
  Visual Stratification of Defeasible Logic Rule Bases.
  Proceedings of 19th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2007), Patras, Greece (29th - 31st October 2007), Organization: IEEE 2, 238-245, October 2007
  © IEEE Computer Society

• REWERSE-RP-2007-123
  Theodore Patkos, Antonis Bikakis, Grigoris Antoniou, Maria Papadopouli, and Dimitris Plexousakis:
  Distributed AI for Ambient Intelligence: Issues and Approaches.
  Complete Text [.pdf, 204KB]
  Proceedings of European Conference on Ambient Intelligence (AmI-07), Darmstadt, Germany (7th - 10th November 2007), LNCS 4794, 159-176, November 2007, ISBN 978-3-540-76651-3
  © Springer

• REWERSE-RP-2007-122
  Grigoris Antoniou, Antonis Bikakis, Nikos Dimaresis, Manolis Genetzakis, Giannis Georgalis, Guido Governatori, Efie Karouzaki, Nikolas Kazepis, Dimitris Kosmadakis, Manolis Kritsotakis, Giannis Lilis, Antonis Papadogiannakis, Panagiotis Pediaditis, Constantinos Terzakis, Rena Theodosaki, and Dimitris Zeginis:
  Proof Explanation for the Semantic Web Using Defeasible Logic.
  Proceedings of Second International Conference - Knowledge Science, Engineering and Management (KSEM'2007), Melbourne, Australia (28th - 30th November 2007), LNCS 4798, 186-197, November 2007, ISBN 978-3-540-76718-3
  © Springer

• REWERSE-RP-2007-121
  Grigoris Antoniou, Nikos Dimaresis, and Guido Governatori:
  A system for modal and deontic defeasible reasoning.
  Complete Text [.pdf, 85KB]
  Proceedings of 20th Australian Joint Conference on Artificial Intelligence (AI07), Gold Coast, Queensland, Australia (2nd - 6th December 2007), LNAI 4830, 609-613, December 2007, ISBN 978-3-540-76926-2
  © Springer

• REWERSE-RP-2007-120
  Grigoris Antoniou and Antonis Bikakis:
  DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web.
  IEEE Transactions on Knowledge and Data Engineering 19 (2), 233-245, February 2007
  © IEEE Computer Society

• REWERSE-RP-2007-119
  Efstratios Kontopoulos, Nick Bassiliades, and Grigoris Antoniou:
  Fernando Ferri (editor):
  Visual Development of Defeasible Logic Rules for the Semantic Web.
  Visual Languages for Interactive Computing: Definitions and Formalizations, 273-301, July 2007, ISBN 978-1-59904-534-4
  © IGI Global

• REWERSE-RP-2007-118
  Thomas Skylogiannis, Grigoris Antoniou, Nick Bassiliades, Guido Governatori, and Antonis Bikakis:
  DR-NEGOTIATE - A System for Automated Agent Negotiation with Defeasible Logic-Based Strategies.
  Complete Text [.pdf, 764KB]
  Data & Knowledge Engineering 63 (2), 362-380, November 2007
  © Elsevier

• REWERSE-RP-2007-117
  Grigoris Antoniou, Thomas Skylogiannis, Antonis Bikakis, Martin Doerr, and Nick Bassiliades:
  DR-BROKERING: A semantic brokering system.
  Knowledge-Based Systems 20 (1), 61-72, February 2007
  © Elsevier

• REWERSE-RP-2007-116
  Adrian Paschke and Yevgen Biletskiy (editors):
  Advances in Rule Interchange and Applications. Proceedings of International RuleML Symposium on Rule Interchange and Applications 2007 (RuleML-2007).
  Advances in Rule Interchange and Applications. Proceedings of International RuleML Symposium on Rule Interchange and Applications 2007 (RuleML-2007), October 2007, ISBN 978-3-540-75974-4
  © Springer

• REWERSE-RP-2007-115
  Laura Giordano and Alberto Martelli:
  Verifying Agent Conformance with Protocols Specified.
  Proceedings of 10th Congress of the Italian Association for Artificial Intelligence: Artificial Intelligence and Human-Oriented Computing (AI*IA 2007), Roma, Italy (10th - 13th September 2007), Organization: AI*IA, LNAI 4733, 145-156, September 2007, ISBN 978-3-540-74781-9
  © Springer

• REWERSE-RP-2007-114
  Piero A. Bonatti and Daniel Olmedilla:
  Rule-Based Policy Representation and Reasoning for the Semantic Web.
  Complete Text [.pdf, 298KB]
  Proceedings of Summer School Reasoning Web 2007, Dresden, Germany (3rd - 7th September 2007), Organization: REWERSE, LNCS 4634, 240-268, September 2007, ISBN 978-3-540-74613-3
  © Springer

• REWERSE-RP-2007-113
  Adrian Paschke and Michael Schroeder:
  Inductive Logic Programming for Bioinformatics in Prova.
  Complete Text [.pdf, 113KB]
  Proceedings of 2007 VLDB Workshop on Data Mining in Bioinformatics, Vienna, Austria (23rd September 2007), September 2007

• REWERSE-RP-2007-112
  Luís Moniz Pereira, Pierangelo Dell'Acqua, and Gonçalo Lopes:
  Olga Pombo and Alexander Gerner (editors):
  Prospective Updating of Theories with Preferences.
  Complete Text [.pdf, 231KB]
  Abduction and the Process of Scientific Discovery, Colecção Documenta 1, 65-96, September 2007
  © CFCUL / Publidisa

• REWERSE-RP-2007-111
  Rémy Haemmerlé and François Fages:
  Abstract Critical Pairs and Confluence of Arbitrary Binary Relations.
  Complete Text [.pdf, 420KB]
  Proceedings of 18th International Conference on Rewriting Techniques and Applications (RTA'07), Paris, France (26th - 28th June 2007), LNCS 4533, 214-228, June 2007, ISBN 978-3-540-73447-5
  © Springer

• REWERSE-RP-2007-110
  Rémy Haemmerlé, François Fages, and Sylvain Soliman:
  Closures and Modules within Linear Logic Concurrent Constraint Programming.
  Complete Text [.pdf, 239KB]
  Proceedings of 27th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2007), New Delhi, India (11th - 15th December 2007), LNCS 4855, 544--556, December 2007, ISBN 978-3-540-77049-7
  © Springer

• REWERSE-RP-2007-109
  Michael Pradel, Jakob Henriksson, and Uwe Assmann:
  A Good Role Model for Ontologies: Collaborations.
  Complete Text [.pdf, 187KB]
  Proceedings of First International Workshop on Semantic-Based Software Development, Montreal, Canada (22nd October 2007), Organization: Fluid Business, October 2007

• REWERSE-RP-2007-107
  François Fages and Aurélien Rizk:
  On the Analysis of Numerical Data Time Series in Temporal Logic.
  Complete Text [.pdf, 210KB]
  Proceedings of Computational Methods in Systems Biology 2007 (CSMB 2007), Edinburgh, UK (20th - 21st September 2007), LNCS 4695, 48-63, September 2007, ISBN 978-3-540-75139-7
  © Springer

• REWERSE-RP-2007-106
  He Tan and Patrick Lambrix:
  SAMBO results for the Ontology Alignment Evaluation Initiative 2007.
  Complete Text [.pdf, 59KB]
  Proceedings of The Second International Workshop on Ontology Matching (OM-2007), Busan, Korea (11th November 2007) 304, 225-232, November 2007
  © CEUR Workshop Proceedings

• REWERSE-RP-2007-105
  Olivier Perriquet, Marco Correia, Pedro Barahona, and Ludwig Krippahl:
  A Low resolution Model for Protein Structure Prediction from NMR Data.
  Proceedings of 13th Portuguese Conference on Artificial Intelligence (EPIA 2007), Guimarães, Portugal (3rd - 7th December 2007), 565-576, December 2007, ISBN 9789899561809
  © Universidade do Minho

• REWERSE-RP-2007-104
  José Santos, Pedro Barahona, and Ludwig Krippahl:
  Mining Protein Structure Data.
  Complete Text [.pdf, 85KB]
  Proceedings of 13th Portuguese Conference on Artificial Intelligence (EPIA 2007), Guimarães, Portugal (3rd - 7th December 2007), 527-540, December 2007, ISBN 9789899561809
  © Universidade do Minho

• REWERSE-RP-2007-103
  Massimo Marchiori, Jeff Z. Pan, and Christian de Sainte Marie (editors):
  Web Reasoning and Rule Systems. Proceedings of the First International Conference on Web Reasoning and Rule Systems (RR2007).
  Web Reasoning and Rule Systems. Proceedings of the First International Conference on Web Reasoning and Rule Systems (RR2007), LNCS 4524, June 2007, ISBN 978-3-540-72981-5
  © Springer

• REWERSE-RP-2007-102
  Matteo Baldoni, Antonio Boccalatte, Flavio De Paoli, Maurizio Martelli, and Viviana Mascardi (editors):
  Proceedings of the Workshop Dagli oggetti agli agenti, Agenti e Industrie: Applicazioni tecnologiche degli agenti software (WOA 2007).
  Complete Text [.pdf, 15.67MB]
  Proceedings of the Workshop Dagli oggetti agli agenti, Agenti e Industrie: Applicazioni tecnologiche degli agenti software (WOA 2007), September 2007, ISBN 978-88-6122-061-4
  © Seneca Edizioni

• REWERSE-RP-2007-101
  Matteo Baldoni, Tran Cao Son, M. Birna van Riemsdijk, and Michael Winikoff (editors):
  Proceedings of the International Workshop on Declarative Agent Languages and Technologies (DALT 2007).
  Proceedings of the International Workshop on Declarative Agent Languages and Technologies (DALT 2007), May 2007

• REWERSE-RP-2007-100
  Matteo Baldoni, Cristina Baroglio, and Viviana Mascardi (editors):
  Proceedings of the International Workshop on Agents, Web-Services, and Ontologies - Integrated Methodologies (MALLOW-AWESOME'007).
  Complete Text [.pdf, 4.25MB]
  Proceedings of the International Workshop on Agents, Web-Services, and Ontologies - Integrated Methodologies (MALLOW-AWESOME'007), September 2007

• REWERSE-RP-2007-099
  Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, and Claudio Schifanella:
  Preserving player's goals: a choreography-driven matchmaking approach.
  Complete Text [.pdf, 182KB]
  Proceedings of WOA 2007: Dagli oggetti agli agenti, Agenti e Industrie: Applicazioni tecnologiche degli agenti software (WOA 2007), Genova, Italy (24th - 25th September 2007), 132-139, September 2007, ISBN 978-88-6122-061-4
  © Seneca Edizioni

• REWERSE-RP-2007-098
  Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, and Claudio Schifanella:
  Goal preservation by choreography-driven matchmaking.
  Complete Text [.pdf, 196KB]
  Proceedings of 3rd International Workshop on Engineering Service-Oriented Applications: Analysis, Design, and Composition (WESOA'07), Vienna, Austria (17th September 2007), 77-88, September 2007

• REWERSE-RP-2007-097
  Matteo Baldoni, Cristina Baroglio, and Elisa Marengo:
  Curricula Modeling and Checking.
  Complete Text [.pdf, 402KB]
  Proceedings of 10th Congress of the Italian Association for Artificial Intelligence: Artificial Intelligence and Human-Oriented Computing (AI*IA 2007), Roma, Italy (10th - 13th September 2007), Organization: AI*IA, LNAI 4733, 471-482, September 2007, ISBN 978-3-540-74781-9
  © Springer

• REWERSE-RP-2007-096
  Matteo Baldoni, Cristina Baroglio, Ingo Brunkhorst, Elisa Marengo, and Viviana Patti:
  A Personalization Web Service for Curricula Planning and Validation.
  poster [.pdf, 2.58KB]
  Proceedings of 4th European Semantic Web Conference (ESWC 2007), Innsbruck, Austria (3rd - 7th June 2007), June 2007

• REWERSE-RP-2007-095
  Matteo Baldoni, Cristina Baroglio, Ingo Brunkhorst, Elisa Marengo, and Viviana Patti:
  Reasoning-Based Curriculum Sequencing and Validation: Integration in a Service-Oriented Architecture.
  Complete Text [.pdf, 311KB]
  Proceedings of Second European Conference on Technology Enhanced Learning (EC-TEL 2007), Crete, Greece (17th - 20th September 2007), LNCS 4753, 426-431, September 2007, ISBN 978-3-540-75194-6
  © Springer

• REWERSE-RP-2007-094
  Matteo Baldoni, Cristina Baroglio, Ingo Brunkhorst, Elisa Marengo, and Viviana Patti:
  A Service-Oriented Approach for Curriculum Planning and Validation.
  Complete Text [.pdf, 391KB]
  Proceedings of International Workshop on Agents, Web-Services, and Ontologies - Integrated Methodologies (MALLOW-AWESOME'007), Durham, UK (6th - 7th September 2007), 108-123, September 2007

• REWERSE-RP-2007-093
  Matteo Baldoni, Cristina Baroglio, Giuseppe Berio, and Elisa Marengo:
  Declarative representation of curricula models: an LTL- and UML-based approach.
  Complete Text [.pdf, 349KB]
  Proceedings of WOA 2007: Dagli oggetti agli agenti, Agenti e Industrie: Applicazioni tecnologiche degli agenti software (WOA 2007), Genova, Italy (24th - 25th September 2007), 34-41, September 2007, ISBN 978-88-6122-061-4
  © Seneca Edizioni

• REWERSE-RP-2007-092
  Matteo Baldoni and Elisa Marengo:
  Curriculum Model Checking: Declarative Representation and Verification of Properties.
  Complete Text [.pdf, 245KB]
  Proceedings of Second European Conference on Technology Enhanced Learning (EC-TEL 2007), Crete, Greece (17th - 20th September 2007), LNCS 4753, 432-437, September 2007, ISBN 978-3-540-75194-6
  © Springer

• REWERSE-RP-2007-091
  Martin Slota and João A. Leite:
  Operational Semantics for EVOLP.
  Proceedings of Eighth Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VIII), Porto, Portugal (10th - 11th September 2007), 118-133, September 2007

• REWERSE-RP-2007-090
  Luís Moniz Pereira, Gonçalo Lopes, and Pierangelo Dell'Acqua:
  Pre and Post Preferences over Abductive Models.
  Complete Text [.pdf, 132KB]
  Proceedings of 3rd Multidisciplinary Workshop on Advances in Preference Handling (M-PREF 2007), Vienna, Austria (23rd September 2007), September 2007

• REWERSE-RP-2007-089
  Luís Moniz Pereira and Alexandre Miguel Pinto:
  Approved Models for Normal Logic Programs.
  Complete Text [.pdf, 177KB]
  Proceedings of 14th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR 2007), Yerevan, Armenia (15th - 19th October 2007), LNAI 4790, 454-468, October 2007, ISBN 978-3-540-75558-6
  © Springer

• REWERSE-RP-2007-088
  Luís Moniz Pereira and Gonçalo Lopes:
  Prospective Logic Agents.
  Complete Text [.pdf, 111KB]
  Proceedings of 13th Portuguese Conference on Artificial Intelligence (EPIA 2007), Guimarães, Portugal (3rd - 7th December 2007), LNAI 4874, 73-86, December 2007, ISBN 978-3-540-77000-8
  © Springer

• REWERSE-RP-2007-087
  Matthias Knorr, José Júlio Alferes, and Pascal Hitzler:
  Towards Tractable Local Closed World Reasoning for the Semantic Web.
  Complete Text [.pdf, 167KB]
  Proceedings of 13th Portuguese Conference on Artificial Intelligence (EPIA 2007), Guimarães, Portugal (3rd - 7th December 2007), LNAI 4874, 3-14, December 2007, ISBN 978-3-540-77000-8
  © Springer

• REWERSE-RP-2007-086
  Heiko Kattenstroth, Wolfgang May, and Franz Schenk:
  Combining OWL with F-Logic Rules and Defaults.
  Complete Text [.pdf, 188KB]
  Proceedings of 2nd International Workshop on Applications of Logic Programming to the Web, Semantic Web and Semantic Web Services (ALPSWS2007), Porto, Portugal (13th September 2007) 287, 60-75, September 2007
  © CEUR Workshop Proceedings

• REWERSE-RP-2007-085
  François Bry and Michael Eckert:
  Towards Formal Foundations of Event Queries and Rules.
  Complete Text [.pdf, 195KB]
  Proceedings of The Second International Workshop on Event-driven Architecture, Processing and Systems (EDA-PS'07), Vienna, Austria (24th September 2007), September 2007

• REWERSE-RP-2007-084
  José Júlio Alferes and Ricardo Amador:
  r3 - A foundational ontology for reactive rules.
  Complete Text [.pdf, 388KB]
  Proceedings of 6th International Conference on Ontologies, DataBases, and Applications of Semantics (ODBASE 2007), Vilamoura, Algarve, Portugal (27th - 29th November 2007), LNCS 4803, 933-952, November 2007, ISBN 978-3-540-76846-3
  © Springer

• REWERSE-RP-2007-083
  Gihan Dawelbait, Christof Winter, Yanju Zhang, Christian Pilarsky, Robert Grützmann, Jörg-Christian Heinrich, and Michael Schroeder:
  Structural templates predict novel protein interactions and targets from pancreas tumour gene expression data.
  Complete Text [.pdf, 946KB]
  Bioinformatics 23 (13), i115-i124, July 2007
  © Oxford University Press

• REWERSE-RP-2007-082
  Dimitra Alexopoulou, Bill Andreopoulos, Joerg Hakenberg, and Michael Schroeder:
  Poster: Word Sense Disambiguation in Biomedical Ontologies with Term Co-occurrence Analysis.
  Proceedings of German Conference on Bioinformatics 2007 (GCB '07), Potsdam, Germany (26th - 28th September 2007), September 2007

• REWERSE-RP-2007-081
  Patrick Lambrix and He Tan:
  Poster: Aligning Biomedical Ontologies.
  Proceedings of Integrative Bioinformatics Workshop 2007, Ghent, Belgium (10th - 12th September 2007), September 2007

• REWERSE-RP-2007-080
  Patrick Lambrix and Lena Strömbäck:
  Where is my protein? - Issues in Information Integration.
  BIOforum Europe 7-8, 24-26, July 2007
  © GIT VERLAG

• REWERSE-RP-2007-079
  He Tan and Patrick Lambrix:
  A method for recommending ontology alignment strategies.
  Complete Text [.pdf, 161KB]
  Proceedings of 6th International Semantic Web Conference (ISWC 2007), Busan, Korea (11th - 15th November 2007), LNCS 4825, 494-507, November 2007, ISBN 978-3-540-76297-3
  © Springer

• REWERSE-RP-2007-078
  Vaida Jakoniene and Patrick Lambrix:
  A Tool for Evaluating Strategies for Grouping of Biological Data.
  Complete Text [.pdf, 846KB]
  Journal of Integrative Bioinformatics 4 (3), October 2007
  © IMBio e.V.

• REWERSE-RP-2007-077
  Bill Andreopoulos, Dimitra Alexopoulou, and Michael Schroeder:
  Word Sense Disambiguation in Biomedical Ontologies with Term Co-occurrence Analysis and Document Clustering.
  International Journal of Data Mining and Bioinformatics (IJDMB), 2007
  © Inderscience Publishers

• REWERSE-RP-2007-076
  He Tan:
  Aligning Biomedical Ontologies.
  Complete Text [.pdf, 361KB]
  PhD Thesis, Linköping University, Department of Computer and Information Science, July 2007
  Aligning Biomedical Ontologies, Linköping studies in science and technology. Dissertations 1110, July 2007, ISBN 978-91-85831-56-2
  © Linköping University, Department of Computer and Information Science

• REWERSE-RP-2007-075
  Grigoris Antoniou, Uwe Assmann, Cristina Baroglio, Stefan Decker, Nicola Henze, Paula-Lavinia Pătrânjan, and Robert Tolksdorf (editors):
  Reasoning Web.
  Reasoning Web, LNCS 4636, September 2007, ISBN 978-3-540-74613-3
  © Springer

• REWERSE-RP-2007-074
  Fabian Abel, Juri Luca De Coi, Nicola Henze, Arne W. Koesling, Daniel Krause, and Daniel Olmedilla:
  Enabling Advanced and Context-Dependent Access Control in RDF Stores.
  Complete Text [.pdf, 367KB]
  Proceedings of 6th International Semantic Web Conference (ISWC 2007), Busan, Korea (11th - 15th November 2007), LNCS 4825, 1-14, November 2007, ISBN 978-3-540-76297-3
  © Springer

• REWERSE-RP-2007-073
  Fabian Abel, Mischa Frank, Nicola Henze, Daniel Krause, Daniel Plappert, and Patrick Siehndel:
  GroupMe! - Where Semantic Web meets Web 2.0.
  Complete Text [.pdf, 992KB]
  Proceedings of 6th International Semantic Web Conference (ISWC 2007), Busan, Korea (11th - 15th November 2007), LNCS 4825, 871-878, November 2007, ISBN 978-3-540-76297-3
  © Springer

• REWERSE-RP-2007-072
  Sacha Berger, François Bry, Tim Furche, and Christoph Wieser:
  Visual Languages: A Matter of Style.
  Complete Text [.pdf, 213KB]
  Proceedings of Workshop on Visual Languages and Logic (VLL), Coeur d'Alène, Idaho, USA (23rd September 2007) 274, 85-96, September 2007
  © CEUR Workshop Proceedings

• REWERSE-RP-2007-071
  Uwe Assmann, Sacha Berger, François Bry, Tim Furche, Jakob Henriksson, and Jendrik Johannes:
  Modular Web Queries - From Rules to Stores.
  Complete Text [.pdf, 194KB]
  Proceedings of 3rd International Workshop On Scalable Semantic Web Knowledge Base Systems (SSWS '07), Vilamoura, Algarve, Portugal (27th November 2007), LNCS 4806, 1165-1175, November 2007, ISBN 978-3-540-76889-0
  © Springer

• REWERSE-RP-2007-070
  Uwe Assmann, Sacha Berger, François Bry, Tim Furche, Jakob Henriksson, and Paula-Lavinia Pătrânjan:
  A Generic Module System for Web Rule Languages: Divide and Rule.
  Complete Text [.pdf, 513KB]
  Proceedings of International RuleML Symposium on Rule Interchange and Applications 2007 (RuleML-2007), Orlando, Florida, USA (25th - 26th October 2007), Organization: RuleML, LNCS 4824, 63-77, October 2007, ISBN 978-3-540-75974-4
  © Springer

• REWERSE-RP-2007-069
  Włodzimierz Drabent and Artur Wilk:
  Extending XML Query Language Xcerpt by Ontology Queries.
  Proceedings of 2007 IEEE / WIC / ACM International Conference on Web Intelligence (WI 2007) (WI 2007), Silicon Valley, USA (2nd - 5th November 2007), Organization: IEEE, WIC, ACM, 447-451, November 2007, ISBN 0-7695-3026-5
  © IEEE Computer Society

• REWERSE-RP-2007-068
  Luís Moniz Pereira and Ruben Duarte Viegas:
  Architectural Design via Declarative Programming.
  Complete Text [.pdf, 238KB]
  Proceedings of 9th International Conference on Enterprise Information Systems (ICEIS 2007), Funchal, Madeira, Portugal (12th - 16th June 2007), 363-369, June 2007, ISBN 978-972-8865-89-4

• REWERSE-RP-2007-067
  Luís Moniz Pereira and Alexandre Miguel Pinto:
  Reductio ad Absurdum Argumentation in Normal Logic Programs.
  Complete Text [.pdf, 179KB]
  Proceedings of Workshop on Argumentation and Non-Monotonic Reasoning (ArgNMR'07), Tempe, Arizona, USA (14th May 2007), May 2007

• REWERSE-RP-2007-066
  François Bry and Michael Eckert:
  Temporal Order Optimizations of Incremental Joins for Composite Event Detection.
  poster [.pdf, 115KB]
  Proceedings of Inaugural International Conference on Distributed Event-Based Systems (DEBS 2007), Toronto, Canada (20th - 22nd June 2007), ACM International Conference Proceedings Series 233, 85-90, June 2007, ISBN 978-1-59593-665-3
  © ACM Press

• REWERSE-RP-2007-065
  Iara Almeida and José Júlio Alferes:
  Argumentation-based Proof for an Argument in a Paraconsistent Setting.
  Complete Text [.pdf, 157KB]
  Proceedings of Workshop on Argumentation and Non-Monotonic Reasoning (ArgNMR'07), Tempe, Arizona, USA (14th May 2007), 64-69, May 2007

• REWERSE-RP-2007-064
  Edgar-Philipp Stoffel, Bernhard Lorenz, and Hans Jürgen Ohlbach:
  Towards a Semantic Spatial Model for Pedestrian Indoor Navigation.
  Proceedings of 1st International Workshop on Semantics and Conceptual Issues in Geographical Information Systems (SeCoGIS 2007), Auckland, New Zealand (5th - 9th November 2007), LNCS 4802, 328-337, November 2007, ISBN 978-3-540-76291-1
  © Springer

• REWERSE-RP-2007-063
  Nima Kaviani, Dragan Gašević, Marek Hatala, Gerd Wagner, and Ty Mey Eap:
  Exchanging Policies between Web Service Entities using Rule Languages.
  Complete Text [.pdf, 393KB]
  Proceedings of 2007 IEEE Congress on Services (SERVICES 2007), Salt Lake City, Utah, USA (9th - 13th July 2007), Organization: IEEE, 57-64, July 2007, ISBN 0-7695-2926-7
  © IEEE Computer Society

• REWERSE-RP-2007-062
  Rolf Grütter and Bettina Bauer-Messmer:
  Combining OWL with RCC for Spatioterminological Reasoning on Environmental Data.
  Complete Text [.pdf, 230KB]
  Proceedings of Third International Workshop on OWL: Experiences and Directions (OWLED 2007), Innsbruck, Austria (6th - 7th June 2007) 258, June 2007
  © CEUR Workshop Proceedings

• REWERSE-RP-2007-061
  Rolf Grütter and Bettina Bauer-Messmer:
  Sara Irina Fabrikant and Monica Wachowicz (editors):
  Towards Spatial Reasoning in the Semantic Web: A Hybrid Knowledge Representation System Architecture.
  Complete Text [.pdf, 221KB]
  The European Information Society. Leading the Way with Geo-Information. Part 8, LNGC, 349-364, December 2007, ISBN 978-3-540-72384-4
  © Springer

• REWERSE-RP-2007-060
  Daniel Olmedilla:
  Milan Petković and Willem Jonker (editors):
  Security and Privacy on the Semantic Web.
  Complete Text [.pdf, 212KB]
  Security, Privacy and Trust in Modern Data Management, Data-Centric Systems and Applications, 399-415, June 2007, ISBN 978-3-540-69860-9
  © Springer

• REWERSE-RP-2007-059
  Juri Luca de Coi, Philipp Kärger, Arne W. Koesling, and Daniel Olmedilla:
  Exploiting Policies in an Open Infrastructure for Lifelong Learning.
  Complete Text [.pdf, 244KB]
  Proceedings of Second European Conference on Technology Enhanced Learning (EC-TEL 2007), Crete, Greece (17th - 20th September 2007), LNCS 4753, 26-40, September 2007, ISBN 978-3-540-75194-6
  © Springer

• REWERSE-RP-2007-058
  Laura Giordano, Alberto Martelli, and Camilla Schwind:
  Specifying and Verifying Interaction Protocols in a Temporal Action Logic.
  Complete Text [.pdf, 240KB]
  Journal of Applied Logic 5 (2), 214-234, June 2007
  © Elsevier

• REWERSE-RP-2007-057
  Almut Herzog, Nahid Shahmehri, and Claudiu Duma:
  An Ontology of Information Security.
  International Journal of Information Security and Privacy (IJISP) 1 (4), 1-23, October 2007
  © IGI Publishing