FLOC 2022: FEDERATED LOGIC CONFERENCE 2022

This page contains an index consisting of author-provided keywords.

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

Disclaimer | Powered by EasyChair Smart Program