Aczel's theory of structured objects is extended under the assumption that a structured object may belong to a sort and that these sorts are partially ordered. Based on the assumption, the forms of required objects can be specified more precisely and concisely. The resulting theory provides a general principle for the construction of order-sorted ontologies and universes of structured objects. It is applicable to systems with structured objects, such as situation theory, feature-based grammars, knowledge representation, constraint logic programming and object-oriented systems.
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Copy
Vilas WUWONGSE, Ekawit NANTAJEEWARAWAT, "Order-Sorted Universes of Structured Objects" in IEICE TRANSACTIONS on Information,
vol. E79-D, no. 2, pp. 143-149, February 1996, doi: .
Abstract: Aczel's theory of structured objects is extended under the assumption that a structured object may belong to a sort and that these sorts are partially ordered. Based on the assumption, the forms of required objects can be specified more precisely and concisely. The resulting theory provides a general principle for the construction of order-sorted ontologies and universes of structured objects. It is applicable to systems with structured objects, such as situation theory, feature-based grammars, knowledge representation, constraint logic programming and object-oriented systems.
URL: https://global.ieice.org/en_transactions/information/10.1587/e79-d_2_143/_p
Copy
@ARTICLE{e79-d_2_143,
author={Vilas WUWONGSE, Ekawit NANTAJEEWARAWAT, },
journal={IEICE TRANSACTIONS on Information},
title={Order-Sorted Universes of Structured Objects},
year={1996},
volume={E79-D},
number={2},
pages={143-149},
abstract={Aczel's theory of structured objects is extended under the assumption that a structured object may belong to a sort and that these sorts are partially ordered. Based on the assumption, the forms of required objects can be specified more precisely and concisely. The resulting theory provides a general principle for the construction of order-sorted ontologies and universes of structured objects. It is applicable to systems with structured objects, such as situation theory, feature-based grammars, knowledge representation, constraint logic programming and object-oriented systems.},
keywords={},
doi={},
ISSN={},
month={February},}
Copy
TY - JOUR
TI - Order-Sorted Universes of Structured Objects
T2 - IEICE TRANSACTIONS on Information
SP - 143
EP - 149
AU - Vilas WUWONGSE
AU - Ekawit NANTAJEEWARAWAT
PY - 1996
DO -
JO - IEICE TRANSACTIONS on Information
SN -
VL - E79-D
IS - 2
JA - IEICE TRANSACTIONS on Information
Y1 - February 1996
AB - Aczel's theory of structured objects is extended under the assumption that a structured object may belong to a sort and that these sorts are partially ordered. Based on the assumption, the forms of required objects can be specified more precisely and concisely. The resulting theory provides a general principle for the construction of order-sorted ontologies and universes of structured objects. It is applicable to systems with structured objects, such as situation theory, feature-based grammars, knowledge representation, constraint logic programming and object-oriented systems.
ER -