-
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
-
6
-
-
51049101894
-
-
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.
-
-
-
-
7
-
-
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
-
-
51049116626
-
-
KAON. The Karlsruhe Ontology and Semantic Web Framework. Developer's Guide for KAON 1.2.7. January 2004. http://km.aifb.uni-karlsruhe. de/kaon2/Members/rvo/KAON-Dev-Guide.pdf [11] Wood, D., Gearon, P., Adams, T. Kowari: A Platform for Semantic Web Storage and Analysis. XTech Conference 2005.
-
KAON. The Karlsruhe Ontology and Semantic Web Framework. Developer's Guide for KAON 1.2.7. January 2004. http://km.aifb.uni-karlsruhe. de/kaon2/Members/rvo/KAON-Dev-Guide.pdf" [11] Wood, D., Gearon, P., Adams, T. Kowari: A Platform for Semantic Web Storage and Analysis. XTech Conference 2005.
-
-
-
-
11
-
-
17644384293
-
-
Horrocks, I., Li, L., Turi, D., Bechhofer, S.. The Instance Store: Description Logic Reasoning with Large Numbers of Individuals. 2004.
-
(2004)
The Instance Store: Description Logic Reasoning with Large Numbers of Individuals
-
-
Horrocks, I.1
Li, L.2
Turi, D.3
Bechhofer, S.4
-
12
-
-
29344465647
-
-
Acciarri, A. Calvanese, D. De Giacomo, G. Lembo, D. Lenzerini, M. Palmieri, M. Rosati, R. QuOnto: Querying Ontologies. Proceedings of the National Conference on Artificial Intelligence 2005, 20; PART 4, pages 1670-1671, 2005.
-
Acciarri, A. Calvanese, D. De Giacomo, G. Lembo, D. Lenzerini, M. Palmieri, M. Rosati, R. QuOnto: Querying Ontologies. Proceedings of the National Conference on Artificial Intelligence 2005, VOL 20; PART 4, pages 1670-1671, 2005.
-
-
-
-
13
-
-
51049120464
-
-
D. Calvanese, G. De Giacomo, M. Lenzerini, R. Rosati, and G. Vetere. DL-Lite: Practical reasoning for rich DLs. proceedings of DL 2004. CEUR Electronic Workshop Proceedings, http://ceur-ws.org/104/, 2004.
-
D. Calvanese, G. De Giacomo, M. Lenzerini, R. Rosati, and G. Vetere. DL-Lite: Practical reasoning for rich DLs. proceedings of DL 2004. CEUR Electronic Workshop Proceedings, http://ceur-ws.org/Vol-104/, 2004.
-
-
-
-
14
-
-
51049098697
-
-
Pan, Z. and Heflin, J. DLDB: Extending Relational Databases to Support Semantic Web Queries. In Workshop on Practical and Scaleable Semantic Web Systms, ISWC 2003.
-
Pan, Z. and Heflin, J. DLDB: Extending Relational Databases to Support Semantic Web Queries. In Workshop on Practical and Scaleable Semantic Web Systms, ISWC 2003.
-
-
-
-
15
-
-
33750264636
-
-
ian Zhou, Li Ma, Qiaoling Liu, Lei Zhang, Yong Yu, Yue Pan: Minerva: A Scalable OWL Ontology Storage and Inference System. First Asian Semantic Web Conference. ASWC 2006. Beijing, China, 2006. 429-443
-
ian Zhou, Li Ma, Qiaoling Liu, Lei Zhang, Yong Yu, Yue Pan: Minerva: A Scalable OWL Ontology Storage and Inference System. First Asian Semantic Web Conference. ASWC 2006. Beijing, China, 2006. 429-443
-
-
-
-
16
-
-
84880493386
-
Description Logic Programs: Combining Logic Programs with Description Logic
-
ACM
-
Benjamin N. Grosof, Ian Horrocks, Raphael Volz, and Stefan Decker. Description Logic Programs: Combining Logic Programs with Description Logic. In Proc. of the Twelfth International World Wide Web Conference (WWW 2003), pages 48-57. ACM, 2003.
-
(2003)
Proc. of the Twelfth International World Wide Web Conference (WWW
, pp. 48-57
-
-
Grosof, B.N.1
Horrocks, I.2
Volz, R.3
Decker, S.4
-
18
-
-
25144513579
-
LUBM: A Benchmark for OWL Knowledge Base Systems
-
Y. Guo, Z. Pan, and J. Heflin. LUBM: A Benchmark for OWL Knowledge Base Systems. In Journal of Web Semantics, Vol 3, Issue 2, 2005.
-
(2005)
Journal of Web Semantics
, vol.3
, Issue.2
-
-
Guo, Y.1
Pan, Z.2
Heflin, J.3
|