Prof. Holstlaan 4
High Tech Campus 34
Eindhoven
Netherlands
Philips Research
ontology, semantics, entailment, completeness, computational complexity