homeresearchpublicationstalkssoftwareother

Talks

Completing Description Logic Ontologies using Formal Concept Analysis
Bioinformatics Group, Biotechnology Center (BIOTEC), Technische Universität Dresden, Germany, August 2009. (pdf)

Towards the Complexity of Recognizing Pseudo-intents
The 17th International Conference on Conceptual Structures, (ICCS 2009), Moscow, Russia, July 2009. (pdf)

Ontology Completion with Formal Concept Analysis
SAP Research, Dresden, Germany, July 2009. (pdf)

An Overview on Description Logics
Department of Computer Engineering, Middle East Technical University, Ankara, Turkey, June 2009.(pdf)

A Protege Plugin for Completing OWL Ontologies
The 6th European Semantic Web Conference, (ESWC 2009), Heraklion, Greece, June 2009.(pdf)

Some Computational Problems Related to Pseudo-intents
The 7th International Conference on Formal Concept Analysis, (ICFCA 2009), Darmstadt, Germany, May 2009.(pdf)

Ontology Completion with OntoComP
Information Management Group, School of Computer Science, University of Manchester, Manchester, UK, May 2009.(pdf)

OntoComP System Description
International Workshop on Description Logics (DL2009), Oxford, UK, July 2009.(pdf)

Explaining user errors in description logic knowledge base completion
International Workshop on Complexity, Expressibility, and Decidability in Automated Reasoning (CEDAR'08), Sydney, Australia, May 2008. (pdf)

Explaining user errors in knowledge base completion
International Workshop on Description Logics (DL2008), Dresden, Germany, May 2008.(pdf)

On the complexity of computing generators of closed sets
The 6th International Conference on Formal Concept Analysis, (ICFCA 2008), Montreal, Canada, February 2008.(pdf)

Formal Concept Analysis Methods for Description Logics
PhD defense, Dresden, Germany, November 2007. (pdf)

Query containment for an XPath fragment
Scientific talk as part of the PhD defense, Dresden, Germany, November 2007.(pdf)

Completing description logic knowledge bases using formal concept analysis
The 3rd International Workshop OWL: Experiences and Directions (OWLED 2007), Innsbruck, Austria, June 2007. (pdf)

Computing the hierarchy of conjunctions of concept names and their negations in a description logic knowledge base using formal concept analysis
The 4th International Conference on Formal Concept Analysis, (ICFCA 2006), Dresden, Germany, February 2006. (pdf)

Computing the least common subsumer w.r.t. a background terminology
The 9th European Conference on Logics in Artificial Intelligence (JELIA 2004), Lisbon, Portugal, September 2004. (pdf)

Proof of the basic theorem on concept lattices in Isabelle/HOL
The 19th International Symposium on Computer and Information Sciences (ISCIS2004), Antalya Turkey, October 2004. (pdf)

Posters

OntoComP System Description
International Workshop on Description Logics (DL2009), Oxford, UK, July 2009.(pdf)

Explaining user errors in knowledge base completion
International Workshop on Description Logics (DL2008), Dresden, Germany, May 2008.(pdf)

Completing description logic knowledge bases using formal concept analysis
The 20th International Conference on Artificial Intelligence (IJCAI'07), Hyderabad, India, January 2007.(pdf)