%0 
%0 Conference Proceedings
%A d'Amato, Claudia; Fanizzi, Nicola & Esposito, Floriana
%D 2006
%T A Dissimilarity Measure for ALC Concept Descriptions
%E Haddad, Hisham M.
%B Proceedings of the 2006 ACM Symposium on Applied Computing (SAC 2006), April 23-27, 2006, Dijon, France
%C 
%I ACM, New York, NY, USA
%V 
%6
%N 
%P 1695--1699
%& 
%Y 
%S 
%7
%8 
%9
%? 
%! 
%Z 
%@ 1-59593-108-2
%(
%)
%*
%L
%M
%1 
%2 
%3 inproceedings
%4 
%# 
%$ 
%F amato06dissimilarity
%K dl similarity 
%X 
%Z 
%U http://doi.acm.org/10.1145/1141277.1141677
%+
%^

%0 
%0 Conference Proceedings
%A Baader, Franz; Ganter, Bernhard; Sertkaya, Baris & Sattler, Ulrike
%D 2007
%T Completing Description Logic Knowledge Bases Using Formal Concept Analysis.
%E Veloso, Manuela M.
%B IJCAI
%C 
%I 
%V 
%6
%N 
%P 230-235
%& 
%Y 
%S 
%7
%8 
%9
%? 
%! 
%Z 
%@ 
%(
%)
%*
%L
%M
%1 
%2 
%3 inproceedings
%4 conf/ijcai/2007
%# 
%$ 
%F baader07completing
%K FCA OntologyHandbook analysis concept description dl fca formal logics 
%X 
%Z 
%U http://owled2007.iut-velizy.uvsq.fr/PapersPDF/submission_5.pdf
%+
%^

%0 
%0 Conference Proceedings
%A Borgida, Alexander; Walsh, Thomas & Hirsh, Haym
%D 2005
%T Towards Measuring Similarity in Description Logics.
%E Horrocks, Ian; Sattler, Ulrike & Wolter, Frank
%B Proceedings of the 2005 International Workshop on Description Logics (DL2005), July 26-28, 2005, Edinburgh, Scotland, UK
%C 
%I CEUR-WS.org
%V 147
%6
%N 
%P 
%& 
%Y 
%S CEUR Workshop Proceedings
%7
%8 
%9
%? 
%! 
%Z 
%@ 
%(
%)
%*
%L
%M
%1 
%2 
%3 inproceedings
%4 
%# 
%$ 
%F borgida05similarity
%K dl similarity 
%X 
%Z 
%U http://www.ceur-ws.org/Vol-147/25-BorgidaEtAl.pdf
%+
%^

%0 
%0 Conference Proceedings
%A Cohen, William W. & Hirsh, Haym
%D 1994
%T Learning the CLASSIC Description Logic: Theoretical and Experimental Results
%E Doyle, Jon; Sandewall, Erik & Torasso, Pietro
%B Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94), May 24-27, 1994, Bonn, Germany
%C 
%I Morgan-Kauffman Publishers, San Francisco, CA, USA
%V 
%6
%N 
%P 121--133
%& 
%Y 
%S 
%7
%8 
%9
%? 
%! 
%Z 
%@ 
%(
%)
%*
%L
%M
%1 
%2 
%3 inproceedings
%4 
%# 
%$ 
%F cohen94learningclassic
%K DL ml 
%X 
%Z 
%U 
%+
%^

%0 
%0 Conference Proceedings
%A Fanizzi, Nicola & d'Amato, Claudia
%D 2007
%T Inductive Concept Retrieval and Query Answering with Semantic Knowledge Bases Through Kernel Methods
%E Apolloni, Bruno; Howlett, Robert J. & Jain, Lakhmi C.
%B Proceedings of the 11th International Conference on Knowledge-Based Intelligent Information and Engineering Systems (KES 2007), XVII Italian Workshop on Neural Networks, 
%C 
%I Springer, Berlin--Heidelberg, Germany
%V 
%6
%N 
%P 148--155
%& 
%Y 
%S Lecture Notes in Computer Science
%7
%8 
%9
%? 
%! 
%Z 
%@ 
%(
%)
%*
%L
%M
%1 
%2 
%3 inproceedings
%4 
%# 
%$ 
%F fanizzi07inductive
%K dl kernels ontology similarity 
%X 
%Z 
%U http://dx.doi.org/10.1007/978-3-540-74819-9_19
%+
%^

