Picture for Boris Konev

Boris Konev

Reverse Engineering of Temporal Queries Mediated by LTL Ontologies

Add code
May 04, 2023
Viaarxiv icon

Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey

Add code
Apr 20, 2018
Figure 1 for Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey
Figure 2 for Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey
Viaarxiv icon

Exact Learning of Lightweight Description Logic Ontologies

Add code
Sep 20, 2017
Figure 1 for Exact Learning of Lightweight Description Logic Ontologies
Figure 2 for Exact Learning of Lightweight Description Logic Ontologies
Viaarxiv icon

The Logical Difference for the Lightweight Description Logic EL

Add code
Jan 23, 2014
Figure 1 for The Logical Difference for the Lightweight Description Logic EL
Figure 2 for The Logical Difference for the Lightweight Description Logic EL
Figure 3 for The Logical Difference for the Lightweight Description Logic EL
Figure 4 for The Logical Difference for the Lightweight Description Logic EL
Viaarxiv icon