Practical Reasoning for Expressive Description Logics

From Tetherless World Wiki

Jump to: navigation, search

\begin{bibtex} @inproceedings{DBLP:conf/lpar/HorrocksST99, title={Practical Reasoning for Expressive Description Logics}, pages={161-180}, year={1999}, crossref={DBLP:conf/lpar/1999}, booktitle={LPAR}, url={http://www.informatik.uni-trier.de/~ley/db/conf/lpar/lpar99.html#HorrocksST99}, author={Ian Horrocks and Ulrike Sattler and Stephan Tobies} }\end{bibtex}

Retrieved from "http://tw.rpi.edu/wiki/Practical_Reasoning_for_Expressive_Description_Logics"
Personal tools