callback( { "result":{ "query":":facetid:toc:\"db/conf/dlog/dlog2018.bht\"", "status":{ "@code":"200", "text":"OK" }, "time":{ "@unit":"msecs", "text":"69.49" }, "completions":{ "@total":"1", "@computed":"1", "@sent":"1", "c":{ "@sc":"48", "@dc":"48", "@oc":"48", "@id":"43377005", "text":":facetid:toc:db/conf/dlog/dlog2018.bht" } }, "hits":{ "@total":"48", "@computed":"48", "@sent":"48", "@first":"0", "hit":[{ "@score":"1", "@id":"2546438", "info":{"authors":{"author":[{"@pid":"179/0969","text":"Medina Andresel"},{"@pid":"57/8677","text":"Yazmín Angélica Ibáñez-García"},{"@pid":"71/3644","text":"Magdalena Ortiz 0001"},{"@pid":"01/5959","text":"Mantas Simkus"}]},"title":"Taming Complex Role Inclusions for DL-Lite.","venue":"Description Logics","year":"2018","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/AndreselIOS18","ee":"https://ceur-ws.org/Vol-2211/paper-05.pdf","url":"https://dblp.org/rec/conf/dlog/AndreselIOS18"}, "url":"URL#2546438" }, { "@score":"1", "@id":"2546439", "info":{"authors":{"author":[{"@pid":"65/6588","text":"Alessandro Artale"},{"@pid":"228/9390","text":"Andrea Mazzullo"},{"@pid":"149/1363","text":"Ana Ozaki"}]},"title":"Temporal Description Logics over Finite Traces.","venue":"Description Logics","year":"2018","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/ArtaleMO18","ee":"https://ceur-ws.org/Vol-2211/paper-06.pdf","url":"https://dblp.org/rec/conf/dlog/ArtaleMO18"}, "url":"URL#2546439" }, { "@score":"1", "@id":"2546440", "info":{"authors":{"author":[{"@pid":"b/FBaader","text":"Franz Baader"},{"@pid":"132/5762","text":"Oliver Fernandez Gil"},{"@pid":"163/5291","text":"Maximilian Pensel"}]},"title":"Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata.","venue":"Description Logics","year":"2018","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/BaaderGP18","ee":"https://ceur-ws.org/Vol-2211/paper-38.pdf","url":"https://dblp.org/rec/conf/dlog/BaaderGP18"}, "url":"URL#2546440" }, { "@score":"1", "@id":"2546441", "info":{"authors":{"author":[{"@pid":"b/FBaader","text":"Franz Baader"},{"@pid":"163/5141","text":"Francesco Kriegel"},{"@pid":"173/2624","text":"Adrian Nuradiansyah"},{"@pid":"56/3960","text":"Rafael Peñaloza"}]},"title":"Making Repairs in Description Logics More Gentle (Extended Abstract).","venue":"Description Logics","year":"2018","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/BaaderKNP18","ee":"https://ceur-ws.org/Vol-2211/paper-39.pdf","url":"https://dblp.org/rec/conf/dlog/BaaderKNP18"}, "url":"URL#2546441" }, { "@score":"1", "@id":"2546442", "info":{"authors":{"author":[{"@pid":"b/FBaader","text":"Franz Baader"},{"@pid":"173/2624","text":"Adrian Nuradiansyah"}]},"title":"Towards Privacy-Preserving Ontology Publishing.","venue":"Description Logics","year":"2018","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/BaaderN18","ee":"https://ceur-ws.org/Vol-2211/paper-07.pdf","url":"https://dblp.org/rec/conf/dlog/BaaderN18"}, "url":"URL#2546442" }, { "@score":"1", "@id":"2546443", "info":{"authors":{"author":[{"@pid":"117/5974","text":"Konstantina Bereta"},{"@pid":"32/1624","text":"George Papadakis 0001"},{"@pid":"40/4517","text":"Manolis Koubarakis"}]},"title":"SPARQLing-Up the Web on-the-fly using Ontologies and Mappings.","venue":"Description Logics","year":"2018","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/Bereta0K18","ee":"https://ceur-ws.org/Vol-2211/paper-40.pdf","url":"https://dblp.org/rec/conf/dlog/Bereta0K18"}, "url":"URL#2546443" }, { "@score":"1", "@id":"2546444", "info":{"authors":{"author":{"@pid":"80/28","text":"Meghyn Bienvenu"}},"title":"Inconsistency-Tolerant Ontology-Based Data Access Revisited: Taking Mappings into Account.","venue":"Description Logics","year":"2018","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/Bienvenu18","ee":"https://ceur-ws.org/Vol-2211/paper-41.pdf","url":"https://dblp.org/rec/conf/dlog/Bienvenu18"}, "url":"URL#2546444" }, { "@score":"1", "@id":"2546445", "info":{"authors":{"author":[{"@pid":"00/2088","text":"Dimitris Bilidas"},{"@pid":"40/4517","text":"Manolis Koubarakis"}]},"title":"Efficient Duplicate Elimination in SPARQL to SQL Translation.","venue":"Description Logics","year":"2018","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/BilidasK18","ee":"https://ceur-ws.org/Vol-2211/paper-08.pdf","url":"https://dblp.org/rec/conf/dlog/BilidasK18"}, "url":"URL#2546445" }, { "@score":"1", "@id":"2546446", "info":{"authors":{"author":[{"@pid":"228/9347","text":"Katinka Böhm"},{"@pid":"71/3644","text":"Magdalena Ortiz 0001"}]},"title":"A Tool for Building Topic-specific Ontologies Using a Knowledge Graph.","venue":"Description Logics","year":"2018","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/BohmO18","ee":"https://ceur-ws.org/Vol-2211/paper-10.pdf","url":"https://dblp.org/rec/conf/dlog/BohmO18"}, "url":"URL#2546446" }, { "@score":"1", "@id":"2546447", "info":{"authors":{"author":[{"@pid":"200/2441","text":"Anneke Bötcher"},{"@pid":"l/CarstenLutz","text":"Carsten Lutz"},{"@pid":"w/FrankWolter","text":"Frank Wolter"}]},"title":"Complete Approximations of Horn DL Ontologies.","venue":"Description Logics","year":"2018","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/BotcherLW18","ee":"https://ceur-ws.org/Vol-2211/paper-11.pdf","url":"https://dblp.org/rec/conf/dlog/BotcherLW18"}, "url":"URL#2546447" }, { "@score":"1", "@id":"2546448", "info":{"authors":{"author":[{"@pid":"228/9148","text":"Leonard Botha"},{"@pid":"m/ThomasAndreasMeyer","text":"Thomas Andreas Meyer"},{"@pid":"56/3960","text":"Rafael Peñaloza"}]},"title":"The Bayesian Description Logic BALC.","venue":"Description Logics","year":"2018","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/BothaMP18","ee":"https://ceur-ws.org/Vol-2211/paper-09.pdf","url":"https://dblp.org/rec/conf/dlog/BothaMP18"}, "url":"URL#2546448" }, { "@score":"1", "@id":"2546449", "info":{"authors":{"author":[{"@pid":"c/DiegoCalvanese","text":"Diego Calvanese"},{"@pid":"51/926","text":"Tahir Emre Kalayci"},{"@pid":"85/1455","text":"Marco Montali"},{"@pid":"10/11440","text":"Ario Santoso"},{"@pid":"a/WilMPvanderAalst","text":"Wil M. P. van der Aalst"}]},"title":"Conceptual Schema Transformation in Ontology-based Data Access (Extended Abstract).","venue":"Description Logics","year":"2018","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/CalvaneseKMSA18","ee":"https://ceur-ws.org/Vol-2211/paper-42.pdf","url":"https://dblp.org/rec/conf/dlog/CalvaneseKMSA18"}, "url":"URL#2546449" }, { "@score":"1", "@id":"2546450", "info":{"authors":{"author":[{"@pid":"00/11425","text":"David Carral"},{"@pid":"159/1564","text":"Irina Dragoste"},{"@pid":"85/782","text":"Markus Krötzsch"}]},"title":"Tractable Query Answering for DL Ontologies and Existential Rules: Extended Abstract.","venue":"Description Logics","year":"2018","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/CarralDK18","ee":"https://ceur-ws.org/Vol-2211/paper-43.pdf","url":"https://dblp.org/rec/conf/dlog/CarralDK18"}, "url":"URL#2546450" }, { "@score":"1", "@id":"2546451", "info":{"authors":{"author":[{"@pid":"45/861","text":"Jieying Chen"},{"@pid":"84/5739","text":"Michel Ludwig"},{"@pid":"08/6794-9","text":"Yue Ma 0009"},{"@pid":"98/6949-2","text":"Dirk Walther 0002"}]},"title":"Computing Minimal Projection Modules for Conjunctive Queries.","venue":"Description Logics","year":"2018","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/ChenLM018","ee":"https://ceur-ws.org/Vol-2211/paper-12.pdf","url":"https://dblp.org/rec/conf/dlog/ChenLM018"}, "url":"URL#2546451" }, { "@score":"1", "@id":"2546452", "info":{"authors":{"author":[{"@pid":"45/861","text":"Jieying Chen"},{"@pid":"08/6794-9","text":"Yue Ma 0009"},{"@pid":"98/6949-2","text":"Dirk Walther 0002"}]},"title":"Computing Best Ontology Excerpts via Weighted Partial Max-SAT Solving.","venue":"Description Logics","year":"2018","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/ChenM018","ee":"https://ceur-ws.org/Vol-2211/paper-13.pdf","url":"https://dblp.org/rec/conf/dlog/ChenM018"}, "url":"URL#2546452" }, { "@score":"1", "@id":"2546453", "info":{"authors":{"author":[{"@pid":"228/9312","text":"Mario Ricardo Cruz Duarte"},{"@pid":"56/1470","text":"Boris Konev"},{"@pid":"149/1363","text":"Ana Ozaki"}]},"title":"Exact Learning of EL Ontologies.","venue":"Description Logics","year":"2018","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/DuarteKO18","ee":"https://ceur-ws.org/Vol-2211/paper-14.pdf","url":"https://dblp.org/rec/conf/dlog/DuarteKO18"}, "url":"URL#2546453" }, { "@score":"1", "@id":"2546454", "info":{"authors":{"author":[{"@pid":"53/10545","text":"Humaira Farid"},{"@pid":"h/VolkerHaarslev","text":"Volker Haarslev"}]},"title":"Handling Nominals and Inverse Roles using Algebraic Reasoning.","venue":"Description Logics","year":"2018","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/FaridH18","ee":"https://ceur-ws.org/Vol-2211/paper-15.pdf","url":"https://dblp.org/rec/conf/dlog/FaridH18"}, "url":"URL#2546454" }, { "@score":"1", "@id":"2546455", "info":{"authors":{"author":[{"@pid":"50/6554","text":"Cristina Feier"},{"@pid":"l/CarstenLutz","text":"Carsten Lutz"},{"@pid":"w/FrankWolter","text":"Frank Wolter"}]},"title":"From Conjunctive Queries to SPARQL Queries in Ontology-Mediated Querying.","venue":"Description Logics","year":"2018","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/FeierLW18","ee":"https://ceur-ws.org/Vol-2211/paper-16.pdf","url":"https://dblp.org/rec/conf/dlog/FeierLW18"}, "url":"URL#2546455" }, { "@score":"1", "@id":"2546456", "info":{"authors":{"author":[{"@pid":"56/4363","text":"Guillaume Feuillade"},{"@pid":"h/AndreasHerzig","text":"Andreas Herzig"},{"@pid":"165/1188","text":"Christos Rantsoudis"}]},"title":"A Dynamic Extension of ALCO for Repairing via Preferred Updates.","venue":"Description Logics","year":"2018","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/FeuilladeHR18","ee":"https://ceur-ws.org/Vol-2211/paper-17.pdf","url":"https://dblp.org/rec/conf/dlog/FeuilladeHR18"}, "url":"URL#2546456" }, { "@score":"1", "@id":"2546457", "info":{"authors":{"author":{"@pid":"228/9151","text":"Lukas Grätz"}},"title":"Concepts as Modal Operators in Description Logics.","venue":"Description Logics","year":"2018","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/Gratz18","ee":"https://ceur-ws.org/Vol-2211/paper-18.pdf","url":"https://dblp.org/rec/conf/dlog/Gratz18"}, "url":"URL#2546457" }, { "@score":"1", "@id":"2546458", "info":{"authors":{"author":[{"@pid":"36/8486","text":"Víctor Gutiérrez-Basulto"},{"@pid":"69/8110","text":"Jean Christoph Jung"},{"@pid":"203/2055","text":"Leif Sabellek"}]},"title":"Query-by-Example for Expressive Horn Description Logics.","venue":"Description Logics","year":"2018","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/Gutierrez-Basulto18","ee":"https://ceur-ws.org/Vol-2211/paper-44.pdf","url":"https://dblp.org/rec/conf/dlog/Gutierrez-Basulto18"}, "url":"URL#2546458" }, { "@score":"1", "@id":"2546459", "info":{"authors":{"author":[{"@pid":"228/9152","text":"Sascha Jongebloed"},{"@pid":"06/3872-2","text":"Thomas Schneider 0002"}]},"title":"Ontology Partitioning Using E-Connections Revisited.","venue":"Description Logics","year":"2018","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/Jongebloed018","ee":"https://ceur-ws.org/Vol-2211/paper-19.pdf","url":"https://dblp.org/rec/conf/dlog/Jongebloed018"}, "url":"URL#2546459" }, { "@score":"1", "@id":"2546460", "info":{"authors":{"author":[{"@pid":"202/9442","text":"Rafael Kiesel"},{"@pid":"149/9888","text":"Erman Acar"},{"@pid":"29/192","text":"Stefan Schlobach"}]},"title":"Preferential Default Reasoning on the Semantic Web.","venue":"Description Logics","year":"2018","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/KieselAS18","ee":"https://ceur-ws.org/Vol-2211/paper-20.pdf","url":"https://dblp.org/rec/conf/dlog/KieselAS18"}, "url":"URL#2546460" }, { "@score":"1", "@id":"2546461", "info":{"authors":{"author":[{"@pid":"99/8038","text":"Stanislav Kikot"},{"@pid":"58/3023","text":"Vladislav Ryzhikov"},{"@pid":"152/3424","text":"Przemyslaw Andrzej Walega"},{"@pid":"z/MZakharyaschev","text":"Michael Zakharyaschev"}]},"title":"On the Data Complexity of Ontology-Mediated Queries with MTL Operators over Timed Words.","venue":"Description Logics","year":"2018","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/KikotRWZ18","ee":"https://ceur-ws.org/Vol-2211/paper-21.pdf","url":"https://dblp.org/rec/conf/dlog/KikotRWZ18"}, "url":"URL#2546461" }, { "@score":"1", "@id":"2546462", "info":{"authors":{"author":[{"@pid":"223/9419","text":"Christian Kindermann"},{"@pid":"167/9841","text":"Daniel P. Lupp"},{"@pid":"s/UlrikeSattler","text":"Uli Sattler"},{"@pid":"82/7995","text":"Evgenij Thorstensen"}]},"title":"Generating Ontologies from Templates: A Rule-Based Approach for Capturing Regularity.","venue":"Description Logics","year":"2018","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/KindermannLST18","ee":"https://ceur-ws.org/Vol-2211/paper-22.pdf","url":"https://dblp.org/rec/conf/dlog/KindermannLST18"}, "url":"URL#2546462" }, { "@score":"1", "@id":"2546463", "info":{"authors":{"author":[{"@pid":"148/7346","text":"Alisa Kovtunova"},{"@pid":"56/3960","text":"Rafael Peñaloza"}]},"title":"Cutting Diamonds: Temporal DLs with Probabilistic Distributions over Data.","venue":"Description Logics","year":"2018","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/KovtunovaP18","ee":"https://ceur-ws.org/Vol-2211/paper-23.pdf","url":"https://dblp.org/rec/conf/dlog/KovtunovaP18"}, "url":"URL#2546463" }, { "@score":"1", "@id":"2546464", "info":{"authors":{"author":[{"@pid":"33/3500","text":"Michel Leclère"},{"@pid":"10/88","text":"Marie-Laure Mugnier"},{"@pid":"94/9924","text":"Michaël Thomazo"},{"@pid":"23/11465","text":"Federico Ulliana"}]},"title":"A Single Approach to Decide Chase Termination on Linear Existential Rules.","venue":"Description Logics","year":"2018","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/LeclereMTU18","ee":"https://ceur-ws.org/Vol-2211/paper-45.pdf","url":"https://dblp.org/rec/conf/dlog/LeclereMTU18"}, "url":"URL#2546464" }, { "@score":"1", "@id":"2546465", "info":{"authors":{"author":[{"@pid":"228/9177","text":"Drahomír Mrózek"},{"@pid":"163/5159","text":"Júlia Pukancová"},{"@pid":"h/MartinHomola","text":"Martin Homola"}]},"title":"ABox Abduction Solver Exploiting Multiple DL Reasoners.","venue":"Description Logics","year":"2018","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/MrozekPH18","ee":"https://ceur-ws.org/Vol-2211/paper-24.pdf","url":"https://dblp.org/rec/conf/dlog/MrozekPH18"}, "url":"URL#2546465" }, { "@score":"1", "@id":"2546466", "info":{"authors":{"author":[{"@pid":"218/5521","text":"Manuel Namici"},{"@pid":"g/GDGiacomo","text":"Giuseppe De Giacomo"}]},"title":"Comparing Query Answering in OBDA Tools over W3C-Compliant Specifications.","venue":"Description Logics","year":"2018","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/NamiciG18","ee":"https://ceur-ws.org/Vol-2211/paper-25.pdf","url":"https://dblp.org/rec/conf/dlog/NamiciG18"}, "url":"URL#2546466" }, { "@score":"1", "@id":"2546467", "info":{"authors":{"author":[{"@pid":"186/2961","text":"Damir Nesic"},{"@pid":"98/1174","text":"Mattias Nyberg"}]},"title":"Verifying Contract-Based Specifications of Product Lines using Description Logic.","venue":"Description Logics","year":"2018","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/NesicN18","ee":"https://ceur-ws.org/Vol-2211/paper-26.pdf","url":"https://dblp.org/rec/conf/dlog/NesicN18"}, "url":"URL#2546467" }, { "@score":"1", "@id":"2546468", "info":{"authors":{"author":[{"@pid":"149/1363","text":"Ana Ozaki"},{"@pid":"85/782","text":"Markus Krötzsch"},{"@pid":"79/6633","text":"Sebastian Rudolph"}]},"title":"Happy Ever After: Temporally Attributed Description Logics.","venue":"Description Logics","year":"2018","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/OzakiKR18","ee":"https://ceur-ws.org/Vol-2211/paper-27.pdf","url":"https://dblp.org/rec/conf/dlog/OzakiKR18"}, "url":"URL#2546468" }, { "@score":"1", "@id":"2546469", "info":{"authors":{"author":[{"@pid":"149/1363","text":"Ana Ozaki"},{"@pid":"56/3960","text":"Rafael Peñaloza"}]},"title":"Provenance in Ontology-based Data Access.","venue":"Description Logics","year":"2018","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/OzakiP18","ee":"https://ceur-ws.org/Vol-2211/paper-28.pdf","url":"https://dblp.org/rec/conf/dlog/OzakiP18"}, "url":"URL#2546469" }, { "@score":"1", "@id":"2546470", "info":{"authors":{"author":[{"@pid":"77/10525","text":"Fabio Papacchini"},{"@pid":"w/FrankWolter","text":"Frank Wolter"}]},"title":"A Van Benthem Theorem for Horn Description and Modal Logic.","venue":"Description Logics","year":"2018","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/PapacchiniW18","ee":"https://ceur-ws.org/Vol-2211/paper-46.pdf","url":"https://dblp.org/rec/conf/dlog/PapacchiniW18"}, "url":"URL#2546470" }, { "@score":"1", "@id":"2546471", "info":{"authors":{"author":[{"@pid":"228/9218","text":"Peter Paulovics"},{"@pid":"163/5159","text":"Júlia Pukancová"},{"@pid":"h/MartinHomola","text":"Martin Homola"}]},"title":"SIVA: An Educational Tool for the Tableau Reasoning Algorithm.","venue":"Description Logics","year":"2018","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/PaulovicsPH18","ee":"https://ceur-ws.org/Vol-2211/paper-29.pdf","url":"https://dblp.org/rec/conf/dlog/PaulovicsPH18"}, "url":"URL#2546471" }, { "@score":"1", "@id":"2546472", "info":{"authors":{"author":[{"@pid":"163/5291","text":"Maximilian Pensel"},{"@pid":"76/3237","text":"Anni-Yasmin Turhan"}]},"title":"Computing Standard Inferences under Rational and Relevant Semantics in Defeasible EL_bot.","venue":"Description Logics","year":"2018","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/PenselT18","ee":"https://ceur-ws.org/Vol-2211/paper-47.pdf","url":"https://dblp.org/rec/conf/dlog/PenselT18"}, "url":"URL#2546472" }, { "@score":"1", "@id":"2546473", "info":{"authors":{"author":[{"@pid":"228/9194","text":"Tanja Perleth"},{"@pid":"118/6453","text":"Marvin R. G. Schiller"},{"@pid":"38/842","text":"Birte Glimm"}]},"title":"Applying a Model of Text Comprehension to Automated Verbalizations of EL Derivations.","venue":"Description Logics","year":"2018","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/PerlethSG18","ee":"https://ceur-ws.org/Vol-2211/paper-30.pdf","url":"https://dblp.org/rec/conf/dlog/PerlethSG18"}, "url":"URL#2546473" }, { "@score":"1", "@id":"2546474", "info":{"authors":{"author":[{"@pid":"163/5159","text":"Júlia Pukancová"},{"@pid":"h/MartinHomola","text":"Martin Homola"}]},"title":"ABox Abduction for Description Logics: The Case of Multiple Observations.","venue":"Description Logics","year":"2018","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/PukancovaH18","ee":"https://ceur-ws.org/Vol-2211/paper-31.pdf","url":"https://dblp.org/rec/conf/dlog/PukancovaH18"}, "url":"URL#2546474" }, { "@score":"1", "@id":"2546475", "info":{"authors":{"author":[{"@pid":"79/6633","text":"Sebastian Rudolph"},{"@pid":"01/5959","text":"Mantas Simkus"}]},"title":"Satisfiability in the Triguarded Fragment of First-Order Logic.","venue":"Description Logics","year":"2018","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/RudolphS18","ee":"https://ceur-ws.org/Vol-2211/paper-32.pdf","url":"https://dblp.org/rec/conf/dlog/RudolphS18"}, "url":"URL#2546475" }, { "@score":"1", "@id":"2546476", "info":{"authors":{"author":[{"@pid":"118/2620","text":"Ognjen Savkovic"},{"@pid":"20/4833","text":"Evgeny Kharlamov"},{"@pid":"55/3586","text":"Guohui Xiao 0001"},{"@pid":"183/0905","text":"Gulnar Mehdi"},{"@pid":"161/4384","text":"Elem Güzel Kalayci"},{"@pid":"n/WernerNutt","text":"Werner Nutt"},{"@pid":"27/6378","text":"Mikhail Roshchin"},{"@pid":"h/IanHorrocks","text":"Ian Horrocks 0001"}]},"title":"Theoretical Characterization of Signal Diagnostic Processing Language.","venue":"Description Logics","year":"2018","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/SavkovicKXMKNRH18","ee":"https://ceur-ws.org/Vol-2211/paper-33.pdf","url":"https://dblp.org/rec/conf/dlog/SavkovicKXMKNRH18"}, "url":"URL#2546476" }, { "@score":"1", "@id":"2546477", "info":{"authors":{"author":{"@pid":"66/1312","text":"Lidia Tendera"}},"title":"Decidability Frontier for Fragments of First-Order Logic with Transitivity.","venue":"Description Logics","year":"2018","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/Tendera18","ee":"https://ceur-ws.org/Vol-2211/paper-02.pdf","url":"https://dblp.org/rec/conf/dlog/Tendera18"}, "url":"URL#2546477" }, { "@score":"1", "@id":"2546478", "info":{"authors":{"author":[{"@pid":"t/DavidToman","text":"David Toman 0001"},{"@pid":"81/5447","text":"Grant E. Weddell"}]},"title":"Identity Resolution in Conjunctive Querying over DL-Based Knowledge Bases.","venue":"Description Logics","year":"2018","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/TomanW18","ee":"https://ceur-ws.org/Vol-2211/paper-34.pdf","url":"https://dblp.org/rec/conf/dlog/TomanW18"}, "url":"URL#2546478" }, { "@score":"1", "@id":"2546479", "info":{"authors":{"author":[{"@pid":"22/9856","text":"Despoina Trivela"},{"@pid":"49/2781","text":"Giorgos Stoilos"},{"@pid":"v/VVassalos","text":"Vasilis Vassalos"}]},"title":"Querying Expressive DL Ontologies under the ICAR Semantics.","venue":"Description Logics","year":"2018","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/TrivelaSV18","ee":"https://ceur-ws.org/Vol-2211/paper-35.pdf","url":"https://dblp.org/rec/conf/dlog/TrivelaSV18"}, "url":"URL#2546479" }, { "@score":"1", "@id":"2546480", "info":{"authors":{"author":[{"@pid":"15/7454","text":"Jacopo Urbani"},{"@pid":"85/782","text":"Markus Krötzsch"},{"@pid":"73/6019","text":"Ceriel J. H. Jacobs"},{"@pid":"159/1564","text":"Irina Dragoste"},{"@pid":"00/11425","text":"David Carral"}]},"title":"Efficient Model Construction for Horn Logic with VLog: Extended Abstract.","venue":"Description Logics","year":"2018","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/UrbaniKJDC18","ee":"https://ceur-ws.org/Vol-2211/paper-48.pdf","url":"https://dblp.org/rec/conf/dlog/UrbaniKJDC18"}, "url":"URL#2546480" }, { "@score":"1", "@id":"2546481", "info":{"authors":{"author":{"@pid":"59/5618","text":"Denny Vrandecic"}},"title":"Toward an Abstract Wikipedia.","venue":"Description Logics","year":"2018","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/Vrandecic18","ee":"https://ceur-ws.org/Vol-2211/paper-03.pdf","url":"https://dblp.org/rec/conf/dlog/Vrandecic18"}, "url":"URL#2546481" }, { "@score":"1", "@id":"2546482", "info":{"authors":{"author":{"@pid":"w/RenataWassermann","text":"Renata Wassermann"}},"title":"Revising Ontologies.","venue":"Description Logics","year":"2018","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/Wassermann18","ee":"https://ceur-ws.org/Vol-2211/paper-04.pdf","url":"https://dblp.org/rec/conf/dlog/Wassermann18"}, "url":"URL#2546482" }, { "@score":"1", "@id":"2546483", "info":{"authors":{"author":[{"@pid":"z/MZakharyaschev","text":"Michael Zakharyaschev"},{"@pid":"99/8038","text":"Stanislav Kikot"},{"@pid":"186/6510","text":"Olga Gerasimova"}]},"title":"Towards a Data Complexity Classification of Ontology-Mediated Queries with Covering.","venue":"Description Logics","year":"2018","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/ZakharyaschevKG18","ee":"https://ceur-ws.org/Vol-2211/paper-36.pdf","url":"https://dblp.org/rec/conf/dlog/ZakharyaschevKG18"}, "url":"URL#2546483" }, { "@score":"1", "@id":"2546484", "info":{"authors":{"author":[{"@pid":"163/5197","text":"Yizheng Zhao"},{"@pid":"46/4184","text":"Hao Feng"},{"@pid":"210/5126","text":"Ruba Alassaf"},{"@pid":"210/5125","text":"Warren Del-Pinto"},{"@pid":"s/RenateASchmidt","text":"Renate A. Schmidt"}]},"title":"The FAME Family: A Family of Reasoning Tools for Forgetting in Expressive Description Logics.","venue":"Description Logics","year":"2018","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/ZhaoFADS18","ee":"https://ceur-ws.org/Vol-2211/paper-37.pdf","url":"https://dblp.org/rec/conf/dlog/ZhaoFADS18"}, "url":"URL#2546484" }, { "@score":"1", "@id":"2682684", "info":{"authors":{"author":[{"@pid":"71/3644","text":"Magdalena Ortiz 0001"},{"@pid":"06/3872-2","text":"Thomas Schneider 0002"}]},"title":"Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018.","venue":["Description Logics","CEUR Workshop Proceedings"],"volume":"2211","publisher":"CEUR-WS.org","year":"2018","type":"Editorship","access":"open","key":"conf/dlog/2018","ee":"https://ceur-ws.org/Vol-2211","url":"https://dblp.org/rec/conf/dlog/2018"}, "url":"URL#2682684" } ] } } } )