Island reasoning for ALCHI ontologies

Frontiers in Artificial Intelligence and Applications

Volumn 183, Issue 1, 2008, Pages 164-177

  Wandelt, Sebastian ^a   Moeller, Ralf ^a  

^a HAMBURG UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

Instance checking; Ontologies; Scalability

Indexed keywords

COMPUTER CIRCUITS; DATA DESCRIPTION; FORMAL LANGUAGES;

DESCRIPTION LOGICS REASONING; INSTANCE CHECKING; MAIN-MEMORY; MEMORY STRUCTURE; ONTOLOGY'S; REAL-WORLD; REASONING SYSTEM; SEMANTIC-WEB; SOUND AND COMPLETE; STATE OF THE ART;

ONTOLOGY;

EID: 84875949792     PISSN: 09226389     EISSN: 18798314     Source Type: Book Series    
DOI: 10.3233/978-1-58603-923-3-164     Document Type: Conference Paper

References (13)

1. Andrea Acciarri, Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Mattia Palmieri, and Riccardo Rosati. Quonto: Querying ontologies. In Manuela M. Veloso and Subbarao Kambhampati, editors, AAAI, pages 1670-1671. AAAI Press /The MIT Press, 2005.
2. J. E. Rogers A. L. Rector and P. A. Pole. The GALEN High Level Ontology. In Proceedings MIE 96, pages 174-178. IOS Press, jan 1996.
3. Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi, and Peter F. Patel-Schneider. The Description Logic Handbook. Cambridge University Press, New York, NY, USA, 2007.
4. S. Bechhofer, R. Volz, and P. Lord. Cooking the Semantic Web with the OWL API, 2003.
5. CYC. Cyc ontology (researchcyc). visited on, February 2005. retrieved from http://www.cyc.com/.
6. Achille Fokoue, Aaron Kershenbaum, Li Ma, Chintan Patel, Edith Schonberg, and Kavitha Srinivas. Using Abstract Evaluation in ABox Reasoning. In SSWS 2006, pages 61-74, Athens, GA, USA, November 2006.
7. Yuanbo Guo and Jeff Heflin. A Scalable Approach for Partitioning OWL Knowledge Bases. In SSWS 2006, Athens, GA, USA, November 2006.
8. Yuanbo Guo, Zhengxiang Pan, and Jeff Heflin. Lubm: A benchmark for owl knowledge base systems. J. Web Sem., 3(2-3):158-182, 2005.
9. M. A. Harris, J. Clark, and A. et. al. Ireland. The Gene Ontology (GO) database and informatics resource. Nucleic Acids Res, 32(Database issue), January 2004.
10. V. Haarslev and R. Möller. 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, 2001.
11. The University of Manchester. Pizza ontology. visited on, April 2008. retrieved from http://www.co-ode.org/ontologies/pizza/2007/02/12/.
12. S.Wandelt. Partitioning OWL Knowledge Bases-Revisited and Revised. In Proc. International Workshop on Description Logics, 2008.
13. S. Wandelt and R. Möller. Scalability of OWL Reasoning: Role condensates. In Proc. International Workshop on Scalable Semantic Web Systems, 2007.