The Instance Store: DL Reasoning with Large Numbers of Individuals

From Tetherless World Wiki

Jump to: navigation, search

\begin{bibtex} @inproceedings{DBLP:conf/dlog/HorrocksLTB04, title={The Instance Store: DL Reasoning with Large Numbers of Individuals}, year={2004}, crossref={DBLP:conf/dlog/2004}, booktitle={Description Logics}, ee={http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS//Vol-104/04Horrocks-final.pdf}, url={http://www.informatik.uni-trier.de/~ley/db/conf/dlog/dlog2004.html#HorrocksLTB04}, author={Ian Horrocks and Lei Li and Daniele Turi and Sean Bechhofer} }\end{bibtex}

Retrieved from "http://tw.rpi.edu/wiki/The_Instance_Store:_DL_Reasoning_with_Large_Numbers_of_Individuals"