REWERSE Publications

Please respect the copyright-notice (.html .pdf).

Contents: Research Papers, Deliverables, REWERSE Technical Report

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

REWERSE-RP-2007-055
Jenny Ure, Rob Procter, Maryann Martone, David Porteous, Sharon Lloyd, Stephen Lawrie, Dominic Job, Richard Baldock, Alistair Philp, Dave Liewald, Frank Rakebrandt, Alan Blaikie, Clare McKay, Stuart Anderson, John Ainsworth, Jano van Hemert, Ignacio Blanquer, Richard Sinnott, Christian Barillot, Frank Bernard Gibaud, Alan Williams, Mark Hartswood, Paul Watson, Leslie Smith, Albert Burger, Jessie Kennedy, Horacio Gonzalez-Velez, Robert Stevens, Oscar Corcho, Robin Morton, Pamela Linksted, Mylene Deschenes, Mark McGilchrist, Paul Johnson, Alex Voss, Renate Gertz, and Joanna Wardlaw:
Nicolas Jacq, Henning Müller, Ignacio Blanquer, Yannick Legré, Vincent Breton, Dominique Hausser, Vicente Hernández, Tony Solomonides, and Martin Hofmann-Apitius (editors):
Data Integration in eHealth: A Domain/Disease Specific Roadmap.
Complete Text [.pdf, 110KB]
From Genes to Personalized HealthCare: Grid Solutions for the Life Sciences, Studies in Health Technology and Informatics 126, 144-153, April 2007, ISBN 978-1-58603-738-3
© IOS Press

REWERSE-RP-2007-054
Milan Milanović, Dragan Gašević, Adrian Giurca, Gerd Wagner, Sergey Lukichev, and Vladan Devedžić:
Bridging Concrete and Abstract Syntax of Web Rule Languages.
Complete Text [.pdf, 519KB]
Proceedings of First International Conference on Web Reasoning and Rule Systems (RR2007), Innsbruck, Austria (7th - 8th June 2007), LNCS 4524, 309-318, June 2007, ISBN 978-3-540-72981-5
© Springer

REWERSE-RP-2007-053
Włodzimierz Drabent, Jakob Henriksson, and Jan Małuszyński:
HD-rules: a hybrid system interfacing Prolog with DL-reasoners.
Complete Text [.pdf, 207KB]
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, 76-90, September 2007
© CEUR Workshop Proceedings

