-
1
-
-
84880689092
-
Computing the least common subsumer and the most specific concept in the presence of cyclic ALN-concept descriptions
-
Springer
-
F. Baader and R. Küsters. Computing the least common subsumer and the most specific concept in the presence of cyclic ALN-concept descriptions. In Proc. of KI'98, p. 129-140, 1998. Springer.
-
(1998)
Proc. of KI'98
, pp. 129-140
-
-
Baader, F.1
Küsters, R.2
-
2
-
-
0043241024
-
Unification of concept terms in description logics
-
F. Baader and P. Narendran. Unification of concept terms in description logics. J. of Symbolic Computation, 31:277-305, 2001.
-
(2001)
J. of Symbolic Computation
, vol.31
, pp. 277-305
-
-
Baader, F.1
Narendran, P.2
-
3
-
-
78751693526
-
On the problem of computing small representations of least common subsumers
-
Springer
-
F. Baader and A. Y. Turhan. On the problem of computing small representations of least common subsumers. In Proc. of KI 2002, 2002. Springer.
-
Proc. of KI 2002, 2002
-
-
Baader, F.1
Turhan, A.Y.2
-
4
-
-
84880674268
-
Computing least common subsumers in description logics with existential restrictions
-
Morgan Kaufmann
-
F. Baader, R. Küsters, and R. Molitor. Computing least common subsumers in description logics with existential restrictions. In Proc. of IJCAI'99, p. 96-101. Morgan Kaufmann, 1999.
-
(1999)
Proc. of IJCAI'99
, pp. 96-101
-
-
Baader, F.1
Küsters, R.2
Molitor, R.3
-
5
-
-
0003727420
-
-
Cambridge University Press
-
F. Baader, D. Calvanese, D. Mc Guinness, D. Nardi, and P. Patel-Schneider, eds. The Description Logic Handbook. Cambridge University Press, 2003.
-
(2003)
The Description Logic Handbook
-
-
Baader, F.1
Calvanese, D.2
Mc Guinness, D.3
Nardi, D.4
Patel-Schneider, P.5
-
6
-
-
34248668998
-
Computing the least common subsumer w.r.t. a background terminology
-
F. Baader, B. Sertkaya, and A.-Y. Turhan. Computing the least common subsumer w.r.t. a background terminology. J. of Appl. Log., 5(3):392-420, 2007.
-
(2007)
J. of Appl. Log.
, vol.5
, Issue.3
, pp. 392-420
-
-
Baader, F.1
Sertkaya, B.2
Turhan, A.-Y.3
-
7
-
-
16244379579
-
On automating web services discovery
-
B. Benatallah, M. S. Hacid, A. Leger, C. Rey, and F. Toumani. On automating web services discovery. VLDB Journal, 2005.
-
(2005)
VLDB Journal
-
-
Benatallah, B.1
Hacid, M.S.2
Leger, A.3
Rey, C.4
Toumani, F.5
-
9
-
-
0002181874
-
Learning the CLASSIC description logics: Theoretical and experimental results
-
W. W. Cohen and H. Hirsh. Learning the CLASSIC description logics: Theoretical and experimental results. In Proc. of KR'94, p. 121-133, 1994.
-
(1994)
Proc. of KR'94
, pp. 121-133
-
-
Cohen, W.W.1
Hirsh, H.2
-
10
-
-
0026971891
-
Computing least common subsumers in description logics
-
AAAI Press
-
W. Cohen, A. Borgida, and H. Hirsh. Computing least common subsumers in description logics. In Proc. of AAAI'92, p. 754-761, 1992. AAAI Press.
-
(1992)
Proc. of AAAI'92
, pp. 754-761
-
-
Cohen, W.1
Borgida, A.2
Hirsh, H.3
-
11
-
-
70349264012
-
Finding informative commonalities in concept collections
-
ACM Press
-
S. Colucci, E. Di Sciascio, F. M. Donini, and E. Tinelli. Finding informative commonalities in concept collections. In Proc. of CIKM 2008, p. 807-816. ACM Press, 2008.
-
(2008)
Proc. of CIKM 2008
, pp. 807-816
-
-
Colucci, S.1
Di Sciascio, E.2
Donini, F.M.3
Tinelli, E.4
-
14
-
-
0002785435
-
Completeness in the theory of types
-
L. Henkin. Completeness in the theory of types. J. Symb. Log., 15(2):81-91, 1950.
-
(1950)
J. Symb. Log.
, vol.15
, Issue.2
, pp. 81-91
-
-
Henkin, L.1
-
15
-
-
56749161547
-
Similarity-based information retrieval and its role within spatial data infrastructures
-
Springer
-
K. Janowicz, M. Wilkes, and M. Lutz. Similarity-based information retrieval and its role within spatial data infrastructures. In Proc. of GIScience '08, p. 151-167. Springer, 2008.
-
(2008)
Proc. of GIScience '08
, pp. 151-167
-
-
Janowicz, K.1
Wilkes, M.2
Lutz, M.3
-
16
-
-
34548055968
-
Semantic composition of lecture subparts for a personalized e-learning
-
Springer
-
N. Karam, S. Linckels, and C. Meinel. Semantic composition of lecture subparts for a personalized e-learning. In Proc. of ESWC 2007, p. 716-728. Springer, 2007.
-
(2007)
Proc. of ESWC 2007
, pp. 716-728
-
-
Karam, N.1
Linckels, S.2
Meinel, C.3
-
17
-
-
78751698203
-
Design repositories on the semantic web with description-logic enabled services
-
J. B. Kopena andW. C. Regli. Design repositories on the semantic web with description-logic enabled services. In Proc. of VLDB 2003, 2003.
-
Proc. of VLDB 2003, 2003
-
-
Kopena, J.B.1
Regli, W.C.2
-
18
-
-
27544454540
-
Structural Subsumption and Least Common Subsumers in a Description Logic with Existential and Number Restrictions
-
R. Küsters and R. Molitor. Structural Subsumption and Least Common Subsumers in a Description Logic with Existential and Number Restrictions. Studia Logica, 81:227-259, 2005.
-
(2005)
Studia Logica
, vol.81
, pp. 227-259
-
-
Küsters, R.1
Molitor, R.2
-
19
-
-
78751691511
-
Reasoning support for ontology design
-
C. Lutz, F. Baader, E. Franconi, D. Lembo, R. Möller, R. Rosati, U. Sattler, B. Suntisrivaraporn, and S. Tessaris. Reasoning support for ontology design. In Proc. of OWLED 2006, 2006.
-
(2006)
Proc. of OWLED 2006
-
-
Lutz, C.1
Baader, F.2
Franconi, E.3
Lembo, D.4
Möller, R.5
Rosati, R.6
Sattler, U.7
Suntisrivaraporn, B.8
Tessaris, S.9
-
22
-
-
84968501436
-
Decidability of second-order theories and automata on infinite trees
-
M. O. Rabin. Decidability of second-order theories and automata on infinite trees. Trans. of the Am. Math. Soc., 141:1-35, 1969.
-
(1969)
Trans. of the Am. Math. Soc.
, vol.141
, pp. 1-35
-
-
Rabin, M.O.1
|