-
1
-
-
36348964258
-
Scalable semantic retrieval through summarization and refinement
-
AAAI
-
Dolby, J., Fokoue, A., Kalyanpur, A., Kershenbaum, A., Ma, L., Schonberg, E., Srinivas, K.: Scalable semantic retrieval through summarization and refinement. In: Proc. of the 22nd Conf. on Artificial Intelligence, AAAI 2007 (2007)
-
(2007)
Proc. of the 22nd Conf. on Artificial Intelligence
-
-
Dolby, J.1
Fokoue, A.2
Kalyanpur, A.3
Kershenbaum, A.4
Ma, L.5
Schonberg, E.6
Srinivas, K.7
-
2
-
-
57549118531
-
-
Dolby, J., Fokoue, A., Kalyanpur, A., Ma, L., Schonberg, E., Srinivas, K., Sun, X.: Scalable conjunctive query evaluation: Technical report (2008), http://domino.research.ibm.com/comm/research.projects.nsf/pages/ iaa. index.html/$FILE/techReportCQ.pdf
-
Dolby, J., Fokoue, A., Kalyanpur, A., Ma, L., Schonberg, E., Srinivas, K., Sun, X.: Scalable conjunctive query evaluation: Technical report (2008), http://domino.research.ibm.com/comm/research.projects.nsf/pages/ iaa. index.html/$FILE/techReportCQ.pdf
-
-
-
-
3
-
-
33845387026
-
-
Fokoue, A., Kershenbaum, A., Ma, L., Schonberg, E., Srinivas, K.: The summary abox: Cutting ontologies down to size. In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L.M. (eds.) ISWC 2006. LNCS, 4273, pp. 136-145. Springer, Heidelberg (2006)
-
Fokoue, A., Kershenbaum, A., Ma, L., Schonberg, E., Srinivas, K.: The summary abox: Cutting ontologies down to size. In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L.M. (eds.) ISWC 2006. LNCS, vol. 4273, pp. 136-145. Springer, Heidelberg (2006)
-
-
-
-
4
-
-
84937405545
-
Reasoning with individuals for the description logic SHIQ*
-
Horrocks, I., Sattler, U., Tobies, S.: Reasoning with individuals for the description logic SHIQ*. In: Proc. of 17th Int.Conf. on Automated Deduction, pp. 482-496 (2000)
-
(2000)
Proc. of 17th Int.Conf. on Automated Deduction
, pp. 482-496
-
-
Horrocks, I.1
Sattler, U.2
Tobies, S.3
-
5
-
-
34249827302
-
Optimizations for answering conjunctive abox queries: First results
-
Sirin, E., Parsia, B.: Optimizations for answering conjunctive abox queries: First results. In: Proc. of the Description Logics Workshop, DL 2006 (2006)
-
(2006)
Proc. of the Description Logics Workshop
, vol.550
-
-
Sirin, E.1
Parsia, B.2
-
6
-
-
33746103250
-
-
Ma, L., Yang, Y., Qiu, Z., Xie, G., Pan, Y.: Towards a complete owl ontology benchmark. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, 4011, pp. 124-139. Springer, Heidelberg (2006)
-
Ma, L., Yang, Y., Qiu, Z., Xie, G., Pan, Y.: Towards a complete owl ontology benchmark. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol. 4011, pp. 124-139. Springer, Heidelberg (2006)
-
-
-
-
7
-
-
84868329311
-
Reducing shiq description logic to disjunctive datalog programs
-
Hustadt, U., Motik, B., Sattler, U.: Reducing shiq description logic to disjunctive datalog programs. In: Proc. of 9th Intl. Conf. on Knowledge Representation and Reasoning (KR 2004), pp. 152-162 (2004)
-
(2004)
Proc. of 9th Intl. Conf. on Knowledge Representation and Reasoning (KR
, pp. 152-162
-
-
Hustadt, U.1
Motik, B.2
Sattler, U.3
-
9
-
-
84880883540
-
Conjunctive query answering for the description logic shiq
-
Glimm, B., Horrocks, I., Lutz, C., Sattler, U.: Conjunctive query answering for the description logic shiq. In: IJCAI, pp. 399-404 (2007)
-
(2007)
IJCAI
, pp. 399-404
-
-
Glimm, B.1
Horrocks, I.2
Lutz, C.3
Sattler, U.4
-
10
-
-
84867759223
-
-
Haarslev, V., Moller, R.: Racer system description. In: Goré, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS (LNAI), 2083, pp. 701-705. Springer, Heidelberg (2001)
-
Haarslev, V., Moller, R.: Racer system description. In: Goré, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS (LNAI), vol. 2083, pp. 701-705. Springer, Heidelberg (2001)
-
-
-
|