Order-Sorted Universes of Structured Objects
スポンサーリンク
概要
- 論文の詳細を見る
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.
- 社団法人電子情報通信学会の論文
- 1996-02-25
著者
-
Wuwongse Vilas
Computer Science And Information Management Asian Institute Of Technology
-
Wuwongse Vilas
Computer Science Program School Of Advanced Technologies Asian Institute Of Technology
-
Wuwongse Vilas
Computer Science & Information Management Program School Of Advanced Technologies Asian Institut
-
NANTAJEEWARAWAT Ekawit
Computer Science Program, School of Advanced Technologies, Asian Institute of Technology
-
Nantajeewarawat Ekawit
Computer Science Program School Of Advanced Technologies Asian Institute Of Technology
関連論文
- Order-Sorted Universes of Structured Objects
- OWL/XDD Application Profiles(Knowledge, Information and Creativity Support System)
- Library Automation in Thailand
- Conceptual Graph Programs and Their Declarative Semantics
- Reasoning about RDF Elements