FLOC 2022: FEDERATED LOGIC CONFERENCE 2022

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

Disclaimer | Powered by EasyChair Smart Program