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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Aït-Kaci, H. and R. Nasr, LOGIN: A Logic Programming Language with Built-in Inheritance. Journal of Logic Programming, 1986. 3.
Sowa, J.F., Conceptual Structures: Information Processing in Mind and Machine. 1984, Reading, Mass: Addison-Wesley.
Sowa, J.F., Conceptual Graphs Summary, in Conceptual Structures: Current Research and Practice. 1992, Ellis Horwood: Chichester, UK.
Willems, M. Projection and Unification for Conceptual Graphs. in Proc. Third International Conference on Conceptual Structures. 1995. Santa Cruz, California, USA: Springer-Verlag.
Chein, M. and M.-L. Mugnier, Conceptual Graphs: Fundamental Notions. Revue d’Intelligence Artificielle, 1992. 6(4): p. 365–406.
Mugnier, M.-L. and M. Chein, Représenter des Connaissances et Raisonner avec des Graphes. Revue d’Intelligence Artificielle, 1996. 10(6): p. 7–56.
Corbett, D.R., Conceptual Graphs with Constrained Reasoning. Revue d’Intelligence Artificielle, 2001. 15(1): p. 87–116.
Corbett, D.R. and R.F. Woodbury. Unification over Constraints in Conceptual Graphs. in Proc. Seventh International Conference on Conceptual Structures. 1999. Blacksburg, Virginia, USA: Springer-Verlag.
Carpenter, B., The Logic of Typed Feature Structures. 1992, Cambridge: Cambridge University Press.
Leclère, M. Reasoning with Type Definitions. in Proc. Fifth International Conference on Conceptual Structures. 1997. Seattle, Washington, USA: Springer-Verlag.
Müller, T. Conceptual Graphs as Terms: Prospects for Resolution Theorem Proving. Masters Thesis, Department of Computer Science, Vrije Universiteit Amsterdam. Amsterdam, Netherlands, 1997.
Reynolds, J.C., Transformational Systems and the Algebraic Structure of Atomic Formulas. Machine Intelligence, 1970. 5.
Davey, B.A. and H.A. Priestley, Introduction to Lattices and Order. 1990, Cambridge: Cambridge University Press.
Knight, K., Unification: A Multidisciplinary Survey. ACM Computing Surveys, 1989. 21(1): p. 93–124.
Aït-Kaci, H., An Algebraic Semantics Approach to the Effective Resolution of Type Equations. Theoretical Computer Science, 1986. 45(3): p. 293–351.
Corbett, D.R. A Framework for Conceptual Graph Unification. in Proc. Eighth International Conference on Conceptual Structures. 2000. Darmstadt, Germany: Shaker Verlag.
Mineau, G. A First Step Toward the Knowledge Web: Interoperability Issues Among Conceptual Graph Based Software Agents, Part I. in Proc. International Conference on Conceptual Structures. 2002. Borovets, Bulgaria: Springer.
Mitchard, H. Cognitive Model of an Operations Officer. Honours Thesis, Computer and Information Science, University of South Australia. Adelaide, South Australia, 1998.
Mitchard, H., J. Winkles, and D.R. Corbett. Development and Evaluation of a Cognitive Model of an Air Defence Operations Officer. in Proc. Fifth Biennial Conference of the Australasian Cognitive Science Society. 2000. Adelaide, South Australia.
Cao, T.H., P.N. Creasy, and V. Wuwongse. Fuzzy Unification and Resolution Proof Procedure for Fuzzy Conceptual Graph Programs. in Proc. Fifth International Conference on Conceptual Structures. 1997. Seattle, Washington, USA: Springer-Verlag.
Older, W.J., Involution Narrowing Algebra. Constraints, 1997. 2: p. 113–130.
Woodbury, R., S. Datta, and A.L. Burrow. Erasure in Design Space Exploration. in Proc. Artificial Intelligence in Design. 2000. Worcester, Massachusetts, USA.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Corbett, D. (2002). Reasoning with Ontologies by Using Knowledge Conjunction in Conceptual Graphs. In: Meersman, R., Tari, Z. (eds) On the Move to Meaningful Internet Systems 2002: CoopIS, DOA, and ODBASE. OTM 2002. Lecture Notes in Computer Science, vol 2519. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36124-3_82
Download citation
DOI: https://doi.org/10.1007/3-540-36124-3_82
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-00106-5
Online ISBN: 978-3-540-36124-4
eBook Packages: Springer Book Archive