Default Inheritance Reasoning in Hybrid KL-ONE-Style Logics
Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence. Knowledge Representation. Pages 676-680.
Abstract
Hybrid KL-ONE-style logics are knowledge representation formalisms of considerable applicative interest, as they are specifically oriented to the vast class of application domains that are describable by means of taxonomic organizations of complex objects. In this paper we consider the problem of endowing such logics with capabilities for default inheritance reasoning, a kind of default reasoning that is specifically oriented to reasoning on taxonomies. The formalism that results from our work has a reasonable and simple behaviour when dealing with the interplay of defeasible and strict inheritance of properties of complex objects.
@inproceedings{ijcai1993p95,
title = {Default Inheritance Reasoning in Hybrid KL-ONE-Style Logics},
author = {Straccia, Umberto},
booktitle = {Proceedings of the Thirteenth International Joint Conference on
Artificial Intelligence, {IJCAI-93}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Ruzena Bajcsy},
pages = {676--680},
year = {1993},
note = {Knowledge Representation},
url = {https://ijcai.org/proceedings/1993/95},
}
TY - CPAPER TI - Default Inheritance Reasoning in Hybrid KL-ONE-Style Logics AU - Straccia, Umberto T2 - Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, IJCAI-93 PB - International Joint Conferences on Artificial Intelligence PY - 1993 SP - 676 EP - 680 UR - https://ijcai.org/proceedings/1993/95 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
