International Workshop on Description Logics (DL)

Event name
International Workshop on Description Logics (DL)
 
Start date
30-05-2006
End date
01-06-2006
 
Location
Windermere, Lake District, UK
Country
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Results 1-16 of 16 (Search time: 0.003 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Lukasiewicz, Thomas ; Ragone, Azzurra ; Cuenca Grau, Bernardo ; Horrocks, Ian ; Motik, Boris ; Sattler, Ulrike A Combination of Boolean Games with Description Logics for Automated Multi-Attribute NegotiationKonferenzbeitrag Inproceedings 2009
2Bienvenu, Meghyn ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Kazakov, Yevgeny ; Lembo, Domenico ; Wolter, Frank Answering Expressive Path Queries over Lightweight DL Knowledge BasesKonferenzbeitrag Inproceedings 2012
3Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Eiter, Thomas ; Baader, Franz ; Lutz, Carsten ; Motik, Boris Conjunctive Query Answering in SH using KnotsKonferenzbeitrag Inproceedings 2008
4Bozzato, Loris ; Eiter, Thomas ; Serafini, Luciano ; Bienvenu, Meghyn ; Ortiz de la Fuente, M.Magdalena ; Rosati, Riccardo ; Simkus, Mantas Contextualized Knowledge Repositories with Justifiable ExceptionsKonferenzbeitrag Inproceedings 2014
5Ortiz de la Fuente, M.Magdalena ; Calvanese, Diego ; Eiter, Thomas ; Parsi, Bijan ; Sattler, Ulrike ; Toman, David Data Complexity of Answering Unions of Conjunctive Queries in SHIQKonferenzbeitrag Inproceedings 2006
6Calvanese, Diego ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Eiter, Thomas ; Glimm, Birte ; Kazakov, Yevgeny ; Krötzsch, Markus Evolving Graph Databases under Description Logic ConstraintsKonferenzbeitrag Inproceedings 2013
7Eiter, Thomas ; Ianni, Giovambattista ; Krennwallner, Thomas ; Schindlauer, Roman ; Calvanese, Diego ; Franconi, Enrico ; Haarslev, Volker ; Lembo, Domenico ; Motik, Boris ; Turhan, Anni-Yasmin ; Tessaris, Sergio Exploiting Conjunctive Queries in Description Logic Programs.Konferenzbeitrag Inproceedings 2007
8Schockaert, Steven ; Ibanez Garcia, Yazmin Angelica ; Gutierrez-Basulto, Victor Modelling Concept Interpolation in Description Logics using Abstract Betweenness RelationsKonferenzbeitrag Inproceedings 2021
9Ibanez Garcia, Yazmin Angelica ; Gutierrez-Basulto, Victor ; Jung, Jean Chistoph Number Restrictions on Transitive Roles in Description Logics with NominalsKonferenzbeitrag Inproceedings 2017
10Gutierrez-Basulto, Victor ; Ibanez Garcia, Yazmin Angelica ; Jung, Jean Chistoph On Query Answering in Description Logics with Number Restrictions on Transitive RolesKonferenzbeitrag Inproceedings 2017
11Bienvenu, Meghyn ; Eiter, Thomas ; Lutz, Carsten ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Haarslev, Volker ; Toman, David ; Weddell, Grant Query Answering in the Description Logic SKonferenzbeitrag Inproceedings 2010
12Ahmetaj, Shqiponja ; David, Robert ; Ortiz de la Fuente, M.Magdalena ; Polleres, Axel ; Shehu, Bojken ; Simkus, Mantas Reasoning about Explanations for Non-validation in SHACL (Extended abstract)Konferenzbeitrag Inproceedings 2021
13Calvanese, Diego ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Stefanoni, Giorgio ; Rosati, Riccardo ; Rudolph, Sebastian ; Zakharyaschev, Michael The Complexity of Conjunctive Query Abduction in DL-LiteKonferenzbeitrag Inproceedings 2011
14Eiter, Thomas ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Tran, Trung-Kien ; Xiao, Guohui ; Kazakov, Yevgeny ; Lembo, Domenico ; Wolter, Frank Towards Practical Query Answering for Horn SHIQ.Konferenzbeitrag Inproceedings 2012
15Bienvenu, Meghyn ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Xiao, Guohui ; Eiter, Thomas ; Glimm, Birte ; Kazakov, Yevgeny ; Krötzsch, Markus Tractability Guarantees for DL-Lite Query AnsweringKonferenzbeitrag Inproceedings 2013
16Cali, Andrea ; Gottlob, Georg ; Lukasiewicz, Thomas ; Cuenca Grau, Bernardo ; Horrocks, Ian ; Motik, Boris ; Sattler, Ulrike Tractable Query Answering over Ontologies with Datalog+-Konferenzbeitrag Inproceedings 2009