Efficient Reasoning with Range and Domain Constraints

From Tetherless World Wiki

Jump to: navigation, search

\begin{bibtex} @inproceedings{DBLP:conf/dlog/TsarkovH04, title={Efficient Reasoning with Range and Domain Constraints}, year={2004}, crossref={DBLP:conf/dlog/2004}, booktitle={Description Logics}, ee={http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS//Vol-104/05Tsarkow-final.pdf}, url={http://www.informatik.uni-trier.de/~ley/db/conf/dlog/dlog2004.html#TsarkovH04}, author={Dmitry Tsarkov and Ian Horrocks} }\end{bibtex}

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