-
4
-
-
0031234587
-
-
J. Minker, AI Magazine 18(3), 21-47(1997)
-
(1997)
AI Magazine
, vol.18
, Issue.3
, pp. 21-47
-
-
Minker, J.1
-
5
-
-
0003727420
-
-
Cambridge University Press, Cambridge
-
F. Baader, D. Calvanese, D. McGuinness, D. Nardi, P. Patel-Schneider (eds.), The Description Logic Handbook (Cambridge University Press, Cambridge, 2003)
-
(2003)
The Description Logic Handbook
-
-
Baader, F.1
Calvanese, D.2
McGuinness, D.3
Nardi, D.4
Patel-Schneider, P.5
-
7
-
-
0002605970
-
-
by J. Sowa. Principles of Semantic Networks Morgan Kaufmann, San Mateo
-
R. J. Brachman, D. L. McGuiness, P. F. Patel-Schneider, L. A. Resnick, in Living with CLASSIC: When and How to Use a KL-ONE-like Language, ed. by J. Sowa. Principles of Semantic Networks (Morgan Kaufmann, San Mateo, 1990)
-
(1990)
Living with CLASSIC: When and How to use a KL-ONE-like Language
-
-
Brachman, R.J.1
McGuiness, D.L.2
Patel-Schneider, P.F.3
Resnick, L.A.4
-
10
-
-
0031237090
-
-
T. Eiter, G. Gottlob, H. Mannila, ACM Trans. Database Syst. 22(3), 364-418(1997)
-
(1997)
ACM Trans. Database Syst.
, vol.22
, Issue.3
, pp. 364-418
-
-
Eiter, T.1
Gottlob, G.2
Mannila, H.3
-
11
-
-
0001119421
-
The stable model semantics for logic programming
-
by R. Kowalski, K. Bowen., Cambridge, MA
-
M. Gelfond, V. Lifschitz, The Stable Model Semantics For Logic Programming, ed. by R. Kowalski, K. Bowen. in Proceedings of the 5th International Conference on Logic Programming, Cambridge, MA, 1988, pp. 1070-1080
-
(1988)
Proceedings of the 5th International Conference on Logic Programming
, pp. 1070-1080
-
-
Gelfond, M.1
Lifschitz, V.2
-
13
-
-
33646405432
-
On the properties of metamodeling in OWL
-
by Y. Gil, E. Motta, V. R. Benjamins, M. Musen, of LNCS, Springer, Berlin
-
B. Motik, On the Properties of Metamodeling in OWL. ed. by Y. Gil, E. Motta, V. R. Benjamins, M. Musen. in Proceedings of the 4th International Semantic Web Conference (ISWC'05), vol. 3729 of LNCS, Springer, Berlin, 2005, pp. 548-562
-
(2005)
Proceedings of the 4th International Semantic Web Conference (ISWC'05)
, vol.3729
, pp. 548-562
-
-
Motik, B.1
-
14
-
-
33845431597
-
Can OWL and logic programming live together happily ever after?
-
by I. Cruz, S. Decker, D. Allemang, C. Preist, D. Schwabe, P. Mika, M. Uschold, L. Aroyo, of LNCS, Springer, Berlin
-
B. Motik, I. Horrocks, R. Rosati, U. Sattler, Can OWL and Logic Programming Live Together Happily Ever After? ed. by I. Cruz, S. Decker, D. Allemang, C. Preist, D. Schwabe, P. Mika, M. Uschold, L. Aroyo. in Proceedings of the 5th International Semantic Web Conference (ISWC'06), vol. 4273 of LNCS, Springer, Berlin, 2006, pp. 501-514
-
(2006)
Proceedings of the 5th International Semantic Web Conference (ISWC'06)
, vol.4273
, pp. 501-514
-
-
Motik, B.1
Horrocks, I.2
Rosati, R.3
Sattler, U.4
-
16
-
-
84891421559
-
-
by E. Craig. Routledge Encyclopedia of Philosophy Routledge, New York, 1998
-
E. Craig, in Ontology, ed. by E. Craig. Routledge Encyclopedia of Philosophy (Routledge, New York, 1998), pp. 117-118
-
Ontology
, pp. 117-118
-
-
Craig, E.1
-
19
-
-
33744824359
-
The SWRC ontology - Semantic Web for research communities
-
of Lecture Notes in Computer Science, Springer, Berlin
-
Y. Sure, S. Bloehdorn, P. Haase, J. Hartmann, D. Oberle, The SWRC ontology - Semantic Web for research communities. in Proceedings of the 12th Portuguese Conference on Artificial Intelligence (EPIA 2005), vol. 3803 of Lecture Notes in Computer Science, Springer, Berlin, 2005, pp. 218-231
-
(2005)
Proceedings of the 12th Portuguese Conference on Artificial Intelligence (EPIA 2005)
, vol.3803
, pp. 218-231
-
-
Sure, Y.1
Bloehdorn, S.2
Haase, P.3
Hartmann, J.4
Oberle, D.5
-
22
-
-
84947723066
-
-
by M. T. Pazienza. Information Extraction: A Multidisciplinary Approach to an Emerging Information Technology, 1299 in LNCS, Springer, Berlin
-
N. Guarino, in Semantic Matching: Formal Ontological Distinctions for Information Organization, Extraction, and Integration, ed. by M. T. Pazienza. Information Extraction: A Multidisciplinary Approach to an Emerging Information Technology, 1299 in LNCS, Springer, Berlin, 1997, pp. 139-170
-
(1997)
Semantic Matching: Formal Ontological Distinctions for Information Organization, Extraction, and Integration
, pp. 139-170
-
-
Guarino, N.1
-
23
-
-
84873476520
-
Sweetening ontologies with DOLCE
-
Springer, Berlin
-
A. Gangemi, N. Guarino, C. Masolo, A. Oltramari, L. Schneider, Sweetening Ontologies with DOLCE. in Proceedings of the 13th International Conference on Knowledge Engineering and Knowledge Management (EKAW'02). Ontologies and the Semantic Web, Springer, Berlin, 2002, pp. 166-181
-
(2002)
Proceedings of the 13th International Conference on Knowledge Engineering and Knowledge Management (EKAW'02). Ontologies and the Semantic Web
, pp. 166-181
-
-
Gangemi, A.1
Guarino, N.2
Masolo, C.3
Oltramari, A.4
Schneider, L.5
-
25
-
-
0032026995
-
-
R. Studer, R. Benjamins, D. Fensel, J. Data Knowl. Eng. 25(1-2), 161-197(1998)
-
(1998)
J. Data Knowl. Eng.
, vol.25
, Issue.1-2
, pp. 161-197
-
-
Studer, R.1
Benjamins, R.2
Fensel, D.3
-
28
-
-
35048890555
-
Query answering for OWL-DL with rules
-
by S. A. McIlraith, D. Plexousakis, F. van Harmelen, of LNCS, Springer, Berlin
-
B. Motik, U. Sattler, R. Studer, Query Answering for OWL-DL with Rules. ed. by S. A. McIlraith, D. Plexousakis, F. van Harmelen. in Proceedings of the 3rd International Semantic Web Conference (ISWC'04), vol. 3298 of LNCS, Springer, Berlin, 2004, pp. 549-563
-
(2004)
Proceedings of the 3rd International Semantic Web Conference (ISWC'04)
, vol.3298
, pp. 549-563
-
-
Motik, B.1
Sattler, U.2
Studer, R.3
-
29
-
-
0029333530
-
-
M. Kifer, G. Lausen, J. Wu, J. ACM 42(4), 741-843(1995)
-
(1995)
J. Wu, J. ACM
, vol.42
, Issue.4
, pp. 741-843
-
-
Kifer, M.1
Lausen, G.2
-
30
-
-
33746068221
-
The web service modeling language WSML: An overview
-
of Lecture Notes in Computer Science, Springer, Berlin, June
-
J. de Bruijn, H. Lausen, A. Polleres, D. Fensel, The Web Service Modeling Language WSML: An Overview. in Proceedings of the 3rd European Semantic Web Conference (ESWC'06), vol. 4011 of Lecture Notes in Computer Science, Springer, Berlin, June 2006
-
(2006)
Proceedings of the 3rd European Semantic Web Conference (ESWC'06)
, vol.4011
-
-
De Bruijn, J.1
Lausen, H.2
Polleres, A.3
Fensel, D.4
|