As software systems become more complex the overall system structure { or software architecture { becomes a central design problem. An important step towards an engineering discip...
The problem of knowledge representation has been extensively addressedin the information systemsfield and there has been a wide range of suggestionsfor capturing semantics.A numbe...
Recent research in nonmonotonic logic programming has focused on program equivalence relevant for program optimization and modular programming. So far, most results concern the st...
We study highly expressive query languages such as datalog, fixpoint, and while-languages on probabilistic databases. We generalize these languages such that computation steps (e....
A number of sophisticated medical ontologies have been created over the past years. With their development the need for supporting the alignment of different ontologies is gaining...
Heiner Stuckenschmidt, Frank van Harmelen, Paolo B...