Publikation
Well-formed Default Unification in Non-deterministic Multiple Inheritance Hierarchies
Christian Husodo Schulz; Jan Alexandersson; Tilman Becker
In: Harry Bunt; Volha Pethukova; Sander Wubben (Hrsg.). IWCS-8 '09: Proceedings of the Eighth International Conference on Computational Semantics. International Conference on Computational Semantics (IWCS-8), January 7-9, Tilburg, Netherlands, Pages 320-326, ISBN 978-90-74029-34-6, ACL, 1/2009.
Zusammenfassung
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.