On the Scalability of Description Logic Instance Retrieval Export

@article{Haarslev08, abstract = {Abstract\ \ Practical description logic systems play an ever-growing role for knowledge representation and reasoning research even in distributed environments. In particular, the ontology layer of the often-discussed semantic web is based on description logics (DLs) and defines important challenges for current system implementations. The article introduces and evaluates optimization techniques for the instance retrieval problem w.r.t. the description logic , which covers large parts of the Web Ontology Language (OWL). We demonstrate that sound and complete query engines for OWL-DL can be built for practically significant query classes. Experience with ontologies derived from database content has shown that it is often necessary to effectively solve instance retrieval problems with respect to huge amounts of data descriptions that make up major parts of ontologies. We present and analyze the main results about how to address this kind of scalability problem.}, author = {Haarslev, Volker and M\"{o}ller, Ralf}, citeulike-article-id = {3615133}, citeulike-linkout-0 = {http://dx.doi.org/10.1007/s10817-008-9104-7}, citeulike-linkout-1 = {http://www.springerlink.com/content/d81002w853wt4n83}, day = {1}, doi = {10.1007/s10817-008-9104-7}, journal = {Journal of Automated Reasoning}, keywords = {dl, semantic}, number = {2}, pages = {99--142}, posted-at = {2009-06-25 09:05:11}, priority = {2}, title = {On the Scalability of Description Logic Instance Retrieval}, url = {http://dx.doi.org/10.1007/s10817-008-9104-7}, volume = {41}, year = {2008} }

TY - JOUR ID - Haarslev08 L3 - citeulike-article-id:3615133 N2 - Abstract  Practical description logic systems play an ever-growing role for knowledge representation and reasoning research even in distributed environments. In particular, the ontology layer of the often-discussed semantic web is based on description logics (DLs) and defines important challenges for current system implementations. The article introduces and evaluates optimization techniques for the instance retrieval problem w.r.t. the description logic , which covers large parts of the Web Ontology Language (OWL). We demonstrate that sound and complete query engines for OWL-DL can be built for practically significant query classes. Experience with ontologies derived from database content has shown that it is often necessary to effectively solve instance retrieval problems with respect to huge amounts of data descriptions that make up major parts of ontologies. We present and analyze the main results about how to address this kind of scalability problem. IS - 2 JF - Journal of Automated Reasoning EP - 142 TI - On the Scalability of Description Logic Instance Retrieval VL - 41 SP - 99 KW - dl KW - semantic AU - Haarslev, Volker AU - Möller, Ralf PY - 2008//01/ UR - http://dx.doi.org/10.1007/s10817-008-9104-7 ER -