FLOC 2022: FEDERATED LOGIC CONFERENCE 2022

A
abduction	Concept Abduction for Description Logics (, talk) An API for DL Abduction Solvers (, talk) Connection-minimal Abduction in EL via translation to FOL (Extended Abstract) (, talk)
ABox abduction	Hybrid MHS-MXP ABox Abduction Solver: First Emprical Results (, talk)
ABox approximation	Optimal ABox Repair w.r.t. Static EL TBoxes: from Quantified ABoxes back to ABoxes (Extended Abstract) (, talk)
ALC	Fine-Grained Forgetting for the Description Logic ALC (, talk)
Algebraic Measures	Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures (, talk)
ASP	Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures (, talk)
B
Belief revision	AGM Revision in Description Logics Under Fixed-Domain Semantics (, talk)
benchmarks	Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract) (, talk)
Beth Definability Property	More on Interpolants and Explicit Definitions for Description Logics with Nominals and/or Role Inclusions (, talk)
bisimulation	Comonadic Semantics for Description Logics Games (, talk)
C
category theory	Category-based Semantics for the Description Logic ALC and Reasoning (, talk)
Circumscription	Pointwise Circumscription in Description Logics (, talk)
Classification	Next Steps for ReAD: Modules for Classification Optimisation (, talk)
comonads	Comonadic Semantics for Description Logics Games (, talk)
compilation scheme	Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract) (, talk)
Complexity	Category-based Semantics for the Description Logic ALC and Reasoning (, talk) Optimal ABox Repair w.r.t. Static EL TBoxes: from Quantified ABoxes back to ABoxes (Extended Abstract) (, talk)
comprehensibility	Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies (, talk)
computational complexity	Reverse Engineering of Temporal Queries with and without LTL Ontologies: First Steps (, talk) Pointwise Circumscription in Description Logics (, talk)
Concept Referring Expressions	Computing Concept Referring Expressions with Standard OWL Reasoners (, talk)
Counting queries	Complexity Landscape for Counting Queries (Extended abstract) (, talk)
Craig interpolants	More on Interpolants and Explicit Definitions for Description Logics with Nominals and/or Role Inclusions (, talk)
D
data federation	Ontology-based Data Federation (Extended Abstract) (, talk)
Defeasible Knowledge	Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures (, talk)
Delegate Reasoner	Next Steps for ReAD: Modules for Classification Optimisation (, talk)
Description Logic	Advanced languages of terms for ontologies (, talk) More on Interpolants and Explicit Definitions for Description Logics with Nominals and/or Role Inclusions (, talk) A Labelled Natural Deduction System for an Intuitionistic Description Logic with Nominals (, talk) Fine-Grained Forgetting for the Description Logic ALC (, talk)
Description Logic EL	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)
Description Logics	AGM Revision in Description Logics Under Fixed-Domain Semantics (, talk) Uniform and Modular Sequent Systems for Description Logics (, talk) Concept Abduction for Description Logics (, talk) An API for DL Abduction Solvers (, talk) Hybrid MHS-MXP ABox Abduction Solver: First Emprical Results (, talk) Accessing Document Data Sources using Referring Expression Types (, talk) Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures (, talk) Computing Concept Referring Expressions with Standard OWL Reasoners (, talk) SAT-Based Axiom Pinpointing Revisited (, talk) Complexity Landscape for Counting Queries (Extended abstract) (, talk)
DL-Lite	Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies (, talk)
DL-Lite-Horn	Actively Learning ELIQs in the Presence of DL-Lite-Horn Ontologies (, talk)
document stores	Accessing Document Data Sources using Referring Expression Types (, talk)
E
Efficient reasoning	Efficient TBox Reasoning with Value Restrictions using the FL0wer Reasoner (Extended Abstract) (, talk)
EL ontologies	Reasoning about actions with EL ontologies in a temporal action theory (Extended Abstract) (, talk)
Exact Learning	Actively Learning ELIQs in the Presence of DL-Lite-Horn Ontologies (, talk)
experiments	Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract) (, talk) Efficient TBox Reasoning with Value Restrictions using the FL0wer Reasoner (Extended Abstract) (, talk)
Explainable AI	Evaluating the Interpretability of Threshold Operators (, talk)
Explanation	Reverse Engineering of Temporal Queries with and without LTL Ontologies: First Steps (, talk) On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne (, talk) SAT-Based Axiom Pinpointing Revisited (, talk)
explicit definability	More on Interpolants and Explicit Definitions for Description Logics with Nominals and/or Role Inclusions (, talk)
expressive DLs	Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract) (, talk)
expressive power	Comonadic Semantics for Description Logics Games (, talk)
F
first-order logic	Connection-minimal Abduction in EL via translation to FOL (Extended Abstract) (, talk)
Fixed-domain semantics	AGM Revision in Description Logics Under Fixed-Domain Semantics (, talk)
FL0 and FLbot	Efficient TBox Reasoning with Value Restrictions using the FL0wer Reasoner (Extended Abstract) (, talk)
Forgetting	On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne (, talk) Fine-Grained Forgetting for the Description Logic ALC (, talk)
G
games	Comonadic Semantics for Description Logics Games (, talk)
generalization	A new dimension to generalization: computing temporal EL concepts from positive examples (Extended Abstract) (, talk)
H
Horn-fragments	Efficient TBox Reasoning with Value Restrictions using the FL0wer Reasoner (Extended Abstract) (, talk)
I
iALC	A Labelled Natural Deduction System for an Intuitionistic Description Logic with Nominals (, talk)
inconsistency-tolerant semantics	Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments (Extended Abstract) (, talk)
Interpretability	Evaluating the Interpretability of Threshold Operators (, talk)
Intuitionistic Logic	A Labelled Natural Deduction System for an Intuitionistic Description Logic with Nominals (, talk)
J
JSON documents	Accessing Document Data Sources using Referring Expression Types (, talk)
Justifiable Exceptions	Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures (, talk)
K
Knowledge Diversity	Modelling Multiple Perspectives by Standpoint-Enhanced DLs (, talk)
Knowledge Integration	Modelling Multiple Perspectives by Standpoint-Enhanced DLs (, talk)
knowledge representation	Advanced languages of terms for ontologies (, talk)
L
learning from examples	A new dimension to generalization: computing temporal EL concepts from positive examples (Extended Abstract) (, talk)
Least General Generalizations	Actively Learning ELIQs in the Presence of DL-Lite-Horn Ontologies (, talk)
linear temporal logic	Reverse Engineering of Temporal Queries with and without LTL Ontologies: First Steps (, talk)
logic programming	Advanced languages of terms for ontologies (, talk)
M
minimality criterion	Connection-minimal Abduction in EL via translation to FOL (Extended Abstract) (, talk)
Modular Reasoning	Next Steps for ReAD: Modules for Classification Optimisation (, talk)
Most specific concept	Optimal ABox Repair w.r.t. Static EL TBoxes: from Quantified ABoxes back to ABoxes (Extended Abstract) (, talk)
N
Natural Deduction	A Labelled Natural Deduction System for an Intuitionistic Description Logic with Nominals (, talk)
Non-monotonic reasoning in DLs	Pointwise Circumscription in Description Logics (, talk)
O
OBDA	Ontology-based Data Federation (Extended Abstract) (, talk)
Object-Centric Event Logs	Extraction of Object-Centric Event Logs through Virtual Knowledge Graphs (, talk)
OMQA	Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies (, talk)
ontologies	Concept Abduction for Description Logics (, talk) An API for DL Abduction Solvers (, talk) Hybrid MHS-MXP ABox Abduction Solver: First Emprical Results (, talk) Computing Concept Referring Expressions with Standard OWL Reasoners (, talk) Fine-Grained Forgetting for the Description Logic ALC (, talk)
Ontology Alignment	Modelling Multiple Perspectives by Standpoint-Enhanced DLs (, talk)
Ontology repair	Optimal ABox Repair w.r.t. Static EL TBoxes: from Quantified ABoxes back to ABoxes (Extended Abstract) (, talk)
Ontology-based data access	Extraction of Object-Centric Event Logs through Virtual Knowledge Graphs (, talk) Ontology-based Data Federation (Extended Abstract) (, talk)
ontology-mediated query	Reverse Engineering of Temporal Queries with and without LTL Ontologies: First Steps (, talk)
Ontology-mediated query answering	Complexity Landscape for Counting Queries (Extended abstract) (, talk)
P
Perspectives	Modelling Multiple Perspectives by Standpoint-Enhanced DLs (, talk)
Planning	Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract) (, talk)
prime implicates	Connection-minimal Abduction in EL via translation to FOL (Extended Abstract) (, talk)
prioritized knowledge bases	Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments (Extended Abstract) (, talk)
Process Mining	Extraction of Object-Centric Event Logs through Virtual Knowledge Graphs (, talk)
proof presentation	Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies (, talk)
Proof Theory	Uniform and Modular Sequent Systems for Description Logics (, talk)
Proofs	On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne (, talk)
Propositional satisfiability	SAT-Based Axiom Pinpointing Revisited (, talk)
Protégé Plugin	On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne (, talk)
Q
Queries	Computing Concept Referring Expressions with Standard OWL Reasoners (, talk)
query optimization	Ontology-based Data Federation (Extended Abstract) (, talk)
query-by-example	Reverse Engineering of Temporal Queries with and without LTL Ontologies: First Steps (, talk)
R
Reasoning	Category-based Semantics for the Description Logic ALC and Reasoning (, talk) Concept Abduction for Description Logics (, talk)
reasoning about actions	Reasoning about actions with EL ontologies in a temporal action theory (Extended Abstract) (, talk)
referring expressions	Accessing Document Data Sources using Referring Expression Types (, talk)
Reverse engineering of queries	Reverse Engineering of Temporal Queries with and without LTL Ontologies: First Steps (, talk)
Rule based temporal action logic	Reasoning about actions with EL ontologies in a temporal action theory (Extended Abstract) (, talk)
rule-based reasoning	Advanced languages of terms for ontologies (, talk)
S
SAT-based algorithms	Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments (Extended Abstract) (, talk)
Semantics	Category-based Semantics for the Description Logic ALC and Reasoning (, talk)
Sequent Calculus	Uniform and Modular Sequent Systems for Description Logics (, talk)
software engineering	An API for DL Abduction Solvers (, talk)
Standpoint	Modelling Multiple Perspectives by Standpoint-Enhanced DLs (, talk)
T
temporal reasoning	A new dimension to generalization: computing temporal EL concepts from positive examples (Extended Abstract) (, talk)
Threshold operators	Evaluating the Interpretability of Threshold Operators (, talk)
U
User study	Evaluating the Interpretability of Threshold Operators (, talk)
V
Virtual Knowledge Graph	Extraction of Object-Centric Event Logs through Virtual Knowledge Graphs (, talk)

Disclaimer | Powered by EasyChair Smart Program