-
2
-
-
0003727420
-
-
Cambridge University Press
-
Borgida, A., Lenzerini, M. and Rosati, R.. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, 2003.
-
(2003)
The Description Logic Handbook: Theory, Implementation and Applications
-
-
Borgida, A.1
Lenzerini, M.2
Rosati, R.3
-
3
-
-
84886308598
-
The FaCT system
-
International Conference Tableaux '98, number, Springer-Verlag
-
Horrocks, I. The FaCT system. International Conference Tableaux '98, number 1397 in Lecture Notes in Artificial Intelligence. Springer-Verlag, 1998.
-
(1998)
Lecture Notes in Artificial Intelligence
, vol.1397
-
-
Horrocks, I.1
-
5
-
-
51049087449
-
-
Roldan-Garcia, M.M., Aldana-Montes, J.F. DBOWL: Towards a Scalable and Persistent OWL reasoner. Proceedings of the Third International Conference on Internet and Web Applications and Services. Published by IEEE CPS. Athens, Greece. 2008.
-
Roldan-Garcia, M.M., Aldana-Montes, J.F. DBOWL: Towards a Scalable and Persistent OWL reasoner. Proceedings of the Third International Conference on Internet and Web Applications and Services. Published by IEEE CPS. Athens, Greece. 2008.
-
-
-
-
6
-
-
57849112991
-
-
Haarslev, V., Mller, R., van der Straeten, R. and Wessel, M.. Extended Query Facilities for Racer and an Application to Software-Engineering Problems. In Proceedings of the 2004 International Workshop on Description Logics (DL-2004), Whistler, BC, Canada, June 6-8, pages 148-157, 2004.
-
Haarslev, V., Mller, R., van der Straeten, R. and Wessel, M.. Extended Query Facilities for Racer and an Application to Software-Engineering Problems. In Proceedings of the 2004 International Workshop on Description Logics (DL-2004), Whistler, BC, Canada, June 6-8, pages 148-157, 2004.
-
-
-
-
8
-
-
34249817069
-
Pellet: A practical OWL-DL reasoner. Journal of Web Semantics
-
Evren Sirin, Bijan Parsia, Bernardo Cuenca Grau, Aditya Kalyanpur and Yarden Katz. Pellet: A practical OWL-DL reasoner. Journal of Web Semantics, 5(2), 2007.
-
(2007)
, vol.5
, Issue.2
-
-
Sirin, E.1
Parsia, B.2
Cuenca Grau, B.3
Kalyanpur, A.4
Katz, Y.5
-
10
-
-
57849163386
-
-
Hiroshima, Japan, November
-
Peter Haase, Jeen Broekstra, Andreas Eberhart, Raphael Volz A comparison of RDF query languages In Proceedings of the Third International Semantic Web Conference, Hiroshima, Japan, 2004.. November 2004.
-
(2004)
A comparison of RDF query languages In Proceedings of the Third International Semantic Web Conference
-
-
Haase, P.1
Broekstra, J.2
Eberhart, A.3
Volz, R.4
-
11
-
-
57849115566
-
-
Karvounarakis, G., Alexaki, S., Christophides, V., Plexousakis, D., Scholl, M. (2002). RQL: A Declarative Query Language for RDF. WWW2002, Honolulu, Hawai, USA. ACM 1-58116-449-5/02/0005
-
Karvounarakis, G., Alexaki, S., Christophides, V., Plexousakis, D., Scholl, M. (2002). RQL: A Declarative Query Language for RDF. WWW2002, Honolulu, Hawai, USA. ACM 1-58116-449-5/02/0005
-
-
-
-
13
-
-
29344454351
-
DL-Lite: Tractable description logics for ontologies
-
Diego Calvanese, Giuseppe De Giacomo, Domenieo Lembo, Maurizio Lenzerini, and Riccardo Rosati. DL-Lite: Tractable description logics for ontologies. In Proc. of the 20th Nat. Conf. on Artificial Intelligence (AAAI 2005), pages 602-607, 2005.
-
(2005)
Proc. of the 20th Nat. Conf. on Artificial Intelligence (AAAI
, pp. 602-607
-
-
Calvanese, D.1
Giacomo, G.D.2
Lembo, D.3
Lenzerini, M.4
Rosati, R.5
|