The past 25 years have seen many attempts to introduce defeasible-reasoning capabilities
into a description logic setting. Many, if not most, of these attempts are based on preferential …

The main underlying assumption of traditional legal knowledge representation and
reasoning is that knowledge and data are both available in main memory. However, in the …

As semantically enabled applications require high-quality ontologies, developing and
maintaining ontologies that are as correct and complete as possible is an important although …

The classical approach for repairing a Description Logic (DL) ontology in the sense of
removing an unwanted consequence is to delete a minimal number of axioms from the …

Various model-based diagnosis scenarios require the computation of the most preferred
fault explanations. Existing algorithms that are sound (ie, output only actual fault …

The enumeration of minimal unsatisfiable subsets (MUSes) finds a growing number of
practical applications, that includes a wide range of diagnosis problems. As a concrete …

The quality of ontologies in terms of their correctness and completeness is crucial for
developing high-quality ontology-based applications. Traditional debugging techniques …

As the core building blocks of the Semantic Web, ontologies provide shared vocabularies
and conceptual knowledge for specific application fields. At the same time, ontologies can …

We present an approach for suggesting possible fixes to an overall I&C nuclear architecture
during its design phase. Despite the I&C architecture, in our case, being represented with an …

The quest for tractable logic-based languages arising from the field of bio-medical
ontologies has raised a lot of attention on lightweight (ie less expressive but tractable) …