Reasoning with Ontologies by Using Knowledge Conjunction in Conceptual Graphs

Authors:
Dan Corbett
Affiliations:
-
Venue:
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Year:
2002

Citing 12
Cited 1

Conceptual structures: information processing in mind and machine

Conceptual structures: information processing in mind and machine
Login: A logic programming language with built-in inheritance

Journal of Logic Programming
An algebraic semantics approach to the effective resolution of type equations

Theoretical Computer Science
Unification: a multidisciplinary survey

ACM Computing Surveys (CSUR)
The logic of typed feature structures

The logic of typed feature structures
Conceptual graphs summary

Conceptual structures
Involution Narrowing Algebra

Constraints
Projection and Unification for Conceptual Graphs

ICCS '95 Proceedings of the Third International Conference on Conceptual Structures: Applications, Implementation and Theory
Fuzzy Unification and Resolution Proof Procedure for Fuzzy Conceptual Graph Programs

ICCS '97 Proceedings of the Fifth International Conference on Conceptual Structures: Fulfilling Peirce's Dream
Reasoning with Type Definitions

ICCS '97 Proceedings of the Fifth International Conference on Conceptual Structures: Fulfilling Peirce's Dream
Unification over Constraints in Conceptual Graphs

ICCS '99 Proceedings of the 7th International Conference on Conceptual Structures: Standards and Practices
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

Concept type hierarchy as ontology: an example historical knowledge base

AI'04 Proceedings of the 17th Australian joint conference on Advances in Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper discusses automated reasoning over ontologies represented as Conceptual Graphs. We discuss a tool which has been implemented using Conceptual Graphs as its underlying knowledge structure. The significance of this work is that we demonstrate that the power of logic as implemented in Conceptual Graphs, and the tools available in Conceptual Graph Theory can be used as powerful ontology reasoning tools in a real-world domain. We show that ontologies can be constrained and unified using efficient methods, and that these methods provide the basis for an automated reasoning system. The Conceptual Graph techniques of concept join, partial order and subsumption are all exploited to create these reasoning tools.We discuss the implementation of these ideas, and demonstrate the software tool created in two domains: building architecture and defence. Examples show that the system can reason over these domains and assist the users in their tasks.