-
1
-
-
33845463186
-
On the semantics of linking and importing in modular ontologies
-
Bao, J., Caragea, D., Honavar, V.: On the semantics of linking and importing in modular ontologies. In: International Semantic Web Conference, pp. 72-86 (2006)
-
(2006)
International Semantic Web Conference
, pp. 72-86
-
-
Bao, J.1
Caragea, D.2
Honavar, V.3
-
2
-
-
36349003383
-
-
AAAI, pp
-
Bao, J., Slutzki, G., Honavar, V.: A semantic importing approach to knowledge reuse from multiple ontologies. In: AAAI, pp. 1304-1309 (2007)
-
(2007)
A semantic importing approach to knowledge reuse from multiple ontologies
, pp. 1304-1309
-
-
Bao, J.1
Slutzki, G.2
Honavar, V.3
-
3
-
-
16244394689
-
Distributed description logics: Assimilating information from peer sources
-
Borgida, A., Serafini, L.: Distributed description logics: Assimilating information from peer sources. J. Data Semantics 1, 153-184 (2003)
-
(2003)
J. Data Semantics
, vol.1
, pp. 153-184
-
-
Borgida, A.1
Serafini, L.2
-
4
-
-
0242276205
-
-
Bouquet, P., Giunchiglia, F., Harmelen, F., Serafini, L., Stuckenschmidt, H.: COWL: Contextualizing ontologies. In: Fensel, D., Sycara, K.P., Mylopoulos, J. (eds.) ISWC 2003. LNCS, 2870. Springer, Heidelberg (2003)
-
Bouquet, P., Giunchiglia, F., Harmelen, F., Serafini, L., Stuckenschmidt, H.: COWL: Contextualizing ontologies. In: Fensel, D., Sycara, K.P., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870. Springer, Heidelberg (2003)
-
-
-
-
5
-
-
84880858606
-
Eql-lite: Effective first-order query processing in description logics
-
Calvanese, D., Giacomo, G.D., Lembo, D., Lenzerini, M., Rosati, R.: Eql-lite: Effective first-order query processing in description logics. In: IJCAI, pp. 274-279 (2007)
-
(2007)
IJCAI
, pp. 274-279
-
-
Calvanese, D.1
Giacomo, G.D.2
Lembo, D.3
Lenzerini, M.4
Rosati, R.5
-
6
-
-
38949167358
-
Modularity and web ontologies
-
AAAI Press, Menlo Park 2006
-
Cuenca Grau, B., Parsia, B., Sirin, E., Kalyanpur, A.: Modularity and web ontologies. In: Proceedings of KR 2006, pp. 198-209. AAAI Press, Menlo Park (2006)
-
(2006)
Proceedings of KR
, pp. 198-209
-
-
Cuenca Grau, B.1
Parsia, B.2
Sirin, E.3
Kalyanpur, A.4
-
7
-
-
0032048251
-
An epistemic operator for description logics
-
Donini, F.M., Lenzerini, M., Nardi, D., Nutt, W., Schaerf, A.: An epistemic operator for description logics. Artif. Intell. 100(1-2), 225-274 (1998)
-
(1998)
Artif. Intell
, vol.100
, Issue.1-2
, pp. 225-274
-
-
Donini, F.M.1
Lenzerini, M.2
Nardi, D.3
Nutt, W.4
Schaerf, A.5
-
8
-
-
35348889032
-
-
Grau, B.C., Horrocks, I., Kazakov, Y., Sattler, U.: Just the right amount: extracting modules from ontologies. In: WWW 2007, pp. 717-726. ACM, New York (2007)
-
Grau, B.C., Horrocks, I., Kazakov, Y., Sattler, U.: Just the right amount: extracting modules from ontologies. In: WWW 2007, pp. 717-726. ACM, New York (2007)
-
-
-
-
10
-
-
30544447197
-
Combining owl ontologies using e-connections
-
Grau, B.C., Parsia, B., Sirin, E.: Combining owl ontologies using e-connections. Journal of Web Semantics 4(1) (2005)
-
(2005)
Journal of Web Semantics
, vol.4
, Issue.1
-
-
Grau, B.C.1
Parsia, B.2
Sirin, E.3
-
11
-
-
84880874673
-
Ontology reasoning in the shoq(d) description logic
-
Horrocks, I., Sattler, U.: Ontology reasoning in the shoq(d) description logic. In: IJCAI, pp. 199-204 (2001)
-
(2001)
IJCAI
, pp. 199-204
-
-
Horrocks, I.1
Sattler, U.2
-
12
-
-
84886280180
-
-
Horrocks, I., Sattler, U., Tobies, S.: Practical reasoning for expressive description logics. In: Ganzinger, H., McAllester, D., Voronkov, A. (eds.) LPAR 1999. LNCS, 1705, pp. 161-180. Springer, Heidelberg (1999)
-
Horrocks, I., Sattler, U., Tobies, S.: Practical reasoning for expressive description logics. In: Ganzinger, H., McAllester, D., Voronkov, A. (eds.) LPAR 1999. LNCS, vol. 1705, pp. 161-180. Springer, Heidelberg (1999)
-
-
-
-
13
-
-
33744972792
-
Swoop: A web ontology editing browser
-
Kalyanpur, A., Parsia, B., Sirin, E., Grau, B.C., Hendler, J.A.: Swoop: A web ontology editing browser. J. Web Sem. 4(2), 144-153 (2006)
-
(2006)
J. Web Sem
, vol.4
, Issue.2
, pp. 144-153
-
-
Kalyanpur, A.1
Parsia, B.2
Sirin, E.3
Grau, B.C.4
Hendler, J.A.5
-
14
-
-
1942537112
-
E-connections of abstract description systems
-
Kutz, O., Lutz, C., Wolter, F., Zakharyaschev, M.: E-connections of abstract description systems. Artif. Intell. 156(1), 1-73 (2004)
-
(2004)
Artif. Intell
, vol.156
, Issue.1
, pp. 1-73
-
-
Kutz, O.1
Lutz, C.2
Wolter, F.3
Zakharyaschev, M.4
-
15
-
-
57349199208
-
-
Haase, P., Rudolph, S.: J. E. A. Z. M. D. M. I. Y. J. C. C. C. B. A. J. M. G. Deliverable d1.1.3 neon formalisms for modularization: Syntax, semantics, algebra, NEON EU-IST-2005-027595 (2008)
-
Haase, P., Rudolph, S.: J. E. A. Z. M. D. M. I. Y. J. C. C. C. B. A. J. M. G. Deliverable d1.1.3 neon formalisms for modularization: Syntax, semantics, algebra, NEON EU-IST-2005-027595 (2008)
-
-
-
-
16
-
-
33845453976
-
-
Seidenberg, J., R.ector, A.: Web ontology segmentation: analysis, classification and use. In: WWW 2006, pp. 13-22. ACM, New York (2006)
-
Seidenberg, J., R.ector, A.: Web ontology segmentation: analysis, classification and use. In: WWW 2006, pp. 13-22. ACM, New York (2006)
-
-
-
-
17
-
-
34249817069
-
Pellet: A practical owl-dl reasoner
-
Sirin, E., Parsia, B., Grau, B.C., Kalyanpur, A., Katz, Y.: Pellet: A practical owl-dl reasoner. Web Semant. 5(2), 51-53 (2007)
-
(2007)
Web Semant
, vol.5
, Issue.2
, pp. 51-53
-
-
Sirin, E.1
Parsia, B.2
Grau, B.C.3
Kalyanpur, A.4
Katz, Y.5
-
18
-
-
84976756363
-
-
Snyder, A.: Encapsulation and inheritance in object-oriented programming languages. In: OOPLSA 1986, pp. 38-45. ACM, New York (1986)
-
Snyder, A.: Encapsulation and inheritance in object-oriented programming languages. In: OOPLSA 1986, pp. 38-45. ACM, New York (1986)
-
-
-
-
19
-
-
84880802794
-
Integrity and change in modular ontologies
-
Stuckenschmidt, H., Klein, M.C.A.: Integrity and change in modular ontologies. In: IJCAI, pp. 900-908 (2003)
-
(2003)
IJCAI
, pp. 900-908
-
-
Stuckenschmidt, H.1
Klein, M.C.A.2
|