Showing cs.AIShow all
2 papers · 1 filter
cs.AI2019
Query Inseparability for ALC Ontologies
Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov +2
We investigate the problem whether two ALC ontologies are indistinguishable (or inseparable) by means of queries in a given signature, which is fundamental for ontology engineering…
cs.AI2018
Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey
Elena Botoeva, Boris Konev, Carsten Lutz +3
The question whether an ontology can safely be replaced by another, possibly simpler, one is fundamental for many ontology engineering and maintenance tasks. It underpins, for exam…