Suggested Papers for Student Presentations

 

 

Topics

  1. Theory of the RDF Data Model and SPARQL
  2. Time and Space in RDF
  3. RQL
  4. Update Languages for RDF
  5. Storage Structures and Query Processing for RDF and SPARQL
  6. Description Logics
  7. Implementation Techniques for DL Reasoners
  8. Description Logics and Natural Language Processing
  9. DLs and Related OO Formalisms
  10. OWL
  11. Ontology Learning from Text
  12. Ontology Evolution
  13. Ontology Alignment and Mapping
  14. Semantic Web, P2P and Publish/Subscribe
  15. Distributed Description Logics
  16. Semantic Web, Web 2.0 and Social Networks
  17. Ontologies in Applications
     

 

 

 

Theory of the RDF Data Model and SPARQL

 

  • Sergio Muñoz, Jorge Pérez, and Claudio Gutierrez. Minimal Deductive Systems for RDF. 4th European Semantic Web Conference ESWC, June 2007, Innsbruck, Austria. LNCS, vol. 4519, 2007, p. 53 - 67.

          Available from here.

  • Herman J. ter Horst: Completeness, decidability and complexity of entailment for RDF Schema and a semantic extension involving the OWL vocabulary. J. Web Sem. 3(2-3): 79-115 (2005)

          Available from here

  • Renzo Angles, Claudio Gutierrez: The Expressive Power of SPARQL. International Semantic Web Conference 2008.

Available from here.

  • Jorge Pérez , Marcelo Arenas, Claudio Gutierrez: nSPARQL: A Navigational Language for RDF. International Semantic Web Conference 2008.

Available from here.

  • Marcelo Arenas, Claudio Gutierrez, Jorge Pérez: An Extension of SPARQL for RDFS. SWDB-ODBIS 2007.

Available from here.

 



Time and Space in RDF

  • Claudio Gutierrez, Carlos A. Hurtado, Alejandro A. Vaisman: Introducing Time into RDF. IEEE Trans. Knowl. Data Eng. (2): 207-218 (2007).

    Available from here.

  • Carlos Hurtado and Alejandro Vaisman. Reasoning with Temporal Constraints in RDF. In Principles and Practice of Semantic Web Reasoning (2006).
    Available from here.

  • Matthew Perry. A Framework To Support Spatial, Temporal and Thematic Analytics over Semantic Web Data, Doctoral Dissertation, Wright State University, July 10, 2008.

    Available from here.

 

 

