-
1
-
-
34548272754
-
An overview of tableau algorithms for description logics
-
F. Baader and U. Sattler. An overview of tableau algorithms for description logics. Studia, Logica, 69:5-40, 2001.
-
(2001)
Studia, Logica
, vol.69
, pp. 5-40
-
-
Baader, F.1
Sattler, U.2
-
2
-
-
84867286934
-
Distributed description logics: Directed domain correspondences in federated information sources
-
Robert Meersman and Zahir Tari, editors, CoopIS/DOA/ODBASE. Springer
-
Alexander Borgida and Luciano Serafini. Distributed description logics: Directed domain correspondences in federated information sources. In Robert Meersman and Zahir Tari, editors, CoopIS/DOA/ODBASE, volume 2519 of Lecture Notes in Computer Science, pages 36-53. Springer, 2002.
-
(2002)
Lecture Notes in Computer Science
, vol.2519
, pp. 36-53
-
-
Borgida, A.1
Serafini, L.2
-
3
-
-
20844452507
-
C-owl: Contextualizing ontologies
-
Oct
-
P. Pouquet et al. C-owl: Contextualizing ontologies. In Proceedings of the 2nd International Semantic Web Conference (ISWC2003), 20-23 October 2003, Sundial Resort, Sanibel Island, Florida, USA., Oct 2003.
-
(2003)
Proceedings of the 2nd International Semantic Web Conference (ISWC2003), 20-23 October 2003, Sundial Resort, Sanibel Island, Florida, USA
-
-
Pouquet, P.1
-
4
-
-
0033308811
-
An overview of the onion project: Applying ontologies to the integration of medical terminology
-
A. Gangemi, D.M. Pisanelli, , and G. Steve. An overview of the onion project: Applying ontologies to the integration of medical terminology. Data and Knowledge Engineering, 31:183-220, 1999.
-
(1999)
Data and Knowledge Engineering
, vol.31
, pp. 183-220
-
-
Gangemi, A.1
Pisanelli, D.M.2
Steve, G.3
-
5
-
-
35048853566
-
Working with multiple ontologies on the semantic web
-
Sheila A. McIlraith, Dimitris Plexousakis, and Frank van Harmelen, editors, International Semantic Web Conference. Springer
-
Bernardo Cuenca Grau, Bijan Parsia, and Evren Sirin. Working with multiple ontologies on the semantic web. In Sheila A. McIlraith, Dimitris Plexousakis, and Frank van Harmelen, editors, International Semantic Web Conference, volume 3298 of Lecture Notes in Computer Science, pages 620-634. Springer, 2004.
-
(2004)
Lecture Notes in Computer Science
, vol.3298
, pp. 620-634
-
-
Grau, B.C.1
Parsia, B.2
Sirin, E.3
-
7
-
-
1942537112
-
E-connections of abstract description systems
-
O. Kutz, C. Lutz, F. Wolter, and M. Zakharyaschev. E-connections of abstract description systems. Artificial Intelligence), 156(1):1-73, 2004.
-
(2004)
Artificial Intelligence
, vol.156
, Issue.1
, pp. 1-73
-
-
Kutz, O.1
Lutz, C.2
Wolter, F.3
Zakharyaschev, M.4
-
8
-
-
0029410109
-
Cyc: A large-scale investment in knowledge infrastructure
-
Douglas B. Lenat. Cyc: A large-scale investment in knowledge infrastructure. Commun. ACM, 38(11):32-38, 1995.
-
(1995)
Commun. ACM
, vol.38
, Issue.11
, pp. 32-38
-
-
Lenat, D.B.1
-
11
-
-
0344550410
-
Cool: A context ontology language to enable contextual interoperability
-
Jean-Bernard Stefani, Isabelle M. Demeure, and Daniel Hagimont, editors, DAIS. Springer
-
Thomas Strang, Claudia Linnhoff-Popien, and Korbinian Frank. Cool: A context ontology language to enable contextual interoperability. In Jean-Bernard Stefani, Isabelle M. Demeure, and Daniel Hagimont, editors, DAIS, volume 2893 of Lecture Notes in Computer Science, pages 236-247. Springer, 2003.
-
(2003)
Lecture Notes in Computer Science
, vol.2893
, pp. 236-247
-
-
Strang, T.1
Linnhoff-Popien, C.2
Frank, K.3
-
12
-
-
0032591824
-
Ontology and metadata creation for the poseidon distributed coastal zone management system
-
May
-
P.C.H. Wariyapola, N.M. Patrikalakis, S.L. Abrams, P. Elisseeff, A.R. Robinson, H. Schmidt, and K. Streitlien. Ontology and metadata creation for the poseidon distributed coastal zone management system. In IEEE Forum on Research and Technology Advances in Digital Libraries, pages 180-189, May 1999.
-
(1999)
IEEE Forum on Research and Technology Advances in Digital Libraries
, pp. 180-189
-
-
Wariyapola, P.C.H.1
Patrikalakis, N.M.2
Abrams, S.L.3
Elisseeff, P.4
Robinson, A.R.5
Schmidt, H.6
Streitlien, K.7
-
13
-
-
0003131258
-
Satisfiability problem in description logics with modal operators
-
F. Wolter and M. Zakharyaschev. Satisfiability problem in description logics with modal operators. In In Proceedings of the 6th Int. Conf. on Knowledge Representation and Reasonning, KR'98, Trento, Italy, June 1998., pages 512-523, 2001.
-
(2001)
Proceedings of the 6th Int. Conf. on Knowledge Representation and Reasonning, KR'98, Trento, Italy, June 1998
, pp. 512-523
-
-
Wolter, F.1
Zakharyaschev, M.2
-
14
-
-
84976805862
-
The edr electronic dictionary
-
38
-
Toshio Yokoi. The edr electronic dictionary. Commun. ACM 38(11), 38(44):42-44, 1995.
-
(1995)
Commun. ACM
, vol.38
, Issue.11-44
, pp. 42-44
-
-
Yokoi, T.1
|