-
1
-
-
0038151284
-
OntoMorph: A translation system for symbolic knowledge
-
Breckenridge, Colorado, USA, April
-
H. Chalupsky: OntoMorph: A translation system for symbolic knowledge. Proc. 7th Intl. Conf. on Principles of Knowledge Representation and Reasoning (KR'2000), Breckenridge, Colorado, USA, April 2000, 471-482
-
(2000)
Proc. 7th Intl. Conf. on Principles of Knowledge Representation and Reasoning (KR'2000)
, pp. 471-482
-
-
Chalupsky, H.1
-
2
-
-
7044284917
-
Creation and Merging of Ontology Top-Levels
-
A. de Moor, W. Lex, B. Ganter (eds): Proc. ICCS '03. LNAI 2746, Springer, Heidelberg
-
B. Ganter, G. Stumme: Creation and Merging of Ontology Top-Levels. In: A. de Moor, W. Lex, B. Ganter (eds.): Conceptual Structures for Knowledge Creation and Communication. Proc. ICCS '03. LNAI 2746, Springer, Heidelberg 2003, 131-145
-
(2003)
Conceptual Structures for Knowledge Creation and Communication
, pp. 131-145
-
-
Ganter, B.1
Stumme, G.2
-
3
-
-
0003792198
-
-
Springer, Heidelberg (Translation of: Formale Begriffsanalyse: Mathematische Grundlagen. Springer, Heidelberg 1996)
-
B. Ganter, R. Wille: Formal Concept Analysis: Mathematical Foundations. Springer, Heidelberg 1999. (Translation of: Formale Begriffsanalyse: Mathematische Grundlagen. Springer, Heidelberg 1996.)
-
(1999)
Formal Concept Analysis: Mathematical Foundations
-
-
Ganter, B.1
Wille, R.2
-
4
-
-
0343877463
-
Combining and standardizing large-scale, practical ontologies for machine translation and other uses
-
Granada, Spain, May
-
E. Hovy: Combining and standardizing large-scale, practical ontologies for machine translation and other uses. Proc. 1st Intl. Conf. on Language Resources and Evaluation, Granada, Spain, May 1998
-
(1998)
Proc. 1st Intl. Conf. on Language Resources and Evaluation
-
-
Hovy, E.1
-
5
-
-
0001898976
-
An environment for merging and testing large Ontologies
-
Breckenridge, Colorado, USA, April
-
D. L. McGuinness, R. Fikes, J. Rice, and S. Wilder: An environment for merging and testing large Ontologies. Proc. 7th Intl. Conf. on Principles of Knowledge Representation and Reasoning (KR'2000), Breckenridge, Colorado, USA, April 2000, 483-493
-
(2000)
Proc. 7th Intl. Conf. on Principles of Knowledge Representation and Reasoning (KR'2000)
, pp. 483-493
-
-
McGuinness, D. L.1
Fikes, R.2
Rice, J.3
Wilder, S.4
-
6
-
-
85153236076
-
PROMPT: algorithm and tool for automated ontology merging and alignment
-
Austin, TX, July/August
-
N. Fridman Noy, M. A. Musen: PROMPT: algorithm and tool for automated ontology merging and alignment. Proc. 17th Natl. Conf. on Artificial Intelligence (AAAI'2000), Austin, TX, July/August 2000, 450-455
-
(2000)
Proc. 17th Natl. Conf. on Artificial Intelligence (AAAI'2000)
, pp. 450-455
-
-
Fridman Noy, N.1
Musen, M. A.2
-
7
-
-
0035025975
-
Knowledge Processes and Ontologies
-
S. Staab, H.-P. Schnurr, R. Studer, Y. Sure: Knowledge Processes and Ontologies. IEEE Intelligent Systems 16(1), 2001
-
(2001)
IEEE Intelligent Systems
, vol.16
, Issue.1
-
-
Staab, S.1
Schnurr, H.-P.2
Studer, R.3
Sure, Y.4
-
8
-
-
84880894946
-
FCA-Merge: Bottom-Up Merging of Ontologies
-
Seattle, WA, USA
-
G. Stumme, A. Madche: FCA-Merge: Bottom-Up Merging of Ontologies. Proc. 17th Intl. Conf. on Artificial Intelligence (IJCAI '01). Seattle, WA, USA, 2001, 225-230
-
(2001)
Proc. 17th Intl. Conf. on Artificial Intelligence (IJCAI '01)
, pp. 225-230
-
-
Stumme, G.1
Madche, A.2
-
9
-
-
0036680784
-
Computing Iceberg Concept Lattices with Titanic
-
G. Stumme, R. Taouil, Y. Bastide, N. Pasqier, L. Lakhal: Computing Iceberg Concept Lattices with Titanic. J. on Knowledge and Data Engineering 42(2), 2002, 189-222
-
(2002)
J. on Knowledge and Data Engineering
, vol.42
, Issue.2
, pp. 189-222
-
-
Stumme, G.1
Taouil, R.2
Bastide, Y.3
Pasqier, N.4
Lakhal, L.5
-
10
-
-
0000398336
-
Restructuring lattice theory: an approach based on hierarchies of concepts
-
I. Rival (ed): Reidel, Dordrecht-Boston
-
R. Wille: Restructuring lattice theory: an approach based on hierarchies of concepts. In: I. Rival (ed.): Ordered sets. Reidel, Dordrecht-Boston, 445-470
-
Ordered sets
, pp. 445-470
-
-
Wille, R.1
|