Homes
 -  homepage
 -  affiliations

Research (en)
 -  Publications
 -  Interests

Peirce's Graphs (en)
 -  Readings
 -  Moving pics
 -  MS 145

Über mich (ge)
 -  Lebenslauf
 -  Tagungen
 -  Vorträge
 -  Lehre

Dr. Frithjof Dau

Publications

    Monographs and Proceedings:

  1. Frithjof Dau: The Logic System of Concept Graphs with Negations (And its Relationship to Predicate Logic)
    PhD-Thesis. Series 'Lecture Notes in Artificial Intelligence', Volume LNCS 2892, Springer-Verlag, Heidelberg-Berlin, 2003.

  2. Frithjof Dau, Marie Laure Mugner, Gerd Stumme (eds.): Conceptual Structures: Common Semantics for Sharing Knowledge.
    Proceedings of the 13th International Conference on Conceptual Structures. Lecture Notes in Computer Science, Vol. 3596, ISBN 3-540-2773-8, Springer-Verlag, Heidelberg-Berlin, 2005.

  3. Frithjof Dau, Marie Laure Mugner, Gerd Stumme (eds.): Common Semantics for Sharing Knowledge: Contributions to ICCS 2005.
    Supplementary proceedings of the 13th International Conference on Conceptual Structures. Kassel University Press, ISBN 3-89958-138-5, 2005.

    Invited Bookchapters and Journal Articles:

  4. Frithjof Dau, Peter Eklund: A Diagrammatic Reasoning System for the Description Logic ALC
    To be published in the Journal of Visual Languages and Computing, Elsevier.
    pdf-file

  5. Frithjof Dau: Ligatures in Peirce's Existential Graphs
    To appear in a special issue `Peircean diagrammatical logic' of Semiotika, Elsevier, edited by Joao Queiroz and Frederik Stjernfelt.
    pdf-file

  6. Frithjof Dau: Formal, Diagrammatic Logic with Conceptual Graphs
    To appear 2008 in a book `Conceptual Structures in Practice', Editors Pascal Hitzler and Henrik Scharfe, CRC Press (Chapman and Hall/Taylor & Francis Group)
    pdf-file

    Peer-Reviewed Conference Publications

  7. Frithjof Dau, Peter Eklund: A Diagrammatic Reasoning System for ALC.
    In Zhang, Z., Siekmann, J.~H. (eds): Knowledge Science, Engineering and Management, Second International Conference, KSEM 2007, p.~39--51. Lecture Notes in Computer Science, Vol. 4798, ISBN 978-3-540-76718-3, Springer-Verlag, Heidelberg-Berlin, 2007.
    pdf-file

  8. Frithjof Dau, Peter Eklund: A Peirce-style calculus for ALC.
    In Philip Cox, P.;Fish, A.; Howse, J. (eds.): Proceedings of the VLL workshop on Visual Languages and Logic.
    Coeur d'Alene, Idaho, USA, 23rd September 2007
    CEUR workshop proceedings, VOL-274, ISSN 1613-0073

    Comment: This paper has been reviewed by four reviewers, though the publication in the proceedings did for none of the submitted papers depend on the result of the respective reviews. The four results for my paper are 5, 4, 4 and n/a (1-poor to 5-excellent) with expertises 4, 3, 3 und n/a (1-low to 4-high).

  9. Frithjof Dau, Mark Sifer: A Formalism for Navigating and Editing XML Document Structure.
    In Bhalla, S. (Ed.): Databases in Networked Information Systems (DNIS)
    October 17 - 19, 2007, University of Aizu, Japan.
    Lecture Notes in Computer Science, Vol. 4777, ISBN 978-3-540-75511-1 Springer-Verlag, Heidelberg-Berlin, 2007.
    pdf-file

  10. Frithjof Dau: Constants and Functions in Peirce's Existential Graphs.
    In Priss, U.; Polovina, S.; Hill, R. (eds): Conceptual Structures: Knowledge Architectures for Smart Applications
    Proceedings of the 15th International Conference on Conceptual Structures.
    Lecture Notes in Computer Science, Vol. 4604, ISBN 978-3-540-73680-6, Springer-Verlag, Heidelberg-Berlin, 2007.
    pdf-file

  11. Frithjof Dau: RDF as Graph-Based, Diagrammatic Logic
    In Esposito, F.; Ras, Z.W.; Malerba, D.; Semeraro, G. (eds.): Foundations of Intelligent Systems
    16th International Symposium, ISMIS 2006.
    LNCS, Vol. 4203, 3-540-45764-X,. Springer-Verlag, Heidelberg-Berlin, 2006.
    pdf-file

  12. Frithjof Dau: The Role of Existential Graphs in Peirce's Philosophy
    In: Øhrstrøm, P.; Schärfe, H.; Hitzler, P.\ (eds.): Conceptual Structures: Inspiration and Application: Contributions to ICCS 2006-
    ISBN: 87-7307-768-2, Aalborg University Press, Aalborg, Denmark.
    pdf-file

  13. Frithjof Dau: Some Notes on Proofs with Alpha Graphs
    In: Øhrstrøm, P.; Schärfe, H.; Hitzler, P.\ (eds.): Conceptual Structures: Inspiration and Application,
    Lecture Notes in Computer Science, Vol. 3874, 3-540-35893-5, Springer-Verlag, Heidelberg-Berlin, 2006.
    Proceedings of 14th International Conference on Conceptual Structures, Aalborg, Denmark.
    pdf-file

  14. Frithjof Dau: Fixing Shin's Reading Algorithm for Peirce's Existential Graphs
    In: Barker-Plummer, D.; Cox, R.; Swoboda, N.\ (eds.): Diagrammatic Representation and Inference.
    Lecture Notes in Computer Science, Vol. 4045, ISBN: 3-540-35623-1. Springer-Verlag, Heidelberg-Berlin, 2006.
    Proceedings of Diagrams 2006 - Fourth International Conference on the Theory and Application of Diagrams, Stanford, USA, June 28-30, 2006.
    pdf-file

  15. Frithjof Dau, Joachim Hereth Correia: Two Instances of Peirce's Reduction Thesis
    In: Missaoui, R., Schmid, J. (eds.): Formal Concept Analysis.
    Lecture Notes in Computer Science, Vol. 3874, ISBN 3-540-32203-5, Springer-Verlag, Heidelberg-Berlin, 2006.
    Proceedings of 4th International Conference on Formal Concept Analysis (ICFCA 2006), Dresden, Germany, Feburary 13-17, 2006.
    pdf-file

  16. Frithjof Dau: Variables in Concept Graphs
    In: Dau, F.; Mugnier, M.-L., Stumme, G.\ (eds.): Conceptual Structures: Common Semantics for Sharing Knowledge, p 152--165.
    Lecture Notes in Computer Science, Vol. 3596, ISBN 3-540-2773-8, Springer-Verlag, Heidelberg-Berlin, 2005.
    13th International Conference on Conceptual Structures, ICCS 2005, Kassel, July 18-22, Germany, Proceedings.
    pdf-file

  17. Frithjof Dau: Types and Tokens for Logic with Diagrams: A Mathematical Approach.
    In: Pfeiffer, H. D.; Wolff, K. E. (eds.): Conceptual Struchtures at Work.
    Lecture Notes in Computer Science, Springer-Verlag, Heidelberg-Berlin, 2004.
    12th International Conference on Conceptual Structures, ICCS 2004, Huntsville, Alabama, USA, Proceedings.
    Springer-Verlag, Heidelberg-Berlin, 2004.
    pdf-file

  18. Frithjof Dau: Query Graphs with Cuts: Mathematical Foundations.
    In: Blackwell, A; Marriott, K.; Shimojima, A. (eds.) Diagrammatic Representation and Inference.
    Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004, Proceedings
    Lecture Notes in Artificial Intelligence, VOL. 2980. ISBN: 3-540-21268-X
    Springer-Verlag, Heidelberg-Berlin, 2004, p. 32-50.
    pdf-file (extended version)

  19. Frithjof Dau: Background Knowledge in Concept Graphs.
    In: Eklund, P. (Ed.): Concept Lattices
    Second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004, Proceedings
    Lecture Notes in Artificial Intelligence, VOL. 2961. ISBN: 3-540-21043-1
    Springer-Verlag, Heidelberg-Berlin, 2004, 411 p.
    pdf-file

  20. Frithjof Dau, Joachim Hereth Correia: Nested Concept Graphs: Mathematical Foundations and Applications for Databases.
    In: Ganter, B.; de Moor, A. (eds.): Using Conceptual Structures. Contributions to ICCS 2003.
    Shaker Verlag, Aachen, 2003, 125 pp.
    Preprint 2298
    Note: This paper is a merger of Nested Concept Graphs: Mathematical Foundations. and Nested Concept Graphs: Applications for Databases.

  21. Frithjof Dau: Concept Graphs without Negations: Standardmodels and Standardgraphs.
    In: Moor, A. de; Lex, W.; Ganter, B., (eds.): Conceptual Structures for Knowledge Creation and Communication.
    11th International Conference on Conceptual Structures, ICCS 2003, Dresden, Germany, Proceedings.
    Springer-Verlag, Heidelberg-Berlin, 2003. Extended version.
    pdf-file

  22. Frithjof Dau, Julia Klinger: From Formal Concept Analysis to Contextual Logic.
    In Stumme, G.\ (Ed.): Formal Concept Analysis: The State of the Art, p 81--100.
    First International Conference on Formal Concept Analysis, Darmstadt, Germany, February 27-March 1, 2003, Proceedings.
    Lecture Notes in Computer Science, Vol. 3626. ISBN 3-540-27891-5, Springer-Verlag, Heidelberg-Berlin, 2005.
    pdf-file

  23. Frithjof Dau: An Embedding of Existential Graphs into Concept Graphs with Negations.
    In: Priss, U.,Corbett, D:, Angelova, G.\ (eds.): Conceptual Structures: Integration and Interfaces.
    10th International Conference on Conceptual Structures, ICCS 2002, Borovets, Bulgaria, July 15-July 19, 2002, Proceedings.
    Springer-Verlag, Heidelberg-Berlin, 2002, 326 pp.
    pdf-file

  24. Frithjof Dau: Concept Graphs and Predicate Logic.
    In: Delugach, H.S.; Stumme, G. (eds.): Conceptual Structures: Broadening the Base.
    9th International Conference on Conceptual Structures, ICCS 2001, Stanford, CA, USA, July 30-August 3, 2001, Proceedings.
    Lecture Notes in Artificial Intelligence, VOL. 2120. ISBN: 3-540-42344-3.
    Springer-Verlag, Heidelberg-Berlin, 2001, 72 pp.
    pdf-file

  25. Frithjof Dau: Negations in Simple Concept Graphs.
    In: Ganter, B.; Mineau, G.W. (eds.): Conceptual Structures: Logical, Linguistic, and Computational Issues.
    8th International Conference on Conceptual Structures, ICCS 2000 Darmstadt, Germany, August 14-18, 2000 Proceedings.
    Lecture Notes in Artificial Intelligence, VOL. 1867. ISBN: 3-540-67859-X.
    Springer-Verlag, Heidelberg-Berlin, 2000, 263 pp.
    pdf-file

  26. Frithjof Dau, Rudolf Wille: On the Modal Understanding of Triadic Contexts
    In: R. Decker, W. Gaul (eds.): Classification and Information Processing at the Turn of the Millenium.
    Proceedings of the 23rd Annual Conference of the GfKl, University of Bielefeld, March 10-14, 1999.
    Series: Studies in Classification, Data Analysis, and Knowledge Organization. ISBN: 3-540-67589-2.
    Springer-Verlag, Heidelberg-Berlin, 2000, p. 83-91.
    Preprint 2162    pdf-file

  27. Frithjof Dau: Implications of Properties Concerning Complementation in Finite Lattices
    In: Contributions to General Algebra 12, Proceedings of the Vienna Conference, June 3-6, 1999
    Verlag Johannes Heyn, Klagenfurt 2000.
    Preprint 2163

    Submitted Papers

  28. Mark Sifer, Frithjof Dau, Helen Hasan, Kate Crawford, Yardena Peres, Yoelle Maarek: Xeena for Schema: Creating XML Documents with a Coordinated Grammar Tree View
    Submitted to the Journal of Visual Languages and Computing, Elsevier.

  29. Frithjof Dau: Rhetorical Structures for Formal, Diagrammatic Logics Based on Mathematical Graphs
    Will be submitted to Diagrams 2008.

  30. Frithjof Dau, Andrew Fish: Conceptual Spider Diagrams
    Submitted to the International Conference on Conceptual Structures 2008.

  31. Jon Ducrou, Frithjof Dau, Peter Eklund: Concept Similarity and Related Category Navigation in SearchSleuth
    Will be submitted to the International Conference on Conceptual Structures 2008.

    Technical Reports

  32. Frithjof Dau: Concept Graphs with Cuts as Diagrammatic First Order Logic.
    Overview over my PhD-thesis. Technical Report.
    pdf-file

  33. Frithjof Dau: Mathematical Logic with Diagrams - Based on the Existential Graphs of Peirce.
    planned habilitation thesis, preliminary version.
    compressed pdf-file (3.2 MB)   uncompressed pdf-file (4.5 MB)

  34. Frithjof Dau, Joachim Hereth Correia: Nested Concept Graphs: Mathematical Foundations.
    Technical Report.
    pdf-file

  35. Frithjof Dau, Joachim Hereth Correia: Nested Concept Graphs: Applications for Databases.
    Technical Report.
    pdf-file


Dr. Frithjof Dau
dau (at) dr-dau (dot) net
University of Wollongong
Wollongong, 2522 N.S.W., Australia
Letzte Änderung / last change: 2008-01-09