Frithjof Dau

According to our database, Frithjof Dau authored at least 31 papers between 2000 and 2014.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2014

Combining Business Intelligence with Semantic Technologies: The CUBIST Project.

Frithjof Dau, Simon Andrews

Proceedings of the Graph-Based Representation and Reasoning, 2014

2013

Towards Scalingless Generation of Formal Contexts from an Ontology in a Triple Store.

Frithjof Dau

Int. J. Concept. Struct. Smart Appl., 2013

An Implementation for Fault Tolerance and Experimental Results.

Frithjof Dau

Proceedings of the 3rd CUBIST (Combining and Uniting Business Intelligence with Semantic Technologies) Workshop, 2013

2012

Concept similarity and related categories in information retrieval using formal concept analysis.

Peter W. Eklund, Jon Ducrou, Frithjof Dau

Int. J. Gen. Syst., 2012

2011

Semantic Technologies for Enterprises.

Frithjof Dau

Proceedings of the Conceptual Structures for Discovering Knowledge, 2011

Formal Concept Analysis for Qualitative Data Analysis over Triple Stores.

Frithjof Dau, Baris Sertkaya

Proceedings of the 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, 2011

An Extension of ToscanaJ for FCA-based Data Analysis over Triple Stores.

Frithjof Dau, Baris Sertkaya

Proceedings of the 1st CUBIST (Combining and Uniting Business Intelligence with Semantic Technologies) Workshop 2011, 2011

2010

Xeena for schema: creating XML documents with a coordinated grammar tree.

Mark Sifer, Frithjof Dau, Helen Hasan, Kate Crawford, Yardena Peres, Yoelle Maarek

Int. J. Comput. Sci. Eng., 2010

2009

The Advent of Formal Diagrammatic Reasoning Systems.

Frithjof Dau

Proceedings of the Formal Concept Analysis, 7th International Conference, 2009

Access Policy Design Supported by FCA Methods.

Frithjof Dau, Martin Knechtel

Proceedings of the Conceptual Structures: Leveraging Semantic Technologies, 2009

2008

A diagrammatic reasoning system for the description logic <i>I</i>.

Frithjof Dau, Peter W. Eklund

J. Vis. Lang. Comput., 2008

Using OWL DL Reasoning to Decide about authorization in RBAC.

Martin Knechtel, Jan Hladik, Frithjof Dau

Proceedings of the Fifth OWLED Workshop on OWL: Experiences and Directions, 2008

Conceptual Spider Diagrams.

Frithjof Dau, Andrew Fish

Proceedings of the Conceptual Structures: Knowledge Visualization and Reasoning, 2008

Concept Similarity and Related Categories in SearchSleuth.

Frithjof Dau, Jon Ducrou, Peter W. Eklund

Proceedings of the Conceptual Structures: Knowledge Visualization and Reasoning, 2008

2007

A Peirce Style Calculus for ALC.

Frithjof Dau, Peter W. Eklund

Proceedings of the VLL 2007 workshop on Visual Languages and Logic in Coeur d'Aléne, 2007

A Diagrammatic Reasoning System for <i>ALC</i>.

Frithjof Dau, Peter W. Eklund

Proceedings of the Knowledge Science, 2007

Constants and Functions in Peirce's Existential Graphs.

Frithjof Dau

Proceedings of the Conceptual Structures: Knowledge Architectures for Smart Applications, 2007

A Formalism for Navigating and Editing XML Document Structure.

Frithjof Dau, Mark Sifer

Proceedings of the Databases in Networked Information Systems, 5th International Workshop, 2007

2006

RDF as Graph-Based, Diagrammatic Logic.

Frithjof Dau

Proceedings of the Foundations of Intelligent Systems, 16th International Symposium, 2006

Two Instances of Peirce's Reduction Thesis.

Frithjof Dau, Joachim Hereth Correia

Proceedings of the Formal Concept Analysis, 4th International Conference, 2006

Some Notes on Proofs with Alpha Graphs.

Frithjof Dau

Proceedings of the Conceptual Structures: Inspiration and Application, 2006

Fixing Shin's Reading Algorithm for Peirce's Existential Graphs.

Frithjof Dau

Proceedings of the Diagrammatic Representation and Inference, 4th International Conference, 2006

2005

Variables in Concept Graphs.

Frithjof Dau

Proceedings of the Conceptual Structures: Common Semantics for Sharing Knowledge, 2005

From Formal Concept Analysis to Contextual Logic.

Frithjof Dau, Julia Klinger

Proceedings of the Formal Concept Analysis, 2005

2004

Background Knowledge in Concept Graphs.

Frithjof Dau

Proceedings of the Concept Lattices, 2004

Types and Tokens for Logic with Diagrams.

Frithjof Dau

Proceedings of the Conceptual Structures at Work: 12th International Conference on Conceptual Structures, 2004

Query Graphs with Cuts: Mathematical Foundations.

Frithjof Dau

Proceedings of the Diagrammatic Representation and Inference, 2004

2003

The Logic System of Concept Graphs with Negation And Its Relationship to Predicate Logic

Frithjof Dau

Lecture Notes in Computer Science 2892, Springer, ISBN: 3-540-20607-8, 2003

2002

An Embedding of Existential Graphs into Concept Graphs with Negations.

Frithjof Dau

Proceedings of the Conceptual Structures: Integration and Interfaces, 2002

2001

Concept Graphs and Predicate Logic.

Frithjof Dau

Proceedings of the Conceptual Structures: Broadening the Base, 2001

2000

Negations in Simple Concept Graphs.

Frithjof Dau

Proceedings of the Conceptual Structures: Logical, 2000