%0 
%0 Conference Proceedings
%A Grosof, Benjamin; Horrocks, Ian; Volz, Raphael & Decker, Stefan
%D 2003
%T Description Logic Programs: Combining Logic Programs with Description Logics
%E 
%B Proc. of WWW-2003
%C Budapest, Hungary
%I 
%V 
%6
%N 
%P 
%& 
%Y 
%S 
%7
%8 05
%9
%? 
%! 
%Z 
%@ 
%(
%)
%*
%L
%M
%1 
%2 
%3 inproceedings
%4 
%# 
%$ 
%F Grosof2003
%K dl
%X 
%Z 
%U 
%+
%^

%0 
%0 Conference Proceedings
%A Haarslev, Volker & Moller, Ralf
%D 2001
%T Description of the RACER System and its Applications
%E et al, D. L. McGuinness
%B Proceedings of the 2001 International Workshop on Description Logics (DL-2001)
%C 
%I CEUR Workshop Proceedings
%V 
%6
%N 
%P 
%& 
%Y 
%S 
%7
%8 
%9
%? 
%! 
%Z 
%@ 
%(
%)
%*
%L
%M
%1 
%2 
%3 inproceedings
%4 
%# 
%$ 
%F racer
%K racer, dl, application
%X 
%Z 
%U citeseer.ist.psu.edu/article/haarslev01description.html
%+
%^

%0 
%0 Conference Proceedings
%A Cohen, William W. & Hirsh, Haym
%D 1994
%T Learning the Classic Description Logic: Theoretical and Experimental Results.
%E 
%B KR
%C 
%I 
%V 
%6
%N 
%P 121-133
%& 
%Y 
%S 
%7
%8 
%9
%? 
%! 
%Z 
%@ 1-55860-554-1
%(
%)
%*
%L
%M
%1 
%2 dblp
%3 inproceedings
%4 
%# 
%$ 
%F conf/kr/CohenH94
%K learning, logic, description, machine, ml, dl
%X 
%Z 
%U http://www.cs.cmu.edu/~wcohen/postscript/kr-94.ps
%+
%^

%0 
%0 Journal Article
%A Cohen, William W. & Hirsh, Haym
%D 1994
%T The Learnability of Description Logics with Equality Constraints.
%E 
%B Machine Learning
%C 
%I 
%V 17
%6
%N 2-3
%P 169-199
%& 
%Y 
%S 
%7
%8 
%9
%? 
%! 
%Z 
%@ 
%(
%)
%*
%L
%M
%1 
%2 dblp
%3 article
%4 
%# 
%$ 
%F journals/ml/CohenH94
%K learning, logic, description, machine, ml, dl
%X 
%Z 
%U http://www.cs.cmu.edu/~wcohen/postscript/kr-94.ps
%+
%^