-
1
-
-
33750232177
-
Modular ontologies - a formal investigation of semantics and expressivity
-
Bao, J.; Caragea, D.; and Honavar, V. 2006a. Modular ontologies - a formal investigation of semantics and expressivity. In Asian Semantic Web Conference (ASWC), 616-631.
-
(2006)
Asian Semantic Web Conference (ASWC)
, pp. 616-631
-
-
Bao, J.1
Caragea, D.2
Honavar, V.3
-
4
-
-
36349000662
-
A semantic importing approach to knowledge reuse from multiple ontologies (extended version)
-
Technical report, TR-539 Computer Science, Iowa State University
-
Bao, J.; Slutzki, G.; and Honavar, V. 2007. A semantic importing approach to knowledge reuse from multiple ontologies (extended version). Technical report, TR-539 Computer Science, Iowa State University.
-
(2007)
-
-
Bao, J.1
Slutzki, G.2
Honavar, V.3
-
5
-
-
16244394689
-
Distributed description logics: Assimilating information from peer sources
-
Borgida, A., and Serafini, L. 2003. Distributed description logics: Assimilating information from peer sources. Journal of Data Semantics 1:153-184.
-
(2003)
Journal of Data Semantics
, vol.1
, pp. 153-184
-
-
Borgida, A.1
Serafini, L.2
-
6
-
-
0242276205
-
C-OWL: Contextualizing ontologies
-
Fensel, D, Sycara, K. P, and Mylopoulos, J, eds, International Semantic Web Conference, of, Springer
-
Bouquet, P.; Giunchiglia, F.; van Harmelen, F.; Serafini, L.; and Stuckenschmidt, H. 2003. C-OWL: Contextualizing ontologies. In Fensel, D.; Sycara, K. P.; and Mylopoulos, J., eds., International Semantic Web Conference, volume 2870 of Lecture Notes in Computer Science, 164-179. Springer.
-
(2003)
Lecture Notes in Computer Science
, vol.2870
, pp. 164-179
-
-
Bouquet, P.1
Giunchiglia, F.2
van Harmelen, F.3
Serafini, L.4
Stuckenschmidt, H.5
-
7
-
-
33750070814
-
Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics
-
Ghilardi, S.; Lutz, C.; and Wolter, F. 2006. Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics. In KR, 187-197.
-
(2006)
In KR
, pp. 187-197
-
-
Ghilardi, S.1
Lutz, C.2
Wolter, F.3
-
9
-
-
84872927168
-
Will my ontologies fit together?
-
Grau, B. C.; Horrocks, I.; Kutz, O.; and Sattler, U. 2006. Will my ontologies fit together? In Proc. of the 2006 Description Logic Workshop (DL 2006), volume 189.).
-
(2006)
Proc. of the 2006 Description Logic Workshop (DL 2006)
, vol.189
-
-
Grau, B.C.1
Horrocks, I.2
Kutz, O.3
Sattler, U.4
-
10
-
-
84880889487
-
A logical framework for modularity of ontologies
-
Grau, B. C.; Horrocks, I.; Kazakov, Y.; and Sattler, U. 2007. A logical framework for modularity of ontologies. In IJCAI, 298-303.
-
(2007)
IJCAI
, pp. 298-303
-
-
Grau, B.C.1
Horrocks, I.2
Kazakov, Y.3
Sattler, U.4
-
13
-
-
84880732838
-
A Tableaux Decision Procedure for SHOIQ
-
Horrocks, I., and Sattler, U. 2005. A Tableaux Decision Procedure for SHOIQ. In IJCAI, 448-453.
-
(2005)
IJCAI
, pp. 448-453
-
-
Horrocks, I.1
Sattler, U.2
-
14
-
-
85167453420
-
Ontological knowledge base reasoning with sort-hierarchy and rigidity
-
Kaneiwa, K., and Mizoguchi, R. 2004. Ontological knowledge base reasoning with sort-hierarchy and rigidity. In KR, 278-288.
-
(2004)
KR
, pp. 278-288
-
-
Kaneiwa, K.1
Mizoguchi, R.2
-
15
-
-
1942537112
-
E-connections of abstract description systems
-
Kutz, O.; Lutz, C.; Wolter, F.; and Zakharyaschev, M. 2004. E-connections of abstract description systems. Artif. Intell. 156(1):1-73.
-
(2004)
Artif. Intell
, vol.156
, Issue.1
, pp. 1-73
-
-
Kutz, O.1
Lutz, C.2
Wolter, F.3
Zakharyaschev, M.4
-
16
-
-
84880876708
-
Conservative extensions in expressive description logics
-
Lutz, C.; Walther, D.; and Wolter, F. 2007. Conservative extensions in expressive description logics. In IJCAI, 453-458.
-
(2007)
IJCAI
, pp. 453-458
-
-
Lutz, C.1
Walther, D.2
Wolter, F.3
|