-
1
-
-
0003727420
-
-
Cambridge University Press
-
Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications, 2nd edn. Cambridge University Press (2007)
-
(2007)
The Description Logic Handbook: Theory, Implementation, and Applications, 2nd Edn
-
-
Baader, F.1
Calvanese, D.2
McGuinness, D.3
Nardi, D.4
Patel-Schneider, P.5
-
2
-
-
44449142497
-
Conjunctive query answering for the description logic SHIQ
-
Glimm, B., Horrocks, I., Lutz, C., Sattler, U.: Conjunctive query answering for the description logic SHIQ. Journal of Artificial Intelligence Research 31, 151-198 (2008)
-
(2008)
Journal of Artificial Intelligence Research
, vol.31
, pp. 151-198
-
-
Glimm, B.1
Horrocks, I.2
Lutz, C.3
Sattler, U.4
-
3
-
-
84862001133
-
A novel approach to ontology classification
-
accepted
-
Glimm, B., Horrocks, I., Motik, B., Shearer, R., Stoilos, G.: A novel approach to ontology classification. Journal of Web Semantics: Science, Services and Agents on the World Wide Web (accepted, 2012)
-
(2012)
Journal of Web Semantics: Science, Services and Agents on the World Wide Web
-
-
Glimm, B.1
Horrocks, I.2
Motik, B.3
Shearer, R.4
Stoilos, G.5
-
4
-
-
25144513579
-
LUBM: A benchmark for OWL knowledge base systems
-
Guo, Y., Pan, Z., Heflin, J.: LUBM: A benchmark for OWL knowledge base systems. J. Web Semantics 3(2-3), 158-182 (2005)
-
(2005)
J. Web Semantics
, vol.3
, Issue.2-3
, pp. 158-182
-
-
Guo, Y.1
Pan, Z.2
Heflin, J.3
-
5
-
-
50849108152
-
On the scalability of description logic instance retrieval
-
Haarslev, V., Moller, R.: On the scalability of description logic instance retrieval. J. Autom. Reason. 41(2), 99-142 (2008)
-
(2008)
J. Autom. Reason.
, vol.41
, Issue.2
, pp. 99-142
-
-
Haarslev, V.1
Moller, R.2
-
6
-
-
84860523368
-
RIQ and SROIQ are harder than SHOIQ
-
Brewka, G., Lang, J. (eds.). AAAI Press
-
Kazakov, Y.: RIQ and SROIQ are harder than SHOIQ. In: Brewka, G., Lang, J. (eds.) Proc. 11th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2008), pp. 274-284. AAAI Press (2008)
-
(2008)
Proc. 11th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2008)
, pp. 274-284
-
-
Kazakov, Y.1
-
7
-
-
79960060990
-
SPARQL query answering over owl ontologies
-
Antoniou, G., Grobelnik, M., Simperl, E., Parsia, B., Plexousakis, D., De Leenheer, P., Pan, J. (eds.) Springer, Heidelberg
-
Kollia, I., Glimm, B., Horrocks, I.: SPARQL Query Answering over OWL Ontologies. In: Antoniou, G., Grobelnik, M., Simperl, E., Parsia, B., Plexousakis, D., De Leenheer, P., Pan, J. (eds.) ESWC 2011, Part I. LNCS, vol. 6643, pp. 382-396. Springer, Heidelberg (2011)
-
(2011)
ESWC 2011, Part I. LNCS
, vol.6643
, pp. 382-396
-
-
Kollia, I.1
Glimm, B.2
Horrocks, I.3
-
8
-
-
33746103250
-
Towards a complete owl ontology benchmark
-
Sure, Y., Domingue, J. (eds.) Springer, Heidelberg
-
Ma, L., Yang, Y., Qiu, Z., Xie, G., Pan, Y., Liu, S.: Towards a Complete OWL Ontology Benchmark. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol. 4011, pp. 125-139. Springer, Heidelberg (2006)
-
(2006)
ESWC 2006. LNCS
, vol.4011
, pp. 125-139
-
-
Ma, L.1
Yang, Y.2
Qiu, Z.3
Xie, G.4
Pan, Y.5
Liu, S.6
-
9
-
-
73649133629
-
Hypertableau reasoning for description logics
-
Motik, B., Shearer, R., Horrocks, I.: Hypertableau reasoning for description logics. Journal of Artificial Intelligence Research 36, 165-228 (2009)
-
(2009)
Journal of Artificial Intelligence Research
, vol.36
, pp. 165-228
-
-
Motik, B.1
Shearer, R.2
Horrocks, I.3
-
11
-
-
34249817069
-
Pellet: A practical OWL-DL reasoner
-
Sirin, E., Parsia, B., Grau, B.C., Kalyanpur, A., Katz, Y.: Pellet: A practical OWL-DL reasoner. J. of Web Semantics 5(2), 51-53 (2007)
-
(2007)
J. of Web Semantics
, vol.5
, Issue.2
, pp. 51-53
-
-
Sirin, E.1
Parsia, B.2
Grau, B.C.3
Kalyanpur, A.4
Katz, Y.5
-
12
-
-
0001443955
-
Heuristic and randomized optimization for the join ordering problem
-
Steinbrunn, M., Moerkotte, G., Kemper, A.: Heuristic and randomized optimization for the join ordering problem. VLDB Journal 6, 191-208 (1997)
-
(1997)
VLDB Journal
, vol.6
, pp. 191-208
-
-
Steinbrunn, M.1
Moerkotte, G.2
Kemper, A.3
-
13
-
-
57349181191
-
SPARQL basic graph pattern optimization using selectivity estimation
-
ACM, New York
-
Stocker, M., Seaborne, A., Bernstein, A., Kiefer, C., Reynolds, D.: SPARQL basic graph pattern optimization using selectivity estimation. In: Proceedings of the 17th International Conference on World Wide Web, WWW2008, pp. 595-604. ACM, New York (2008)
-
(2008)
Proceedings of the 17th International Conference on World Wide Web, WWW2008
, pp. 595-604
-
-
Stocker, M.1
Seaborne, A.2
Bernstein, A.3
Kiefer, C.4
Reynolds, D.5
-
14
-
-
34548295755
-
Optimizing terminological reasoning for expressive description logics
-
Tsarkov, D., Horrocks, I., Patel-Schneider, P.F.: Optimizing terminological reasoning for expressive description logics. J. Autom. Reasoning 39(3), 277-316 (2007)
-
(2007)
J. Autom. Reasoning
, vol.39
, Issue.3
, pp. 277-316
-
-
Tsarkov, D.1
Horrocks, I.2
Patel-Schneider, P.F.3
|