| P |
Grosof, B.; Horrocks, I.; Volz, R. & Decker, S.
(2003):
Description Logic Programs: Combining Logic Programs with Description Logics.
In: Proc. of WWW-2003,
Budapest, Hungary.
[BibTeX][Endnote]
@inproceedings{Grosof2003,
author = {Grosof, Benjamin and Horrocks, Ian and Volz, Raphael and Decker, Stefan},
title = {Description Logic Programs: Combining Logic Programs with Description Logics},
booktitle = {Proc. of WWW-2003},
address = {Budapest, Hungary},
year = {2003},
keywords = {dl}
}
%0 = inproceedings
%A = Grosof, Benjamin and Horrocks, Ian and Volz, Raphael and Decker, Stefan
%B = Proc. of WWW-2003
%C = Budapest, Hungary
%D = 2003
%T = Description Logic Programs: Combining Logic Programs with Description Logics
|
| P |
Haarslev, V. & Moller, R.
(2001):
Description of the RACER System and its Applications.
In: Proceedings of the 2001 International Workshop on Description Logics (DL-2001),
[Volltext]
[BibTeX][Endnote]
@inproceedings{racer,
author = {Haarslev, Volker and Moller, Ralf},
title = {Description of the RACER System and its Applications},
editor = {et al, D. L. McGuinness},
booktitle = {Proceedings of the 2001 International Workshop on Description Logics (DL-2001)},
publisher = {CEUR Workshop Proceedings},
year = {2001},
url = {citeseer.ist.psu.edu/article/haarslev01description.html},
keywords = {racer, dl, application}
}
%0 = inproceedings
%A = Haarslev, Volker and Moller, Ralf
%B = Proceedings of the 2001 International Workshop on Description Logics (DL-2001)
%D = 2001
%I = CEUR Workshop Proceedings
%T = Description of the RACER System and its Applications
%U = citeseer.ist.psu.edu/article/haarslev01description.html
|
| P |
Cohen, W. W. & Hirsh, H.
(1994):
Learning the Classic Description Logic: Theoretical and Experimental Results..
In: KR,
[Volltext]
[BibTeX][Endnote]
@inproceedings{conf/kr/CohenH94,
author = {Cohen, William W. and Hirsh, Haym},
title = {Learning the Classic Description Logic: Theoretical and Experimental Results.},
booktitle = {KR},
year = {1994},
pages = {121-133},
url = {http://www.cs.cmu.edu/~wcohen/postscript/kr-94.ps},
isbn = {1-55860-554-1},
keywords = {learning, logic, description, machine, ml, dl}
}
%0 = inproceedings
%A = Cohen, William W. and Hirsh, Haym
%B = KR
%D = 1994
%T = Learning the Classic Description Logic: Theoretical and Experimental Results.
%U = http://www.cs.cmu.edu/~wcohen/postscript/kr-94.ps
|
| J |
Cohen, W. W. & Hirsh, H.
(1994):
The Learnability of Description Logics with Equality Constraints..
In: Machine Learning,
Ausgabe/Number: 2-3,
Vol. 17,
Erscheinungsjahr/Year: 1994.
Seiten/Pages: 169-199.
[Volltext] [BibTeX]
[Endnote]
@article{journals/ml/CohenH94,
author = {Cohen, William W. and Hirsh, Haym},
title = {The Learnability of Description Logics with Equality Constraints.},
journal = {Machine Learning},
year = {1994},
volume = {17},
number = {2-3},
pages = {169-199},
url = {http://www.cs.cmu.edu/~wcohen/postscript/kr-94.ps},
keywords = {learning, logic, description, machine, ml, dl}
}
%0 = article
%A = Cohen, William W. and Hirsh, Haym
%D = 1994
%T = The Learnability of Description Logics with Equality Constraints.
%U = http://www.cs.cmu.edu/~wcohen/postscript/kr-94.ps
|