UPDATABLE ISLAND REASONING FOR ALCHI-ONTOLOGIES

Sebastian Wandelt, Ralf Moeller

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. It is easily conjectured that, soon, real-world ontologies will not fit into main memory anymore. If this was the case, state-of-the-art description logic reasoning systems cannot deal with these ontologies any longer, since they rely on in-memory structures. We propose a way to overcome this problem by reducing instance checking for an individual in an ontology to a (usually small) relevant subsets of assertional axioms. These subsets are computed based on a partitioning-criteria. We propose a way to preserve the partitions while updating an ontology and thus enable stream like reasoning for description logic ontologies. We think that this technique can support description logic systems to deal with the upcoming large amounts of fluctuant 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. 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.
  3. Guo, Y. and Heflin, J. (2006). A Scalable Approach for Partitioning OWL Knowledge Bases. In SSWS 2006, Athens, GA, USA.
  4. Guo, Y., Pan, Z., and Heflin, J. (2005). Lubm: A benchmark for owl knowledge base systems. J. Web Sem., 3(2- 3):158-182.
  5. Haarslev, V. and Möller, R. (2001). Description of the racer system and its applications. In Proceedings International Workshop on Description Logics (DL-2001), Stanford, USA, 1.-3. August, pages 131-141.
  6. Halashek-wiener, C., Parsia, B., and Sirin, E. (2006). Description logics reasoning with syntactic updates. In In Proc. of the 5th Int. Conf. on Ontologies, Databases, and Applications of Semantics (ODBASE 2006. Sringer Verlag.
  7. Motik, B., Oberle, D., Staab, S., Studer, R., and Volz, R. (2002). Kaon server architecture. WonderWeb Deliverable D5. http://wonderweb.semanticweb.org.
  8. Motik, B., Shearer, R., and Horrocks, I. (2007). Optimized reasoning in description logics using hypertableaux. In Pfenning, F., editor, CADE, volume 4603 of Lecture Notes in Computer Science, pages 67-83. Springer.
  9. Nguyen, A. N. (2009). Distributed storage system for description logic knowledge bases. In Technical Report. http://www.sts.tu-harburg.de/ wandelt/research/NgocThesis.pdf.
  10. Stuckenschmidt, H. and Klein, M. (2004). Structure-based partitioning of large class hierarchies. In International Semantic Web Conference.
  11. Wandelt, S. and Moeller, R. (2008). Island reasoning for alchi ontologies. In Eschenbach, C. and Grninger, M., editors, FOIS, volume 183 of Frontiers in Artificial Intelligence and Applications, pages 164-177. IOS Press.
Download


Paper Citation


in Harvard Style

Wandelt S. and Moeller R. (2009). UPDATABLE ISLAND REASONING FOR ALCHI-ONTOLOGIES . In Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2009) ISBN 978-989-674-012-2, pages 48-55. DOI: 10.5220/0002298700480055


in Bibtex Style

@conference{keod09,
author={Sebastian Wandelt and Ralf Moeller},
title={UPDATABLE ISLAND REASONING FOR ALCHI-ONTOLOGIES},
booktitle={Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2009)},
year={2009},
pages={48-55},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002298700480055},
isbn={978-989-674-012-2},
}


in EndNote Style

TY - CONF
JO - Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2009)
TI - UPDATABLE ISLAND REASONING FOR ALCHI-ONTOLOGIES
SN - 978-989-674-012-2
AU - Wandelt S.
AU - Moeller R.
PY - 2009
SP - 48
EP - 55
DO - 10.5220/0002298700480055