Hauptseminar Softwaretechnologie

  "Modellierung und das Semantische Web"

WS 2004/05
Prof. Dr. U. Aßmann, Dr. B. Demuth

Einführung

In jüngster Zeit gewinnen die Sprachen des Semantischen Webs (http://www.w3c.org) Bedeutung für die Modellierung von Anwendungsgebieten (Domänenmodelle, Fachmodelle) und Softwaresystemen (Anforderungen, Entwurf). In diesem Seminar werden verschiedene Sprachen erarbeitet, anfangend bei XML, RDF(S), OWL, RuleML. Daneben werden Grundlagen vorgestellt (Facetten, Description Logic, Datalog). Teilnehmende Studenten sollten mehrere Papiere studieren, einen Vortrag sowie eine Seminararbeit ausarbeiten.

Das Seminar ist in den grösseren Zusammenhang eines europäischen Forschungsnetzwerkes gestellt, REWERSE (Reasoning on the Semantic Web, http://www.rewerse.net). In diesem Netzwerk forscht der Lehrstuhl ST an neuen Komponentenmodellen für Regelsprachen auf dem Web. Prof. Dr. Aßmann ist Vorsitzender der Arbeitsgruppe I3 „Composition and Typing“.

Organisatorisches:

• Donnerstag 2. DS,  Dürerstr. Raum 238

• Das erste Hauptseminar findet am 21.10.2004 statt.

• Die Einschreibung in das Hauptseminar ist ab sofort über www.jexam.de möglich. Es sind 12 Seminarplätze zu vergeben.

• Die Vorträge werden mit Video-Kamera augenommen und können auf CD gebrannt werden. Jeder Vortragende sollte hierfür zum jeweiligen Termin einen CD-Rohling bereitstellen!

• Hinweise zum Anfertigen und Halten von Vorträgen

Themen:

(This link page is courtesy to Dr. Patrick Lambrix and Prof. Jan Maluczinski, Linköping University, Sweden.)

1. 21.10.2004  Introduction to the Semantic Web and RDF. (Vortragender: Herr Gastmeier, Mentor  Prof. Aßmann)
   

   • See links at: http://www.disobey.com/detergent/2002/sw123/.

2. 28.10.2004 XML Query Sprachen. (Vortragender: Herr Kubis, Mentor:)
   

   • Francois Bry, Bernhard Lorenz, Hans Jurgen Ohlbach, Stephanie Spranger. On Reasoning on Time and Location on the Web, citeseer.ist.psu.edu/633638.html

   • F. Bry and S. Schaffert. Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification. Proceedings of the Intl. Conf. on Logic Programming (ICLP02), Copenhagen/Denmark, LNCS 2401, Springer-Verlag, 2002, http://citeseer.ist.psu.edu/bry02towards.html

   • Francois Bry, Sacha Berger, and Sebastian Schaffrt. Xcerpt and visXcerpt: From Pattern-Based to Visual Querying of XML and Semistructured Data. In Proceedings of the 29 Intl. Conference on Very Large Databases (VLDB03), Germany, 2003. http://citeseer.ist.psu.edu/bry03xcerpt.html

3.  4.11.2004 Introduction to Ontologies  (Vortragender: Herr Liebau, Mentor: Dr. B. Demuth) 

   • DAML home page: http://www.daml.org.

   • OWL: Language Overview, Language Guide, Language Reference

   • OntoWeb Consortium home page: http://www.ontoweb.org/

   • Applications of ontologies and ontology languages: The European network REWERSE www.rewerse.net

     • Personalization, Bioinformatics

4. 11.11.2004 Description logics and the web (Vortragender: Herr Skubch, Mentor: S. Zschaler)

   • Description logics home page: http://dl.kr.org/

   • Francesco Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf. Reasoning in Description Logics. Principles of Knowledge Representation and Reasoning, ed. G. Brewka, Studies in Logic, Language and Information, CLSI Publications, 1996.

   • Ian Horrocks, Ulrike Sattler. Ontology reasoning in the SHOQ(D) description logic. International Joint Conference on Artificial Intelligence, 2001.

   • Chris Welty. The Ontological Nature of Subject Taxonomies. Formal Ontology in Information Systems, 1998

   • Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, Peter Patel-Schneider. The Description Logic Handbook. Cambridge University Press. 2003. ISBN: 0521781760.

5. 18.11.2004 RDF(S)  (Vortragender: Herr Niederhausen, Mentor: Dr. B. Demuth) 

   • Stefan Decker, Prasenjit Mitra, Sergey Melnik. An RDF Tutorial. IEEE Internet Computing. Nov-Dec 2000, pp 68-73.

   • RDF Primer: http://www.w3.org/TR/rdf-primer/

   • RDF Vocabulary Description Language 1.0: RDF Schema: http://www.w3.org/TR/rdf-schema/

   • RDF home page: http://www.w3.org/RDF/

   • RDF has a model theoretic semantics, see the official document: http://www.w3.org/TR/rdf-mt/.

   • RDF tutorial: http://www.xfront.com/rdf/

6.   25.11.2004 Ontology tools I (Vortragender: Herr Gärtner, Mentor: Herr F. Kumichel)

   • OilEd home page: http://oiled.man.ac.uk/

   • Protégé home page: http://protege.stanford.edu/index.html

   • Chimaera home page: http://www.ksl.stanford.edu/software/chimaera/.

   • OntoWeb Consortium home page: http://www.ontoweb.org/

   • Dieter Fensel, Asunción Gómes Pérez. A survey of ontology tools. OntoWeb Deliverable 1.3.

   • Patrick Lambrix, Manal Habbouche, and Marta Pérez. Evaluation of ontology engineering tools for bioinformatics. Bioinformatics 19(12):1564-1571, 2003.

7. 2.12.2004 Ontology tools II (Vortragender: Herr Polowinski, Mentor: F. Kumichel)

8. 9.12.2004 Ontology integration  (Vortragender: Herr Frau Eisenblätter, Mentor: F. Kumichel; Vortrag)

   • Patrick Lambrix, Anna Edberg. Evaluation of ontology merging tools in bioinformatics. Pacific Symposium on Biocomputing, 2003.

   • Deborah McGuinness, Richard Fikes, Jim Rice, and Steve Wilder. An environment for merging and testing large ontologies. Seventh International Conference on Principles of Knowledge Representation and Reasoning, pp 483-493, 2000.
     Available from the Chimaera home page: http://www.ksl.stanford.edu/software/chimaera/.

   • Eduardo Mena, Arantza Illarramendi, Vipul Kashyap, Amit Sheth. OBSERVER: An Approach for Query Processing in Global Information Systems based on Interoperation across Pre-existing Ontologies. Conference on Cooperative Information Systems, 2000.

   • Natalya Fridman Noy, Mark Musen. PROMPT: Algorithm and Tool for Automated Ontology Merging and Alignment. Seventeenth National Conference on Artificial Intelligence, 2000.
     PROMPT: http://protege.stanford.edu/plugins/prompt/prompt.html

   • Natalya Fridman Noy, Mark Musen. Anchor-PROMPT: Using Non-Local Context for Semantic Matching. IJCAI2001 Workshop on Ontologies and Information Sharing, 2001.

9. 16.12.2004 Description Logics and information retrieval (Vortragender: Herr Fröde, Mentor: F. Kumichel)

   • Carlo Meghini, Fabrizio Sebastiani, Umberto Straccia. A model of multimedia information retrieval. Journal of the ACM, 48(5):909-970, 2001.

   • Carlo Meghini, Fabrizio Sebastiani, Umberto Straccia, Costantino Thanos. A Model of Information Retrieval based on a Terminological Logic. 16th ACM International Conference on Research and Development in Information Retrieval. 1993.

   • Fabrizio Sebastiani. A probabilistic terminological logic for modelling information retrieval. 17th ACM International Conference on Research and Development in Information Retrieval. 1994.

   • Patrick Lambrix, Lin Padgham. Conceptual Modeling in a Document Management Environment using Part-of Reasoning in Description Logics. Data & Knowledge Engineering, 32(1):51-86, 2000.

   • Patrick Lambrix, Nahid Shahmehri. Querying Documents using Content, Structure and Properties. Journal of Intelligent Information Systems, 15(3):287-307, 2000.

10. 6.1.2005?? Web services I (Vortragender: Herr Körner, Mentor: Prof. Aßmann)

    • Web Services Activity Statement: http://www.w3c.org/2002/ws/Activity.

    • Web service glossary: http://www.w3c.org/TR/ws-gloss/.

    • DAML Services (DAML-S): http://www.daml.org/services/.

    • Dieter Fensel, Chris Bussler. The Web Service Modeling Framework WSMF. Electronic Commerce Research and Applications, 1(2), 2002.

11. 13.01.2005 Description Logics and information retrieval (Vortragender: Herr Fröde, Mentor: F. Kumichel)

    • Carlo Meghini, Fabrizio Sebastiani, Umberto Straccia. A model of multimedia information retrieval. Journal of the ACM, 48(5):909-970, 2001.

    • Carlo Meghini, Fabrizio Sebastiani, Umberto Straccia, Costantino Thanos. A Model of Information Retrieval based on a Terminological Logic. 16th ACM International Conference on Research and Development in Information Retrieval. 1993.

    • Fabrizio Sebastiani. A probabilistic terminological logic for modelling information retrieval. 17th ACM International Conference on Research and Development in Information Retrieval. 1994.

    • Patrick Lambrix, Lin Padgham. Conceptual Modeling in a Document Management Environment using Part-of Reasoning in Description Logics. Data & Knowledge Engineering, 32(1):51-86, 2000.

    • Patrick Lambrix, Nahid Shahmehri. Querying Documents using Content, Structure and Properties. Journal of Intelligent Information Systems, 15(3):287-307, 2000.

12. 20.1.2005?? Rules and the Web (Vortragender: Herr Kopcsek, Mentor: S. Zschaler)

    • Benjamin Grosof, Ian Horrocks, Raphael Volz, Stefan Decker. Description logic programs: combining logic programs with description logic. Twelfth International World Wide Web Conference, 2003.

    • Michael Sintek, Stefan Decker TRIPLE--A Query, Inference, and Transformation Language for the Semantic Web. International Semantic Web Conference, 2002.

    • TRIPLE home page: http://triple.semanticweb.org/.

13. 27.1.2005 ?? Rules and the Web II (Vortragender: Herr Keller, Mentor: S. Zschaler)

    • PROVA

      • A. Kozlenkov and M. Schroeder. PROVA: Rule-based Java-Scripting for a Bioinformatics Semantic Web. In E. Rahm, editor, International Workshop on Data Integration in the Life Sciences, Leipzig, Germany, in Lecture Notes in Computer Science, Springer-Verlag, vol. 2994, pp. 17—30, 2004.

      • PROVA home page with language manual and other guides http://comas.soi.city.ac.uk/prova/downloads.html

    • Jena http://jena.sourceforge.net/documentation.html

      • RDQL, a query language for RDF

14. 3.2.2004 ?? Modelling applications in an ontology development process: UML, OWL, and MDA (Vortragender: Herr Stölzel, Mentor: Dr. B. Demuth)

    • The SWEDE tool www.swede.org

      • J. Lövdahl. Towards a visual editing environment for the languages of the semantic web. Master's thesis. Linköpings universitet. 2002.

    • Dragan Djuric, Dragan Gasevic, Vladan Devedzic, Violeta Damjanovic. A UML profile for OWL ontologies. Model-Driven Architecture- Foundations and Applications (MDAFA) 2004, Linköping

    • MDA Guide. Http://www.omg.org/mda http://www.omg.org/docs/omg/03-06-01.pdf

    
    

Reserve

1. F-Logic and the Web

   • Michael Kifer, Georg Lausen, James Wu. Logical Foundations of Object Oriented Frame Based Languages. Journal of the ACM 42:741-843, 1995.

   • FLORA, http://flora.sourceforge.net/.

Teilnehmer: