-
1
-
-
0142131356
-
OWL web ontology language
-
Technical report, World Wide Web Consortium February, W3C Candidate Recommendation
-
Smith, M.K., Welty, C, McGuinness, D.L.: OWL web ontology language. Technical report, World Wide Web Consortium (February 2004) W3C Candidate Recommendation, http://www.w3.org/TR/owl-guide/
-
(2004)
-
-
Smith, M.K.1
Welty, C.2
McGuinness, D.L.3
-
2
-
-
0003727420
-
-
Cambridge University Press, Cambridge
-
Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.: 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.3
Nardi, D.4
Patel-Schneider, P.5
-
3
-
-
4344615591
-
From SHIQ and RDF to OWL: The making of a web ontology language
-
Horrocks, I., Patel-Schneider, P.F., van Harmelen, F.: From SHIQ and RDF to OWL: The making of a web ontology language, Journal of Web Semantics 1(1), 7-26 (2003)
-
(2003)
Journal of Web Semantics
, vol.1
, Issue.1
, pp. 7-26
-
-
Horrocks, I.1
Patel-Schneider, P.F.2
van Harmelen, F.3
-
4
-
-
0038167068
-
A model of multimedia information retrieval
-
Meghini, C., Sebastiani, F., Straccia, U.: A model of multimedia information retrieval. Journal of the ACM 48(5), 909-970 (2001)
-
(2001)
Journal of the ACM
, vol.48
, Issue.5
, pp. 909-970
-
-
Meghini, C.1
Sebastiani, F.2
Straccia, U.3
-
7
-
-
33749663957
-
The fuzzy description logic f-SHIN
-
Stoilos, G., Stamou, G., Tzouvaras, V., Pan, J.Z., Horrocks, I.: The fuzzy description logic f-SHIN. In: Proc. of the International Workshop on Uncertainty Reasoning For the Semantic Web (2005)
-
(2005)
Proc. of the International Workshop on Uncertainty Reasoning For the Semantic Web
-
-
Stoilos, G.1
Stamou, G.2
Tzouvaras, V.3
Pan, J.Z.4
Horrocks, I.5
-
9
-
-
41149143163
-
Error back-propagation in multi-valued logic systems
-
India, December 13-15
-
Apostolikas, G., Konstantopoulos, S.: Error back-propagation in multi-valued logic systems. In: Proc. International Conf. on Computational Intelligence and Multimedia Applications (ICCIMA 2007), Sivakasi, India, December 13-15 (2007)
-
(2007)
Proc. International Conf. on Computational Intelligence and Multimedia Applications (ICCIMA 2007), Sivakasi
-
-
Apostolikas, G.1
Konstantopoulos, S.2
-
10
-
-
84918983692
-
A machine-oriented logic based on the resolution principle
-
Robinson, J.A.: A machine-oriented logic based on the resolution principle. Journal of the ACM 12(1), 23-41 (1965)
-
(1965)
Journal of the ACM
, vol.12
, Issue.1
, pp. 23-41
-
-
Robinson, J.A.1
-
11
-
-
0029695436
-
Tabled evaluation with delaying for general logic programs
-
Chen, W., Warren, D.S.: Tabled evaluation with delaying for general logic programs. Journal of the ACM 43, 20-74 (1996)
-
(1996)
Journal of the ACM
, vol.43
, pp. 20-74
-
-
Chen, W.1
Warren, D.S.2
-
12
-
-
38349074016
-
-
Hustadt, U., Motik, B., Sattler, U.: Reasoning for description logics around SHIQ in a resolution framework. Technical Report 3-8-04/04, Forschungszentrum Informatik, Karlsruhe (2004)
-
Hustadt, U., Motik, B., Sattler, U.: Reasoning for description logics around SHIQ in a resolution framework. Technical Report 3-8-04/04, Forschungszentrum Informatik, Karlsruhe (2004)
-
-
-
-
13
-
-
38349048209
-
-
Holzbaur, C.: OFAI clp(Q,R) manual, edition 1.3.3. Technical Report TR-95-09, Austrian Research Institute for Artificial Intelligence, Vienna (1995)
-
Holzbaur, C.: OFAI clp(Q,R) manual, edition 1.3.3. Technical Report TR-95-09, Austrian Research Institute for Artificial Intelligence, Vienna (1995)
-
-
-
|