FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
DL PROCEEDINGS

Editors: Martin Homola, Jean Christoph Jung and Marie-Laure Mugnier

AuthorsTitlePaperTalk
Faiq Miftakhul Falakh and Sebastian RudolphAGM Revision in Description Logics Under Fixed-Domain SemanticsAug 08 11:00
Tim Lyon and Jonas KargeUniform and Modular Sequent Systems for Description LogicsAug 09 10:15
Philippe Balbiani, Cigdem Gencer and Martin DiéguezAdvanced languages of terms for ontologiesAug 08 15:05
Ludovic Brieulle, Chan Le Duc and Pascal VaillantCategory-based Semantics for the Description Logic ALC and ReasoningAug 10 12:15
Birte Glimm, Yevgeny Kazakov and Michael WeltConcept Abduction for Description LogicsAug 09 14:00
Jing Xiong, Guohui Xiao, Tahir Emre Kalayci, Marco Montali, Zhenzhen Gu and Diego CalvaneseExtraction of Object-Centric Event Logs through Virtual Knowledge GraphsAug 10 11:50
Zuzana Hlávková, Martin Homola, Patrick Koopmann and Júlia PukancováAn API for DL Abduction SolversAug 09 15:15
Martin Homola, Júlia Pukancová, Iveta Balintová and Janka BoborováHybrid MHS-MXP ABox Abduction Solver: First Emprical ResultsAug 08 12:15
Jean Christoph Jung, Andrea Mazzullo and Frank WolterMore on Interpolants and Explicit Definitions for Description Logics with Nominals and/or Role InclusionsAug 09 09:00
Satyadharma Tirtarasa and Anni-Yasmin TurhanA new dimension to generalization: computing temporal EL concepts from positive examples (Extended Abstract)Aug 08 16:50
Guendalina Righetti, Daniele Porello and Roberto ConfalonieriEvaluating the Interpretability of Threshold OperatorsAug 09 15:30
Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter and Michael ZakharyaschevReverse Engineering of Temporal Queries with and without LTL Ontologies: First StepsAug 07 10:05
Maurice Funk, Jean Christoph Jung and Carsten LutzActively Learning ELIQs in the Presence of DL-Lite-Horn OntologiesAug 08 16:25
Lucía Gómez Álvarez, Sebastian Rudolph and Hannes StrassModelling Multiple Perspectives by Standpoint-Enhanced DLsAug 07 16:50
Bartosz Bednarczyk and Mateusz UrbańczykComonadic Semantics for Description Logics GamesAug 08 14:50
Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Julián Méndez and Alexej PopovičOn the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and EvonneAug 09 14:25
Bernardo Alkmim, Edward Haeusler and Cláudia NalonA Labelled Natural Deduction System for an Intuitionistic Description Logic with NominalsAug 09 15:45
Christian Alrabbaa, Stefan Borgwardt, Patrick Koopmann and Alisa KovtunovaFinding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight OntologiesAug 07 09:40
Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel and Marcel SteinmetzExpressivity of Planning with Horn Description Logic Ontologies (Extended Abstract)Aug 09 12:00
Federica Di Stefano, Magdalena Ortiz and Mantas SimkusPointwise Circumscription in Description LogicsAug 08 11:50
Alex Borgida, Enrico Franconi, David Toman and Grant WeddellAccessing Document Data Sources using Referring Expression TypesAug 10 11:25
Loris Bozzato, Thomas Eiter and Rafael KieselReasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic MeasuresAug 07 15:00
Moritz Illich and Birte GlimmComputing Concept Referring Expressions with Standard OWL ReasonersAug 10 11:00
Birte Glimm and Yevgeny KazakovSAT-Based Axiom Pinpointing RevisitedAug 09 14:50
Mostafa Sakr and Renate A. SchmidtFine-Grained Forgetting for the Description Logic ALCAug 09 09:50
Zhenzhen Gu, Davide Lanti, Alessandro Mosca, Guohui Xiao, Jing Xiong and Diego CalvaneseOntology-based Data Federation (Extended Abstract)Aug 08 14:25
Meghyn Bienvenu, Quentin Manière and Michaël ThomazoComplexity Landscape for Counting Queries (Extended abstract)Aug 07 09:15
Franz Baader, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan and Benjamin ZarriessEfficient TBox Reasoning with Value Restrictions using the FL0wer Reasoner (Extended Abstract)Aug 08 16:00
Meghyn Bienvenu and Camille BourgauxQuerying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments (Extended Abstract)Aug 08 14:00
Haoruo Zhao, Bijan Parsia and Uli SattlerNext Steps for ReAD: Modules for Classification OptimisationAug 10 10:00
Fajar Haifani, Patrick Koopmann, Sophie Tourret and Christoph WeidenbachConnection-minimal Abduction in EL via translation to FOL (Extended Abstract)Aug 08 10:00
Laura Giordano, Alberto Martelli and Daniele Theseider DupreReasoning about actions with EL ontologies in a temporal action theory (Extended Abstract)Aug 08 17:15
Franz Baader, Patrick Koopmann, Francesco Kriegel and Adrian NuradiansyahOptimal ABox Repair w.r.t. Static EL TBoxes: from Quantified ABoxes back to ABoxes (Extended Abstract)Aug 09 09:25