-
1
-
-
38349000424
-
-
Alkhateeb, F., Baget, J.-F, Euzenat, J.: Extending SPARQL with Regular Expression Patterns. Tech. Report 6191, Inst. National de Recherche en Informatique et Automatique (May 2007)
-
Alkhateeb, F., Baget, J.-F, Euzenat, J.: Extending SPARQL with Regular Expression Patterns. Tech. Report 6191, Inst. National de Recherche en Informatique et Automatique (May 2007)
-
-
-
-
2
-
-
16244394689
-
Distributed Description Logics: Assimilating Information from Peer Sources
-
Borgida, A., Serafini, L.: Distributed Description Logics: Assimilating Information from Peer Sources. Journal of Data Semantics 1, 153-184 (2003)
-
(2003)
Journal of Data Semantics
, vol.1
, pp. 153-184
-
-
Borgida, A.1
Serafini, L.2
-
3
-
-
0242276205
-
-
Bouquet, P., Giunchiglia, F., van Harmelen, F., Serafini, L., Stuckenschmidt, H.: C-OWL: Contextualizing Ontologies. In: Fensel, D., Sycara, K.P., Mylopoulos, J. (eds.) ISWC 2003. LNCS, 2870, Springer, Heidelberg (2003)
-
Bouquet, P., Giunchiglia, F., van Harmelen, F., Serafini, L., Stuckenschmidt, H.: C-OWL: Contextualizing Ontologies. In: Fensel, D., Sycara, K.P., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870, Springer, Heidelberg (2003)
-
-
-
-
4
-
-
0000733226
-
HiLog: A Foundation for Higher-Order Logic Programming
-
Chen, W., Kifer, M., Warren, D.: HiLog: A Foundation for Higher-Order Logic Programming. Journal of Logic Programming 15(3), 187-230 (1993)
-
(1993)
Journal of Logic Programming
, vol.15
, Issue.3
, pp. 187-230
-
-
Chen, W.1
Kifer, M.2
Warren, D.3
-
5
-
-
84883476175
-
Logical Reconstruction of Normative RDF
-
Galway, Ireland
-
de Bruijn, J., Franconi, E., Tessaris, S.: Logical Reconstruction of Normative RDF. In: OWLED 2005. OWL: Experiences and Directions Workshop, Galway, Ireland (2005)
-
(2005)
OWLED 2005. OWL: Experiences and Directions Workshop
-
-
de Bruijn, J.1
Franconi, E.2
Tessaris, S.3
-
7
-
-
33750227942
-
Web Rule Language (WRL)
-
de Bruijn, Jeds
-
de Bruijn, J(eds.): Web Rule Language (WRL), W3C Member Submission (2005)
-
(2005)
Member Submission
, vol.W3C
-
-
-
8
-
-
38349000423
-
-
Decker, S., et al.: TRIPLE - an RDF Rule Language with Context and Use Cases. In: W3C Workshop on Rule Languages for Interoperability, Washington D.C, USA (April 2005)
-
Decker, S., et al.: TRIPLE - an RDF Rule Language with Context and Use Cases. In: W3C Workshop on Rule Languages for Interoperability, Washington D.C, USA (April 2005)
-
-
-
-
9
-
-
33750028273
-
Reasoning with Rules and Ontologies
-
Springer, Heidelberg
-
Eiter, T., Ianni, G., Polleres, A., Schindlauer, R., Tompits, H.: Reasoning with Rules and Ontologies. In: Reasoning Web 2006, pp. 93-127. Springer, Heidelberg (2006)
-
(2006)
Reasoning Web
, pp. 93-127
-
-
Eiter, T.1
Ianni, G.2
Polleres, A.3
Schindlauer, R.4
Tompits, H.5
-
11
-
-
38349021254
-
-
Euzenat, J., Scharffe, F., Zimmerman, A.: Expressive Alignment Language and Implementation. Project Deliverable D2.2.10, Knowledge Web NoE (EU-IST-2004-507482) (2007)
-
Euzenat, J., Scharffe, F., Zimmerman, A.: Expressive Alignment Language and Implementation. Project Deliverable D2.2.10, Knowledge Web NoE (EU-IST-2004-507482) (2007)
-
-
-
-
12
-
-
22944450067
-
Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity
-
Alferes, J.J, Leite, J.A, eds, JELIA 2004, Springer, Heidelberg
-
Faber, W., Leone, N., Pfeifer, G.: Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity. In: Alferes, J.J., Leite, J.A. (eds.) JELIA 2004. LNCS (LNAI), vol. 3229, Springer, Heidelberg (2004)
-
(2004)
LNCS (LNAI
, vol.3229
-
-
Faber, W.1
Leone, N.2
Pfeifer, G.3
-
13
-
-
77951505493
-
Classical Negation in Logic Programs and Disjunctive Databases
-
Gelfond, M., Lifschitz, V.: Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing 9, 365-385 (1991)
-
(1991)
New Generation Computing
, vol.9
, pp. 365-385
-
-
Gelfond, M.1
Lifschitz, V.2
-
14
-
-
0035310960
-
Local model semantics, or contextual reasoning = locality + compatibility
-
Ghidini, C., Giunchiglia, F.: Local model semantics, or contextual reasoning = locality + compatibility. Artificial Intelligence 127(2), 221-259 (2001)
-
(2001)
Artificial Intelligence
, vol.127
, Issue.2
, pp. 221-259
-
-
Ghidini, C.1
Giunchiglia, F.2
-
15
-
-
7944220884
-
RDF Semantics
-
Technical Report, W3C, W3C Recommendation February
-
Hayes, P.: RDF Semantics. Technical Report, W3C, W3C Recommendation (February 2004)
-
(2004)
-
-
Hayes, P.1
-
16
-
-
38349024297
-
-
Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: A Semantic Web Rule Language Combining OWL and RuleML, W3C Member Submission (2004)
-
Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: A Semantic Web Rule Language Combining OWL and RuleML, W3C Member Submission (2004)
-
-
-
-
17
-
-
34548103351
-
-
Kiefer, C., Bernstein, A., Lee, H.J., Klein, M., Stocker, M.: Semantic Process Retrieval with iSPARQL. In: Franconi, E., Kifer, M., May, W. (eds.) ESWC 2007. LNCS, 4519, Springer, Heidelberg (2007)
-
Kiefer, C., Bernstein, A., Lee, H.J., Klein, M., Stocker, M.: Semantic Process Retrieval with iSPARQL. In: Franconi, E., Kifer, M., May, W. (eds.) ESWC 2007. LNCS, vol. 4519, Springer, Heidelberg (2007)
-
-
-
-
18
-
-
0029333530
-
Logical Foundations of Object-oriented and Frame-based Languages
-
Kifer, M., Lausen, G., Wu, J.: Logical Foundations of Object-oriented and Frame-based Languages. Journal of the ACM 42(4), 741-843 (1995)
-
(1995)
Journal of the ACM
, vol.42
, Issue.4
, pp. 741-843
-
-
Kifer, M.1
Lausen, G.2
Wu, J.3
-
19
-
-
38349043480
-
-
Malhotra, A., Melton, N. W.J.: (eds.) XQuery 1.0 and XPath 2.0 Functions and Operators, W3C Recommendation (January 2007)
-
Malhotra, A., Melton, N. W.J.: (eds.) XQuery 1.0 and XPath 2.0 Functions and Operators, W3C Recommendation (January 2007)
-
-
-
-
20
-
-
51849115561
-
Minimal Deductive Systems for RDF
-
Innsbruck, Austria
-
Muñoz, S., Pérez, J., Gutierrez, C.: Minimal Deductive Systems for RDF. In: ESWC 2007. 4th European Semantic Web Conference, Innsbruck, Austria (2007)
-
(2007)
ESWC 2007. 4th European Semantic Web Conference
-
-
Muñoz, S.1
Pérez, J.2
Gutierrez, C.3
-
21
-
-
33845415612
-
-
Pérez, J., Arenas, M., Gutierrez, C.: Semantics and Complexity of SPARQL. In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L. (eds.) ISWC 2006. LNCS, 4273, pp. 30-43. Springer, Heidelberg (2006)
-
Pérez, J., Arenas, M., Gutierrez, C.: Semantics and Complexity of SPARQL. In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L. (eds.) ISWC 2006. LNCS, vol. 4273, pp. 30-43. Springer, Heidelberg (2006)
-
-
-
-
22
-
-
35348900819
-
From SPARQL to Rules (and back). In: WWW 2007
-
Banff, Canada May
-
Polleres, A.: From SPARQL to Rules (and back). In: WWW 2007. 16th World Wide Web Conference, Banff, Canada (May 2007)
-
(2007)
16th World Wide Web Conference
-
-
Polleres, A.1
-
26
-
-
36949029532
-
Networked rdf graphs
-
Tech. Report, Univ. Koblenz
-
Schenk, S., Staab, S.: Networked rdf graphs. Tech. Report, Univ. Koblenz (2007), http://www.uni-koblenz.de/~sschenk/publications/2006/ngtr.pdf
-
(2007)
-
-
Schenk, S.1
Staab, S.2
-
27
-
-
38349077993
-
-
Answer-Set Programming for the Semantic Web. PhD thesis, Vienna University of Technology December
-
Schindlauer, R.: Answer-Set Programming for the Semantic Web. PhD thesis, Vienna University of Technology (December 2006)
-
(2006)
-
-
Schindlauer, R.1
-
28
-
-
38349041489
-
-
Ullman, J.: Principles of Database & Knowledge Base Systems. Comp.Science Press (1989)
-
Ullman, J.: Principles of Database & Knowledge Base Systems. Comp.Science Press (1989)
-
-
-
|