We argue for the usefulness of abductive reasoning in the context of ontologies. We discuss
several applicaton scenarios in which various forms of abduction would be useful, introduce …

Matchmaking arises when supply and demand meet in an electronic marketplace, or when
agents search for a web service to perform some task, or even when recruiting agencies …

Due to the growing popularity of Description Logics-based knowledge representation
systems, predominantly in the context of Semantic Web applications, there is a rising …

In this paper we present a Description Logic approach to extended matchmaking between
Demands and Supplies in an Electronic Marketplace, which allows the semantic-based …

We consider query answering on Description Logic (DL) ontologies with DBoxes, where a
DBox is a set of assertions on individuals involving atomic concepts and roles called DBox …

To date on-line processes (ie workflows) built in e-Science have been the result of
collaborative team efforts. As more of these workflows are built, scientists start sharing and …

In this paper, we propose an original way of enriching description logics with abduction
reasoning services. Under the aegis of set and lattice theories, we put together ingredients …

In this paper we consider the problem of repairing missing is-a relations in ontologies. We
formalize the problem as a generalized TBox abduction problem (GTAP). Based on this …

ABox abduction is an important reasoning facility in Description Logics (DLs). It finds all
minimal sets of ABox axioms, called abductive solutions, which should be added to a …

TBox abduction explains why an observation is not entailed by a TBox, by computing
multiple sets of axioms, called explanations, such that each explanation does not entail the …