ML Anthology

Ontology Reasoning in the SHOQ(D) Description Logic

Ian Horrocks, Ulrike Sattler
IJCAI 2001 pp. 199-204
/ijcai/2001/horrocks2001ijcai-ontology/
Semantic Scholar

Cite

Text

Horrocks and Sattler. "Ontology Reasoning in the SHOQ(D) Description Logic." International Joint Conference on Artificial Intelligence, 2001.

Markdown

[Horrocks and Sattler. "Ontology Reasoning in the SHOQ(D) Description Logic." International Joint Conference on Artificial Intelligence, 2001.](https://mlanthology.org/ijcai/2001/horrocks2001ijcai-ontology/)

BibTeX

@inproceedings{horrocks2001ijcai-ontology,
  title     = {{Ontology Reasoning in the SHOQ(D) Description Logic}},
  author    = {Horrocks, Ian and Sattler, Ulrike},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2001},
  pages     = {199-204},
  url       = {https://mlanthology.org/ijcai/2001/horrocks2001ijcai-ontology/}
}