Publication

Well-formed Default Unification in Non-deterministic Multiple Inheritance Hierarchies

Christian Husodo Schulz, Jan Alexandersson, Tilman Becker

In: Harry Bunt, Volha Pethukova, Sander Wubben (editor). International Workshop on Computational Semantics. International Conference on Computational Semantics (IWCS-8) Proceedings of the Eight International Conference on Computational Semantics January 7-9 Tilburg Netherlands Pages 320-326 ISBN 978-90-74029-34-6 IWCS 08 Tilburg 1/2009.

Abstract

One practical approach to using ontologies for knowledge representation and reasoning is the approximation through typed feature structures. The non-deterministic multiple inheritance hierarchies used for ontologies can be mapped immediately to typed feature structures. An important inference operation is default unification which computes the maximally compatible combination of new information (cover ) and old information (background). It is fundamental to ensure that such an operation does not limit the design of the ontology. In this work we provide an extension to default unification. Firstly the operation produces feasible results in multiple inheritance hierarchies that are nondeterministic. Secondly the specification of the algorithm guarantees that well-formedness is not violated.

Weitere Links

chschulz_well-formed_default_unification_in_non-deterministic_multiple_inheritance_hierarchies.pdf (pdf, 109 KB)

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz