callback( { "result":{ "query":":facetid:toc:\"db/conf/dlog/dlog2015.bht\"", "status":{ "@code":"200", "text":"OK" }, "time":{ "@unit":"msecs", "text":"74.39" }, "completions":{ "@total":"1", "@computed":"1", "@sent":"1", "c":{ "@sc":"64", "@dc":"64", "@oc":"64", "@id":"43285756", "text":":facetid:toc:db/conf/dlog/dlog2015.bht" } }, "hits":{ "@total":"64", "@computed":"64", "@sent":"64", "@first":"0", "hit":[{ "@score":"1", "@id":"3521088", "info":{"authors":{"author":[{"@pid":"40/3609-2","text":"Stefan Bischof 0002"},{"@pid":"85/782","text":"Markus Krötzsch"},{"@pid":"p/AxelPolleres","text":"Axel Polleres"},{"@pid":"79/6633","text":"Sebastian Rudolph"}]},"title":"Schema-Agnostic Query Rewriting for OWL QL.","venue":"Description Logics","year":"2015","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/0002KPR15","ee":"https://ceur-ws.org/Vol-1350/paper-12.pdf","url":"https://dblp.org/rec/conf/dlog/0002KPR15"}, "url":"URL#3521088" }, { "@score":"1", "@id":"3521089", "info":{"authors":{"author":[{"@pid":"31/5151","text":"Giovanni Adorni"},{"@pid":"m/MarcoMaratea","text":"Marco Maratea"},{"@pid":"163/5288","text":"Laura Pandolfo"},{"@pid":"35/6729","text":"Luca Pulina"}]},"title":"An Ontology-Based Archive for Historical Research.","venue":"Description Logics","year":"2015","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/AdorniMPP15","ee":"https://ceur-ws.org/Vol-1350/paper-41.pdf","url":"https://dblp.org/rec/conf/dlog/AdorniMPP15"}, "url":"URL#3521089" }, { "@score":"1", "@id":"3521090", "info":{"authors":{"author":[{"@pid":"144/7445","text":"Shqiponja Ahmetaj"},{"@pid":"148/7353","text":"Wolfgang Fischl"},{"@pid":"26/5252","text":"Reinhard Pichler"},{"@pid":"01/5959","text":"Mantas Simkus"},{"@pid":"22/8384","text":"Sebastian Skritek"}]},"title":"DL-Lite and Conjunctive Queries Extended by Optional Matching.","venue":"Description Logics","year":"2015","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/AhmetajFPSS15","ee":"https://ceur-ws.org/Vol-1350/paper-04.pdf","url":"https://dblp.org/rec/conf/dlog/AhmetajFPSS15"}, "url":"URL#3521090" }, { "@score":"1", "@id":"3521091", "info":{"authors":{"author":[{"@pid":"137/8528","text":"Albin Ahmeti"},{"@pid":"c/DiegoCalvanese","text":"Diego Calvanese"},{"@pid":"p/AxelPolleres","text":"Axel Polleres"},{"@pid":"56/1006","text":"Vadim Savenkov"}]},"title":"Dealing with Inconsistencies due to Class Disjointness in SPARQL Update.","venue":"Description Logics","year":"2015","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/AhmetiCPS15","ee":"https://ceur-ws.org/Vol-1350/paper-05.pdf","url":"https://dblp.org/rec/conf/dlog/AhmetiCPS15"}, "url":"URL#3521091" }, { "@score":"1", "@id":"3521092", "info":{"authors":{"author":[{"@pid":"125/0397","text":"Lakhdar Akroun"},{"@pid":"87/3644","text":"Lhouari Nourine"},{"@pid":"t/FaroukToumani","text":"Farouk Toumani"}]},"title":"Reasoning in description logics with variables: preliminary results regarding the EL logic.","venue":"Description Logics","year":"2015","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/AkrounNT15","ee":"https://ceur-ws.org/Vol-1350/paper-42.pdf","url":"https://dblp.org/rec/conf/dlog/AkrounNT15"}, "url":"URL#3521092" }, { "@score":"1", "@id":"3521093", "info":{"authors":{"author":[{"@pid":"65/6588","text":"Alessandro Artale"},{"@pid":"09/3547","text":"Roman Kontchakov"},{"@pid":"58/3023","text":"Vladislav Ryzhikov"},{"@pid":"z/MZakharyaschev","text":"Michael Zakharyaschev"}]},"title":"Interval Temporal Description Logics.","venue":"Description Logics","year":"2015","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/ArtaleKRZ15","ee":"https://ceur-ws.org/Vol-1350/paper-06.pdf","url":"https://dblp.org/rec/conf/dlog/ArtaleKRZ15"}, "url":"URL#3521093" }, { "@score":"1", "@id":"3521094", "info":{"authors":{"author":[{"@pid":"b/FBaader","text":"Franz Baader"},{"@pid":"38/9855","text":"Stefan Borgwardt"},{"@pid":"16/5240","text":"Barbara Morawska 0001"}]},"title":"Dismatching and Local Disunification in EL (Extended Abstract).","venue":"Description Logics","year":"2015","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/BaaderBM15","ee":"https://ceur-ws.org/Vol-1350/paper-07.pdf","url":"https://dblp.org/rec/conf/dlog/BaaderBM15"}, "url":"URL#3521094" }, { "@score":"1", "@id":"3521095", "info":{"authors":{"author":[{"@pid":"79/2468","text":"Andrew Bate"},{"@pid":"56/1508","text":"Boris Motik"},{"@pid":"71/6448","text":"Bernardo Cuenca Grau"},{"@pid":"66/9856","text":"Frantisek Simancik"},{"@pid":"h/IanHorrocks","text":"Ian Horrocks 0001"}]},"title":"Extending Consequence-Based Reasoning to SHIQ.","venue":"Description Logics","year":"2015","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/BateMGSH15","ee":"https://ceur-ws.org/Vol-1350/paper-08.pdf","url":"https://dblp.org/rec/conf/dlog/BateMGSH15"}, "url":"URL#3521095" }, { "@score":"1", "@id":"3521096", "info":{"authors":{"author":[{"@pid":"150/5866","text":"Gregor Behnke"},{"@pid":"69/6573","text":"Pascal Bercher"},{"@pid":"37/5274","text":"Susanne Biundo"},{"@pid":"38/842","text":"Birte Glimm"},{"@pid":"15/2876","text":"Denis K. Ponomaryov"},{"@pid":"118/6453","text":"Marvin R. G. Schiller"}]},"title":"Integrating Ontologies and Planning for Cognitive Systems.","venue":"Description Logics","year":"2015","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/BehnkeBBGPS15","ee":"https://ceur-ws.org/Vol-1350/paper-43.pdf","url":"https://dblp.org/rec/conf/dlog/BehnkeBBGPS15"}, "url":"URL#3521096" }, { "@score":"1", "@id":"3521097", "info":{"authors":{"author":[{"@pid":"80/28","text":"Meghyn Bienvenu"},{"@pid":"148/7344","text":"Camille Bourgaux"},{"@pid":"92/6981","text":"François Goasdoué"}]},"title":"Explaining Query Answers under Inconsistency-Tolerant Semantics over Description Logic Knowledge Bases (Extended Abstract).","venue":"Description Logics","year":"2015","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/BienvenuBG15","ee":"https://ceur-ws.org/Vol-1350/paper-09.pdf","url":"https://dblp.org/rec/conf/dlog/BienvenuBG15"}, "url":"URL#3521097" }, { "@score":"1", "@id":"3521098", "info":{"authors":{"author":[{"@pid":"80/28","text":"Meghyn Bienvenu"},{"@pid":"99/8038","text":"Stanislav Kikot"},{"@pid":"96/273","text":"Vladimir V. Podolskii"}]},"title":"Combined Complexity of Answering Tree-like Queries in OWL 2 QL.","venue":"Description Logics","year":"2015","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/BienvenuKP15","ee":"https://ceur-ws.org/Vol-1350/paper-10.pdf","url":"https://dblp.org/rec/conf/dlog/BienvenuKP15"}, "url":"URL#3521098" }, { "@score":"1", "@id":"3521099", "info":{"authors":{"author":[{"@pid":"80/28","text":"Meghyn Bienvenu"},{"@pid":"00/4014","text":"Riccardo Rosati 0001"}]},"title":"Query-based comparison of OBDA specifications.","venue":"Description Logics","year":"2015","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/BienvenuR15","ee":"https://ceur-ws.org/Vol-1350/paper-11.pdf","url":"https://dblp.org/rec/conf/dlog/BienvenuR15"}, "url":"URL#3521099" }, { "@score":"1", "@id":"3521100", "info":{"authors":{"author":[{"@pid":"163/5198","text":"Stephan Böhme"},{"@pid":"03/7416","text":"Marcel Lippmann"}]},"title":"Decidable Contextualized DLs with Rigid Roles.","venue":"Description Logics","year":"2015","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/BohmeL15","ee":"https://ceur-ws.org/Vol-1350/paper-16.pdf","url":"https://dblp.org/rec/conf/dlog/BohmeL15"}, "url":"URL#3521100" }, { "@score":"1", "@id":"3521101", "info":{"authors":{"author":[{"@pid":"b/PABonatti","text":"Piero A. Bonatti"},{"@pid":"148/4418","text":"Iliana M. Petrova"},{"@pid":"23/359","text":"Luigi Sauro"}]},"title":"Optimized Construction of Secure Knowledge-Base Views.","venue":"Description Logics","year":"2015","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/BonattiPS15","ee":"https://ceur-ws.org/Vol-1350/paper-44.pdf","url":"https://dblp.org/rec/conf/dlog/BonattiPS15"}, "url":"URL#3521101" }, { "@score":"1", "@id":"3521102", "info":{"authors":{"author":[{"@pid":"b/ABorgida","text":"Alexander Borgida"},{"@pid":"t/DavidToman","text":"David Toman 0001"},{"@pid":"81/5447","text":"Grant E. Weddell"}]},"title":"Singular Referring Expressions in Conjunctive Query Answers: the case for a CFD DL Dialect.","venue":"Description Logics","year":"2015","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/BorgidaTW15","ee":"https://ceur-ws.org/Vol-1350/paper-13.pdf","url":"https://dblp.org/rec/conf/dlog/BorgidaTW15"}, "url":"URL#3521102" }, { "@score":"1", "@id":"3521103", "info":{"authors":{"author":[{"@pid":"38/9855","text":"Stefan Borgwardt"},{"@pid":"70/3096","text":"Theofilos P. Mailis"},{"@pid":"56/3960","text":"Rafael Peñaloza"},{"@pid":"76/3237","text":"Anni-Yasmin Turhan"}]},"title":"Conjunctive Query Answering with Finitely Many Truth Degrees.","venue":"Description Logics","year":"2015","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/BorgwardtMPT15","ee":"https://ceur-ws.org/Vol-1350/paper-45.pdf","url":"https://dblp.org/rec/conf/dlog/BorgwardtMPT15"}, "url":"URL#3521103" }, { "@score":"1", "@id":"3521104", "info":{"authors":{"author":[{"@pid":"38/9855","text":"Stefan Borgwardt"},{"@pid":"132/3874","text":"Veronika Thost"}]},"title":"Temporal Query Answering in EL.","venue":"Description Logics","year":"2015","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/BorgwardtT15","ee":"https://ceur-ws.org/Vol-1350/paper-14.pdf","url":"https://dblp.org/rec/conf/dlog/BorgwardtT15"}, "url":"URL#3521104" }, { "@score":"1", "@id":"3521105", "info":{"authors":{"author":[{"@pid":"160/1057","text":"Damian Bursztyn"},{"@pid":"92/6981","text":"François Goasdoué"},{"@pid":"m/IoanaManolescu","text":"Ioana Manolescu"}]},"title":"Efficient Query Answering in DL-Lite through FOL Reformulation (Extended Abstract).","venue":"Description Logics","year":"2015","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/BursztynGM15","ee":"https://ceur-ws.org/Vol-1350/paper-15.pdf","url":"https://dblp.org/rec/conf/dlog/BursztynGM15"}, "url":"URL#3521105" }, { "@score":"1", "@id":"3521106", "info":{"authors":{"author":[{"@pid":"c/DiegoCalvanese","text":"Diego Calvanese"},{"@pid":"85/1455","text":"Marco Montali"},{"@pid":"10/11440","text":"Ario Santoso"}]},"title":"Inconsistency Management in Generalized Knowledge and Action Bases.","venue":"Description Logics","year":"2015","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/CalvaneseMS15","ee":"https://ceur-ws.org/Vol-1350/paper-17.pdf","url":"https://dblp.org/rec/conf/dlog/CalvaneseMS15"}, "url":"URL#3521106" }, { "@score":"1", "@id":"3521107", "info":{"authors":{"author":{"@pid":"147/6111","text":"Ismail Ilkan Ceylan"}},"title":"Query Answering in Bayesian Description Logics.","venue":"Description Logics","year":"2015","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/Ceylan15","ee":"https://ceur-ws.org/Vol-1350/paper-46.pdf","url":"https://dblp.org/rec/conf/dlog/Ceylan15"}, "url":"URL#3521107" }, { "@score":"1", "@id":"3521108", "info":{"authors":{"author":[{"@pid":"147/6111","text":"Ismail Ilkan Ceylan"},{"@pid":"l/ThomasLukasiewicz","text":"Thomas Lukasiewicz"},{"@pid":"56/3960","text":"Rafael Peñaloza"}]},"title":"Answering EL Queries in the Presence of Preferences.","venue":"Description Logics","year":"2015","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/CeylanLP15","ee":"https://ceur-ws.org/Vol-1350/paper-47.pdf","url":"https://dblp.org/rec/conf/dlog/CeylanLP15"}, "url":"URL#3521108" }, { "@score":"1", "@id":"3521109", "info":{"authors":{"author":[{"@pid":"147/6111","text":"Ismail Ilkan Ceylan"},{"@pid":"56/3960","text":"Rafael Peñaloza"}]},"title":"Dynamic Bayesian Description Logics.","venue":"Description Logics","year":"2015","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/CeylanP15","ee":"https://ceur-ws.org/Vol-1350/paper-48.pdf","url":"https://dblp.org/rec/conf/dlog/CeylanP15"}, "url":"URL#3521109" }, { "@score":"1", "@id":"3521110", "info":{"authors":{"author":[{"@pid":"163/5178","text":"Thinh Dong"},{"@pid":"22/707","text":"Chan Le Duc"},{"@pid":"29/11442","text":"Philippe Bonnot 0002"},{"@pid":"l/MyriamLamolle","text":"Myriam Lamolle"}]},"title":"Tableau-based revision in SHIQ.","venue":"Description Logics","year":"2015","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/DongDBL15","ee":"https://ceur-ws.org/Vol-1350/paper-18.pdf","url":"https://dblp.org/rec/conf/dlog/DongDBL15"}, "url":"URL#3521110" }, { "@score":"1", "@id":"3521111", "info":{"authors":{"author":[{"@pid":"34/9855","text":"Andreas Ecke"},{"@pid":"163/5291","text":"Maximilian Pensel"},{"@pid":"76/3237","text":"Anni-Yasmin Turhan"}]},"title":"Elastiq: Answering Similarity-threshold Instance Queries in EL.","venue":"Description Logics","year":"2015","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/EckePT15","ee":"https://ceur-ws.org/Vol-1350/paper-49.pdf","url":"https://dblp.org/rec/conf/dlog/EckePT15"}, "url":"URL#3521111" }, { "@score":"1", "@id":"3521112", "info":{"authors":{"author":[{"@pid":"50/6554","text":"Cristina Feier"},{"@pid":"00/11425","text":"David Carral"},{"@pid":"66/8007","text":"Giorgio Stefanoni"},{"@pid":"71/6448","text":"Bernardo Cuenca Grau"},{"@pid":"h/IanHorrocks","text":"Ian Horrocks 0001"}]},"title":"Extending the Combined Approach Beyond Lightweight Description Logics.","venue":"Description Logics","year":"2015","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/FeierCSGH15","ee":"https://ceur-ws.org/Vol-1350/paper-19.pdf","url":"https://dblp.org/rec/conf/dlog/FeierCSGH15"}, "url":"URL#3521112" }, { "@score":"1", "@id":"3521113", "info":{"authors":{"author":[{"@pid":"56/5594","text":"Pablo R. Fillottrani"},{"@pid":"42/559","text":"C. Maria Keet"},{"@pid":"t/DavidToman","text":"David Toman 0001"}]},"title":"Polynomial encoding of ORM conceptual models in CFDI.","venue":"Description Logics","year":"2015","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/FillottraniKT15","ee":"https://ceur-ws.org/Vol-1350/paper-50.pdf","url":"https://dblp.org/rec/conf/dlog/FillottraniKT15"}, "url":"URL#3521113" }, { "@score":"1", "@id":"3521114", "info":{"authors":{"author":[{"@pid":"133/9563","text":"Jhonatan Garcia"},{"@pid":"59/6490","text":"Jeff Z. Pan"},{"@pid":"13/2150","text":"Achille Fokoue"}]},"title":"Handling uncertainty: An extension of DL-Lite with Subjective Logic.","venue":"Description Logics","year":"2015","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/GarciaPF15","ee":"https://ceur-ws.org/Vol-1350/paper-51.pdf","url":"https://dblp.org/rec/conf/dlog/GarciaPF15"}, "url":"URL#3521114" }, { "@score":"1", "@id":"3521115", "info":{"authors":{"author":[{"@pid":"132/5762","text":"Oliver Fernandez Gil"},{"@pid":"b/FBaader","text":"Franz Baader"},{"@pid":"b/GerhardBrewka","text":"Gerhard Brewka"}]},"title":"Adding Threshold Concepts to the Description Logic EL.","venue":"Description Logics","year":"2015","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/GilBB15","ee":"https://ceur-ws.org/Vol-1350/paper-20.pdf","url":"https://dblp.org/rec/conf/dlog/GilBB15"}, "url":"URL#3521115" }, { "@score":"1", "@id":"3521116", "info":{"authors":{"author":[{"@pid":"g/LauraGiordano1","text":"Laura Giordano 0001"},{"@pid":"02/725","text":"Valentina Gliozzi"},{"@pid":"o/NicolaOlivetti","text":"Nicola Olivetti"},{"@pid":"72/5211","text":"Gian Luca Pozzato"},{"@pid":"163/5157","text":"Luca Violanti"}]},"title":"DysToPic: a Multi-Engine Theorem Prover for Preferential Description Logics.","venue":"Description Logics","year":"2015","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/GiordanoGOPV15","ee":"https://ceur-ws.org/Vol-1350/paper-52.pdf","url":"https://dblp.org/rec/conf/dlog/GiordanoGOPV15"}, "url":"URL#3521116" }, { "@score":"1", "@id":"3521117", "info":{"authors":{"author":[{"@pid":"38/842","text":"Birte Glimm"},{"@pid":"97/4382","text":"Yevgeny Kazakov"},{"@pid":"31/7427","text":"Ilianna Kollia"},{"@pid":"s/GBStamou","text":"Giorgos B. Stamou"}]},"title":"Lower and Upper Bounds for SPARQL Queries over OWL Ontologies.","venue":"Description Logics","year":"2015","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/GlimmKKS15","ee":"https://ceur-ws.org/Vol-1350/paper-21.pdf","url":"https://dblp.org/rec/conf/dlog/GlimmKKS15"}, "url":"URL#3521117" }, { "@score":"1", "@id":"3521118", "info":{"authors":{"author":[{"@pid":"g/GeorgGottlob","text":"Georg Gottlob"},{"@pid":"30/5454","text":"Marco Manna"},{"@pid":"89/5672","text":"Andreas Pieris"}]},"title":"Polynomial Combined Rewritings for Linear Existential Rules and DL-Lite with n-ary Relations.","venue":"Description Logics","year":"2015","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/GottlobMP15","ee":"https://ceur-ws.org/Vol-1350/paper-22.pdf","url":"https://dblp.org/rec/conf/dlog/GottlobMP15"}, "url":"URL#3521118" }, { "@score":"1", "@id":"3521119", "info":{"authors":{"author":[{"@pid":"36/8486","text":"Víctor Gutiérrez-Basulto"},{"@pid":"69/8110","text":"Jean Christoph Jung"},{"@pid":"06/3872-2","text":"Thomas Schneider 0002"}]},"title":"The Complexity of Temporal Description Logics with Rigid Roles and Restricted TBoxes: In Quest of Saving a Troublesome Marriage.","venue":"Description Logics","year":"2015","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/Gutierrez-Basulto15","ee":"https://ceur-ws.org/Vol-1350/paper-23.pdf","url":"https://dblp.org/rec/conf/dlog/Gutierrez-Basulto15"}, "url":"URL#3521119" }, { "@score":"1", "@id":"3521120", "info":{"authors":{"author":[{"@pid":"78/1057","text":"André Hernich"},{"@pid":"l/CarstenLutz","text":"Carsten Lutz"},{"@pid":"149/1363","text":"Ana Ozaki"},{"@pid":"w/FrankWolter","text":"Frank Wolter"}]},"title":"Schema.org as a Description Logic.","venue":"Description Logics","year":"2015","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/HernichLOW15","ee":"https://ceur-ws.org/Vol-1350/paper-24.pdf","url":"https://dblp.org/rec/conf/dlog/HernichLOW15"}, "url":"URL#3521120" }, { "@score":"1", "@id":"3521121", "info":{"authors":{"author":[{"@pid":"73/6825","text":"Mark Kaminski"},{"@pid":"71/6448","text":"Bernardo Cuenca Grau"}]},"title":"Polynomial Horn Rewritings for Description Logics Ontologies.","venue":"Description Logics","year":"2015","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/KaminskiG15","ee":"https://ceur-ws.org/Vol-1350/paper-25.pdf","url":"https://dblp.org/rec/conf/dlog/KaminskiG15"}, "url":"URL#3521121" }, { "@score":"1", "@id":"3521122", "info":{"authors":{"author":[{"@pid":"163/5202","text":"Tobias Kaminski"},{"@pid":"14/5000","text":"Matthias Knorr 0001"},{"@pid":"l/JoaoAlexandreLeite","text":"João Leite 0001"}]},"title":"Reasoning Efficiently with Ontologies and Rules in the Presence of Inconsistencies (Extended Abstract).","venue":"Description Logics","year":"2015","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/KaminskiKL15","ee":"https://ceur-ws.org/Vol-1350/paper-26.pdf","url":"https://dblp.org/rec/conf/dlog/KaminskiKL15"}, "url":"URL#3521122" }, { "@score":"1", "@id":"3521123", "info":{"authors":{"author":[{"@pid":"97/4382","text":"Yevgeny Kazakov"},{"@pid":"40/3594","text":"Pavel Klinov"}]},"title":"Advancing ELK: Not Only Performance Matters.","venue":"Description Logics","year":"2015","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/KazakovK15","ee":"https://ceur-ws.org/Vol-1350/paper-27.pdf","url":"https://dblp.org/rec/conf/dlog/KazakovK15"}, "url":"URL#3521123" }, { "@score":"1", "@id":"3521124", "info":{"authors":{"author":{"@pid":"14/5000","text":"Matthias Knorr 0001"}},"title":"Nonmonotonic Nominal Schemas Revisited.","venue":"Description Logics","year":"2015","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/Knorr15","ee":"https://ceur-ws.org/Vol-1350/paper-28.pdf","url":"https://dblp.org/rec/conf/dlog/Knorr15"}, "url":"URL#3521124" }, { "@score":"1", "@id":"3521125", "info":{"authors":{"author":[{"@pid":"56/1470","text":"Boris Konev"},{"@pid":"l/CarstenLutz","text":"Carsten Lutz"},{"@pid":"w/FrankWolter","text":"Frank Wolter"},{"@pid":"z/MZakharyaschev","text":"Michael Zakharyaschev"}]},"title":"Conservative Rewritability of Description Logic TBoxes: First Results.","venue":"Description Logics","year":"2015","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/KonevLWZ15","ee":"https://ceur-ws.org/Vol-1350/paper-29.pdf","url":"https://dblp.org/rec/conf/dlog/KonevLWZ15"}, "url":"URL#3521125" }, { "@score":"1", "@id":"3521126", "info":{"authors":{"author":[{"@pid":"56/1470","text":"Boris Konev"},{"@pid":"149/1363","text":"Ana Ozaki"},{"@pid":"w/FrankWolter","text":"Frank Wolter"}]},"title":"Exact Learning Description Logic Ontologies from Data Retrieval Examples.","venue":"Description Logics","year":"2015","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/KonevOW15","ee":"https://ceur-ws.org/Vol-1350/paper-30.pdf","url":"https://dblp.org/rec/conf/dlog/KonevOW15"}, "url":"URL#3521126" }, { "@score":"1", "@id":"3521127", "info":{"authors":{"author":[{"@pid":"33/10169","text":"Patrick Koopmann"},{"@pid":"s/RenateASchmidt","text":"Renate A. Schmidt"}]},"title":"Saturated-Based Forgetting in the Description Logic SIF.","venue":"Description Logics","year":"2015","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/KoopmannS15","ee":"https://ceur-ws.org/Vol-1350/paper-53.pdf","url":"https://dblp.org/rec/conf/dlog/KoopmannS15"}, "url":"URL#3521127" }, { "@score":"1", "@id":"3521128", "info":{"authors":{"author":[{"@pid":"22/7920","text":"Egor V. Kostylev"},{"@pid":"71/6448","text":"Bernardo Cuenca Grau"}]},"title":"Semantics of SPARQL under OWL 2 Entailment Regimes.","venue":"Description Logics","year":"2015","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/KostylevG15","ee":"https://ceur-ws.org/Vol-1350/paper-31.pdf","url":"https://dblp.org/rec/conf/dlog/KostylevG15"}, "url":"URL#3521128" }, { "@score":"1", "@id":"3521129", "info":{"authors":{"author":{"@pid":"163/5141","text":"Francesco Kriegel"}},"title":"Incremental Learning of TBoxes from Interpretation Sequences with Methods of Formal Concept Analysis.","venue":"Description Logics","year":"2015","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/Kriegel15","ee":"https://ceur-ws.org/Vol-1350/paper-54.pdf","url":"https://dblp.org/rec/conf/dlog/Kriegel15"}, "url":"URL#3521129" }, { "@score":"1", "@id":"3521130", "info":{"authors":{"author":[{"@pid":"163/5253","text":"Petra Kubincová"},{"@pid":"132/5784","text":"Ján Kluka"},{"@pid":"h/MartinHomola","text":"Martin Homola"}]},"title":"Towards Expressive Metamodelling with Instantiation.","venue":"Description Logics","year":"2015","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/KubincovaKH15","ee":"https://ceur-ws.org/Vol-1350/paper-32.pdf","url":"https://dblp.org/rec/conf/dlog/KubincovaKH15"}, "url":"URL#3521130" }, { "@score":"1", "@id":"3521131", "info":{"authors":{"author":[{"@pid":"91/2168","text":"Domenico Lembo"},{"@pid":"18/9229","text":"Jose Mora"},{"@pid":"00/4014","text":"Riccardo Rosati 0001"},{"@pid":"09/4413","text":"Domenico Fabio Savo"},{"@pid":"82/7995","text":"Evgenij Thorstensen"}]},"title":"Mapping Analysis in Ontology-based Data Access: Algorithms and Complexity (Extended Abstract).","venue":"Description Logics","year":"2015","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/LemboMRST15","ee":"https://ceur-ws.org/Vol-1350/paper-33.pdf","url":"https://dblp.org/rec/conf/dlog/LemboMRST15"}, "url":"URL#3521131" }, { "@score":"1", "@id":"3521132", "info":{"authors":{"author":[{"@pid":"l/MLenzerini","text":"Maurizio Lenzerini"},{"@pid":"135/4704","text":"Lorenzo Lepore"},{"@pid":"03/4524","text":"Antonella Poggi"}]},"title":"A higher-order semantics for OWL 2 QL ontologies (Extended abstract).","venue":"Description Logics","year":"2015","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/LenzeriniLP15","ee":"https://ceur-ws.org/Vol-1350/paper-55.pdf","url":"https://dblp.org/rec/conf/dlog/LenzeriniLP15"}, "url":"URL#3521132" }, { "@score":"1", "@id":"3521133", "info":{"authors":{"author":{"@pid":"l/CarstenLutz","text":"Carsten Lutz"}},"title":"Query Rewriting Beyond DL-Lite.","venue":"Description Logics","year":"2015","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/Lutz15","ee":"https://ceur-ws.org/Vol-1350/paper-01.pdf","url":"https://dblp.org/rec/conf/dlog/Lutz15"}, "url":"URL#3521133" }, { "@score":"1", "@id":"3521134", "info":{"authors":{"author":[{"@pid":"70/3096","text":"Theofilos P. Mailis"},{"@pid":"76/3237","text":"Anni-Yasmin Turhan"},{"@pid":"163/5264","text":"Erik Zenker"}]},"title":"A pragmatic approach to answering CQs over fuzzy DL-Lite-ontologies - introducing FLite.","venue":"Description Logics","year":"2015","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/MailisTZ15","ee":"https://ceur-ws.org/Vol-1350/paper-56.pdf","url":"https://dblp.org/rec/conf/dlog/MailisTZ15"}, "url":"URL#3521134" }, { "@score":"1", "@id":"3521135", "info":{"authors":{"author":[{"@pid":"132/5802","text":"Nicolas Matentzoglu"},{"@pid":"s/UlrikeSattler","text":"Uli Sattler"},{"@pid":"61/4345","text":"Bijan Parsia"}]},"title":"Empirical Investigation of Subsumption Test Hardness in Description Logic Classification.","venue":"Description Logics","year":"2015","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/MatentzogluSP15","ee":"https://ceur-ws.org/Vol-1350/paper-57.pdf","url":"https://dblp.org/rec/conf/dlog/MatentzogluSP15"}, "url":"URL#3521135" }, { "@score":"1", "@id":"3521136", "info":{"authors":{"author":[{"@pid":"163/5224","text":"Andreas Nakkerud"},{"@pid":"82/7995","text":"Evgenij Thorstensen"}]},"title":"Heuristics for Applying Cached OBDA Rewritings.","venue":"Description Logics","year":"2015","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/NakkerudT15","ee":"https://ceur-ws.org/Vol-1350/paper-58.pdf","url":"https://dblp.org/rec/conf/dlog/NakkerudT15"}, "url":"URL#3521136" }, { "@score":"1", "@id":"3521137", "info":{"authors":{"author":[{"@pid":"13/11441","text":"Nhung Ngo"},{"@pid":"71/3644","text":"Magdalena Ortiz 0001"},{"@pid":"01/5959","text":"Mantas Simkus"}]},"title":"The Combined Complexity of Reasoning with Closed Predicates in Description Logics.","venue":"Description Logics","year":"2015","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/NgoOS15","ee":"https://ceur-ws.org/Vol-1350/paper-34.pdf","url":"https://dblp.org/rec/conf/dlog/NgoOS15"}, "url":"URL#3521137" }, { "@score":"1", "@id":"3521138", "info":{"authors":{"author":[{"@pid":"37/5056","text":"Mourad Ouziri"},{"@pid":"b/SalimaBenbernou","text":"Salima Benbernou"},{"@pid":"k/NaouelKaram","text":"Naouel Karam"},{"@pid":"24/2709","text":"Allel Hadjali"}]},"title":"Managing QoS Acceptability for Service Selection: A Probabilistic Description Logics Based Approach.","venue":"Description Logics","year":"2015","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/OuziriBKH15","ee":"https://ceur-ws.org/Vol-1350/paper-59.pdf","url":"https://dblp.org/rec/conf/dlog/OuziriBKH15"}, "url":"URL#3521138" }, { "@score":"1", "@id":"3521139", "info":{"authors":{"author":{"@pid":"p/AxelPolleres","text":"Axel Polleres"}},"title":"Integrating Open Data: (How) Can Description Logics Help me?","venue":"Description Logics","year":"2015","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/Polleres15","ee":"https://ceur-ws.org/Vol-1350/paper-02.pdf","url":"https://dblp.org/rec/conf/dlog/Polleres15"}, "url":"URL#3521139" }, { "@score":"1", "@id":"3521140", "info":{"authors":{"author":[{"@pid":"163/5159","text":"Júlia Pukancová"},{"@pid":"h/MartinHomola","text":"Martin Homola"}]},"title":"Abductive Reasoning with Description Logics: Use Case in Medical Diagnosis.","venue":"Description Logics","year":"2015","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/PukancovaH15","ee":"https://ceur-ws.org/Vol-1350/paper-60.pdf","url":"https://dblp.org/rec/conf/dlog/PukancovaH15"}, "url":"URL#3521140" }, { "@score":"1", "@id":"3521141", "info":{"authors":{"author":{"@pid":"r/MdRijke","text":"Maarten de Rijke"}},"title":"Entity-oriented Search Engine Result Pages.","venue":"Description Logics","year":"2015","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/Rijke15","ee":"https://ceur-ws.org/Vol-1350/paper-03.pdf","url":"https://dblp.org/rec/conf/dlog/Rijke15"}, "url":"URL#3521141" }, { "@score":"1", "@id":"3521142", "info":{"authors":{"author":[{"@pid":"148/7338","text":"Viachaslau Sazonau"},{"@pid":"s/UlrikeSattler","text":"Uli Sattler"}]},"title":"TBox Reasoning in the Probabilistic Description Logic SHIQp.","venue":"Description Logics","year":"2015","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/SazonauS15","ee":"https://ceur-ws.org/Vol-1350/paper-61.pdf","url":"https://dblp.org/rec/conf/dlog/SazonauS15"}, "url":"URL#3521142" }, { "@score":"1", "@id":"3521143", "info":{"authors":{"author":{"@pid":"149/2420","text":"Michele Stawowy"}},"title":"Optimizations for Decision Making and Planning in Description Logic Dynamic Knowledge Bases.","venue":"Description Logics","year":"2015","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/Stawowy15","ee":"https://ceur-ws.org/Vol-1350/paper-62.pdf","url":"https://dblp.org/rec/conf/dlog/Stawowy15"}, "url":"URL#3521143" }, { "@score":"1", "@id":"3521144", "info":{"authors":{"author":[{"@pid":"44/11445","text":"Andreas Steigmiller"},{"@pid":"38/842","text":"Birte Glimm"},{"@pid":"33/6592","text":"Thorsten Liebig"}]},"title":"Completion Graph Caching for Expressive Description Logics.","venue":"Description Logics","year":"2015","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/SteigmillerGL15","ee":"https://ceur-ws.org/Vol-1350/paper-35.pdf","url":"https://dblp.org/rec/conf/dlog/SteigmillerGL15"}, "url":"URL#3521144" }, { "@score":"1", "@id":"3521145", "info":{"authors":{"author":[{"@pid":"132/3874","text":"Veronika Thost"},{"@pid":"163/5235","text":"Jan Holste"},{"@pid":"23/11174","text":"Özgür L. Özçep"}]},"title":"On Implementing Temporal Query Answering in DL-Lite (extended abstract).","venue":"Description Logics","year":"2015","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/ThostHO15","ee":"https://ceur-ws.org/Vol-1350/paper-63.pdf","url":"https://dblp.org/rec/conf/dlog/ThostHO15"}, "url":"URL#3521145" }, { "@score":"1", "@id":"3521146", "info":{"authors":{"author":[{"@pid":"t/DavidToman","text":"David Toman 0001"},{"@pid":"81/5447","text":"Grant E. Weddell"}]},"title":"On the Utility of CFDI.","venue":"Description Logics","year":"2015","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/TomanW15","ee":"https://ceur-ws.org/Vol-1350/paper-36.pdf","url":"https://dblp.org/rec/conf/dlog/TomanW15"}, "url":"URL#3521146" }, { "@score":"1", "@id":"3521147", "info":{"authors":{"author":[{"@pid":"22/9856","text":"Despoina Trivela"},{"@pid":"49/2781","text":"Giorgos Stoilos"},{"@pid":"76/923","text":"Alexandros Chortaras"},{"@pid":"s/GBStamou","text":"Giorgos B. Stamou"}]},"title":"Query Rewriting in Horn-SHIQ.","venue":"Description Logics","year":"2015","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/TrivelaSCS15","ee":"https://ceur-ws.org/Vol-1350/paper-37.pdf","url":"https://dblp.org/rec/conf/dlog/TrivelaSCS15"}, "url":"URL#3521147" }, { "@score":"1", "@id":"3521148", "info":{"authors":{"author":[{"@pid":"132/5788","text":"Benjamin Zarrieß"},{"@pid":"85/1549","text":"Jens Claßen"}]},"title":"Decidable Verification of Knowledge-Based Programs over Description Logic Actions with Sensing.","venue":"Description Logics","year":"2015","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/ZarriessC15","ee":"https://ceur-ws.org/Vol-1350/paper-38.pdf","url":"https://dblp.org/rec/conf/dlog/ZarriessC15"}, "url":"URL#3521148" }, { "@score":"1", "@id":"3521149", "info":{"authors":{"author":[{"@pid":"163/5197","text":"Yizheng Zhao"},{"@pid":"s/RenateASchmidt","text":"Renate A. Schmidt"}]},"title":"Concept Forgetting for ALCOI-Ontologies using an Ackermann Approach.","venue":"Description Logics","year":"2015","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/ZhaoS15","ee":"https://ceur-ws.org/Vol-1350/paper-39.pdf","url":"https://dblp.org/rec/conf/dlog/ZhaoS15"}, "url":"URL#3521149" }, { "@score":"1", "@id":"3521150", "info":{"authors":{"author":[{"@pid":"08/9976","text":"Yujiao Zhou"},{"@pid":"71/6448","text":"Bernardo Cuenca Grau"},{"@pid":"22/3037","text":"Yavor Nenov"},{"@pid":"h/IanHorrocks","text":"Ian Horrocks 0001"}]},"title":"PAGOdA: Pay-as-you-go ABox Reasoning.","venue":"Description Logics","year":"2015","type":"Conference and Workshop Papers","access":"open","key":"conf/dlog/ZhouGNH15","ee":"https://ceur-ws.org/Vol-1350/paper-40.pdf","url":"https://dblp.org/rec/conf/dlog/ZhouGNH15"}, "url":"URL#3521150" }, { "@score":"1", "@id":"3647004", "info":{"authors":{"author":[{"@pid":"c/DiegoCalvanese","text":"Diego Calvanese"},{"@pid":"56/1470","text":"Boris Konev"}]},"title":"Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015.","venue":["Description Logics","CEUR Workshop Proceedings"],"volume":"1350","publisher":"CEUR-WS.org","year":"2015","type":"Editorship","access":"open","key":"conf/dlog/2015","ee":"https://ceur-ws.org/Vol-1350","url":"https://dblp.org/rec/conf/dlog/2015"}, "url":"URL#3647004" } ] } } } )