Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/dlog/dlog2011.bht:"
@inproceedings{DBLP:conf/dlog/Arenas11, author = {Marcelo Arenas}, title = {Exchanging More than Complete Data}, booktitle = {Description Logics}, year = {2011}, url = {https://ceur-ws.org/Vol-745/invited\_paper\_1.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/Arenas11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/ArenasBC11, author = {Marcelo Arenas and Elena Botoeva and Diego Calvanese}, title = {Knowledge Base Exchange}, booktitle = {Description Logics}, year = {2011}, url = {https://ceur-ws.org/Vol-745/paper\_57.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/ArenasBC11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/ArtaleIKR11, author = {Alessandro Artale and Yazm{\'{\i}}n Ang{\'{e}}lica Ib{\'{a}}{\~{n}}ez{-}Garc{\'{\i}}a and Roman Kontchakov and Vladislav Ryzhikov}, title = {DL-Lite with Attributes and Sub-Roles (Extended Abstract)}, booktitle = {Description Logics}, year = {2011}, url = {https://ceur-ws.org/Vol-745/paper\_42.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/ArtaleIKR11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/BaaderBBM11, author = {Franz Baader and Thanh Binh Nguyen and Stefan Borgwardt and Barbara Morawska}, title = {Unification in the Description Logic {EL} without the Top Concept}, booktitle = {Description Logics}, year = {2011}, url = {https://ceur-ws.org/Vol-745/paper\_5.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/BaaderBBM11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/BaaderP11, author = {Franz Baader and Rafael Pe{\~{n}}aloza}, title = {GCIs Make Reasoning in Fuzzy {DL} with the Product T-norm Undecidable}, booktitle = {Description Logics}, year = {2011}, url = {https://ceur-ws.org/Vol-745/paper\_10.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/BaaderP11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/BailPS11, author = {Samantha Bail and Bijan Parsia and Ulrike Sattler}, title = {Extracting Finite Sets of Entailments from {OWL} Ontologies}, booktitle = {Description Logics}, year = {2011}, url = {https://ceur-ws.org/Vol-745/paper\_22.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/BailPS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/Bienvenu11, author = {Meghyn Bienvenu}, title = {First-Order Expressibility Results for Queries over Inconsistent DL-Lite Knowledge Bases}, booktitle = {Description Logics}, year = {2011}, url = {https://ceur-ws.org/Vol-745/paper\_38.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/Bienvenu11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/BorgwardtP11, author = {Stefan Borgwardt and Rafael Pe{\~{n}}aloza}, title = {Fuzzy Ontologies over Lattices with T-norms}, booktitle = {Description Logics}, year = {2011}, url = {https://ceur-ws.org/Vol-745/paper\_1.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/BorgwardtP11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/BritzMV11, author = {Arina Britz and Thomas Meyer and Ivan Jos{\'{e}} Varzinczak}, title = {Concept Model Semantics for {DL} Preferential Reasoning}, booktitle = {Description Logics}, year = {2011}, url = {https://ceur-ws.org/Vol-745/paper\_16.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/BritzMV11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/CalvaneseOSS11, author = {Diego Calvanese and Magdalena Ortiz and Mantas Simkus and Giorgio Stefanoni}, title = {The Complexity of Conjunctive Query Abduction in DL-Lite}, booktitle = {Description Logics}, year = {2011}, url = {https://ceur-ws.org/Vol-745/paper\_49.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/CalvaneseOSS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/ChortarasTS11, author = {Alexandros Chortaras and Despoina Trivela and Giorgos B. Stamou}, title = {Goal-oriented Query Rewriting for {OWL} 2 {QL}}, booktitle = {Description Logics}, year = {2011}, url = {https://ceur-ws.org/Vol-745/paper\_19.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/ChortarasTS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/CorreaCO11, author = {Fabiano Corr{\^{e}}a and F{\'{a}}bio Gagliardi Cozman and Jun Okamoto Jr.}, title = {Collective Classification in Semantic Mapping with a Probabilistic Description Logic}, booktitle = {Description Logics}, year = {2011}, url = {https://ceur-ws.org/Vol-745/paper\_43.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/CorreaCO11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/EldoraKP11, author = {Eldora and Martin Knechtel and Rafael Pe{\~{n}}aloza}, title = {Correcting Access Restrictions to a Consequence More Flexibly}, booktitle = {Description Logics}, year = {2011}, url = {https://ceur-ws.org/Vol-745/paper\_9.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/EldoraKP11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/FillottraniFT11, author = {Pablo R. Fillottrani and Enrico Franconi and Sergio Tessaris}, title = {Ontology Design and Integration with {ICOM} 3.0 - Tool Description and Methodology}, booktitle = {Description Logics}, year = {2011}, url = {https://ceur-ws.org/Vol-745/paper\_45.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/FillottraniFT11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/FingerWC11, author = {Marcelo Finger and Renata Wassermann and F{\'{a}}bio Gagliardi Cozman}, title = {Satisfiability in {EL} with Sets of Probabilistic ABoxes}, booktitle = {Description Logics}, year = {2011}, url = {https://ceur-ws.org/Vol-745/paper\_14.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/FingerWC11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/FranconiGTT11, author = {Enrico Franconi and Paolo Guagliardo and Marco Trevisan and Sergio Tessaris}, title = {Quelo: an Ontology-Driven Query Interface}, booktitle = {Description Logics}, year = {2011}, url = {https://ceur-ws.org/Vol-745/paper\_58.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/FranconiGTT11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/Freitas11, author = {Fred Freitas}, title = {A Connection Method for Inferencing over the Description Logic {ALC}}, booktitle = {Description Logics}, year = {2011}, url = {https://ceur-ws.org/Vol-745/paper\_51.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/Freitas11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/GasseS11, author = {Francis Gasse and Viorica Sofronie{-}Stokkermans}, title = {Efficient TBox Subsumption Checking in Combinations of {EL} and (fragments of) {FL0}}, booktitle = {Description Logics}, year = {2011}, url = {https://ceur-ws.org/Vol-745/paper\_50.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/GasseS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/GlimmKL11, author = {Birte Glimm and Yevgeny Kazakov and Carsten Lutz}, title = {Status {QIO:} An Update}, booktitle = {Description Logics}, year = {2011}, url = {https://ceur-ws.org/Vol-745/paper\_44.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/GlimmKL11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/GoncalvesPS11, author = {Rafael S. Gon{\c{c}}alves and Bijan Parsia and Ulrike Sattler}, title = {Analysing Multiple Versions of an Ontology: {A} Study of the {NCI} Thesaurus}, booktitle = {Description Logics}, year = {2011}, url = {https://ceur-ws.org/Vol-745/paper\_40.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/GoncalvesPS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/GottlobS11, author = {Georg Gottlob and Thomas Schwentick}, title = {Rewriting Ontological Queries into Small Nonrecursive Datalog Programs}, booktitle = {Description Logics}, year = {2011}, url = {https://ceur-ws.org/Vol-745/paper\_21.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/GottlobS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/Graves11, author = {Henson Graves}, title = {Structural Models in Axiomatic SysML}, booktitle = {Description Logics}, year = {2011}, url = {https://ceur-ws.org/Vol-745/paper\_8.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/Graves11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/HaririCGM11, author = {Babak Bagheri Hariri and Diego Calvanese and Giuseppe De Giacomo and Riccardo De Masellis}, title = {Verification of Conjunctive-Query Based Semantic Artifacts}, booktitle = {Description Logics}, year = {2011}, url = {https://ceur-ws.org/Vol-745/paper\_3.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/HaririCGM11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/HorridgeBPS11, author = {Matthew Horridge and Samantha Bail and Bijan Parsia and Ulrike Sattler}, title = {The Cognitive Complexity of {OWL} Justifications}, booktitle = {Description Logics}, year = {2011}, url = {https://ceur-ws.org/Vol-745/paper\_52.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/HorridgeBPS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/HubauerLP11, author = {Thomas Hubauer and Steffen Lamparter and Michael Pirker}, title = {Relaxed Abduction: Robust Information Interpretation for Incomplete Models}, booktitle = {Description Logics}, year = {2011}, url = {https://ceur-ws.org/Vol-745/paper\_48.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/HubauerLP11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/JeffreyP11, author = {Alan Jeffrey and Peter F. Patel{-}Schneider}, title = {Integrity Constraints for Linked Data}, booktitle = {Description Logics}, year = {2011}, url = {https://ceur-ws.org/Vol-745/paper\_31.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/JeffreyP11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/JungGLS11, author = {Jean Christoph Jung and V{\'{\i}}ctor Guti{\'{e}}rrez{-}Basulto and Carsten Lutz and Lutz Schr{\"{o}}der}, title = {The Complexity of Probabilistic {EL}}, booktitle = {Description Logics}, year = {2011}, url = {https://ceur-ws.org/Vol-745/paper\_4.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/JungGLS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/KazakovKS11, author = {Yevgeny Kazakov and Markus Kr{\"{o}}tzsch and Frantisek Simancik}, title = {Unchain My {EL} Reasoner}, booktitle = {Description Logics}, year = {2011}, url = {https://ceur-ws.org/Vol-745/paper\_54.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/KazakovKS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/KharlamovZ11, author = {Evgeny Kharlamov and Dmitriy Zheleznyakov}, title = {On Prototypes for Winslett's Semantics of DL-Lite ABox Evolution}, booktitle = {Description Logics}, year = {2011}, url = {https://ceur-ws.org/Vol-745/paper\_33.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/KharlamovZ11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/KikotKZ11, author = {Stanislav Kikot and Roman Kontchakov and Michael Zakharyaschev}, title = {On (In)Tractability of {OBDA} with {OWL} 2 {QL}}, booktitle = {Description Logics}, year = {2011}, url = {https://ceur-ws.org/Vol-745/paper\_7.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/KikotKZ11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/KlarmanG11, author = {Szymon Klarman and V{\'{\i}}ctor Guti{\'{e}}rrez{-}Basulto}, title = {Two-Dimensional Description Logics of Context}, booktitle = {Description Logics}, year = {2011}, url = {https://ceur-ws.org/Vol-745/paper\_20.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/KlarmanG11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/KolliaGH11, author = {Ilianna Kollia and Birte Glimm and Ian Horrocks}, title = {Query Answering over {SROIQ} Knowledge Bases with {SPARQL}}, booktitle = {Description Logics}, year = {2011}, url = {https://ceur-ws.org/Vol-745/paper\_27.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/KolliaGH11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/KonevKLSWZ11, author = {Boris Konev and Roman Kontchakov and Michel Ludwig and Thomas Schneider and Frank Wolter and Michael Zakharyaschev}, title = {Module Extraction via Query Inseparability in {OWL} 2 {QL}}, booktitle = {Description Logics}, year = {2011}, url = {https://ceur-ws.org/Vol-745/paper\_6.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/KonevKLSWZ11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/KrisnadhiSH11, author = {Adila Alfa Krisnadhi and Kunal Sengupta and Pascal Hitzler}, title = {Local Closed World Semantics: Keep it simple, stupid!}, booktitle = {Description Logics}, year = {2011}, url = {https://ceur-ws.org/Vol-745/paper\_12.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/KrisnadhiSH11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/KrotzschMKH11, author = {Markus Kr{\"{o}}tzsch and Frederick Maier and Adila Alfa Krisnadhi and Pascal Hitzler}, title = {Nominal Schemas for Integrating Rules and Description Logics}, booktitle = {Description Logics}, year = {2011}, url = {https://ceur-ws.org/Vol-745/paper\_39.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/KrotzschMKH11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/KuruczWZ11, author = {Agi Kurucz and Frank Wolter and Michael Zakharyaschev}, title = {On {P/NP} Dichotomies for {EL} Subsumption under Relational Constraints}, booktitle = {Description Logics}, year = {2011}, url = {https://ceur-ws.org/Vol-745/paper\_41.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/KuruczWZ11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/LenzeriniS11, author = {Maurizio Lenzerini and Domenico Fabio Savo}, title = {On the Evolution of the Instance Level of DL-Lite Knowledge Bases}, booktitle = {Description Logics}, year = {2011}, url = {https://ceur-ws.org/Vol-745/paper\_11.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/LenzeriniS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/LutzW11, author = {Carsten Lutz and Frank Wolter}, title = {Non-Uniform Data Complexity of Query Answering in Description Logics}, booktitle = {Description Logics}, year = {2011}, url = {https://ceur-ws.org/Vol-745/paper\_35.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/LutzW11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/MasottiRR11, author = {Giulia Masotti and Riccardo Rosati and Marco Ruzzi}, title = {Practical ABox Cleaning in DL-Lite (progress report)}, booktitle = {Description Logics}, year = {2011}, url = {https://ceur-ws.org/Vol-745/paper\_53.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/MasottiRR11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/MehdiR11, author = {Anees Mehdi and Sebastian Rudolph}, title = {Practical Epistemic Entailment Checking in {SROIQ}}, booktitle = {Description Logics}, year = {2011}, url = {https://ceur-ws.org/Vol-745/paper\_15.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/MehdiR11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/MendezET11, author = {Julian Mendez and Andreas Ecke and Anni{-}Yasmin Turhan}, title = {Implementing Completion-Based Inferences for the EL-family}, booktitle = {Description Logics}, year = {2011}, url = {https://ceur-ws.org/Vol-745/paper\_56.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/MendezET11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/MosurovicK11, author = {Milenko Mosurovic and Nenad Krdzavac}, title = {A Technique for Handling the Right Hand Side of Complex RIAs}, booktitle = {Description Logics}, year = {2011}, url = {https://ceur-ws.org/Vol-745/paper\_34.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/MosurovicK11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/Nikitina11, author = {Nadeschda Nikitina}, title = {Forgetting in General {EL} Terminologies}, booktitle = {Description Logics}, year = {2011}, url = {https://ceur-ws.org/Vol-745/paper\_29.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/Nikitina11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/NikitinaRG11, author = {Nadeschda Nikitina and Sebastian Rudolph and Birte Glimm}, title = {Reasoning-Supported Interactive Revision of Knowledge Bases}, booktitle = {Description Logics}, year = {2011}, url = {https://ceur-ws.org/Vol-745/paper\_2.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/NikitinaRG11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/NortjeBM11, author = {Riku Nortje and Arina Britz and Thomas Andreas Meyer}, title = {Bidirectional Reachability-Based Modules}, booktitle = {Description Logics}, year = {2011}, url = {https://ceur-ws.org/Vol-745/paper\_25.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/NortjeBM11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/PintoGLR11, author = {Floriana Di Pinto and Giuseppe De Giacomo and Maurizio Lenzerini and Riccardo Rosati}, title = {Mapping Data to Higher-Order Description Logic Knowledge Bases}, booktitle = {Description Logics}, year = {2011}, url = {https://ceur-ws.org/Vol-745/paper\_23.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/PintoGLR11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/Rodriguez-MuroC11, author = {Mariano Rodriguez{-}Muro and Diego Calvanese}, title = {Dependencies to Optimize Ontology Based Data Access}, booktitle = {Description Logics}, year = {2011}, url = {https://ceur-ws.org/Vol-745/paper\_32.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/Rodriguez-MuroC11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/ScheglmannSS11, author = {Stefan Scheglmann and Carsten Saathoff and Steffen Staab}, title = {On the Problem of Weighted Max-DL-SAT and its Application to Image Labeling}, booktitle = {Description Logics}, year = {2011}, url = {https://ceur-ws.org/Vol-745/paper\_24.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/ScheglmannSS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/SerafiniH11, author = {Luciano Serafini and Martin Homola}, title = {Contextual Representation and Reasoning with Description Logics}, booktitle = {Description Logics}, year = {2011}, url = {https://ceur-ws.org/Vol-745/paper\_30.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/SerafiniH11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/Sertkaya11, author = {Baris Sertkaya}, title = {In the Search of Improvements to the {EL+} Classification Algorithm}, booktitle = {Description Logics}, year = {2011}, url = {https://ceur-ws.org/Vol-745/paper\_47.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/Sertkaya11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/SimancikMK11, author = {Frantisek Simancik and Boris Motik and Markus Kr{\"{o}}tzsch}, title = {Fixed Parameter Tractable Reasoning in DLs via Decomposition}, booktitle = {Description Logics}, year = {2011}, url = {https://ceur-ws.org/Vol-745/paper\_28.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/SimancikMK11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/Smolka11, author = {Gert Smolka}, title = {Incremental Decision Procedures for Modal Logic with Nominals and Eventualities}, booktitle = {Description Logics}, year = {2011}, url = {https://ceur-ws.org/Vol-745/invited\_paper\_2.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/Smolka11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/StoilosG11, author = {Giorgos Stoilos and Bernardo Cuenca Grau}, title = {Repairing Incomplete Reasoners}, booktitle = {Description Logics}, year = {2011}, url = {https://ceur-ws.org/Vol-745/paper\_13.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/StoilosG11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/Stuckenschmidt11, author = {Heiner Stuckenschmidt}, title = {A Little Logic Goes a Long Way - Logical Reasoning in Web Data Integration and Ontology Learning}, booktitle = {Description Logics}, year = {2011}, url = {https://ceur-ws.org/Vol-745/invited\_paper\_3.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/Stuckenschmidt11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/TinelliDRS11, author = {Eufemia Tinelli and Francesco M. Donini and Michele Ruta and Eugenio Di Sciascio}, title = {Reasoning in Resource-Constrained Environments: a Matchmaking Engine over Relational Knowledge Bases}, booktitle = {Description Logics}, year = {2011}, url = {https://ceur-ws.org/Vol-745/paper\_36.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/TinelliDRS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/Vescovo11, author = {Chiara Del Vescovo}, title = {The Modular Structure of an Ontology: Atomic Decomposition towards Applications}, booktitle = {Description Logics}, year = {2011}, url = {https://ceur-ws.org/Vol-745/paper\_55.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/Vescovo11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/VianaAM11, author = {Henrique Viana and Jo{\~{a}}o F. L. Alc{\^{a}}ntara and Ana Teresa C. Martins}, title = {Paraconsistent Rough Description Logic}, booktitle = {Description Logics}, year = {2011}, url = {https://ceur-ws.org/Vol-745/paper\_37.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/VianaAM11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/dlog/2011, editor = {Riccardo Rosati and Sebastian Rudolph and Michael Zakharyaschev}, title = {Proceedings of the 24th International Workshop on Description Logics {(DL} 2011), Barcelona, Spain, July 13-16, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {745}, publisher = {CEUR-WS.org}, year = {2011}, url = {https://ceur-ws.org/Vol-745}, urn = {urn:nbn:de:0074-745-4}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/2011.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.