-
1
-
-
0003727420
-
-
Cambridge University Press
-
Baader, F., McGuinness, D., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook: Theory, implementation and applications. Cambridge University Press (2002)
-
(2002)
The Description Logic Handbook: Theory, Implementation and Applications
-
-
Baader, F.1
McGuinness, D.2
Nardi, D.3
Patel-Schneider, P.F.4
-
2
-
-
78149274365
-
Expressive Approximations in DL-lite Ontologies
-
Dicheva, D., Dochev, D. (eds.) AIMSA 2010. Springer, Heidelberg
-
Botoeva, E., Calvanese, D., Rodriguez-Muro, M.: Expressive Approximations in DL-lite Ontologies. In: Dicheva, D., Dochev, D. (eds.) AIMSA 2010. LNCS, vol. 6304, pp. 21-31. Springer, Heidelberg (2010)
-
(2010)
LNCS
, vol.6304
, pp. 21-31
-
-
Botoeva, E.1
Calvanese, D.2
Rodriguez-Muro, M.3
-
3
-
-
84880493386
-
Description logic programs: Combining logic programs with description logic
-
Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: Combining logic programs with description logic. In: Proc. of WWW, pp. 48-57 (2003)
-
(2003)
Proc. of WWW
, pp. 48-57
-
-
Grosof, B.N.1
Horrocks, I.2
Volz, R.3
Decker, S.4
-
4
-
-
25144513579
-
LUBM: A Benchmark for OWL Knowledge Base Systems
-
Guo, Y., Pan, Z., Heflin, J.: LUBM: A Benchmark for OWL Knowledge Base Systems. Journal of Web Semantics 3(2), 158-182 (2005)
-
(2005)
Journal of Web Semantics
, vol.3
, Issue.2
, pp. 158-182
-
-
Guo, Y.1
Pan, Z.2
Heflin, J.3
-
5
-
-
41349083943
-
Deciding Expressive Description Logics in the Framework of Resolution
-
Hustadt, U., Motik, B., Sattler, U.: Deciding Expressive Description Logics in the Framework of Resolution. Information & Computation 206(5), 579-601 (2008)
-
(2008)
Information & Computation
, vol.206
, Issue.5
, pp. 579-601
-
-
Hustadt, U.1
Motik, B.2
Sattler, U.3
-
6
-
-
33744820303
-
Owlim-a pragmatic semantic repository for owl
-
Dean, M., Guo, Y., Jun, W., Kaschek, R., Krishnaswamy, S., Pan, Z., Sheng, Q.Z. (eds.)
-
Kiryakov, A., Ognyanov, D., Manov, D.: Owlim-a pragmatic semantic repository for owl. In: Dean, M., Guo, Y., Jun, W., Kaschek, R., Krishnaswamy, S., Pan, Z., Sheng, Q.Z. (eds.) WISE Workshops, pp. 182-192 (2005)
-
(2005)
WISE Workshops
, pp. 182-192
-
-
Kiryakov, A.1
Ognyanov, D.2
Manov, D.3
-
7
-
-
33746103250
-
Towards a complete OWL ontology Benchmark
-
The Semantic Web: Research and Applications: 3rd European Semantic Web Conference, ESWC 2006 Proceedings
-
Ma, L., Yang, Y., Qiu, Z., Xie, G.T., 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) (Pubitemid 44071156)
-
(2006)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
, vol.4011 LNCS
, pp. 125-139
-
-
Ma, L.1
Yang, Y.2
Qiu, Z.3
Xie, G.4
Pan, Y.5
Liu, S.6
-
9
-
-
57549095614
-
Combining a DL Reasoner and a Rule Engine for Improving Entailment-Based OWL Reasoning
-
Sheth, A.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. Springer, Heidelberg
-
Meditskos, G., Bassiliades, N.: Combining a DL Reasoner and a Rule Engine for Improving Entailment-Based OWL Reasoning. In: Sheth, A.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol. 5318, pp. 277-292. Springer, Heidelberg (2008)
-
(2008)
LNCS
, vol.5318
, pp. 277-292
-
-
Meditskos, G.1
Bassiliades, N.2
-
10
-
-
73649104640
-
-
October 27
-
Motik, B., Patel-Schneider, P.F., Parsia, B.: OWL 2 Web Ontology Language: Structural Specification and Functional-Style Syntax, W3C Recommendation (October 27, 2009), http://www.w3.org/TR/owl2-syntax/
-
(2009)
OWL 2 Web Ontology Language: Structural Specification and Functional-Style Syntax, W3C Recommendation
-
-
Motik, B.1
Patel-Schneider, P.F.2
Parsia, B.3
-
11
-
-
77955948752
-
-
Motik, B., Cuenca Grau, B., Horrocks, I., Wu, Z., Fokoue, A., Lutz, C. (eds.): OWL 2 Web Ontology Language Profiles. W3C Recommendation (2009)
-
(2009)
OWL 2 Web Ontology Language Profiles. W3C Recommendation
-
-
Motik, B.1
Cuenca Grau, B.2
Horrocks, I.3
Wu, Z.4
Fokoue, A.5
Lutz, C.6
-
13
-
-
77549087969
-
Tractable query answering and rewriting under description logic constraints
-
Pérez-Urbina, H., Motik, B., Horrocks, I.: Tractable query answering and rewriting under description logic constraints. Journal of Applied Logic 8(2), 186-209 (2010)
-
(2010)
Journal of Applied Logic
, vol.8
, Issue.2
, pp. 186-209
-
-
Pérez-Urbina, H.1
Motik, B.2
Horrocks, I.3
-
14
-
-
33750022060
-
Ontological and Practical Issues in Using a Description Logic to Represent Medical Concept Systems: Experience from GALEN
-
Barahona, P., Bry, F., Franconi, E., Henze, N., Sattler, U. (eds.) Reasoning Web 2006. Springer, Heidelberg
-
Rector, A.L., Rogers, J.D.: Ontological and Practical Issues in Using a Description Logic to Represent Medical Concept Systems: Experience from GALEN. In: Barahona, P., Bry, F., Franconi, E., Henze, N., Sattler, U. (eds.) Reasoning Web 2006. LNCS, vol. 4126, pp. 197-231. Springer, Heidelberg (2006)
-
(2006)
LNCS
, vol.4126
, pp. 197-231
-
-
Rector, A.L.1
Rogers, J.D.2
-
15
-
-
78650881494
-
Completeness guarantees for incomplete reasoners
-
Proc. of ISWC-10. Springer
-
Stoilos, G., Cuenca Grau, B., Horrocks, I.: Completeness guarantees for incomplete reasoners. In: Proc. of ISWC-10. LNCS, Springer (2010)
-
(2010)
LNCS
-
-
Stoilos, G.1
Cuenca Grau, B.2
Horrocks, I.3
-
16
-
-
77958552719
-
How incomplete is your semantic web reasoner?
-
Stoilos, G., Cuenca Grau, B., Horrocks, I.: How incomplete is your semantic web reasoner? In: Proc. of AAAI-2010, pp. 1431-1436 (2010)
-
(2010)
Proc. of AAAI-2010
, pp. 1431-1436
-
-
Stoilos, G.1
Cuenca Grau, B.2
Horrocks, I.3
-
17
-
-
52649168921
-
Implementing an inference engine for RDFS/OWL constructs and user-defined rules in oracle
-
IEEE
-
Wu, Z., Eadon, G., Das, S., Chong, E.I., Kolovski, V., Annamalai, M., Srinivasan, J.: Implementing an inference engine for RDFS/OWL constructs and user-defined rules in oracle. In: Proc. of ICDE, pp. 1239-1248. IEEE (2008)
-
(2008)
Proc. of ICDE
, pp. 1239-1248
-
-
Wu, Z.1
Eadon, G.2
Das, S.3
Chong, E.I.4
Kolovski, V.5
Annamalai, M.6
Srinivasan, J.7
|