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

   Conference - Proceedings:

3. Sebastian Rudolph, Frithjof Dau, Sergei Kuzneskov (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 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.

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

   Workshop - Proceedings:

6. Simon Andrews, Frithjof Dau (eds): Proceedings of 3rd CUBIST Workshop (CUBIST-WS-13).
   CEUR workshop proceedings, VOL-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-Vol-753, ISSN 1613-0073, 2011.
   pdf-file

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

   Patents

10. Frithjof Dau, Vidur Shailendra Bhatnagar, Nachiket Vinaya, Shailesh Borkar, Amit Kumar Singh: Visualization of Key Performance Indicator Dependencies
    Filed 2015/12/04 at USPTO, patent application number is 14/954,139

11. Frithjof Dau, Martin Knechtel: Systems and Methods for Generating Constraints for use in Access Control.
    US Patent, US 20110321154 A1

    Invited Bookchapters and Journal Articles:

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

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

14. 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/2009, 2011, Stauffenburg Verlag, Tübingen. ISBN 978-3-86057-913-8
    pdf-file

15. 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, November 2010
    pdf-file

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

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

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

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

20. Frithjof Dau, Martin Knechtel: Access Policy Design Supported by FCA Methods
    In: Sebastian Rudolph, Frithjof Dau, Sergei Kuzneskov (eds): 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

21. Frithjof Dau: The Advent of Formal Diagrammatic Reasoning Systems
    Invited talk
    In Ferre, 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

22. Frithjof Dau, Jon Ducrou, Peter W. Eklund: Concept Similarity and Related Categories in SearchSleuth
    In Eklund, P. W.; Haemmerle, 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

23. Frithjof Dau, Andrew Fish: Conceptual Spider Diagrams
    In Eklund, P. W.; Haemmerle, 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

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

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

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

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

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

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

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

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

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

33. Frithjof Dau: Types and Tokens for Logic with Diagrams: A Mathematical Approach.
    Invited talk
    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

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

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

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

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

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

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

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

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

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

43. 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    pdf-file

    Workshop Papers

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

45. 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-Vol-1004, ISSN 1613-0073, 2013.
    pdf-file

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

47. 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 6999 Springer 2011, ISBN 978-3-642-24573-2
    pdf-file

48. 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, pp. 11-22. ISSN: 1613-0073
    pdf-file

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

50. Frithjof Dau, Andreas Konzag: Management von Entwicklungsinformationen und Produktdaten als eine Grundlage zur Erhöhung der Qualität von Fahrzeugkonzepten
    In Gerhard Heyer (editor): 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

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

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

Technical Reports

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

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

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

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