Homes
 -  homepage
 -  affiliations

Research (en)
 -  Publications
 -  Interests

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

Zeman's sites:
 -  Existential Graphs
 -  C.S. Peirce

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

Dr. Frithjof Dau

Publications

    Monographs:

  1. Frithjof Dau: Mathematical Logic with Diagrams – Based on the Existential Graphs of Peirce.
    Unpublished. pdf-file (4.5 MB)

  2. 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 LNAI 2892, Springer-Verlag, Heidelberg-Berlin, 2003.

    Conference - Proceedings:

  3. Sebastian Rudolph, Frithjof Dau, Sergei Kuznetsov (eds.): Conceptual Structures: Leveraging Semantic Technologies.
    Proceedings of the 17th International Conference on Conceptual Structures. Lecture Notes in Computer Science, Vol. 5662, ISBN 3-642-03078-5, Springer-Verlag, Heidelberg-Berlin, 2009.

  4. Frithjof Dau, Marie-Laure Mugnier, 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-27783-8, Springer-Verlag, Heidelberg-Berlin, 2005.

  5. Frithjof Dau, Marie-Laure Mugnier, 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.

    Workshop - Proceedings:

  6. Simon Andrews, Frithjof Dau (eds.): Proceedings of 3rd CUBIST Workshop (CUBIST-WS-13).
    CEUR workshop proceedings, Vol-1004, ISSN 1613-0073, 2013.
    pdf-file

  7. Simon Andrews, Frithjof Dau (eds.): Proceedings of 2nd CUBIST Workshop (CUBIST-WS-12).
    KULeuven Press, ISBN 9789081409933, 2012.
    pdf-file

  8. Frithjof Dau (ed.): Proceedings of 1st CUBIST Workshop.
    CEUR workshop proceedings, Vol-753, ISSN 1613-0073, 2011.
    pdf-file

  9. Sebastian Rudolph, Frithjof Dau, Sergei Kuznetsov (eds.): Conceptual Structures: Leveraging Semantic Technologies.
    Supplementary Proceedings of the 17th International Conference on Conceptual Structures
    CEUR workshop proceedings, Vol-483, ISSN 1613-0073, 2009.
    pdf-file

    Patents

  10. Frithjof Dau, Martin Knechtel: Systems and Methods for Generating Constraints for use in Access Control.
    Filed 2010/06/25 at USPTO, patent issued 2013/02 (US Patent 8,381,285).

    Invited Bookchapters and Journal Articles:

  11. Frithjof Dau: Towards Scalingless Generation of Formal Contexts from an Ontology in a Triple Store
    International Journal of Conceptual Structures and Smart Applications, Volume 1, Issue 1, p. 18–38. IGI Global, 2013.
    pdf-file

  12. Frithjof Dau, Jon Ducrou, Peter Eklund: Concept Similarity and Related Categories in Information Retrieval using Formal Concept Analysis
    International Journal of General Systems, Volume 41, Issue 8, p. 826–846. Taylor & Francis Group, 2012.
    pdf-file

  13. Frithjof Dau: Die Ikonizität der Peirceschen Existentiellen Graphen aus der Sicht der Formalen Logik
    In: Roland Posner, Stephan Debus (eds.): Zeitschrift für Semiotik, Volume 31, Issue 3-4 (Diagrammatische Zeichen), p. 381–395. Stauffenburg Verlag, Tübingen, 2009. ISBN 978-3-86057-913-8
    pdf-file

  14. Mark Sifer, Frithjof Dau, Helen Hasan, Kate Crawford, Yardena Peres, Yoelle Maarek: Xeena for Schema: Creating XML Documents with a Coordinated Grammar Tree View
    In International Journal of Computational Science and Engineering, Volume 5, Issue 2, Inderscience Publishers, November 2010.
    pdf-file

  15. Frithjof Dau, Peter Eklund: A Diagrammatic Reasoning System for the Description Logic ALC
    Journal of Visual Languages and Computing, Vol. 19, Issue 5, p. 539–573. Elsevier, 2008.
    pdf-file

  16. Frithjof Dau: Ligatures in Peirce's Existential Graphs
    In: Joao Queiroz and Frederik Stjernfelt (eds.): Diagrammatical reasoning and Peircean logic representations.
    Semiotica, Volume 2011, Issue 186, p. 89–109. De Gruyter, August 2011. ISSN (Online) 1613-3692, ISSN (Print) 0037-1998, DOI: 10.1515/semi.2011.047

  17. Frithjof Dau: Formal, Diagrammatic Logic with Conceptual Graphs
    In Pascal Hitzler and Henrik Scharfe (eds.): Conceptual Structures in Practice. CRC Press (Chapman and Hall/Taylor & Francis Group), 2009.
    pdf-file

    Peer-Reviewed Conference Publications

  18. Frithjof Dau: Semantic Technologies for Enterprises.
    Invited talk
    In: Andrews, S.; Polovina, S.; Hill, R.; Akhgar, B. (eds.): Conceptual Structures for Discovering Knowledge - Proceedings of the 19th International Conference on Conceptual Structures (ICCS) 2011. LNAI 6828. Berlin: Springer. p. 50–62, 2011.
    pdf-file

  19. Frithjof Dau, Martin Knechtel: Access Policy Design Supported by FCA Methods
    In: Sebastian Rudolph, Frithjof Dau, Sergei Kuznetsov (eds.): Conceptual Structures: Leveraging Semantic Technologies.
    Proceedings of the 17th International Conference on Conceptual Structures. Lecture Notes in Computer Science, Vol. 5662, p. 141–154. ISBN 3-642-03078-5, Springer-Verlag, Heidelberg-Berlin, 2009.
    pdf-file

  20. Frithjof Dau: The Advent of Formal Diagrammatic Reasoning Systems
    Invited talk
    In Ferré, S.; Rudolph, S. (eds.): Formal Concept Analysis, 7th International Conference, ICFCA 2009, p. 38–56. LNCS, Vol. 5548, ISBN 3-642-01814-9. Springer-Verlag, Heidelberg-Berlin, 2009.
    pdf-file

  21. Frithjof Dau, Jon Ducrou, Peter W. Eklund: Concept Similarity and Related Categories in SearchSleuth
    In Eklund, P. W.; Haemmerlé, O. (eds.): Conceptual Structures: Knowledge Visualization and Reasoning, 16th International Conference on Conceptual Structures, p. 255–268. LNCS, Vol. 5113, ISBN 978-3-540-70595-6, Springer-Verlag, Heidelberg-Berlin, 2008.
    pdf-file

  22. Frithjof Dau, Andrew Fish: Conceptual Spider Diagrams
    In Eklund, P. W.; Haemmerlé, O. (eds.): Conceptual Structures: Knowledge Visualization and Reasoning, 16th International Conference on Conceptual Structures, p. 104–118.
    LNCS, Vol. 5113, ISBN 978-3-540-70595-6, Springer-Verlag, Heidelberg-Berlin, 2008.
    pdf-file

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

  24. Frithjof Dau, Mark Sifer: A Formalism for Navigating and Editing XML Document Structure.
    In Bhalla, S. (ed.): Databases in Networked Information Systems (DNIS), p. 96–114.
    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

  25. 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, p. 429–442.
    Lecture Notes in Computer Science, Vol. 4604, ISBN 978-3-540-73680-6, Springer-Verlag, Heidelberg-Berlin, 2007.
    pdf-file

  26. 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, p. 332–337.
    LNCS, Vol. 4203, ISBN 3-540-45764-X, Springer-Verlag, Heidelberg-Berlin, 2006.
    pdf-file

  27. 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, p. 28–41.
    ISBN 87-7307-768-2, Aalborg University Press, Aalborg, Denmark, 2006.
    pdf-file

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

  29. 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, p. 88–92.
    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

  30. Frithjof Dau, Joachim Hereth Correia: Two Instances of Peirce's Reduction Thesis
    In: Missaoui, R.; Schmid, J. (eds.): Formal Concept Analysis, p. 105–118.
    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, February 13–17, 2006.
    pdf-file

  31. 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-27783-8, Springer-Verlag, Heidelberg-Berlin, 2005.
    13th International Conference on Conceptual Structures, ICCS 2005, Kassel, Germany, July 18–22, 2005, Proceedings.
    pdf-file

  32. Frithjof Dau: Types and Tokens for Logic with Diagrams: A Mathematical Approach.
    Invited talk
    In: Pfeiffer, H. D.; Wolff, K. E. (eds.): Conceptual Structures at Work, p. 62–93.
    12th International Conference on Conceptual Structures, ICCS 2004, Huntsville, Alabama, USA, Proceedings.
    Lecture Notes in Computer Science, Vol. 3127, ISBN 3-540-22392-4, Springer-Verlag, Heidelberg-Berlin, 2004.
    pdf-file

  33. 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)

  34. Frithjof Dau: Background Knowledge in Concept Graphs.
    In: Eklund, P. (ed.): Concept Lattices, p. 156–171.
    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.
    pdf-file

  35. 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, p. 133–150.
    ISBN 3-8322-1705-3, Shaker Verlag, Aachen, 2003.
    Preprint 2298
    Note: This paper is a merger of Nested Concept Graphs: Mathematical Foundations. and Nested Concept Graphs: Applications for Databases.

  36. 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, p. 243–256.
    11th International Conference on Conceptual Structures, ICCS 2003, Dresden, Germany, Proceedings.
    LNCS, Vol. 2746, ISBN 3-540-40576-3, Springer-Verlag, Heidelberg-Berlin, 2003. (pdf-file: extended version)
    pdf-file

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

  38. 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, p. 326–339.
    10th International Conference on Conceptual Structures, ICCS 2002, Borovets, Bulgaria, July 15–19, 2002, Proceedings.
    LNCS, Vol. 2393, ISBN 3-540-43901-3, Springer-Verlag, Heidelberg-Berlin, 2002.
    pdf-file

  39. Frithjof Dau: Concept Graphs and Predicate Logic.
    In: Delugach, H.S.; Stumme, G. (eds.): Conceptual Structures: Broadening the Base, p. 72–87.
    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.
    pdf-file

  40. Frithjof Dau: Negations in Simple Concept Graphs.
    In: Ganter, B.; Mineau, G.W. (eds.): Conceptual Structures: Logical, Linguistic, and Computational Issues, p. 263–276.
    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.
    pdf-file

  41. 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–94.
    Preprint 2162    pdf-file

  42. Frithjof Dau: Implications of Properties Concerning Complementation in Finite Lattices
    In: Dorninger, D. (ed.): Contributions to General Algebra 12, Proceedings of the Vienna Conference, June 3–6, 1999, p. 145–154.
    ISBN 3-85366-951-4, Verlag Johannes Heyn, Klagenfurt, 2000.
    Preprint 2163    pdf-file

    Workshop Papers

  43. Frithjof Dau, Simon Andrews: Combining Business Intelligence with Semantic Technologies: The CUBIST Project
    In Nathalie Hernandez, Robert Jäschke, Madalina Croitoru (eds.): Proceedings of 21st International Conference on Conceptual Structures, ICCS 2014. LNCS 8577, Berlin: Springer, p. 281–286, 2014.
    pdf-file

  44. Frithjof Dau: An Implementation for Fault Tolerance and Experimental Results
    In Simon Andrews, Frithjof Dau (eds.): The 3rd CUBIST Workshop (CUBIST-WS-13), p. 21–30.
    CEUR workshop proceedings, Vol-1004, ISSN 1613-0073, 2013.
    pdf-file

  45. Frithjof Dau: Towards Scalingless Generation of Formal Contexts from an Ontology in a Triple Store
    In Simon Andrews, Frithjof Dau (eds.): The 2nd CUBIST Workshop (CUBIST-WS-12), p. 21–32.
    KULeuven Press, ISBN 9789081409933, 2012.
    pdf-file

  46. Frithjof Dau, Baris Sertkaya: Formal Concept Analysis for Qualitative Data Analysis over Triple Stores
    Proceedings of the first MoreBI Workshop. In: Olga De Troyer, Claudia Bauzer Medeiros, Roland Billen, Pierre Hallot, Alkis Simitsis, Hans Van Mingroot (Eds.): Advances in Conceptual Modeling. Recent Developments and New Directions – ER 2011 Workshops FP-UML, MoRE-BI, Onto-CoM, SeCoGIS, Variability@ER, WISM, Brussels, Belgium, October 31–November 3, 2011. Proceedings. LNCS, Vol. 6999, Springer, ISBN 978-3-642-24573-2, 2011.
    pdf-file

  47. Frithjof Dau, Baris Sertkaya: An Extension of ToscanaJ for FCA-based Data Analysis over Triple Stores
    In: Dau, F. (ed.): Proceedings of the first CUBIST workshop, at ICCS 2011, Derby, UK, July 2011. CEUR Workshop Proceedings, Vol-753, p. 11–22, ISSN 1613-0073, 2011.
    pdf-file

  48. Andreas Konzag, Frithjof Dau: Bereitstellung unstrukturierter Daten und Verknüpfung mit strukturierten Daten in der Konzeptentwicklung von Automobilen
    In Proceedings of 21st Symposium on Design for X
    TuTech Verlag Hamburg, 2010/09
    pdf-file

  49. Frithjof Dau, Andreas Konzag: Management von Entwicklungsinformationen und Produktdaten als eine Grundlage zur Erhöhung der Qualität von Fahrzeugkonzepten
    In Gerhard Heyer (ed.): Proceedings of QAA 2010 (Text- und Data Mining für die Qualitätsanalyse in der Automobilindustrie)
    Leipziger Beiträge zur Informatik (Sonderheft), 2010.
    pdf-file

  50. Martin Knechtel, Jan Hladik, Frithjof Dau: Using OWL DL Reasoning to decide about authorization in RBAC
    In Catherine Dolbear, Alan Ruttenberg, Uli Sattler (eds.): OWLED '08: Proceedings of the OWLED 2008 Workshop on OWL: Experiences and Directions.
    CEUR workshop proceedings, Vol-432, ISSN 1613-0073, 2008.

  51. Frithjof Dau, Peter Eklund: A Peirce-style calculus for ALC.
    In Philip Cox, Andrew Fish, John Howse (eds.): Proceedings of the VLL workshop on Visual Languages and Logic, p. 55–71.
    Coeur d'Alene, Idaho, USA, 23rd September 2007
    CEUR workshop proceedings, Vol-274, ISSN 1613-0073, 2007.

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

    52. Technical Reports

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

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

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

  55. Frithjof Dau: Der Boolesche Primidealsatz.
    Diploma Thesis. University of Hannover, 1994.
    pdf-file


Dr. Frithjof Dau
Dresden, Germany
Letzte Änderung / last change: 2026-11-02