An Ontology Formalization of Relation Type Hierarchy in Conceptual Structure Theory

Nguyen, Philip H. P.; Kaneiwa, Ken; Corbett, Dan R. et Nguyen, Minh-Quang (2008). « An Ontology Formalization of Relation Type Hierarchy in Conceptual Structure Theory ». AI 2008: Advances in Artificial Intelligence, 5360, pp. 79-85.

Fichier(s) associé(s) à ce document :

Prévisualisation	PDF Télécharger (315kB)

Résumé

This paper presents an enhancement to ontology formalization, combining previous work in Conceptual Structure Theory and Order-Sorted Logic. In particular, the relation type hierarchy of the former theory is a subset of the predicate hierarchy of the latter. Most existing ontology formalisms place greater importance on concept types, but this paper focuses more on relation types, which are in essence predicates on concept types. New notions are introduced and new properties identified with the aim of completing missing arguments in relation types. The end result is a new ontology, that we call the closure of the original ontology, on which automated inference could be more easily produced (e.g., a query-answering system for legal knowledge).

Type:	Article de revue scientifique
Mots-clés ou Sujets:	ontology, formalization,relation type hierarchy, Conceptual Structure Theory
Unité d'appartenance:	Faculté des sciences > Département d'informatique
Déposé par:	M. Minh-Quang Nguyen
Date de dépôt:	20 févr. 2017 14:14
Dernière modification:	20 févr. 2017 14:21
Adresse URL :	http://archipel.uqam.ca/id/eprint/9369

Modifier les métadonnées (propriétaire du document)

Statistiques