FLOC 2022: FEDERATED LOGIC CONFERENCE 2022

A
Alkmim, Bernardo	A Labelled Natural Deduction System for an Intuitionistic Description Logic with Nominals (, talk)
Alrabbaa, Christian	On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne (, talk) Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies (, talk)
B
Baader, Franz	Efficient TBox Reasoning with Value Restrictions using the FL0wer Reasoner (Extended Abstract) (, talk) Optimal ABox Repair w.r.t. Static EL TBoxes: from Quantified ABoxes back to ABoxes (Extended Abstract) (, talk)
Balbiani, Philippe	Advanced languages of terms for ontologies (, talk)
Balintová, Iveta	Hybrid MHS-MXP ABox Abduction Solver: First Emprical Results (, talk)
Bednarczyk, Bartosz	Comonadic Semantics for Description Logics Games (, talk)
Bienvenu, Meghyn	Complexity Landscape for Counting Queries (Extended abstract) (, talk) Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments (Extended Abstract) (, talk)
Boborová, Janka	Hybrid MHS-MXP ABox Abduction Solver: First Emprical Results (, talk)
Borgida, Alex	Accessing Document Data Sources using Referring Expression Types (, talk)
Borgwardt, Stefan	On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne (, talk) Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies (, talk) Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract) (, talk)
Bourgaux, Camille	Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments (Extended Abstract) (, talk)
Bozzato, Loris	Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures (, talk)
Brieulle, Ludovic	Category-based Semantics for the Description Logic ALC and Reasoning (, talk)
C
Calvanese, Diego	Extraction of Object-Centric Event Logs through Virtual Knowledge Graphs (, talk) Ontology-based Data Federation (Extended Abstract) (, talk)
Confalonieri, Roberto	Evaluating the Interpretability of Threshold Operators (, talk)
D
Di Stefano, Federica	Pointwise Circumscription in Description Logics (, talk)
Diéguez, Martin	Advanced languages of terms for ontologies (, talk)
E
Eiter, Thomas	Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures (, talk)
F
Falakh, Faiq Miftakhul	AGM Revision in Description Logics Under Fixed-Domain Semantics (, talk)
Fortin, Marie	Reverse Engineering of Temporal Queries with and without LTL Ontologies: First Steps (, talk)
Franconi, Enrico	Accessing Document Data Sources using Referring Expression Types (, talk)
Friese, Tom	On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne (, talk)
Funk, Maurice	Actively Learning ELIQs in the Presence of DL-Lite-Horn Ontologies (, talk)
G
Gencer, Cigdem	Advanced languages of terms for ontologies (, talk)
Giordano, Laura	Reasoning about actions with EL ontologies in a temporal action theory (Extended Abstract) (, talk)
Glimm, Birte	Concept Abduction for Description Logics (, talk) Computing Concept Referring Expressions with Standard OWL Reasoners (, talk) SAT-Based Axiom Pinpointing Revisited (, talk)
Gu, Zhenzhen	Ontology-based Data Federation (Extended Abstract) (, talk)
Gu, Zhenzhen	Extraction of Object-Centric Event Logs through Virtual Knowledge Graphs (, talk)
Gómez Álvarez, Lucía	Modelling Multiple Perspectives by Standpoint-Enhanced DLs (, talk)
H
Haeusler, Edward	A Labelled Natural Deduction System for an Intuitionistic Description Logic with Nominals (, talk)
Haifani, Fajar	Connection-minimal Abduction in EL via translation to FOL (Extended Abstract) (, talk)
Hlávková, Zuzana	An API for DL Abduction Solvers (, talk)
Hoffmann, Jörg	Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract) (, talk)
Homola, Martin	An API for DL Abduction Solvers (, talk) Hybrid MHS-MXP ABox Abduction Solver: First Emprical Results (, talk)
I
Illich, Moritz	Computing Concept Referring Expressions with Standard OWL Reasoners (, talk)
J
Jung, Jean Christoph	More on Interpolants and Explicit Definitions for Description Logics with Nominals and/or Role Inclusions (, talk) Actively Learning ELIQs in the Presence of DL-Lite-Horn Ontologies (, talk)
K
Kalayci, Tahir Emre	Extraction of Object-Centric Event Logs through Virtual Knowledge Graphs (, talk)
Karge, Jonas	Uniform and Modular Sequent Systems for Description Logics (, talk)
Kazakov, Yevgeny	Concept Abduction for Description Logics (, talk) SAT-Based Axiom Pinpointing Revisited (, talk)
Kiesel, Rafael	Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures (, talk)
Konev, Boris	Reverse Engineering of Temporal Queries with and without LTL Ontologies: First Steps (, talk)
Koopmann, Patrick	An API for DL Abduction Solvers (, talk) On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne (, talk) Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies (, talk) Efficient TBox Reasoning with Value Restrictions using the FL0wer Reasoner (Extended Abstract) (, talk) Connection-minimal Abduction in EL via translation to FOL (Extended Abstract) (, talk) Optimal ABox Repair w.r.t. Static EL TBoxes: from Quantified ABoxes back to ABoxes (Extended Abstract) (, talk)
Kovtunova, Alisa	Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies (, talk) Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract) (, talk)
Kriegel, Francesco	Optimal ABox Repair w.r.t. Static EL TBoxes: from Quantified ABoxes back to ABoxes (Extended Abstract) (, talk)
Krötzsch, Markus	Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract) (, talk)
L
Lanti, Davide	Ontology-based Data Federation (Extended Abstract) (, talk)
Le Duc, Chan	Category-based Semantics for the Description Logic ALC and Reasoning (, talk)
Lutz, Carsten	Actively Learning ELIQs in the Presence of DL-Lite-Horn Ontologies (, talk)
Lyon, Tim	Uniform and Modular Sequent Systems for Description Logics (, talk)
M
Manière, Quentin	Complexity Landscape for Counting Queries (Extended abstract) (, talk)
Martelli, Alberto	Reasoning about actions with EL ontologies in a temporal action theory (Extended Abstract) (, talk)
Mazzullo, Andrea	More on Interpolants and Explicit Definitions for Description Logics with Nominals and/or Role Inclusions (, talk)
Michel, Friedrich	Efficient TBox Reasoning with Value Restrictions using the FL0wer Reasoner (Extended Abstract) (, talk)
Montali, Marco	Extraction of Object-Centric Event Logs through Virtual Knowledge Graphs (, talk)
Mosca, Alessandro	Ontology-based Data Federation (Extended Abstract) (, talk)
Méndez, Julián	On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne (, talk)
N
Nalon, Cláudia	A Labelled Natural Deduction System for an Intuitionistic Description Logic with Nominals (, talk)
Nebel, Bernhard	Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract) (, talk)
Nuradiansyah, Adrian	Optimal ABox Repair w.r.t. Static EL TBoxes: from Quantified ABoxes back to ABoxes (Extended Abstract) (, talk)
O
Ortiz, Magdalena	Pointwise Circumscription in Description Logics (, talk)
P
Parsia, Bijan	Next Steps for ReAD: Modules for Classification Optimisation (, talk)
Popovič, Alexej	On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne (, talk)
Porello, Daniele	Evaluating the Interpretability of Threshold Operators (, talk)
Pukancová, Júlia	An API for DL Abduction Solvers (, talk) Hybrid MHS-MXP ABox Abduction Solver: First Emprical Results (, talk)
R
Righetti, Guendalina	Evaluating the Interpretability of Threshold Operators (, talk)
Rudolph, Sebastian	AGM Revision in Description Logics Under Fixed-Domain Semantics (, talk) Modelling Multiple Perspectives by Standpoint-Enhanced DLs (, talk)
Ryzhikov, Vladislav	Reverse Engineering of Temporal Queries with and without LTL Ontologies: First Steps (, talk)
S
Sakr, Mostafa	Fine-Grained Forgetting for the Description Logic ALC (, talk)
Sattler, Uli	Next Steps for ReAD: Modules for Classification Optimisation (, talk)
Savateev, Yury	Reverse Engineering of Temporal Queries with and without LTL Ontologies: First Steps (, talk)
Schmidt, Renate A.	Fine-Grained Forgetting for the Description Logic ALC (, talk)
Simkus, Mantas	Pointwise Circumscription in Description Logics (, talk)
Steinmetz, Marcel	Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract) (, talk)
Strass, Hannes	Modelling Multiple Perspectives by Standpoint-Enhanced DLs (, talk)
T
Theseider Dupre, Daniele	Reasoning about actions with EL ontologies in a temporal action theory (Extended Abstract) (, talk)
Thomazo, Michaël	Complexity Landscape for Counting Queries (Extended abstract) (, talk)
Tirtarasa, Satyadharma	A new dimension to generalization: computing temporal EL concepts from positive examples (Extended Abstract) (, talk)
Toman, David	Accessing Document Data Sources using Referring Expression Types (, talk)
Tourret, Sophie	Connection-minimal Abduction in EL via translation to FOL (Extended Abstract) (, talk)
Turhan, Anni-Yasmin	A new dimension to generalization: computing temporal EL concepts from positive examples (Extended Abstract) (, talk) Efficient TBox Reasoning with Value Restrictions using the FL0wer Reasoner (Extended Abstract) (, talk)
U
Urbańczyk, Mateusz	Comonadic Semantics for Description Logics Games (, talk)
V
Vaillant, Pascal	Category-based Semantics for the Description Logic ALC and Reasoning (, talk)
W
Weddell, Grant	Accessing Document Data Sources using Referring Expression Types (, talk)
Weidenbach, Christoph	Connection-minimal Abduction in EL via translation to FOL (Extended Abstract) (, talk)
Welt, Michael	Concept Abduction for Description Logics (, talk)
Wolter, Frank	More on Interpolants and Explicit Definitions for Description Logics with Nominals and/or Role Inclusions (, talk) Reverse Engineering of Temporal Queries with and without LTL Ontologies: First Steps (, talk)
X
Xiao, Guohui	Extraction of Object-Centric Event Logs through Virtual Knowledge Graphs (, talk) Ontology-based Data Federation (Extended Abstract) (, talk)
Xiong, Jing	Extraction of Object-Centric Event Logs through Virtual Knowledge Graphs (, talk) Ontology-based Data Federation (Extended Abstract) (, talk)
Z
Zakharyaschev, Michael	Reverse Engineering of Temporal Queries with and without LTL Ontologies: First Steps (, talk)
Zarriess, Benjamin	Efficient TBox Reasoning with Value Restrictions using the FL0wer Reasoner (Extended Abstract) (, talk)
Zhao, Haoruo	Next Steps for ReAD: Modules for Classification Optimisation (, talk)

Disclaimer | Powered by EasyChair Smart Program