SOUND SUMMARIZATIONS FOR ALCHI ONTOLOGIES - How to Speedup Instance Checking and Instance Retrieval

Sebastian Wandelt, Ralf Möller

Abstract

In the last years, the vision of the Semantic Web fostered the interest in reasoning over ever larger sets of assertional statements in ontologies. In this senario, state-of-the-art description logic reasoning systems cannot deal with real-world ontologies any longer, since they rely on in-memory structures. In these scenarios it will become more important to rely on unsound or incomplete reasoning structures, to obtain a set of candidates/obvious solutions to queries, i.e. only apply state-of-the-art reasoning systems to the computationally hard solutions. In this paper we propose a summarization-based approach which is always sound, but possibly incomplete. We think that this technique will support description logic systems to deal with the steadily growing amounts of assertional data.

References

  1. Baader, F., Calvanese, D., McGuinness, D. L., Nardi, D., and Patel-Schneider, P. F. (2007). The Description Logic Handbook. Cambridge University Press, New York, NY, USA.
  2. Bechhofer, S., Volz, R., and Lord, P. (2003). Cooking the Semantic Web with the OWL API.
  3. Fokoue, A., Kershenbaum, A., Ma, L., Patel, C., Schonberg, E., and Srinivas, K. (2006). Using Abstract Evaluation in ABox Reasoning. In SSWS 2006, pages 61-74, Athens, GA, USA.
  4. Guo, Y. and Heflin, J. (2006). A Scalable Approach for Partitioning OWL Knowledge Bases. In SSWS 2006, Athens, GA, USA.
  5. Guo, Y., Pan, Z., and Heflin, J. (2005). Lubm: A benchmark for owl knowledge base systems. J. Web Sem., 3(2- 3):158-182.
  6. Haarslev, V. and Möller, R. (2001). Description of the RACER System and its Applications. In Proceedings International Workshop on Description Logics (DL2001), Stanford, USA, 1.-3. August, pages 131-141.
  7. Wandelt, S. (2008). Partitioning owl knowledge bases - revisited and revised. In Description Logics.
Download


Paper Citation


in Harvard Style

Wandelt S. and Möller R. (2010). SOUND SUMMARIZATIONS FOR ALCHI ONTOLOGIES - How to Speedup Instance Checking and Instance Retrieval . In Proceedings of the 2nd International Conference on Agents and Artificial Intelligence - Volume 1: ICAART, ISBN 978-989-674-021-4, pages 656-661. DOI: 10.5220/0002762206560661


in Bibtex Style

@conference{icaart10,
author={Sebastian Wandelt and Ralf Möller},
title={SOUND SUMMARIZATIONS FOR ALCHI ONTOLOGIES - How to Speedup Instance Checking and Instance Retrieval},
booktitle={Proceedings of the 2nd International Conference on Agents and Artificial Intelligence - Volume 1: ICAART,},
year={2010},
pages={656-661},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002762206560661},
isbn={978-989-674-021-4},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 2nd International Conference on Agents and Artificial Intelligence - Volume 1: ICAART,
TI - SOUND SUMMARIZATIONS FOR ALCHI ONTOLOGIES - How to Speedup Instance Checking and Instance Retrieval
SN - 978-989-674-021-4
AU - Wandelt S.
AU - Möller R.
PY - 2010
SP - 656
EP - 661
DO - 10.5220/0002762206560661