Scalable highly expressive reasoner (SHER)

Journal of Web Semantics

Volumn 7, Issue 4, 2009, Pages 357-361

  Dolby, Julian ^a   Fokoue, Achille ^a   Kalyanpur, Aditya ^a   Schonberg, Edith ^a   Srinivas, Kavitha ^a  

^a IBM T J WATSON RESEARCH CENTER   (United States)

Author keywords

Explanations; OWL; Scalable ontology reasoner; Summarization

Indexed keywords

BREAKTHROUGH TECHNOLOGY; CONJUNCTIVE QUERIES; DATA SETS; DESCRIPTION LOGIC; LIFE-SCIENCES; OWL; OWL ONTOLOGIES; REASONER; SOURCE CODES; SYSTEM ARCHITECTURES; UNDERLYING COMPONENTS;

DATA DESCRIPTION; HEALTH CARE;

ONTOLOGY;

EID: 71649097120     PISSN: 15708268     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.websem.2009.05.002     Document Type: Article

References (10)

1. A. Acciarri, D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, M. Palmieri, R. Rosati, QuOnto: Querying Ontologies, 2005.
2. Baader F., Lutz C., and Suntisrivaraporn B. Is tractable reasoning in extensions of the description logic el useful in practice?. Proceedings of the 2005 International Workshop on Methods for Modalities (M4M-05) (2005)
3. Dolby J., Fokoue A., Kalyanpur A., Kershenbaum A., Schonberg E., Srinivas K., and Ma L. Scalable semantic retrieval through summarization and refinement. AAAI (2007)
4. J. Dolby, A. Fokoue, A. Kalyanpur, L. Ma, C. Patel, E. Schonberg, K. Srinivas, X. Sun, Efficient reasoning on large shin aboxes in relational databases, Tech. rep., IBM Research, 2008
5. Fokoue A., Kershenbaum A., Ma L., Schonberg E., and Srinivas K. The summary abox: cutting ontologies down to size. International SemanticWeb Conference (ISWC) (2006)
6. I. Horrocks, P.F. Patel-Schneider, Reducing owl entailment to description logic satisfiability, J. Web Semantics, Springer, 2003.
7. A. Kalyanpur, B. Parsia, M. Horridge, E. Sirin, Finding all justifications of owl dl entailments, in: ISWC/ASWC, 2007. http://www.informatik.uni-trier.de/ley/db/conf/semweb/iswc2007html#KalyanpurPHS07.
8. J. Lu, L. Ma, L. Zhang, J.-S. Brunner, C. Wang, Y. Pan, Y. Yu, Sor: a practical system for ontology storage, reasoning and search, in: VLDB, 2007.
9. C. Patel, J. J. Cimino, J. Dolby, A. Fokoue, A. Kalyanpur, A. Kershenbaum, L. Ma, E. Schonberg, K. Srinivas, Matching patient records to clinical trials using ontologies, in: ISWC/ASWC, 2007. http://www.informatik.uni-trier.de/ley/db/conf/semweb/iswc2007html#PatelCDFKKMSS07.
10. Sirin E., Parsia B., Grau B.C., Kalyanpur A., and Katz Y. Pellet: a practical owl-dl reasoner. J. Web Semantics 5 2 (2007) 51-53