Abstract Ontologies based on Description Logics may contain errors, which are usually
detected when reasoning produces consequences that follow from the ontology, but do not …

Errors in knowledge bases (KBs) written in a Description Logic (DL) are usually detected
when reasoning derives an inconsistency or a consequence that does not hold in the …

Knowledge-based systems (KBS) represent complex domains in an explicit, structured
manner and comprise an inference engine that reasons about the domain to draw precise …

Abstract (EN) We propose an interactive repair method for the description logic EL that is
based on the optimal-repair framework. The obtained repair might not be optimal in the …

Errors in Description Logic (DL) ontologies are often detected when reasoning yields
unintuitive consequences. Consider we have data represented in an ABox using role and …

Errors in Description Logic (DL) ontologies are often detected when reasoning yields
unintuitive consequences. Consider we have data represented in an ABox using role and …

Abstract Unification in Description Logics (DLs) has been proposed as an inference service
that can, for example, be used to detect redundancies in ontologies. For the DL EL, which is …