-
1
-
-
44649121552
-
-
On the formalization of interface-based modular ontologies under the closed-world assumption. Tech. rep
-
On the formalization of interface-based modular ontologies under the closed-world assumption. Tech. rep. (2008)
-
(2008)
-
-
-
2
-
-
33750232177
-
-
Bao, J., Caragea, D., Honavar, V.: Modular ontologies - a formal investigation of semantics and expressivity. In: Mizoguchi, R., Shi, Z.-Z., Giunchiglia, F. (eds.) ASWC 2006. LNCS, 4185, pp. 616-631. Springer, Heidelberg (2006)
-
Bao, J., Caragea, D., Honavar, V.: Modular ontologies - a formal investigation of semantics and expressivity. In: Mizoguchi, R., Shi, Z.-Z., Giunchiglia, F. (eds.) ASWC 2006. LNCS, vol. 4185, pp. 616-631. Springer, Heidelberg (2006)
-
-
-
-
3
-
-
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
-
4
-
-
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
-
5
-
-
0043115834
-
Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study part 1: The flat case
-
Benferhat, S., Dubois, D., Prade, H.: Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study part 1: The flat case. Studia, Logica 58(1), 17-45 (1997)
-
(1997)
Studia, Logica
, vol.58
, Issue.1
, pp. 17-45
-
-
Benferhat, S.1
Dubois, D.2
Prade, H.3
-
6
-
-
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
-
7
-
-
33745329882
-
-
Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Inconsistency tolerance in P2P data integration: an epistemic logic approach. In: Bierman, G., Koch, C. (eds.) DBPL 2005. LNCS, 3774, pp. 90-105. Springer, Heidelberg (2005)
-
Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Inconsistency tolerance in P2P data integration: an epistemic logic approach. In: Bierman, G., Koch, C. (eds.) DBPL 2005. LNCS, vol. 3774, pp. 90-105. Springer, Heidelberg (2005)
-
-
-
-
8
-
-
35348889032
-
Just the right amount: Extracting modules from ontologies
-
ACM, New York
-
Grau, B.C., Horrocks, I., Kazakov, Y., Sattler, U.: Just the right amount: extracting modules from ontologies. In: WWW 2007: Proceedings of the 16th international conference on World Wide Web, pp. 717-726. ACM, New York (2007)
-
(2007)
WWW 2007: Proceedings of the 16th international conference on World Wide Web
, pp. 717-726
-
-
Grau, B.C.1
Horrocks, I.2
Kazakov, Y.3
Sattler, U.4
-
10
-
-
33646412834
-
A framework for handling inconsistency in changing ontologies
-
Haase, P., van Harmelen, F., Huang, Z., Stuckenschmidt, H., Sure, Y.: A framework for handling inconsistency in changing ontologies. In: International Semantic Web Conference, pp. 353-367 (2005)
-
(2005)
International Semantic Web Conference
, pp. 353-367
-
-
Haase, P.1
van Harmelen, F.2
Huang, Z.3
Stuckenschmidt, H.4
Sure, Y.5
-
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
-
-
84880743024
-
Reasoning with inconsistent ontologies
-
Huang, Z., van Harmelen, F., ten Teije, A.: Reasoning with inconsistent ontologies. In: IJCAI, pp. 454-459 (2005)
-
(2005)
IJCAI
, pp. 454-459
-
-
Huang, Z.1
van Harmelen, F.2
ten Teije, A.3
-
13
-
-
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
-
14
-
-
84888354809
-
-
AAAI, pp
-
Meyer, T., Lee, K., Booth, R.: Knowledge integration for description logics. In: AAAI, pp. 645-650 (2005)
-
(2005)
Knowledge integration for description logics
, pp. 645-650
-
-
Meyer, T.1
Lee, K.2
Booth, R.3
-
15
-
-
44649128064
-
A revision-based approach to handling inconsistency in description logics
-
Qi, G., Liu, W., Bell, D.: A revision-based approach to handling inconsistency in description logics. Artif. Intell. Rev. 26(1-2), 115-128 (2006)
-
(2006)
Artif. Intell. Rev
, vol.26
, Issue.1-2
, pp. 115-128
-
-
Qi, G.1
Liu, W.2
Bell, D.3
-
16
-
-
84880740288
-
Aspects of distributed and modular ontology reasoning
-
Serafini, L., Borgida, A., Tamilin, A.: Aspects of distributed and modular ontology reasoning. In: IJCAI, pp. 570-575 (2005)
-
(2005)
IJCAI
, pp. 570-575
-
-
Serafini, L.1
Borgida, A.2
Tamilin, A.3
-
17
-
-
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
|