RQL

 

  • G. Karvounarakis, S. Alexaki, V. Christophides, D. Plexousakis, Michel Scholl. RQL: A Declarative Query Language for RDF. The Eleventh International World Wide Web Conference (WWW'02), Honolulu, Hawaii, USA, May 7-11, 2002.
  • G. Karvounarakis, A. Magkanaraki, S. Alexaki, V. Christophides, D. Plexousakis, M. Scholl, K. Tolle. RQL: A Functional Query Language for RDF. at The Functional Approach to Data Management: Modelling, Analyzing and Integrating Heterogeneous Data, P.M.D.Gray, L.Kerschberg, P.J.H.King, A.Poulovassilis (eds.), LNCS Series, Springer-Verlag, 2004.

 

        All available from here.

 

 

Update languages for RDF

 

  • M. Magiridou, S. Sahtouris, V. Christophides and M. Koubarakis, RUL: A Declarative Update Language for RDF. Fourth International Semantic Web Conference (ISWC'05), Galway, Ireland, November, 2005.

Available from here.

  • George Konstantinidis, Giorgos Flouris, Grigoris Antoniou, Vassilis Christophides. Ontology Evolution: A Framework and its Application to RDF. In Proceedings of the Joint ODBIS & SWDB Workshop on Semantic Web, Ontologies, Databases (SWDB-ODBIS-07), 2007.
  • George Konstantinidis, Giorgos Flouris, Grigoris Antoniou, Vassilis Christophides: On RDF/S Ontology Evolution. In SWDB-ODBIS 2007.
  • George Konstantinidis, Giorgos Flouris, Grigoris Antoniou, Vassilis Christophides. A Formal Approach for RDF/S Ontology Evolution. In Proceedings of the 18^th European Conference on Artificial Intelligence (ECAI-08), pages 405-409, 2008.

All available from here.

  • Claudio Gutierrez, Carlos A. Hurtado, Alejandro A. Vaisman: The Meaning of Erasing in RDF under the Katsuno-Mendelzon Approach. In WebDB 2006.

Available from here.

 

 

Storage Structures and Query Processing for RDF and SPARQL

 

  • Y. Theoharis, V. Christophides and G. Karvounarakis, Benchmarking Database Representations of RDF/S Stores. Fourth International Semantic Web Conference (ISWC'05), Galway, Ireland, November, 2005.

            Available from here.

  • Abadi, Daniel J., Marcus, Adam, Madden, Samuel R., and Hollenbach, Kate. Scalable Semantic Web Data Management Using Vertical Partitioning. In Proceedings of VLDB 2007.

            Available from here.

  • Michael Schmidt, Thomas Hornung, Georg Lausen, Christoph Pinkel : SP˛Bench: A SPARQL Performance Benchmark In International Conference on Data Engineering (ICDE'09) March 29-April 4, 2009, Shanghai, China.
     Available from here.
  • Thomas Neumann, Gerhard Weikum: RDF-3X: a RISC-style engine for RDF. In Proceedings of VLDB (1): 647-659 (2008).

Available from here.

  • Downloading, installing and comparing popular RDF stores (Jena, Sesame, Oracle, Allegrograph and others). If you are interested in this topic, please talk to Manolis.

 

 

Description Logics

 

  • Alexander Borgida. On the Relative Expressiveness of Description Logics and Predicate Logics. Artificial Intelligence 82(1-2): 353-367 (1996)

            Available from here.

  • Ian Horrocks and Ulrike Sattler. A Description Logic with Transitive and Inverse Roles and Role Hierarchies. Journal of Logic and Computation, 9(3):385-410, 1999.
  • Ian Horrocks, Ulrike Sattler, and Stephan Tobies. Reasoning with Individuals for the Description Logic SHIQ. In David McAllester, editor, Proceedings of the 17th Int. Conf. on Automated Deduction (CADE 2000), volume 1831 of Lecture Notes in Computer Science, pages 482-496. Springer, 2000.
  • Birte Glimm, Ian Horrocks, Carsten Lutz, and Uli Sattler. Conjunctive Query Answering for the Description Logic SHIQ. In Proceedings of the 20th Int. Joint Conference on Artificial Intelligence (IJCAI 2007), pages 399-404, 2007.

 

            Available from here.

 

  • Ullrich Hustadt, Boris Motik, and Ulrike Sattler. Deciding Expressive Description Logics in the Framework of Resolution. Information & Computation, 2008. To appear.
  • Yevgeny Kazakov and Boris Motik. A Resolution-Based Decision Procedure for SHOIQ. Journal of Automated Reasoning, 2007. To appear.
  • Ullrich Hustadt, Boris Motik, and Ulrike Sattler. Reasoning in Description Logics by a Reduction to Disjunctive Datalog. Journal of Automated Reasoning, 39(3):351–384, 2007.

 

            Available from here.

 

  • Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, and Riccardo Rosati. DL-Lite: Tractable description logics for ontologies. In Proceedings of the 20th Nat. Conf. on Artificial Intelligence (AAAI 2005), pages 602-607, 2005.
     
  • Diego Calvanese, Evgeny Kharlamov, and Werner Nutt. A proof theory for DL-Lite. In Proceedings of the 2007 Description Logic Workshop (DL 2007), volume 250 of CEUR Electronic Workshop Proceedings, http://ceur-ws.org/Vol-250/, pages 235-242, 2007.
     
  • Alessandro Artale, Diego Calvanese, Roman Kontchakov, and Michael Zakharyaschev, DL-Lite in the light of first-order logic. In Proceedings of the 22nd Nat. Conf. on Artificial Intelligence (AAAI 2007), pages 361-366, 2007.

 

  • Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini. Description Logics for Information Integration.Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski. 2002
     

Available from here.

 

  • Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, and Riccardo Rosati. Linking data to ontologies: The description logic DL-LiteA. In Proceedings of the 2nd Workshop on OWL: Experiences and Directions (OWLED 2006), 2006.
    Available from here
     

       

 

Implementation Techniques for DL Reasoners

 

  • Ian Horrocks. Using an Expressive Description Logic: FaCT or Fiction? In Proceedings of the 6th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR'98), pages 636-647, 1998.
  • Ian Horrocks and Peter F. Patel-Schneider. Optimizing Description Logic Subsumption. Journal of Logic and Computation, 9(3):267-293, 1999.
  • Ian Horrocks. The FaCT System. In Harrie de Swart, editor, Proc. of the 2nd Int. Conf. on Analytic Tableaux and Related Methods (TABLEAUX'98), volume 1397 of Lecture Notes in Artificial Intelligence, pages 307-312. Springer, 1998.

 

            Available from here.

  • Evren Sirin, Bijan Parsia, Bernardo Cuenca Grau, Aditya Kalyanpur and Yarden Katz. Pellet: A practical OWL-DL reasoner, Journal of Web Semantics, 5(2), 2007.
     
  • Evren Sirin and Bernardo Cuenca Grau and Bijan Parsia. From Wine to Water: Optimizing Description Logic Reasoning for Nominals, Proceedings of the International Conference on the Principles of Knowledge Representation and Reasoning (KR-2006), 2006.

            Available from here.

 

  • Downloading, installing and comparing popular DL reasoners (FACT++, KAON2, Pellet, Racer). If you are interested in this topic, please talk to Manolis.

 

 

Description Logics and Natural Language Processing

 

  • Raffaella Bernardi, Diego Calvanese, and Camilo Thorne. Lite natural language. In 7th Int. Workshop on Computational Semantics (IWCS-7), 2007.
    Available from here.
     
  • Ian Pratt-Hartmann: Fragments of Language. Journal of Logic, Language and Information 13(2): 207-223 (2004)
     
  • I. Pratt-Hartmann and A. Third. More fragments of language: the case of ditran-
    sitive verbs    . Notre Dame Journal of Formal Logic, 2006.


            Available from here.

 

 

 

DLs and Related OO Formalisms

 

  • Daniela Berardi, Diego Calvanese, and Giuseppe De Giacomo. Reasoning on UML class diagrams. Artificial Intelligence, 168(1-2):70-118, 2005.
     
  • Alessandro Artale, Diego Calvanese, Roman Kontchakov, Vladislav Ryzhikov, and Michael Zakharyaschev. Complexity of reasoning in Entity Relationship models
    Technical report, Faculty of Computer Science, Free University of Bozen-Bolzano, 2007. Full version of a paper published in the Proc. of the 2007 Description Logic Workshop (DL 2007).
     

        Available from here.

 

  

OWL

 

  • Jeff Pan and Ian Horrocks. RDFS(FA): Connecting RDF(S) and OWL DL. IEEE Trans. on Knowledge and Data Engineering, 19(2):192-206, 2007.
     
  • Ian Horrocks and Peter Patel-Schneider. Reducing OWL entailment to description logic satisfiability. Journal of Web Semantics, 1(4):345-357, 2004.

 

           Available from here.

 

  • Boris Motik, Ian Horrocks, and Ulrike Sattler. Bridging the Gap Between OWL and Relational Databases. In Proceedings of the 16th International World Wide Web Conference (WWW 2007), pages 807–816, Banff, AB, Canada, May 8–12 2007. ACM Press.
  • Boris Motik. On the Properties of Metamodeling in OWL. Journal of Logic and Computation, 17(4):617–637, 2007.

 

            Available from here.

 

  • Achille Fokoue, Aaron Kershenbaum, Li Ma, Edith Schonberg and Kavitha Srinivas. The Summary Abox: Cutting Ontologies Down to Size. In Proceedings of ISWC2006
    Available from here.
     
  • Aditya Kalyanpur, IBM Watson Research Center; Bijan Parsia, Matthew Horridge, University of Manchester; Evren Sirin, Clark & Parsia. Finding all Justifications of OWL DL Entailments.  In Proceedings of the 6th International Semantic Web Conference (ISWC'2007), Korea, Nov. 2007
     
  • Markus Krötzsch, University of Karlsruhe; Sebastian Rudolph, University of Karlsruhe; Pascal Hitzler, University of Karlsruhe. Conjunctive Queries for a Tractable Fragment of OWL 1.1.  In Proceedings of the 6th International Semantic Web Conference (ISWC'2007), Korea, Nov. 2007
     

             Available from here.

 

 

Ontology Learning from Text

 

·                P. Cimiano and S. Staab. Learning by googling. SIGKDD Explorations, 6(2):24{33}, 2004.
·                Available from here. 
·                P. Cimiano and J. Volker. Text2Onto. A Framework for Ontology Learning and Data-Driven Change Discovery, pages 227-238. Springer-Verlag, Berlin,
·                Heidelberg, 2005.
·                Available from here. 
·                P. Buitelaar, D. Olejnic, and M. Sintek. A Protege Plug-In for Ontology Extraction from Text Based on Linguistic Analysis. In Proceedings of the 1st
·                European Semantic Web Symposium (ESWS), 2004.
·                Available from here. 
·                E. Zavitsanos, G. Paliouras, G. Vouros and S. Petridis, Discovering Subsumption Hierarchies of Ontology Concepts from Text Corpora. In
·                Proceedings of the -21-IEEE/WIC/ACM International Conference on Web Intelligence (WI), Silicon Valley, USA, November 2-5, 2007.
·                Available from here. 
 
 

Ontology Evolution
 

  • Giorgos Flouris, Zhisheng Huang, Jeff Z. Pan, Dimitris Plexousakis, Holger Wache. Inconsistencies, Negations and Changes in Ontologies. In Proceedings of the 21^st National Conference on Artificial Intelligence (AAAI-06), 2006.
     
  • Giorgos Flouris, Dimitris Plexousakis, Grigoris Antonio. On Applying the AGM Theory to DLs and OWL. In Proceedings of the 4^th International Semantic Web Conference (ISWC-05), published in Yolanda Gil, Enrico Motta, V. Richard Benjamins, Mark A. Musen (eds), Lecture Notes in Computer Science, Vol. 3729 / 2005, Springer-Verlag, pages 216-231, 2005.

    Available from here.

 

  • N. Noy, A. Chugh, W. Liu, M. A. Musen. A Framework for Ontology Evolution in Collaborative Environments, In Proceedings of ISWC-2006, Athens, Georgia.
    Available from here.
     
  • Dimitris Zeginis, Yannis Tzitzikas and Vassilis Christophides. On the Foundations of Computing Deltas between RDF models. In Proceedings of the 6th International Semantic Web Conference (ISWC'2007), Korea, Nov. 2007.
    Available from here.
     
  • P. Plessers, O. De Troyer, S. Casteleyn, Understanding ontology evolution: A change detection approach. Journal of Web Semantics, 5(1), 2007
    Available from here.

 

 

Ontology Alignment and Mapping

 

  • P. Shvaiko, J. Euzenat:  A Survey of Schema-based Matching Approaches.  Journal on Data Semantics, 2005.
    Available from here.  
     
  • S. M. Falconer, M.-A. Storey:  A Cognitive Support Framework for Ontology Mapping.  In Proceedings of ISWC+ASWC, 2007.
     
  • H. Tan, P. Lambrix:  A Method for Recommending Ontology Alignment Strategies.  In Proceedings of ISWC+ASWC, 2007.
     
  • W. Hu, Y. Qu:  Discovering Simple Mappings Between Relational Database Schemas and Ontologies.  In Proceedings of ISWC+ASWC, 2007.


            Available from here.

 

  • J. Tang, J. Li, B. Liang, X. Huang, Y. Li, and K. Wang. Using Bayesian Decision for Ontology Mapping. Journal of Web Semantics, Vol(4) 4, pp. 243-262, 2006.
    Available from here.
     
  • Wei Hu and Yuzhong Qu. Block Matching for Ontologies. In Proceedings of International Semantic Web Conference 2006.
    Available from here.  

 

  

 

Semantic Web, P2P and Publish/Subscribe

 

  • Haifeng Liu, Milenko Petrovic and Hans-Arno Jacobsen, Efficient and scalable filtering of graph-based metadata. Journal of Web Semantics, Volume 3, 2005.
    Available from here.
     
  • P.-A. Chirita, S. Idreos, M. Koubarakis, and W. Nejdl. Designing Semantic Publish/Subscribe Networks Using Super-Peers. In "Semantic Web and Peer-to-Peer", Steffen Staab and Heiner Stuckenschmidt (editors), Springer, 2006.
    Available from here.
     
  •  Min Cai, Martin Frank. RDFPeers: A Scalable Distributed RDF Repository Based on a Structured Peer-to-Peer Network. In International World Wide Web Conference
    (WWW), 2004.
    Available from here.
     
  • E. Liarou, S. Idreos and M. Koubarakis, Evaluating Conjunctive Triple Pattern Queries over Large Structured Overlay Networks, Proceedings of the 5th International Semantic Web Conference (ISWC), Athens, GA, USA, November 5-9, 2006.
    Available from here.
     
  • Erietta Liarou, Stratos Idreos and Manolis Koubarakis. Continuous RDF Query Processing over DHTs. Proceedings of the 6th International Semantic Web Conference (ISWC). Busan, Korea. November 11-15, 2007.

Available from here.  
 

  • M. Koubarakis, I. Miliaraki, Z. Kaoudi, M. Magiridou and A. Papadakis-Pesaresi. Semantic Grid Resource Discovery using DHTs in Atlas. 3rd GGF Semantic Grid Workshop, 13-16 February 2006, Athens, Greece.
    Available from here.  

 

Distributed Description Logics

 

  • L. Serafini and A. Tamilin. DRAGO: Distributed reasoning architecture for the semantic web. Technical Report T04-12-05, ITC-irst, December 2004.
     
  • L. Serafini and A. Tamilin. Local tableaux for reasoning in distributed description logics. In V. Haarslev and R.Moeller, editors, /Proceedings of the 2004 Intl. Workshop on Description Logics (DL2004)/, pages 100--109. CEUR-WS, 2004
     
  • A. Borgida and L. serafini. Distributed Description Logics: Assimilating Information from Peer Sources. Journal of Data Semantics, 1:153-184, 2003. Editor in Chief S. Spaccapietra. LNCS 2800, Springer Verlag.
     

        Available from here.

 

 

 

Semantic Web, Web 2.0 and Social Networks

 

  • mc schraefel, m. c., Smith, D. A., Russell, A. and Wilson, M. L. (2006). Semantic Web meets Web 2.0 (and vice versa): The Value of the Mundane for the Semantic Web. In Proceedings of 5th International Semantic Web Conference (ISWC 2006 )
    Available from here.
     
  • Peter Mika. Ontologies are us: A unified model of social networks and semantics. In Proceedings of 4th International Semantic Web Conference (ISWC 2005 ), Galway, Ireland.
     
  • Peter Mika. Flink: Semantic Web Technology for the Extraction and Analysis of Social Networks, Journal of Web Semantics, 2005.
     

            Available from here.

 

  • Andreas Hotho and Robert Jäschke and Christoph Schmitz and Gerd Stumme. Information Retrieval in Folksonomies: Search and Ranking. In York Sure and John Domingue, editor(s), The Semantic Web: Research and Applications, (4011):411-426, Springer,Heidelberg,2006.
     
  • Andreas Hotho and Robert Jäschke and Christoph Schmitz and Gerd Stumme. BibSonomy: A Social Bookmark and Publication Sharing System. In Aldo de Moor and Simon Polovina and Harry Delugach, editor(s), Proceedings of the First Conceptual Structures Tool Interoperability Workshop at the 14th International Conference on Conceptual Structures, 87-102, Aalborg Universitetsforlag,Aalborg,2006.
     

           Available from here.  
 

  • Specia, L., Motta, E., Integrating Folksonomies with the Semantic Web. European Semantic Web Conference (ESWC 2007), Innsbruck, Austria.
    Available from here.

 

Ontologies in Applications

 

  • Lei Li and Ian Horrocks. A Software Framework For Matchmaking Based on Semantic Web Technology. In Proceedings of the Twelfth International World Wide Web Conference (WWW 2003), pages 331-339. ACM, 2003.
  • Lei Li and Ian Horrocks. A Software Framework for Matchmaking Based on Semantic Web Technology. International Journal of Electronic Commerce, 8(4):39-60, 2004.

 

            Available from here.

 

  •  David Martin et.al. OWL-S: Semantic Markup for Web Services

 Available from here.  

  • R. Stevens, M. Egana Aranguren, K. Wolstencroft, U. Sattler, N. Drummond, M. Horridge, and A. Rector: Using OWL to model biological knowledge. International Journal of Human-Computer Studies, in print, 2007.

            Available from here.

  • Luke McDowell, Oren Etzioni and Alon Halevy. Semantic email: theory and applications. Journal of Web Semantics, Volume 2, Issue 2,  2004
    Available from here.
  • David R. Karger and Dennis Quan, What would it mean to blog on the semantic web?. Journal of Web Semantics, Volume 3, 2005
    Available from here. 
  • Markus Krötzsch, Denny Vrandecic, Max Völkel, Heikdi Studer. Semantic Wikipedia. Journal of Web Semantics, 5: 251--261. September 2007.

      Available from here.  

  • Suchanek, F.M., G. Kasneci and G. Weikum: Yago: A core of semantic knowledge - unifying WordNet and Wikipedia. In 16th Int. World Wide Web Conf. (WWW 2007), (Eds.) C.L. Williamson, M.E. Zurko, P.F.S.P.J. Patel-Schneider. ACM, New York 2007, 697-706.
    Available from here.
·                Olivier Bodenreider and Robert Stevens. Bio-ontologies: current trends and future directions. Brief Bioinform, 7(3):256–274, 2006
          Available from here.
·                K. Wolstencroft, A. Brass, I. Horrocks, P. Lord, U. Sattler, D. Turi, and R. Stevens. A Little Semantic Web Goes a Long Way in Biology. In Proceedings of the 4th Int. Semantic  Web Conf. ( ISWC2005), volume 3729/2005 of LNCS,. Springer-Verlag, 2005. 
         Available from here. 
·                M. J. O'Connor, R. D. Shankar, S. W. Tu, C. Nyulas, D. B. Parrish, M. A. Musen, A. K. Das. Using Semantic Web Technologies for Knowledge-Driven Querying of Biomedical Data. In Proceedings of the 11th Conference on Artificial Intelligence in Medicine (AIME 07), Amsterdam, Netherlands, 2007.
         Available from here.