-
2
-
-
0003727420
-
-
R Baader, D. Calvanese, D. L. McGuinness, D. Nardi, and P. R Patel-Schneider, editors, Cambridge University Press
-
R Baader, D. Calvanese, D. L. McGuinness, D. Nardi, and P. R Patel-Schneider, editors. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, 2003.
-
(2003)
The Description Logic Handbook: Theory, Implementation, and Applications
-
-
-
3
-
-
35348849910
-
Extracting modules from ontologies: Theory and practice
-
Technical report, University of Manchester, Available from
-
B. Cuenca Grau, I. Horrocks, Y. Kazakov, and U. Sattler. Extracting modules from ontologies: Theory and practice. Technical report, University of Manchester, 2007. Available from: http://www.cs.man.ac.uk/~bcg/Publications. html.
-
(2007)
-
-
Cuenca Grau, B.1
Horrocks, I.2
Kazakov, Y.3
Sattler, U.4
-
4
-
-
84880889487
-
A logical framework for modularity of ontologies
-
B. Cuenca Grau, I. Horrocks, Y. Kazakov, and U. Sattler. A logical framework for modularity of ontologies. In Proc. IJCAI-2007, pages 298-304, 2007.
-
(2007)
Proc. IJCAI-2007
, pp. 298-304
-
-
Cuenca Grau, B.1
Horrocks, I.2
Kazakov, Y.3
Sattler, U.4
-
6
-
-
38949167358
-
Modularity and Web Ontologies
-
B. Cuenca Grau, B. Parsia, E. Sirin, and A. Kalyanpur. Modularity and Web Ontologies. In Proc. KR-2006, pages 198-209, 2006.
-
(2006)
Proc. KR-2006
, pp. 198-209
-
-
Cuenca Grau, B.1
Parsia, B.2
Sirin, E.3
Kalyanpur, A.4
-
7
-
-
33750070814
-
Did I Damage my Ontology? A Case for Conservative Extensions in Description Logics
-
S. Ghilardi, C. Lutz, and E Wolter. Did I Damage my Ontology? A Case for Conservative Extensions in Description Logics. In Proc. KR-2006, pages 187-197, 2006.
-
(2006)
Proc. KR-2006
, pp. 187-197
-
-
Ghilardi, S.1
Lutz, C.2
Wolter, E.3
-
8
-
-
4344615591
-
From script S sing script H sing script I sing script Q sing and RDF to OWL: The making of a web ontology language
-
I. Horrocks, P. F. Patel-Schneider, and F. van Harmelen. From script S sing script H sing script I sing script Q sing and RDF to OWL: The making of a web ontology language. J. of Web Semantics, 1(1):7-26, 2003.
-
(2003)
J. of Web Semantics
, vol.1
, Issue.1
, pp. 7-26
-
-
Horrocks, I.1
Patel-Schneider, P.F.2
van Harmelen, F.3
-
9
-
-
33744972792
-
SWOOP: A web editing browser
-
A. Kalyanpur, B. Parsia, E.Sirin, B. Cuenca Grau, and J. Hendler. SWOOP: A web editing browser. Elsevier's Journal Of Web Semantics, 4(2):144-153, 2006.
-
(2006)
Elsevier's Journal Of Web Semantics
, vol.4
, Issue.2
, pp. 144-153
-
-
Kalyanpur, A.1
Parsia, B.2
Sirin, E.3
Cuenca Grau, B.4
Hendler, J.5
-
10
-
-
84880876708
-
Conservative extensions in expressive description logics
-
C. Lutz, D. Walther, and F. Wolter. Conservative extensions in expressive description logics. In Proc. of IJCAI-2007, pages 453-459, 2007.
-
(2007)
Proc. of IJCAI-2007
, pp. 453-459
-
-
Lutz, C.1
Walther, D.2
Wolter, F.3
-
11
-
-
0346361658
-
The PROMPT suite: Interactive tools for ontology mapping and merging
-
N. Noy and M. Musen. The PROMPT suite: Interactive tools for ontology mapping and merging. Int. Journal of Human-Computer Studies, 6(59), 2003.
-
(2003)
Int. Journal of Human-Computer Studies
, vol.6
, Issue.59
-
-
Noy, N.1
Musen, M.2
-
13
-
-
33750725792
-
Ontological issues in using a description logic to represent medical concepts: Experience from GALEN
-
A. Rector and J. Rogers. Ontological issues in using a description logic to represent medical concepts: Experience from GALEN. In Proc. of IMIA WG6 Workshop, 1999.
-
(1999)
Proc. of IMIA WG6 Workshop
-
-
Rector, A.1
Rogers, J.2
-
14
-
-
0026107613
-
Attributive concept descriptions with complements
-
M. Schmidt-Schauß and G. Smolka. Attributive concept descriptions with complements. Artif. Intell., 48(1):1-26, 1991.
-
(1991)
Artif. Intell
, vol.48
, Issue.1
, pp. 1-26
-
-
Schmidt-Schauß, M.1
Smolka, G.2
-
15
-
-
33845453976
-
Web ontology segmentation: Analysis, classification and use
-
J. Seidenberg and A. Rector. Web ontology segmentation: Analysis, classification and use. In Proc. WWW-2006, 2006.
-
(2006)
Proc. WWW-2006
-
-
Seidenberg, J.1
Rector, A.2
-
16
-
-
35048890068
-
Structure-based partitioning of large class hierarchies
-
H. Stuckenschmidt and M. Klein. Structure-based partitioning of large class hierarchies. In Proc. ISWC-2004, pages 289-303, 2004.
-
(2004)
Proc. ISWC-2004
, pp. 289-303
-
-
Stuckenschmidt, H.1
Klein, M.2
|