Concept type hierarchy as ontology: an example historical knowledge base

Authors:
Dan Corbett;Wendy Mayer
Affiliations:
Science Applications International Corporation, McLean, Virginia;Centre for Early Christian Studies, Australian Catholic University, Brisbane, Queensland, Australia
Venue:
AI'04 Proceedings of the 17th Australian joint conference on Advances in Artificial Intelligence
Year:
2004

Citing 6
Cited 0

Unification theory

Handbook of logic in artificial intelligence and logic programming
Projection and Unification for Conceptual Graphs

ICCS '95 Proceedings of the Third International Conference on Conceptual Structures: Applications, Implementation and Theory
Reasoning with Type Definitions

ICCS '97 Proceedings of the Fifth International Conference on Conceptual Structures: Fulfilling Peirce's Dream
A First Step toward the Knowledge Web: Interoperability Issues among Conceptual Graph Based Software Agents, Part I

ICCS '02 Proceedings of the 10th International Conference on Conceptual Structures: Integration and Interfaces
Reasoning with Ontologies by Using Knowledge Conjunction in Conceptual Graphs

On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Reasoning and Unification over Conceptual Graphs

Reasoning and Unification over Conceptual Graphs

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we explore the issue of using some aspects of the Conceptual Graph Theory formalism to define functions on ontologies We exploit the formal definitions of type hierarchy and projection to define operations on an ontology, and then illustrate these ideas by demonstrating a knowledge base of historical interactions that was implemented on an ontology defined in this way.