Daniel Borchmann

According to our database, Daniel Borchmann authored at least 27 papers between 2009 and 2020.

Collaborative distances:

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

2020

Probably approximately correct learning of Horn envelopes from queries.

Daniel Borchmann, Tom Hanika, Sergei Obiedkov

Discret. Appl. Math., 2020

2017

Individuality in Social Networks.

Daniel Borchmann, Tom Hanika

Proceedings of the Formal Concept Analysis of Social Networks, 2017

NextClosures: parallel computation of the canonical base with background knowledge.

Francesco Kriegel, Daniel Borchmann

Int. J. Gen. Syst., 2017

The Identity Problem in Description Logic Ontologies and Its Application to View-Based Information Hiding.

Franz Baader, Daniel Borchmann, Adrian Nuradiansyah

Proceedings of the Semantic Technology - 7th Joint International Conference, 2017

Implications and Dependencies Between Attributes.

Bernhard Ganter, Rudolf Wille, Daniel Borchmann, Juliane Prochaska

Proceedings of the Formal Concept Analysis - 14th International Conference, 2017

On the Usability of Probably Approximately Correct Implication Bases.

Daniel Borchmann, Tom Hanika, Sergei Obiedkov

Proceedings of the Formal Concept Analysis - 14th International Conference, 2017

Preliminary Results on the Identity Problem in Description Logic Ontologies.

Franz Baader, Daniel Borchmann, Adrian Nuradiansyah

Proceedings of the 30th International Workshop on Description Logics, 2017

2016

Axiomatisation of general concept inclusions from finite interpretations.

Daniel Borchmann, Felix Distel, Francesco Kriegel

J. Appl. Non Class. Logics, 2016

Some Experimental Results on Randomly Generating Formal Contexts.

Daniel Borchmann, Tom Hanika

Proceedings of the Thirteenth International Conference on Concept Lattices and Their Applications, 2016

2015

Abstract Attribute Exploration with Partial Object Descriptions.

Daniel Borchmann, Bernhard Ganter

CoRR, 2015

Exploring Faulty Data.

Daniel Borchmann

Proceedings of the Formal Concept Analysis - 13th International Conference, 2015

NextClosures: Parallel Computation of the Canonical Base.

Francesco Kriegel, Daniel Borchmann

Proceedings of the Twelfth International Conference on Concept Lattices and Their Applications, 2015

2014

Learning terminological knowledge with high confidence from erroneous data.

Daniel Borchmann

PhD thesis, 2014

Fast algorithms for implication bases and attribute exploration using proper premises.

Uwe Ryssel, Felix Distel, Daniel Borchmann

Ann. Math. Artif. Intell., 2014

Attribute Exploration with Proper Premises and Incomplete Knowledge Applied to the Free Radical Theory of Ageing.

Johannes Wollbold, Rüdiger Köhling, Daniel Borchmann

Proceedings of the Formal Concept Analysis - 12th International Conference, 2014

Towards an FCA-based Recommender System for Black-Box Optimization.

Josefine Asmus, Daniel Borchmann, Ivo F. Sbalzarini, Dirk Walther

Proceedings of the 3rd International Workshop "What can FCA do for Artificial Intelligence"? co-located with the European Conference on Artificial Intelligence (ECAI 2014), 2014

Learning Terminological Knowledge with High Confidence from Erroneous Data.

Daniel Borchmann

Proceedings of the 8th Joint Workshop of the German Research Training Groups in Computer Science, 2014

2013

Experience Based Nonmonotonic Reasoning.

Daniel Borchmann

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

Axiomatizing ε<i>L</i>⊥-expressible terminological knowledge from erroneous data.

Daniel Borchmann

Proceedings of the 7th International Conference on Knowledge Capture, 2013

Towards an Error-Tolerant Construction of $\mathcal{EL}^\bot$ -Ontologies from Data Using Formal Concept Analysis.

Daniel Borchmann

Proceedings of the Formal Concept Analysis, 2013

Axiomatizing Confident EL^bot_gfp-General Concept Inclusions in the Presence of Untrusted Individuals.

Daniel Borchmann

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

2012

A General Form of Attribute Exploration

Daniel Borchmann

CoRR, 2012

Deciding Entailment of Implications with Support and Confidence in Polynomial Space

Daniel Borchmann

CoRR, 2012

A Generalized Next-Closure Algorithm - Enumerating Semilattice Elements from a Generating Set.

Daniel Borchmann

Proceedings of The Ninth International Conference on Concept Lattices and Their Applications, 2012

2011

Mining of EL-GCIs.

Daniel Borchmann, Felix Distel

Proceedings of the Data Mining Workshops (ICDMW), 2011

Fast Computation of Proper Premises.

Uwe Ryssel, Felix Distel, Daniel Borchmann

Proceedings of The Eighth International Conference on Concept Lattices and Their Applications, 2011

2009

Concept Lattice Orbifolds - First Steps.

Daniel Borchmann, Bernhard Ganter

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