Publications of the DBIS Research Group

2006

• Information Gathering in a Dynamic World; Thomas Hornung, Kai Simon, Georg Lausen; Principles and Practice of Semantic Web Reasoning Workshop (PPSWR '06), June 10-11, 2006, Budva, Montenegro.
• Integration of heterogeneous BPM Schemas: The Case of XPDL and BPEL; Thomas Hornung, Agnes Koschmider, Jan Mendling; CAiSE FORUM at the 18th Conference on Advanced Information Systems Engineering (CAiSE '06), June 5-9, 2006, Luxembourg.

2005

• Scalable Trust Propagation Models; Cai-Nicolas Ziegler; Information Security Bulletin 10 (6), pp. 223-232, July 2005; CHI Publishing Ltd.
• Improving Recommendation Lists Through Topic Diversification, Cai-Nicolas Ziegler, Sean M. McNee, Joseph A. Konstan, Georg Lausen; Proceedings of the 14th International World Wide Web Conference (WWW '05), May 10-14, 2005, Chiba, Japan.
• Emergence of Spontaneous Order Through Neighborhood Formation in Peer-to-Peer Recommender Systems; Ernesto Diaz-Aviles, Lars Schmidt-Thieme, Cai-Nicolas Ziegler; Proceedings of the WWW '05 International Workshop on Innovations in Web Infrastructure (IWI '05), May 10-14, 2005, Chiba, Japan. To appear.
• Making XPath Reach for the Web-Wide Links, Lule Ahmedi; Proceedings the 20th ACM International Symposium on Applied Computing (SAC 2005) - Web Technologies and Applications Track, March 13-17, 2005, Santa Fe, New Mexico, USA.

2004

• Semantic Web Recommender Systems, Cai-Nicolas Ziegler; EDBT 2004 Workshops (PhD, DataX, PIM, P2P&DB, and ClustWeb). Selected and Revised Papers, March 14-18, 2004, Heraklion, Greece.
• Taxonomy-driven Computation of Product Recommendations, Cai-Nicolas Ziegler, Georg Lausen, Lars Schmidt-Thieme; Proceedings of the 2004 ACM International Conference on Information and Knowledge Management (CIKM '04), November 8-13, 2004, Washington D.C., USA.
• Paradigms for Decentralized Social Filtering Exploiting Trust Network Structure, Cai-Nicolas Ziegler, Georg Lausen; Proceedings of the DOA/CoopIS/ODBASE 2004 Confederated Int'l Conferences (OTM '04), October 25-29, 2004, Larnaca, Cyprus.
• Exploiting Semantic Product Descriptions for Recommender Systems, Cai-Nicolas Ziegler, Lars-Schmidt-Thieme, Georg Lausen; Proceedings of the 2nd ACM SIGIR Semantic Web and Information Retrieval Workshop (SWIR '04), July 25-29, 2004, Sheffield, UK.
• Analyzing Correlation Between Trust and User Similarity in Online Communities, Cai-Nicolas Ziegler and Georg Lausen; 2nd International Conference on Trust Management (iTrust 2004), March 29-31, 2004, Oxford, UK.
• Spreading Activation Models for Trust Propagation, Cai-Nicolas Ziegler and Georg Lausen; IEEE International Conference on e-Technology, e-Commerce, and e-Service (EEE '04), March 28-31, 2004, Taipei, Taiwan. IEEE EEE'04 Best Paper Award.
• Semantic Web Recommender Systems, Cai-Nicolas Ziegler; Joint ICDE/EDBT Ph.D. Workshop 2004, March 14-18, 2004, Heraklion, Greece.

2003

• A Uniform Framework for Integration of Information from the Web, Wolfgang May and Georg Lausen; Information Systems 29(1), pp. 59-91, 2004.
• A Logical, Transparent Model for Querying Linked XML Documents, Wolfgang May, Dimitrio Malheiro; GI-Fachtagung Datenbanksysteme für Business, Technologie und Web, 2003.
• On Containment of Conjunctive Queries, Georg Lausen, Fang Wei; Computer Science in Perspective 2003, 231-244.
• Containment of Conjunctive Queries with Safe Negation, Fang Wei, Georg Lausen; International Conference on Database Theory (ICDT 2003), Jan. 8-10, 2003, Siena, Italy.
• Catalog Integration Made Easy, Pedro José Marrón, Georg Lausen, Martin Weber; Intl. Conference on Data Engineering (ICDE 2003), Poster Session, March 5-8, 2003, Bangalore, India. (to appear)

2002

• Understanding the Global Semantics of Referential Actions using Logic Rules, Wolfgang May, Bertram Ludäscher; ACM Transactions on Database Systems (TODS) 27(4), pp. 343-397, 2002.
• Anfragen, Ändern und Publizieren von XML, Georg Lausen, Wolfgang May. In Web & Datenbanken (Kapitelübersicht), Editoren: Erhard Rahm und Gottfried Vossen; dpunkt-Verlag, ISBN 3-89864-189-9; 2002.
• Linking the Semantic Web with Existing Sources, Wolfgang May, Workshop on Web Semantics (WebS'02), Sept. 3, 2002, Aix-en-Provence, France. In Proc. DEXA 02 Workshops, IEEE Computer Society.
• Ontology-Based Querying of Linked XML Documents, Lule Ahmedi, Georg Lausen; Semantic Web Workshop at The 11th International World Wide Web Conference (WWW 2002), May, 7-11, 2002, Honolulu, Hawaii, USA.
• Efficient Cache Answerability for XPath Queries (Journal Version), Pedro José Marrón, Georg Lausen; Selected Papers from the Intl. Workshop on Data Integration over the Web (DIWeb 2002), May 28, 2002, Toronto, Canada. (to appear).
• Efficient Cache Answerability for XPath Queries , Pedro José Marrón, Georg Lausen; Intl. Workshop on Data Integration over the Web (DIWeb 2002), May 28, 2002, Toronto, Canada.
• Querying Linked XML Document Networks in the Web, Wolfgang May; 11th International World Wide Web Conference (WWW 2002), May, 7-11, 2002, Honolulu, Hawaii.
• Data Manipulation and Integration in XML, Wolfgang May, Dagstuhl-Seminar "Rule Markup Techniques";
  Feb. 3-8, 2002, Schloss Dagstuhl, Germany.
• Adaptive Evaluation Techniques for Querying XML-based E-Catalogs, Georg Lausen, Pedro José Marrón, Int. Workshop on RIDE, February 24-25, 2002, San Jose, California, USA.
• Query Containment for Conjunctive Queries with Safe Negation, Fang Wei, Georg Lausen, Tech. Report 166, Institut für Informatik, Universität Freiburg, 2002.
• Conjunctive Query Containment in the Presence of Disjunctive Integrity Constraints, Fang Wei, Georg Lausen, KRDB'02, April 21, 2002, Toulouse France.

2001

• A Formal Analysis of the Lightweight Directory Access Protocol, Fang Wei, Georg Lausen; International Workshop on Data Semantics in Web Information Systems (DASWIS2001), November 27-30, 2001, Yokohama, Japan.
• On Processing XML in LDAP, Pedro José Marrón, Georg Lausen, Int. Conf. on VLDB, September 11-14, 2001, Roma, Italy.
• LoPiX: A System for XML Data Integration and Manipulation, Wolfgang May; Intl. Conf. on Very Large Databases (VLDB) - Demonstration Track, Sept, 11-14, 2001, Rome, Italy.
• A Rule-based Querying and Updating Language for XML, Wolfgang May; Workshop on Databases and Programming Languages (DBPL 2001), Sept 8-10, 2001, Frascati, Italy. Springer LNCS 2397.
• On an XML Data Model for Data Integration, Wolfgang May, Erik Behrends; Intl. Workshop on Foundations of Models and Languages for Data and Objects (FMLDO 2001), Sept. 16-18, 2001, Viterbo, Italy. To appear with Springer LNCS.
• Ontology-based Access to Heterogeneous XML Data, Lule Ahmedi, Pedro José Marrón, Georg Lausen, Int. Workshop on Web Databases, Sept. 26-28, 2001, Vienna, Austria.
• Directory-Based Ontologies for Integrating XML Data, Lule Ahmedi, Int. Workshop on Foundations of Models and Languages for Data and Objects (FMLDO 2001), Sept 16-18, 2001, Viterbo, Italy. To appear with Springer LNCS.
• A Framework for Generic Integration of XML Data Sources, Wolfgang May; International Workshop on Knowledge Representation meets Databases (KRDB 2001). Sept 15, 2001, Rome, Italy.
• XPathLog: A Declarative, Native XML Data Manipulation Language, Wolfgang May, International Database Engineering & and Applications Workshop (IDEAS'01) July 16-18, 2001, Grenoble, France. IEEE CS Press.
• Integration of XML Data in XPathLog, Wolfgang May, CAiSE Workshop Data Integration over the Web (DIWeb'01), June 4, 2001, Interlaken, Switzerland.
• LDAP-based Ontology for Information Integration, Lule Ahmedi, Pedro José Marrón, Georg Lausen, Datenbanksysteme in Büro, Technik und Wissenschaft (BTW), Oldenburg, 2001.
• HLCaches: An LDAP-based Distributed Cache Technology for XML, Pedro José Marrón, Georg Lausen, Technical Report 147, Institut für Informatik, Universität Freiburg, 2001.
• Mining Sets of time Series: description of time points, Aldar Dugarjapov, Georg Lausen, 25th annual Conference of the German Classification Society (GfKl), München, 2001.
• Nonmonotonic Inheritance in Object-Oriented Deductive Database Languages, Wolfgang May, Paul-Thomas Kandzia; Journal of Logic and Computation 11(4), 2001.

2000

• Design and Applicability of a Transparent Network Redirection Layer, Pedro José Marrón, Georg Lausen, Technical Report 143, Institut für Informatik, Universität Freiburg, 2000.
• Algorithm for Matching Sets of Time Series, Iztok Savnik, Georg Lausen, Hans-Peter Kahle, Heinrich Spiecker, Sebastian Hein. Principles of Data Mining and Knowledge Discovery (PKKD'2000), Lyon, France. Springer LNAI 1910, pp 277-288, 2000.
• MSTS: A System for Mining Sets of Time Series, Georg Lausen, Iztok Savnik, Aldar Dugarjapov. Principles of Data Mining and Knowledge Discovery (PKKD'2000), Lyon, France. Springer LNAI 1910, pp 289-298, 2000.
• Design of a Middleware Service for Scalable Wide Area Network Applications, Pedro José Marrón. International Symposium on Distributed Objects and Applications (DOA'00), Antwerp, Belgium. Springer LNCS ????, pp 263-272, 2000.
• Handling XML with a Deductive Database System, Wolfgang May; Workshop Internet-Datenbanken, GI-Jahrestagung 2000, Technical Report No. 12, Fak. f. Informatik, Univ. Magdeburg, 2000.
• Information Extraction from the Web, Wolfgang May, Georg Lausen; Technical Report 136, Institut für Informatik, Universität Freiburg, 2000.
• Discovery of Multivalued Dependencies from Relations. Iztok Savnik, Peter Flach. Technical Report 135, Institut für Informatik, Universität Freiburg, 2000.
• An Integrated Architecture for Exploring, Wrapping, Mediating and Restructuring Information from the Web, Wolfgang May, Australasian Database Conference (ADC2000), Jan. 31 - Feb. 3, 2000, Canberra, Australia. Australian Computer Science Communications, Vol. 2, No. 2, IEEE CS Press, pp. 82-89.

1999

• Information Extraction and Integration with FLORID: The MONDIAL Case Study, Wolfgang May; Technical Report 131, Institut für Informatik, Universität Freiburg, 1999.
• A Unified Framework for Wrapping, Mediating and Restructuring Information from the Web, Wolfgang May, Rainer Himmeröder, Georg Lausen, Bertram Ludäscher. International Workshop on International Workshop on the World-Wide Web and Conceptual Modeling (WWWCM'99), Nov. 15 - 18, 1999, Paris, France. Springer LNCS 1727, pp. 307-320.
• Information Extraction from the Web with FLORID, Wolfgang May, Dagstuhl-Seminar "Declarative Data Access on the Web"; Sept. 12-17, 1999, Schloss Dagstuhl, Germany. Dagstuhl-Report No. 251.
• Modeling and Querying Structure and Contents of the Web, Wolfgang May, International Workshop on Internet Data Management (IDM'99) at DEXA'99 Workshop, Sept. 2, 1999, Firenze, Italy. IEEE Comp. Soc.
• A Tableau Calculus for a Temporal Logic with Temporal Connectives, Wolfgang May, Automated Reasoning with Analytic Tableaux and Related Methods, (TABLEAUX'99), June 7-11, 1999, Albany, NY, Springer LNCS 1617, pages 232-246.
• Nonmonotonic Inheritance in Object-Oriented Deductive Database Languages, Wolfgang May, Paul-Thomas Kandzia; Technical Report 114, Institut für Informatik, Universität Freiburg, Jan. 1999.

1998

• Managing Semistructured Data with FLORID: A Deductive Object-Oriented Perspective, B. Ludäscher, R. Himmeröder, G. Lausen, W. May, and C. Schlepphorst. Information Systems, 23 (8), Special Issue on Semistructured Data, pp. 589-612, 1998.
• Nonmonotonic Inheritance in Object-Oriented Deductive Database Languages, W. May, P.-Th. Kandzia 13. Workshop logische Programmierung (WLP'98), Vienna, Oct. 6-8, 1998.
• On Active Deductive Databases: The Statelog Approach, Georg Lausen, Bertram Ludäscher, and Wolfgang May. In Transactions and Change in Logic Databases, Hendrik Decker, Burkhard Freitag, Michael Kifer, and Andrei Voronkov, editors. Springer LNCS 1472, 1998.
• On Logical Foundations of Active Databases. Georg Lausen, Bertram Ludäscher, and Wolfgang May. In Logics for Databases and Information Systems, Jan Chomicki and Gunter Saake, editors. Kluwer Academic Publishers, 1998. ISBN 0-7923-8129-7.
• Techniques and Rule Patterns for Declaratively Querying Web Data with FLORID, B. Ludäscher, R. Himmeröder, W. May. Workshop Deklarative KI-Methoden zur Implementierung und Nutzung von Systemen in Netzen, KI-98, Bremen Sept. 16, 1998.
• Search, Analysis, and Integration of Web Documents: A Case Study with FLORID, R. Himmeröder, P.-Th. Kandzia, B. Ludäscher, W. May, G. Lausen, Proc. Intl. Workshop on Deductive Databases and Logic Programming (DDLP'98), Manchester, UK, 1998.
• Querying the Web with FLORID, Rainer Himmeröder, Bertram Ludäscher, 10. GI-Workshop: Grundlagen von Datenbanken (GvD'98), Konstanz, Germany, 1998.
• FLORID: A DOOD-System for Querying the Web, Rainer Himmeröder, Georg Lausen, Bertram Ludäscher, Christian Schlepphorst, Demonstration Session at EDBT'98, Valencia, Spain.
• Referential Actions: From Logical Semantics to Implementation, Bertram Ludäscher, Wolfgang May, EDBT'98 (6th Intl. Conference on Extending Database Technology), Valencia, Spain, 23-27 March, 1998. Springer LNCS 1377, pp. 404-418.

1997

• On a Declarative Semantics for Web Queries, R. Himmeröder, G. Lausen, B. Ludäscher, C. Schlepphorst, Proc. 5th Intl. Conf. on Deductive and Object-Oriented Databases (DOOD'97), 1997, Montreux, Switzerland, Springer LNCS 1341, pp. 386-398.
• Well-Founded Semantics for Deductive Object-Oriented Database Languages, W. May, B. Ludäscher, G.Lausen, Proc. 5th Intl. Conf. on Deductive and Object-Oriented Databases (DOOD'97), Montreux, Switzerland, 1997, Springer LNCS 1341, pp. 320-336.
• Towards Efficient Evaluation of Methods by Reduction, P.-Th. Kandzia, Proc. 5th Intl. Conf. on Deductive and Object-Oriented Databases (DOOD'97), 1997, Montreux, Switzerland, Springer LNCS 1341, pp. 427-428.
• FLORID - A Prototype for F-logic, P.-Th. Kandzia, C. Schlepphorst, In 12th German Workshop on Logic Programming, (WLP'97), München, 1997.
• DOOD and DL - Do we need an Integration? P.-Th. Kandzia, C. Schlepphorst: Knowledge Representation meets Databases , (KRDB), Athens, 1997.
• Nonmonotonic Reasoning in Florid, P.-Th. Kandzia, Logic Programming and Non-Monotonic Reasoning , (LPNMR), Dagstuhl, 1997; Springer LNAI 1265, pp. 399-409.
• Semi-naive Evaluation of F-logic Programs, C. Schlepphorst, Technical Report 85 , Universität Freiburg, 1997.
• Integrating Dynamic Aspects into Deductive Object-Oriented Databases, W. May, C. Schlepphorst, G.Lausen, In 3rd International Workshop on Rules in Database Systems, (RIDS'97) Skövde, Sweden, 1997, Springer LNCS 1312, pp. 20-34.
• Towards Efficient Evaluation of Methods by Reduction, Paul-Th. Kandzia, Technical Report 82 (revised version), Universität Freiburg 1997
• Process Modeling with Different Qualities of Knowledge, Wolfgang May, International Joint Conference on Qualitative and Quantitative Practical Reasoning, (ECSQARU-FAPR'97) June 9-12, 1997, Bonn, Germany, Springer LNCS 1244, pp. 436-450.
• Referential Actions as Logical Rules, Bertram Ludäscher, Wolfgang May, Georg Lausen, Proc. 16th ACM Symposium on Principles of Database Systems (PODS'97), Tucson, Arizona, 1997, ACM Press.
• Proving Correctness of Labeled Transition Systems by Semantic Tableaux, Wolfgang May, Automated Reasoning with Analytic Tableaux and Related Methods, (TABLEAUX'97), May 13-16, 1997, Pont-à-Mousson, France, Springer LNCS 1227, pp. 261-275.
• Specifying Complex and Structured Systems with Evolving Algebras, Wolfgang May, International Joint Conference on Theory and Practice of Software Development (TAPSOFT'97), April 14-18, 1997, Lille, France, Springer LNCS 1214, pp. 535-549.
• FLORID - A Prototype for F-Logic, J. Frohn, R. Himmeröder, P.-Th. Kandzia, G. Lausen, C. Schlepphorst, Proc. Intl. Conference on Data Engineering (ICDE, Exhibition Program), Birmingham, 1997; IEEE Computer Science Press. Extended Version.
• FLORID - Ein Prototyp für F-Logik, J. Frohn, R. Himmeröder, P.-Th. Kandzia, G. Lausen, C. Schlepphorst, Datenbanksysteme in Büro, Technik und Wissenschaft, (BTW), Ulm, 1997.
• Total and Partial Well-Founded Datalog Coincide, Jörg Flum, Max Kubierschky, Bertram Ludäscher, Proc. 6th Intl. Conference on Database Theory (ICDT'97), Delphi, Greece, 1997, LNCS 1186, Springer.
• Models and Languages of Object-Oriented Databases. Georg Lausen, Gottfried Vossen. Addison-Wesley Publishing, 1997.

1996

• Nested Transactions in a Logical Language for Active Rules, Bertram Ludäscher, Wolfgang May, Georg Lausen, Proc. Intl. Workshop on Logic in Databases (LID'96), San Miniato, Italy, 1996, LNCS 1154, Springer.
• Towards a Logical Semantics for Referential Actions in SQL, Bertram Ludäscher, Wolfgang May, Joachim Reinert, Proc. 6th Intl. Workshop on Foundations of Models and Languages for Data and Objects: Integrity in Databases, Dagstuhl, Germany, 1996.
• A Tableau Calculus For First-Order Branching Time Logic, Wolfgang May, Peter H. Schmitt, International Conference on Formal and Applied Practical Reasoning (FAPR'96), Bonn, Germany, 1996, Springer LNCS 1085, pp. 399-413.

Other Relevant Papers

• Logical Foundations of Object-Oriented and Frame-Based Languages
  M. Kifer, G. Lausen, J. Wu, JACM 1995, vol. 42, p. 741-843
• Access to Objects by Path Expressions and Rules, J. Frohn, G. Lausen, and H. Uphoff, Proc. Intl. Conference on Very Large Data Bases, (VLDB'94), Santiago de Chile, 1994.
• Methods and rules, S. Abiteboul, G. Lausen, H. Uphoff, and E. Waller, In P. Buneman and S. Jajodi, editors, Proc. ACM SIGMOD Intl. Conference on Management of Data, Washington, 1993.
• Updates in a Rule-Based Language for Objects, M. Kramer, G. Lausen, and G. Saake, Proc. Intl. Conference on Very Large Data Bases, (VLDB'92), Vancouver, 1992.
• F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance and Scheme.
  M. Kifer and G. Lausen, Proc. ACM SIGMOD Intl. Conference on Management of Data , pages 134 - 146, Portland, 1989.