-
1
-
-
0003727420
-
-
Baader, F, Calvanese, D, McGuinness, D, Nardi, D, and Patel-Schneider, P. F, eds, Cambridge University Press
-
Baader, F.; Calvanese, D.; McGuinness, D.; Nardi, D.; and Patel-Schneider, P. F., eds. 2003. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press.
-
(2003)
The Description Logic Handbook: Theory, Implementation and Applications
-
-
-
2
-
-
84897147260
-
Mereological knowledge representation for the chemical formulation
-
Bandini, S., and Mosca, A. 2006. Mereological knowledge representation for the chemical formulation. In Proc. of FOMI2006, 55-69.
-
(2006)
Proc. of FOMI2006
, pp. 55-69
-
-
Bandini, S.1
Mosca, A.2
-
3
-
-
26944437060
-
The OWL Instance Store: System description
-
Proc. of CADE-20, Springer Verlag
-
Bechhofer, S.; Horrocks, I.; and Turi, D. 2005. The OWL Instance Store: System description. In Proc. of CADE-20, LNCS. Springer Verlag.
-
(2005)
LNCS
-
-
Bechhofer, S.1
Horrocks, I.2
Turi, D.3
-
5
-
-
29344454351
-
DL-Lite: Tractable description logics for ontologies
-
Calvanese, D.; De Giacomo, G.; Lembo, D.; Lenzerini, M.; and Rosati, R. 2005. DL-Lite: Tractable description logics for ontologies. In Proc. of AAAI 2005, 602-607.
-
(2005)
Proc. of AAAI 2005
, pp. 602-607
-
-
Calvanese, D.1
De Giacomo, G.2
Lembo, D.3
Lenzerini, M.4
Rosati, R.5
-
8
-
-
84880652644
-
Reasoning in expressive description logics with fixpoints based on automata on infinite trees
-
Calvanese, D.; De Giacomo, G.; and Lenzerini, M. 1999. Reasoning in expressive description logics with fixpoints based on automata on infinite trees. In Proc. of IJCAI99, 84-89.
-
(1999)
Proc. of IJCAI99
, pp. 84-89
-
-
Calvanese, D.1
De Giacomo, G.2
Lenzerini, M.3
-
9
-
-
51849123904
-
Next steps for OWL
-
Cuenca Grau, B.; Horrocks, I.; Parsia, B.; Patel-Schneider, P.; and Sattler, U. 2006. Next steps for OWL. In Proc. of OWLED-2006.
-
(2006)
Proc. of OWLED-2006
-
-
Cuenca Grau, B.1
Horrocks, I.2
Parsia, B.3
Patel-Schneider, P.4
Sattler, U.5
-
11
-
-
51849129411
-
-
Keet, C. M., and Rodriguez, M. 2007. Comprehensiveness versus scalability: guidelines for choosing an appropriate knowledge representation language for bioontologies. Technical Report KRDB07-5, Faculty of Computer Science, Free University of Bozen-Bolzano. http://www.inf.unibz.it/krdb/pub/.
-
Keet, C. M., and Rodriguez, M. 2007. Comprehensiveness versus scalability: guidelines for choosing an appropriate knowledge representation language for bioontologies. Technical Report KRDB07-5, Faculty of Computer Science, Free University of Bozen-Bolzano. http://www.inf.unibz.it/krdb/pub/.
-
-
-
-
12
-
-
51849162100
-
Prospects for and issues with mapping the Object-Role Modeling language into DLRifd
-
CEUR-WS
-
Keet, C. M. 2007. Prospects for and issues with mapping the Object-Role Modeling language into DLRifd. In Proc. of DL'07. CEUR-WS.
-
(2007)
Proc. of DL'07
-
-
Keet, C.M.1
-
13
-
-
33845423497
-
Using semantic web tools to integrate experimental measurement data on our own terms
-
Proc. of KSinBIT'06, of, Springer Verlag
-
Marshall, M. S.; Post, L.; Roos, M.; and Breit, T. M. 2006. Using semantic web tools to integrate experimental measurement data on our own terms. In Proc. of KSinBIT'06, volume 4277 of LNCS, 679-688. Springer Verlag.
-
(2006)
LNCS
, vol.4277
, pp. 679-688
-
-
Marshall, M.S.1
Post, L.2
Roos, M.3
Breit, T.M.4
-
15
-
-
33947215475
-
CAMERA: A community resource for metagenomics
-
Seshadri, R.; Kravitz, S.; Smarr, L.; Gilna, P.; and Frazier, M. 2007. CAMERA: A community resource for metagenomics. PLoS Biology 5(3):e75.
-
(2007)
PLoS Biology
, vol.5
, Issue.3
-
-
Seshadri, R.1
Kravitz, S.2
Smarr, L.3
Gilna, P.4
Frazier, M.5
-
16
-
-
34748825213
-
Towards a reference terminology for ontology research and development in the biomedical domain
-
Smith, B.; Kusnierczyk, W.; Schober, D.; and Ceusters, W. 2006. Towards a reference terminology for ontology research and development in the biomedical domain. In Proc. of KR-MED 2006.
-
(2006)
Proc. of KR-MED 2006
-
-
Smith, B.1
Kusnierczyk, W.2
Schober, D.3
Ceusters, W.4
-
17
-
-
75749097304
-
Applying owl reasoning to genomic data
-
Baker, C, and Cheung, H, eds, Springer: NY
-
Wolstencroft, K.; Stevens, R.; and Haarslev, V. 2007. Applying owl reasoning to genomic data. In Baker, C., and Cheung, H., eds., Semantic Web: revolutionizing knowledge discovery in the life sciences. Springer: NY. 225-248.
-
(2007)
Semantic Web: Revolutionizing knowledge discovery in the life sciences
, pp. 225-248
-
-
Wolstencroft, K.1
Stevens, R.2
Haarslev, V.3
|