Ontology Reasoning in the SHOQ(D) Description Logic
I. Horrocks, and U. Sattler. Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI 2001, Seattle, Washington, USA, August 4-10, 2001, page 199-204. Morgan Kaufmann, (2001)
%0 Conference Paper
%1 DBLP:conf/ijcai/HorrocksS01
%A Horrocks, Ian
%A Sattler, Ulrike
%B Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI 2001, Seattle, Washington, USA, August 4-10, 2001
%D 2001
%E Nebel, Bernhard
%I Morgan Kaufmann
%K OWL
%P 199-204
%T Ontology Reasoning in the SHOQ(D) Description Logic
%@ 1-55860-777-3
@inproceedings{DBLP:conf/ijcai/HorrocksS01,
added-at = {2012-03-29T18:20:07.000+0200},
author = {Horrocks, Ian and Sattler, Ulrike},
biburl = {https://www.bibsonomy.org/bibtex/2552c44ad730a3e96cc0ee8b3f971ae5c/reynares.e},
booktitle = {Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI 2001, Seattle, Washington, USA, August 4-10, 2001},
editor = {Nebel, Bernhard},
interhash = {2e1185c7993720f401179e5990a22359},
intrahash = {552c44ad730a3e96cc0ee8b3f971ae5c},
isbn = {1-55860-777-3},
keywords = {OWL},
pages = {199-204},
publisher = {Morgan Kaufmann},
timestamp = {2013-05-16T23:31:08.000+0200},
title = {Ontology Reasoning in the SHOQ(D) Description Logic},
year = 2001
}