Real-world semantic or knowledge-based systems can become large and complex, eg, in
the biomedical domain. Tool support for the localization and repair of faults within …

Abstract Reasoning semantically in first-order logic is notoriously a challenge. This paper
surveys a selection of semantically-guided or model-based methods that aim at meeting …

When ontologies reach a certain size and complexity, faults such as inconsistencies,
unsatisfiable classes or wrong entailments are hardly avoidable. Locating the incorrect …

Data captured in OWL ontologies is generally considered to be more prone to changes than
the schema in many situations. Such changes often necessitate consistency checking over …

Exchanging resources often involves situations where a participant gives a resource without
obtaining immediately the expected reward. For instance, one can buy an item without …

The ontology modeling practice of engineering metaproperties of concepts is a well-known
technique. Some metaproperties of concepts describe the dynamics of concept instances, ie …

Reasoning semantically in first-order logic is notoriously a challenge. This paper surveys a
selection of semantically-guided or modelbased methods that aim at meeting aspects of this …