Publications

Boris Motik. Reasoning in Description Logics using Resolution and Deductive Databases. 2006. [BibSonomy: dl kaon2 reasoning]

Nicola Fanizzi and Luigi Iannone and Ignazio Palmisano and Giovanni Semeraro. Concept Formation in Expressive Description Logics. Proceedings of the 15th European Conference on Machine Learning, September 20-24, 2004, Pisa, Italy, 99--110,Springer, Berlin--Heidelberg, Germany,2004. [BibSonomy: dl ilp] URL

Nicola Fanizzi and Claudia d'Amato. Inductive Concept Retrieval and Query Answering with Semantic Knowledge Bases Through Kernel Methods. In Bruno Apolloni and Robert J. Howlett and Lakhmi C. Jain, editor(s), Proceedings of the 11th International Conference on Knowledge-Based Intelligent Information and Engineering Systems (KES 2007), XVII Italian Workshop on Neural Networks,, 4692:148--155,Springer, Berlin--Heidelberg, Germany,2007. [BibSonomy: dl kernels ontology similarity] URL

Nicola Fanizzi and Claudia d'Amato. A Declarative Kernel for ALC Concept Descriptions. In Floriana Esposito and Zbigniew W. Ras and Donato Malerba and Giovanni Semeraro, editor(s), Foundations of Intelligent Systems, 16th International Symposium,, (4203):322-331,Springer,2006. [BibSonomy: dl kernels ontology similarity] URL

Franz Baader and Bernhard Ganter and Baris Sertkaya and Ulrike Sattler. Completing Description Logic Knowledge Bases Using Formal Concept Analysis.. In Manuela M. Veloso, editor(s), IJCAI, 230-235,2007. [BibSonomy: FCA OntologyHandbook analysis concept description dl fca formal logics] URL

Sebastian Rudolph. Relational Exploration - Combining Description Logics and Formal Concept Analysis for Knowledge Specification. Universitätsverlag Karlsruhe,2006. [BibSonomy: analysis attribute begriffsanalyse concept description dl exploration fca formal formale logics relational] URL

Claudia d'Amato and Nicola Fanizzi and Floriana Esposito. A Dissimilarity Measure for ALC Concept Descriptions. In Hisham M. Haddad, editor(s), Proceedings of the 2006 ACM Symposium on Applied Computing (SAC 2006), April 23-27, 2006, Dijon, France, 1695--1699,ACM, New York, NY, USA,2006. [BibSonomy: dl similarity] URL

William W. Cohen and Haym Hirsh. Learning the CLASSIC Description Logic: Theoretical and Experimental Results. In Jon Doyle and Erik Sandewall and Pietro Torasso, editor(s), Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94), May 24-27, 1994, Bonn, Germany, 121--133,Morgan-Kauffman Publishers, San Francisco, CA, USA,1994. [BibSonomy: DL ml]

Alexander Borgida and Thomas Walsh and Haym Hirsh. Towards Measuring Similarity in Description Logics.. In Ian Horrocks and Ulrike Sattler and Frank Wolter, editor(s), Proceedings of the 2005 International Workshop on Description Logics (DL2005), July 26-28, 2005, Edinburgh, Scotland, UK, (147)CEUR-WS.org,2005. [BibSonomy: dl similarity] URL

The Description Logic Handbook: Theory, Implementation and Applications. In Franz Baader and Diego Calvanese and Deborah McGuinness and Daniele Nardi and Peter Patel-Schneider, editor(s), Cambridge University Press,Cambridge, UK,2003. [BibSonomy: DL]