Publications of the DBIS group

• Markup and Component Interoperability for Active Rules. Oliver Fritzen, Wolfgang May, Franz Schenk; The Second International Conference on Web Reasoning and Rule Systems, October 31 -- November 1, 2008. Karlsruhe, Germany, LNCS ????, Springer, p. .

• Design and Usage of an IT-System for workplace management with ergonomic analysis under health protection aspects. Clemens Dubian, Wolfgang May; Enterprise Modelling and Information Systems Architectures - Concepts and Applications, October 8-9, 2007. St.Goar, Germany, GI LNI 119, pp. 163-176.

• Combining OWL with F-Logic Rules and Defaults. Heiko Kattenstroth, Wolfgang May, Franz Schenk; International Workshop on Applications of Logic Programming to the Web, Semantic Web and Semantic Web Services (ALPSWS07), September 13, 2007. Porto, Portugal, CEUR online proceedings available at http://www.ceur-ws.org/Vol-287, pp. 60-75.

• MARS: Modular Active Rules in the Semantic Web. Wolfgang May; Graduate Program Colloquium, Univ. Freiburg, Germany, June 11, 2007.

• Rule-Based Active Domain Brokering for the Semantic Web. Erik Behrends, Oliver Fritzen, Tobias Knabke, Wolfgang May, Franz Schenk; The First International Conference on Web Reasoning and Rule Systems, June 7-8, 2007. Innsbruck, Austria, LNCS 4524, Springer, pp. 259-268.

• 4th European Semantic Web Conference (ESWC 2007). Enrico Franconi, Michael Kifer, Wolfgang May (editors); LNCS 4519, Springer, 830 pages, 2007.

• Combining ECA Rules with Process Algebras for the Semantic Web. Erik Behrends, Oliver Fritzen, Wolfgang May, Franz Schenk; International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML 2006), November 10/11, 2006. Athens, Georgia, USA, IEEE Comp. Sc. Press, pp. 29-38.

• A Framework and Components for ECA Rules in the Web (Demo). Erik Behrends, Oliver Fritzen, Wolfgang May, Franz Schenk, Daniel Schubert; International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML 2006; Demonstration Session), November 10/11, 2006. Athens, Georgia, USA.

• An Ontology-Based Approach to Integrating Behavior in the Semantic Web. Wolfgang May; Second International Workshop on Exchange and Integration of Data, June 11, 2006. Brixen-Bressanone, Italy.

• Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR 2006). José Júlio Alferes, James Bailey, Wolfgang May, Uta Schwertel (editors); LNCS 4187, Springer, 275 pages, 2006.

• Extending an OWL Web Node with Reactive Behavior. Wolfgang May, Franz Schenk, Elke von Lienen; Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR 2006), June 10/11, 2006. Budva, Montenegro, LNCS 4187, Springer, pp. 134-148.

• Reasoning im und für das Semantic Web. Wolfgang May; In Semantic Web - Wege zur vernetzten Wissensgesellschaft, Tassilo Pellegrini, Andreas Blumauer (editors); Springer, pp. 485-504, 2006.

• An ECA Engine for Deploying Heterogeneous Component Languages in the Semantic Web. Erik Behrends, Oliver Fritzen, Wolfgang May, Daniel Schubert; EDBT-Workshop 'Reactivity on the Web', March 31, 2006. Munich, Germany, LNCS 4254 (EDBT Workshops), Springer, pp. 887-898.

• Querying along XLinks in XPath/XQuery: Situation, Applications, Perspectives. Erik Behrends, Oliver Fritzen, Wolfgang May; 11th International Workshop on Foundations of Models and Languages for Data and Objects (FMLDO): QLQP-2006 "Query Languages and Query Processing", March 30/31, 2006. Munich, Germany, LNCS 4254 (EDBT Workshops), Springer, pp. 662-674.

• Handling Interlinked XML Instances on the Web. Erik Behrends, Oliver Fritzen, Wolfgang May; 10th. Intl. Conference on Extending Database Technology (EDBT'06), March 26-29, 2006. Munich, Germany, LNCS 3896, Springer, pp. 792-810.

• Active Rules in the Semantic Web: Dealing with Language Heterogeneity. Wolfgang May, José Júlio Alferes, Ricardo Amador; International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML 2005), Nov 10-12, 2005. Galway, Ireland, Springer LNCS 3791, pp. 30-44.

• An Ontology- and Resources-Based Approach to Evolution and Reactivity in the Semantic Web. Wolfgang May, José Júlio Alferes, Ricardo Amador; Ontologies, DataBases, and Applications of Semantics (ODBASE 2005), Oct. 31 - Nov. 4, 2005. Agia Napa, Cyprus, LNCS 3761, Springer, pp. 1553-1570.

• A general language for Evolution and Reactivity in the Semantic Web. José Júlio Alferes, Ricardo Amador, Wolfgang May; Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR 2005), Sept. 12-16, 2005. Dagstuhl, Germany, Springer LNCS 3703, pp. 101-115.

• Evolution and Reactivity for the Web. José Júlio Alferes, Wolfgang May; In Reasoning Web, First International Summer School, Springer LNCS 3564, pp. 134-172, 2005.

• Reasoning im und für das Semantic Web (Invited Talk). Wolfgang May; Workshop Grundlagen von Datenbanken (GvD2005), May 17-20, 2005. Wörlitz, Germany, Technical Report: Institute of Computer Science, Martin-Luther-University Halle-Wittenberg, pp. 9-20.

• Logic-based XML data integration: A semi-materializing approach. Wolfgang May; Journal of Applied Logic 3, pp. 271-307, 2005.

• Reasoning Methods for Personalization on the Semantic Web. Grigoris Antoniou, Matteo Baldoni, Cristina Baroglio, Viviana Patti, Robert Baumgartner, Thomas Eiter, Marcus Herzog, Roman Schindlauer, Hans Tompits, François Bry, Sebastian Schaffert, Nicola Henze, Wolfgang May; Annals of Mathematics, Computing and Teleinformatics (AMCT) 1(2), pp. 1-24, 2004.

• Towards generic query, update, and event languages for the Semantic Web. Wolfgang May, José Júlio Alferes, François Bry; Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR 2004), Sept. 8-9, 2004. St. Malo, France, LNCS 3208, Springer, pp. 19-33.

• XPath-Logic and XPathLog: A Logic-Programming Style XML Data Manipulation Language. Wolfgang May; Theory and Practice of Logic Programming 4(3), pp. 239-287, 2004.

• A Uniform Framework for Integration of Information from the Web. Wolfgang May, Georg Lausen; Information Systems 29(1), pp. 59-91, 2004.

• A Logic-Based Approach to XML Data Integration with "lazy materialization". Wolfgang May; CoLogNET Workshop on Logic-based Methods for Information Integration, August 23, 2003. Vienna, Austria.

• Datenintegration in XML - ein regelbasierter Ansatz. Wolfgang May; Datenbank-Spektrum 6(3), pp. 23-32, 2003.

• A Logical, Transparent Model for Querying Linked XML Documents. Wolfgang May, Dimitrio Malheiro; GI-Fachtagung Datenbanksysteme für Business, Technologie und Web (BTW 2003), February 26-28, 2003. Leipzig, Germany, GI LNI 26, pp. 147-156.

• Anfragen, Ändern und Publizieren von XML. Georg Lausen, Wolfgang May; In Web & Datenbanken (Kapitelübersicht), dpunkt-Verlag, pp. 65-100, 2003.

• 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.