%0 
%0 Conference Proceedings
%A Fanizzi, Nicola & d'Amato, Claudia
%D 2006
%T A Declarative Kernel for ALC Concept Descriptions
%E Esposito, Floriana; Ras, Zbigniew W.; Malerba, Donato & Semeraro, Giovanni
%B Foundations of Intelligent Systems, 16th International Symposium,
%C 
%I Springer
%V 4203
%6
%N 
%P 322-331
%& 
%Y 
%S Lecture Notes in Computer Science
%7
%8 
%9
%? 
%! 
%Z 
%@ 3-540-45764-X
%(
%)
%*
%L
%M
%1 
%2 
%3 inproceedings
%4 
%# 
%$ 
%F fanizzi06declarative
%K dl kernels ontology similarity 
%X 
%Z 
%U http://dx.doi.org/10.1007/11875604_37
%+
%^

%0 
%0 Conference Proceedings
%A Fanizzi, Nicola; Iannone, Luigi; Palmisano, Ignazio & Semeraro, Giovanni
%D 2004
%T Concept Formation in Expressive Description Logics
%E 
%B 
%C 
%I Springer, Berlin--Heidelberg, Germany
%V 
%6
%N 
%P 99--110
%& 
%Y 
%S 
%7
%8 
%9
%? 
%! 
%Z 
%@ 
%(
%)
%*
%L
%M
%1 
%2 
%3 inproceedings
%4 
%# 
%$ 
%F fanizzi04conceptformation
%K dl ilp 
%X 
%Z 
%U http://www.springerlink.com/content/vlerunkldapg3avv
%+
%^

%0 
%0 Thesis
%A Motik, Boris
%D 2006
%T Reasoning in Description Logics using Resolution and Deductive Databases
%E 
%B 
%C 
%I Universität Karlsruhe (TH), Karlsruhe, Germany
%V 
%6
%N 
%P 
%& 
%Y 
%S 
%7
%8 January
%9 
%? 
%! 
%Z 
%@ 
%(
%)
%*
%L
%M
%1 
%2 
%3 phdthesis
%4 
%# 
%$ 
%F motik06phd
%K dl kaon2 reasoning 
%X 
%Z 
%U 
%+
%^

%0 
%0 Book
%A Rudolph, Sebastian
%D 2006
%T Relational Exploration - Combining Description Logics and Formal Concept Analysis for Knowledge Specification
%E 
%B 
%C 
%I Universitätsverlag Karlsruhe
%V 
%6
%N 
%P
%& 
%Y 
%S 
%7 
%8 DEC
%9
%? 
%! 
%Z 
%@ 
%(
%)
%*
%L
%M
%1 
%2 
%3 book
%4 
%# 
%$ 
%F rudolph2006relational
%K analysis attribute begriffsanalyse concept description dl exploration fca formal formale logics relational 
%X 
%Z Dissertation
%U \url{http://hsss.slub-dresden.de/documents/1172682174599-1228/1172682174599-1228.pdf}
%+
%^

%0 
%0 Book
%A 
%D 2003
%T The Description Logic Handbook: Theory, Implementation and Applications
%E Baader, Franz; Calvanese, Diego; McGuinness, Deborah; Nardi, Daniele & Patel-Schneider, Peter
%B 
%C Cambridge, UK
%I Cambridge University Press
%V 
%6
%N 
%P
%& 
%Y 
%S 
%7 
%8 
%9
%? 
%! 
%Z 
%@ 
%(
%)
%*
%L
%M
%1 
%2 
%3 book
%4 
%# 
%$ 
%F baader03dlhandbook
%K DL 
%X 
%Z 
%U 
%+
%^