Verification of Conjunctive-Query Based Semantic Artifacts? Babak Bagheri Hariri1 , Diego Calvanese1 , Giuseppe De Giacomo2 , and Riccardo De Masellis2 1

Source URL: ceur-ws.org

Combined FO Rewritability for Conjunctive Query Answering in DL-Lite R. Kontchakov,1 C. Lutz,2 D. Toman,3 F. Wolter4 and M. Zakharyaschev1 1 School of CS and Information Systems 2 Fachbereich Mathematik und Informatik

Source URL: ceur-ws.org

Conjunctive Query Entailment: Decidable in Spite of O, I, and Q Birte Glimm1 and Sebastian Rudolph2 2 1

Source URL: ceur-ws.org

Joint EDBT/ICDT 2011 Ph.D. Workshop March 25th, 2011 (http://www.ai4.uni-bayreuth.de/en/events/edbt_icdt_phd_2011/index.html) - Schedule -

Source URL: www.ai4.uni-bayreuth.de

• Database theory
• Conjunctive query

Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family Diego Calvanese Faculty of Computer Science Free University of Bozen-Bolzano Piazza Domenicani 3

Source URL: exmo.inria.fr

• Computing
• Ontology
• Information science
• Information
• Semantic Web
• Knowledge representation
• Artificial intelligence
• Description logic
• Web Ontology Language
• Tbox
• Abox
• Conjunctive query

Positive Higher-Order Queries Michael Benedikt Oxford University Computing Laboratory Parks Road, Oxford, UK

Source URL: www.cs.ox.ac.uk

• Logic
• Model theory
• Mathematics
• Mathematical logic
• Conjunctive query
• Structure
• First-order logic
• Substitution
• Relational algebra
• FO
• Interpretation
• Satisfiability

FAQ Retrieval using Noisy Queries : English Monolingual Sub-task Shahbaaz Mhaisale1, Sangameshwar Patil2, Kiran Mahamuni2, Kiranjot Dhillon3, Karan Parashar3 1 Delhi Technological University, Delhi, India 2

Source URL: www.isical.ac.in

• Information science
• Information retrieval
• Natural language processing
• Ranking
• FAQ
• Database
• Query
• Search algorithms
• Internet search
• Conjunctive query

Querying DAG-shaped Execution Traces Through Views Maya Ben-Ari Tova Milo Elad Verbin

Source URL: www.cs.tau.ac.il

• Data management
• Computing
• Information science
• Query optimization
• SQL
• Directed acyclic graph
• Bin
• Theoretical computer science
• Database theory
• Search algorithms
• Lowest common ancestor
• Conjunctive query

Why data citation is a computational problem Peter Buneman Susan Davidson University of Edinburgh

Source URL: frew.eri.ucsb.edu

• Data management
• Computing
• Software
• SQL
• Database theory
• Database management systems
• Relational database management systems
• Conjunctive query
• Data integration
• Database
• View
• Query optimization

OptiqueVQS: Ontology-based Visual Querying Ahmet Soylu1,2 , Evgeny Kharlamov3 , Dmitriy Zheleznyakov3 , Ernesto Jimenez-Ruiz3 , Martin Giese1 , and Ian Horrocks3 1 2

Source URL: sunsite.informatik.rwth-aachen.de

• Computing
• Graph theory
• Data management
• Resource Description Framework
• Query languages
• Knowledge representation
• SPARQL
• Conjunctive query
• Graph
• FO
• Ontology