A Dissimilarity Measure for ALC Concept Descriptions

Claudia d'Amato Nicola Fanizzi Floriana Esposito Hisham M. Haddad A Dissimilarity Measure for ALC Concept Descriptions Proceedings of the 2006 ACM Symposium on Applied Computing (SAC 2006), April 23-27, 2006, Dijon, France 1695–1699 2006 http://doi.acm.org/10.1145/1141277.1141677 ACM, New York, NY, USA 1-59593-108-2 Franz Baader Bernhard Ganter Baris Sertkaya Ulrike Sattler Manuela M. Veloso Completing Description Logic Knowledge Bases Using Formal Concept Analysis. IJCAI 230-235 2007 http://owled2007.iut-velizy.uvsq.fr/PapersPDF/submission_5.pdf conf/ijcai/2007 Alexander Borgida Thomas Walsh Haym Hirsh Ian Horrocks and Ulrike Sattler and Frank Wolter Towards Measuring Similarity in Description Logics. Proceedings of the 2005 International Workshop on Description Logics (DL2005), July 26-28, 2005, Edinburgh, Scotland, UK 2005 147 http://www.ceur-ws.org/Vol-147/25-BorgidaEtAl.pdf CEUR-WS.org CEUR Workshop Proceedings William W. Cohen Haym Hirsh Jon Doyle and Erik Sandewall and Pietro Torasso Learning the CLASSIC Description Logic: Theoretical and Experimental Results Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94), May 24-27, 1994, Bonn, Germany 121–133 1994 Morgan-Kauffman Publishers, San Francisco, CA, USA Nicola Fanizzi Claudia d'Amato Bruno Apolloni and Robert J. Howlett and Lakhmi C. Jain Inductive Concept Retrieval and Query Answering with Semantic Knowledge Bases Through Kernel Methods Proceedings of the 11th International Conference on Knowledge-Based Intelligent Information and Engineering Systems (KES 2007), XVII Italian Workshop on Neural Networks, 148–155 2007 4692 http://dx.doi.org/10.1007/978-3-540-74819-9_19 Springer, Berlin–Heidelberg, Germany Lecture Notes in Computer Science Nicola Fanizzi Claudia d'Amato Floriana Esposito and Zbigniew W. Ras and Donato Malerba and Giovanni Semeraro A Declarative Kernel for ALC Concept Descriptions Foundations of Intelligent Systems, 16th International Symposium, 322-331 2006 4203 http://dx.doi.org/10.1007/11875604_37 Springer 3-540-45764-X Lecture Notes in Computer Science Nicola Fanizzi Luigi Iannone Ignazio Palmisano Giovanni Semeraro Concept Formation in Expressive Description Logics 99–110 2004 Proceedings of the 15th European Conference on Machine Learning, September 20-24, 2004, Pisa, Italy http://www.springerlink.com/content/vlerunkldapg3avv Springer, Berlin–Heidelberg, Germany Boris Motik Reasoning in Description Logics using Resolution and Deductive Databases 2006 January Universität Karlsruhe (TH), Karlsruhe, Germany Sebastian Rudolph Relational Exploration - Combining Description Logics and Formal Concept Analysis for Knowledge Specification 2006 DEC \urlhttp://hsss.slub-dresden.de/documents/1172682174599-1228/1172682174599-1228.pdf Universitätsverlag Karlsruhe Dissertation Franz Baader and Diego Calvanese and Deborah McGuinness and Daniele Nardi and Peter Patel-Schneider

Cambridge, UK

The Description Logic Handbook: Theory, Implementation and Applications 2003 Cambridge University Press