Sound summarizations for ALCHI ontologies: How to speedup instance checking and instance retrieval

ICAART 2010 - 2nd International Conference on Agents and Artificial Intelligence, Proceedings

Volumn 1, Issue , 2010, Pages 656-661

  Wandelt, Sebastian ^a   Möller, Ralf ^a  

^a HAMBURG UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

Description logics; Ontologies; Reasoning; Scalability

Indexed keywords

DESCRIPTION LOGIC; INSTANCE RETRIEVAL; MEMORY STRUCTURE; REAL-WORLD; REASONING; REASONING SYSTEM;

ARTIFICIAL INTELLIGENCE; DATA DESCRIPTION; SCALABILITY; SEMANTIC WEB;

ONTOLOGY;

EID: 77956272230     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (7)

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 Sent., 3(2-3):158-182.
6. Haarslev, V. and Moller, 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.
7. Wandelt, S. (2008). Partitioning owl knowledge bases - revisited and revised. In Description Logics.