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
Unification: a multidisciplinary survey
ACM Computing Surveys (CSUR)
Conceptual structures
IEEE Computer Graphics and Applications
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
Unification over Constraints in Conceptual Graphs
ICCS '99 Proceedings of the 7th International Conference on Conceptual Structures: Standards and Practices
Conceptual Graphs: Draft Proposed American National Standard
ICCS '99 Proceedings of the 7th International Conference on Conceptual Structures: Standards and Practices
A knowledge based approach on educational metadata use
PCI'01 Proceedings of the 8th Panhellenic conference on Informatics
| Hi-index | 0.00 |
This paper discusses automated reasoning over ontologies. represented as Conceptual Graphs. We have designed and implemented reasoning tools using Conceptual Graphs as the underlying knowledge structure. This work demonstrates that the power of logic as implemended in Conceptual Graphs, and the tools available in Conceptual Graph Theory can be used as powerful ontology reasoning tools in a real-worls domain. We show that ontologies can be constrained and unified using efficient methods, and that these methods provide the basis for an automated reasoning ststem. The Conceptual Graph techiques of concept join, partial order and subsumption are all exploited to create these reasining tools.We dicuss the implementation of our ideas, and demonstrate the reasoning tool that we created in two domains: building architecture and defence. The significance of our work is that the previously static knowledge representation of ontology is now a dynamic, functional reasoning system.