REWERSE-RP-2007-052
Anderson Santana de Oliveira, Eric Ke Wang, Claude Kirchner, and Hélène Kirchner:
Weaving Rewrite-Based Access Control Policies.
Complete Text [.pdf, 285KB]
Proceedings of 5th ACM Workshop on Formal Methods in Security Engineering: From Specifications to Code (FMSE'07), George Mason University, USA (2nd November 2007), 71-80, November 2007, ISBN 978-1-59593-887-9
© ACM Press

REWERSE-RP-2007-051
Daniel J. Dougherty, Claude Kirchner, Hélène Kirchner, and Anderson Santana de Oliveira:
Modular Access Control via Strategic Rewriting.
Complete Text [.pdf, 142KB]
Proceedings of 12th European Symposium On Research In Computer Security (ESORICS 2007), Dresden, Germany (24th - 26th September 2007), LNCS 4734, 578-593, September 2007, ISBN 978-3-540-74834-2
© Springer

REWERSE-RP-2007-050
Jakob Henriksson, Florian Heidenreich, Jendrik Johannes, Steffen Zschaler, and Uwe Assmann:
How dark should a component black-box be? The Reuseware Answer.
Complete Text [.pdf, 1.15MB]
Proceedings of Twelfth International Workshop on Component-Oriented Programming (WCOP 2007), Berlin, Germany (31st July 2007), July 2007

REWERSE-RP-2007-049
Nima Kaviani, Dragan Gašević, Marek Hatala, and Gerd Wagner :
Web Rule Languages to Carry Policies.
Complete Text [.pdf, 107KB]
Proceedings of Eigth IEEE International Workshop on Policies for Distributed Systems and Networks (Policy 2007), Bologna, Italy (13th - 15th June 2007), Organization: IEEE, 188-192, June 2007, ISBN 0-7695-2767-1
© IEEE Computer Society

REWERSE-RP-2007-048
Milan Milanović, Dragan Gašević, Adrian Giurca, Gerd Wagner, and Vladan Devedžić:
Model Transformations to Share Rules between SWRL and R2ML.
Complete Text [.pdf, 730KB]
Proceedings of 3rd International Workshop on Semantic Web Enabled Software Engineering (SWESE 2007), Innsbruck, Austria (6th - 7th June 2007), June 2007

REWERSE-RP-2007-047
Sergey Lukichev, Adrian Giurca, and Mircea Diaconescu :
Empowering Moodle with Rules and Semantics.
Complete Text [.pdf, 164KB]
Proceedings of 3rd Workshop on Scripting for the Semantic Web (SFSW2007), Innsbruck, Austria (6th June 2007) 248, 108-112, June 2007
© CEUR Workshop Proceedings

REWERSE-RP-2007-046
Ionut Constandache, Daniel Olmedilla, and Frank Siebenlist:
Policy-driven Negotiation for Authorization in the Grid.
Complete Text [.pdf, 263KB]
Proceedings of Eigth IEEE International Workshop on Policies for Distributed Systems and Networks (Policy 2007), Bologna, Italy (13th - 15th June 2007), Organization: IEEE, 211-220, June 2007, ISBN 0-7695-2767-1
© IEEE Computer Society

REWERSE-RP-2007-045
Peter Brusilovsky and Nicola Henze:
Peter Brusilovsky, Alfred Kobsa, and Wolfgang Nejdl (editors):
Open Corpus Adaptive Educational Hypermedia.
The Adaptive Web: Methods and Strategies of Web Personalization, LNCS 4321, 671-696, May 2007, ISBN 978-3-540-72078-2
© Springer

REWERSE-RP-2007-044
Robert Baumgartner, Oliver Frölich, and Georg Gottlob:
The Lixto systems applications in Business Intelligence and Semantic Web.
Complete Text [.pdf, 334KB]
Proceedings of 4th European Semantic Web Conference (ESWC 2007), Innsbruck, Austria (3rd - 7th June 2007), LNCS 4519, 16-26, June 2007, ISBN 978-3-540-72666-1
© Springer

REWERSE-RP-2007-043
Matteo Baldoni, Guido Boella, and Leendert van der Torre:
Interaction between Objects in powerJava.
Complete Text [.pdf, 468KB]
Journal of Object Technology (JOT) 6 (2), 5-30, February 2007
© ETH Swiss Federal Institute of Technology

REWERSE-RP-2007-042
José Júlio Alferes and Ricardo Amador:
r3: Towards a foundational ontology for reactive rules.
poster [.pdf, 197KB]
Proceedings of 4th European Semantic Web Conference (ESWC 2007), Innsbruck, Austria (3rd - 7th June 2007), June 2007

REWERSE-RP-2007-041
Matthias Knorr, José Júlio Alferes, and Pascal Hitzler:
A Well-founded Semantics for Hybrid MKNF Knowledge Bases.
Complete Text [.pdf, 168KB]
Proceedings of 20th International Workshop on Description Logics (DL2007), Brixen-Bressanone, Italy (8th - 10th June 2007) 250, 347-354, June 2007
© CEUR Workshop Proceedings

REWERSE-RP-2007-040
Erik Behrends, Oliver Fritzen, Tobias Knabke, and Wolfgang May:
Rule-Based Active Domain Brokering for the Semantic Web.
Proceedings of First International Conference on Web Reasoning and Rule Systems (RR2007), Innsbruck, Austria (7th - 8th June 2007), LNCS 4524, 259-268, June 2007, ISBN 978-3-540-72981-5
© Springer

REWERSE-RP-2007-039
Claudiu Duma, Almut Herzog, and Nahid Shahmehri:
Privacy in the Semantic Web: What Policy Languages Have to Offer.
Proceedings of Eigth IEEE International Workshop on Policies for Distributed Systems and Networks (Policy 2007), Bologna, Italy (13th - 15th June 2007), Organization: IEEE, 109-118, June 2007, ISBN 0-7695-2767-1
© IEEE Computer Society

REWERSE-RP-2007-038
Sabrina Baselice, Piero A. Bonatti, and Marco Faella:
On Interoperable Trust Negotiation Strategies.
Proceedings of IEEE Workshop on Policies for Distributed Systems and Networks (Policy 2007), Bologna, Italy (13th - 15th June 2007), Organization: IEEE, 39-50, June 2007, ISBN 0-7695-2767-1
©