-
1
-
-
0003727420
-
-
Cambridge University Press, Cambridge
-
Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)
-
(2003)
The Description Logic Handbook: Theory, Implementation and Applications
-
-
Baader, F.1
Calvanese, D.2
McGuinness, D.L.3
Nardi, D.4
Patel-Schneider, P.F.5
-
2
-
-
79551602978
-
The semantic web
-
Berners-Lee, T., Hendler, J., Lassila, O.: The semantic web. Scientific American 284, 34-44 (2001)
-
(2001)
Scientific American
, vol.284
, pp. 34-44
-
-
Berners-Lee, T.1
Hendler, J.2
Lassila, O.3
-
3
-
-
77950039421
-
General results on the decomposition of transitive fuzzy relations
-
D́iaz, S., De Baets, B., Montes, S.: General results on the decomposition of transitive fuzzy relations. Fuzzy Optimization and Decision Making 9, 1-29 (2010)
-
(2010)
Fuzzy Optimization and Decision Making
, vol.9
, pp. 1-29
-
-
D́iaz, S.1
De Baets, B.2
Montes, S.3
-
4
-
-
84863265170
-
-
GLPK: GNU linear programming kit. Technical Report (2008), http://gnuwin32.sourceforge.net/packages/glpk.htm
-
(2008)
-
-
-
5
-
-
0020845921
-
Integer programming with a fixed number of variables
-
Lenstra Jr., H.W.: Integer programming with a fixed number of variables. Mathematics of Operations Research 8(4), 538-548 (1983) (Pubitemid 14490611)
-
(1983)
Mathematics of Operations Research
, vol.8
, Issue.4
, pp. 538-548
-
-
Lenstra Jr., H.W.1
-
7
-
-
0032592917
-
A description logic with transitive and inverse roles and role hierarchies
-
Horrocks, I., Sattler, U.: A description logic with transitive and inverse roles and role hierarchies. J. of Logic and Computation 9, 385-410 (1999)
-
(1999)
J. of Logic and Computation
, vol.9
, pp. 385-410
-
-
Horrocks, I.1
Sattler, U.2
-
8
-
-
84937405545
-
Reasoning with individuals for the description logic SHIQ
-
McAllester, D. (ed.) . Springer, Heidelberg
-
Horrocks, I., Sattler, U., Tobies, S.: Reasoning with individuals for the description logic SHIQ. In: McAllester, D. (ed.) CADE 2000. LNCS, vol. 1831, pp. 482-496. Springer, Heidelberg (2000)
-
(2000)
CADE 2000. LNCS
, vol.1831
, pp. 482-496
-
-
Horrocks, I.1
Sattler, U.2
Tobies, S.3
-
10
-
-
0031388389
-
P-classic: A tractable probabilistic description logic
-
Koller, D., Levy, A., Pfeffer, A.: P-classic: A tractable probabilistic description logic. In: Proceedings of the Fourteenth National Conference on Artificial Intelligence (AAAI 1997), pp. 390-397 (1997)
-
(1997)
Proceedings of the Fourteenth National Conference on Artificial Intelligence (AAAI 1997)
, pp. 390-397
-
-
Koller, D.1
Levy, A.2
Pfeffer, A.3
-
11
-
-
62949159195
-
W3C incubator group report
-
March 05
-
Laskey, K.J., Laskey, K.B., Costa, P.C.G., Kokar, M.M., Martin, T., Lukasiewicz, T.: W3C incubator group report. Technical Report, W3C (March 05, 2008), http://www.w3.org/2005/Incubator/urw3
-
(2008)
Technical Report, W3C
-
-
Laskey, K.J.1
Laskey, K.B.2
Costa, P.C.G.3
Kokar, M.M.4
Martin, T.5
Lukasiewicz, T.6
-
12
-
-
46549084285
-
Fuzzy description logic programs under the answer set semantics for the semantic web
-
Lukasiewicz, T.: Fuzzy description logic programs under the answer set semantics for the semantic web. Fundamenta Informaticae 82, 289-310 (2008)
-
(2008)
Fundamenta Informaticae
, vol.82
, pp. 289-310
-
-
Lukasiewicz, T.1
-
16
-
-
84863244939
-
-
Spencer, B.: ALCAS: An ALC Reasoner for CAS (2006), http://www.cs.unb.ca/ bspencer/cs6795swt/alcas.prolog
-
(2006)
-
-
Spencer, B.1
-
17
-
-
31744441756
-
Multimedia annotations on the Semantic Web
-
DOI 10.1109/MMUL.2006.15
-
Stamou, G., van Ossenbruggen, J., Pan, J.Z., Schreiber, G.: Multimedia annotations on the semantic web. IEEE MultiMedia 13, 86-90 (2006) (Pubitemid 43174083)
-
(2006)
IEEE Multimedia
, vol.13
, Issue.1
, pp. 86-90
-
-
Stamou, G.1
Van Ossenbruggen, J.2
Pan, J.Z.3
Schreiber, G.4
-
18
-
-
34249019488
-
Using OWL to model biological knowledge
-
DOI 10.1016/j.ijhcs.2007.03.006, PII S1071581907000444, Knowledge representation with ontologies: Present challenges - Future possibilities
-
Stevens, R., Aranguren, M.E., Wolstencroft, K., Sattlera, U., Drummond, N., Horridge, M., Rectora, A.: Using owl to model biological knowledge. International Journal of HumanComputer Studies 65, 583-594 (2007) (Pubitemid 46803278)
-
(2007)
International Journal of Human Computer Studies
, vol.65
, Issue.7
, pp. 583-594
-
-
Stevens, R.1
Egana Aranguren, M.2
Wolstencroft, K.3
Sattler, U.4
Drummond, N.5
Horridge, M.6
Rector, A.7
|