Meta-relation and ontology closure in Conceptual Structure Theory

Nguyen, Philip H. P.; Kaneiwa, Ken; Corbett, Dan R. et Nguyen, Minh-Quang (2009). « Meta-relation and ontology closure in Conceptual Structure Theory ». Artificial Intelligence and Law, 17(4), pp. 291-320.

Fichier(s) associé(s) à ce document :
Télécharger (514kB)
Télécharger (52kB)


This paper presents an enhanced ontology formalization, combining previous work in Conceptual Structure Theory and Order-Sorted Logic. Most existing ontology formalisms place greater importance on concept types, but in this paper we focus on relation types, which are in essence predicates on concept types. We formalize the notion of ‘predicate of predicates’ as meta-relation type and introduce the new hierarchy of meta-relation types as part of the ontology definition. The new notion of closure of a relation or meta-relation type is presented as a means to complete that relation or meta-relation type by transferring extra arguments and properties from other related types. The end result is an expanded ontology, called the closure of the original ontology, on which automated inference could be more easily performed. Our proposal could be viewed as a novel and improved ontology formalization within Conceptual Structure Theory and a contribution to knowledge representation and formal reasoning (e.g., to build a query-answering system for legal knowledge).

Type: Article de revue scientifique
Mots-clés ou Sujets: Ontology formalization Knowledge representation Automated reasoning Conceptual Structure Theory Order-Sorted Logic Type theory Concept type Relation type Meta-relation type Legal reasoning
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:37
Dernière modification: 24 oct. 2019 09:46
Adresse URL :


Voir les statistiques sur cinq ans...