• Linking the Semantic Web with Existing Sources. Wolfgang May; DEXA Workshop on Web Semantics (WebS'02), Sept. 3, 2002. Aix-en-Provence, France, Proc. DEXA 2002 Workshop, IEEE Computer Society Press, pp. 93-97.

• Querying Linked XML Document Networks in the Web. Wolfgang May; 11th International World Wide Web Conference (WWW 2002), May, 7-11, 2002. Honolulu, Hawaii, CDROM/online at http://www2002.org/CDROM/alternate/166/.

• Datenmanipulation und -integration in XML. Wolfgang May; DFG-Rundgespräch "Theorie und Anwendung semistrukturierter Daten im Schnittpunkt von Informatik und Computerlinguistik", Feb. 21/22, 2002. Herrsching/Ammersee, Germany.

• Data Manipulation and Integration in XML. Wolfgang May; Dagstuhl-Seminar "Rule Markup Techniques", Feb. 3-8, 2002. Schloss Dagstuhl, Germany, Dagstuhl-Report No. 332.

• 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. Roma, Italy, Published as Technical report, Dept. of Computer Science, Univ. Manchester, UK. Post-conference proceedings should have been appeared 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. Roma, Italy, Published as Vol.45, CEUR Workshop Proceedings, Technical University of Aachen (RWTH), pp. 73-82.

• 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, p. 707.

• 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, LNCS 2397, Springer, pp. 165-181.

• Nonmonotonic Inheritance in Object-Oriented Deductive Database Languages. Wolfgang May, Paul-Thomas Kandzia; Journal of Logic and Computation 11(4), pp. 499-526, 2001.

• 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 Computer Society Press, pp. 123-128.

• Integration of XML Data in XPathLog. Wolfgang May; CAiSE Workshop Data Integration over the Web (DIWeb'01), June, 4/5, 2001. Interlaken, Switzerland, Published as Technical Report, Univ. Montpellier (LIRM), France, pp. 2-16.

• XPath-Logic and XPathLog: A Logic-Based Approach to XML Data Manipulation. Wolfgang May; Habilitation Thesis, Institut für Informatik, Universität Freiburg, April, 2001.

• XPath-Logic and XPathLog: A Logic-Based Approach for Declarative XML Data Manipulation . Wolfgang May; Technical Report 149, Institut für Informatik, Universität Freiburg, February, 2001.

• Handling XML with a Deductive Database System. Wolfgang May; Workshop Internet-Datenbanken, GI-Jahrestagung 2000, Sept. 19, 2000. Berlin, Germany, Published in Technical Report No. 12, Fak. f. Informatik, Univ. Magdeburg, 2000, pp. 31-45.

• An Integrated Architecture for Exploring, Wrapping, Mediating and Restructuring Information from the Web . Wolfgang May; Australasian Database Conference (ADC 2000), Jan. 31 - Feb. 3, 2000. Canberra, Australia, Australian Computer Science Communications, Vol. 2, No. 2, IEEE CS Press, pp. 82-89.

• Information Extraction from the Web. Wolfgang May, Georg Lausen; Technical Report 136, Institut für Informatik, Universität Freiburg , March, 2000.

• Information Extraction and Integration with FLORID: The MONDIAL Case Study. Wolfgang May; Technical Report 131, Institut für Informatik, Universität Freiburg, December, 1999.

• A Unified Framework for Wrapping, Mediating and Restructuring Information from the Web. Wolfgang May, Bertram Ludäscher, Georg Lausen, Rainer Himmeröder; International Workshop on the World-Wide Web and Conceptual Modeling (WWWCM'99), November 15-18, 1999. Paris, France, LNCS 1727, Springer, pp. 307-320.

• Information Extraction from the Web with FLORID. Wolfgang May; Database and Artificial Intelligence Group at TU Vienna, Austria, November 5, 1999.

• Information Extraction from the Web with FLORID. Wolfgang May; Dagstuhl-Seminar "Declarative Data Access on the Web", September 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), September 2, 1999. Firenze, Italy, Proc. DEXA 99 Workshop, IEEE Computer Society Press, pp. 721-725.

• Information Extraction from the Web with FLORID. Wolfgang May; Stony Brook, NY, June 14, 1999.

• A Tableau Calculus for a Temporal Logic with Temporal Connectives . Wolfgang May; International Conference on Analytic Tableaux and Related Methods (TABLEAUX'99), June 7-11, 1999. Albany, NY, LNCS 1617, Springer, pp. 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, January, 1999.

• Managing Semistructured Data with FLORID: A Deductive Object-Oriented Perspective. Bertram Ludäscher, Rainer Himmeröder, Georg Lausen, Wolfgang May, Christian Schlepphorst; Information Systems, Special Issue on Semistructured Data, 23(8), pp. 589-612, 1998.

• Nonmonotonic Inheritance in Object-Oriented Deductive Database Languages. Wolfgang May, Paul-Thomas Kandzia; 13. Workshop logische Programmierung (WLP'98), October, 6-8, 1998. Vienna, Austria, Technical Report 1843-1998-10, Institut für Informationssysteme, TU Wien.

• Techniques and Rule Patterns for Declaratively Querying Web Data with FLORID. Bertram Ludäscher, Rainer Himmeröder, Wolfgang May; Workshop Deklarative KI-Methoden zur Implementierung und Nutzung von Systemen in Netzen, KI-98, September 16, 1998. Bremen, Germany, GMD Report 29/1998, pp. 65-79.

• Search, Analysis, and Integration of Web Documents: A Case Study with FLORID. Rainer Himmeröder, Paul-Th. Kandzia, Bertram Ludäscher, Wolfgang May, Georg Lausen; Intl. Workshop on Deductive Databases and Logic Programming (DDLP'98), June 20, 1998. Manchester, UK, GMD Report 22/1998, pp. 47-58.

• Integrated Static and Dynamic Modeling of Processes. Wolfgang May; Dissertation/PhD Thesis, Institut für Informatik, Universität Freiburg, Mai, 1998.

• Referential Actions: From Logical Semantics to Implementation. Bertram Ludäscher, Wolfgang May; 6th. Intl. Conference on Extending Database Technology (EDBT'98), March 23-27, 1998. Valencia, Spain, LNCS 1377, Springer, pp. 404-418.

• On Active Deductive Databases: The Statelog Approach. Georg Lausen, Bertram Ludäscher, Wolfgang May; In Transactions and Change in Logic Databases, Hendrik Decker, Burkhard Freitag, Michael Kifer, Andrei Voronkov (editors); Springer LNCS 1472, pp. 69-106, 1998.

• On Logical Foundations of Active Databases. Georg Lausen, Bertram Ludäscher, Wolfgang May; In Logics for Databases and Information Systems, Jan Chomicki, Gunter Saake (editors); Kluwer Academic Publishers, pp. 389-422, 1998.

• Well-Founded Semantics for Deductive Object-Oriented Database Languages . Wolfgang May, Bertram Ludäscher, Georg Lausen; 5th Intl. Conf. on Deductive and Object-Oriented Databases (DOOD'97), December 8-12, 1997. Montreux, Switzerland, LNCS 1341, Springer, pp. 320-336.

• Integrating Dynamic Aspects into Deductive Object-Oriented Databases . Wolfgang May, Christian Schlepphorst, Georg Lausen; 3rd International Workshop on Rules in Database Systems (RIDS'97), June 26-28, 1997. Skövde, Sweden, LNCS 1312, Springer, pp. 20-34.

• 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. Bad Honnef, Germany, LNCS 1244, Springer, pp. 436-450.

• Proving Correctness of Labeled Transition Systems by Semantic Tableaux . Wolfgang May; International Conference on Analytic Tableaux and Related Methods (TABLEAUX'97), May 13-16, 1997. Pont-à-Mousson, France, LNCS 1227, Springer, pp. 261-275.

• Referential Actions as Logical Rules. Bertram Ludäscher, Wolfgang May, Georg Lausen; 16th. ACM Symposium on Principles of Database Systems (PODS 97), May 12-14, 1997. Tucson, Arizona, USA, ACM Press, pp. 217-224.

• Specifying Complex and Structured Systems with Evolving Algebras . Wolfgang May; 7th International Joint Conference on the Theory and Practice of Software Development (TAPSOFT'97), April 14-18, 1997. Lille, France, LNCS 1214, Springer, pp. 535-549.

• Towards a Logical Semantics for Referential Actions in SQL. Bertram Ludäscher, Wolfgang May, Joachim Reinert; 6th Intl. Workshop on Foundations of Models and Languages for Data and Objects (FMLDO'96), September 16-20, 1996. Dagstuhl, Germany, Proceedings: University of Magdeburg, Faculty of Computer Science, Preprint No. 4, 1996, pp. 57-72.

• Nested Transactions in a Logical Language for Active Rules. Bertram Ludäscher, Wolfgang May, Georg Lausen; Intl. Workshop on Logic in Databases (LID'96), July 1-3, 1996. San Miniato, Italy, LNCS 1154, Springer, pp. 197-222.

• A Tableau Calculus For First-Order Branching Time Logic. Wolfgang May, Peter H. Schmitt; International Conference on Formal and Applied Practical Reasoning (FAPR'96), June 3-7, 1996. Bonn, Germany, LNCS 1085, Springer, pp. 399-413.

• Protokollverifikation in Temporallogik: Evolving Algebras und ein Tableaukalkül. Wolfgang May; Diploma Thesis, Fakultät für Informatik, Universität Karlsruhe, February, 1995.