A tree decomposition algorithm for Conceptual Graph projection

Proceedings of the International Conference on Knowledge Representation and Reasoning

Volumn , Issue , 2006, Pages 271-276

  Croitoru, Madalina ^a   Compatangelo, Ernesto ^a  

^a UNIVERSITY OF ABERDEEN   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

GRAPH THEORY; KNOWLEDGE REPRESENTATION; NP-HARD;

COMBINATORIAL ASPECT; CONCEPTUAL GRAPH; EXPONENTIAL ALGORITHMS; TREE DECOMPOSITION;

GRAPH ALGORITHMS;

EID: 77949570363     PISSN: 23341025     EISSN: 23341033     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (13)

1. Baget, J.-F., and Mugnier, M.-L. 2002. Extensions of Simple Conceptual Graphs: the Complexity of Rules and Constraints. Jour. of Artif. Intell. Res. 16:425-465.
2. Chein, M.; Mugnier, M.-L.; and Simonet, G. 1998. Nested graphs: A graph-based knowledge representation model with FOL semantics. In Proc. of the 6th Int'l Conf. on the Principles of Knowl. Repres. and Reasoning (KR'98), 524-535. Morgan Kaufmann.
3. Chein, M., and Mugnier, M.-L. 1992. Conceptual graphs: Fundamental notions. Revue d'Intelligence Artificielle 6(4):365-406.
4. Chein, M., and Mugnier, M.-L. 1995. Conceptual Graphs are also Graphs. Research report, LIRMM.
5. Corbett, D. R. 2002. Reasoning with ontologies by using knowledge conjunction in conceptual graphs. Proc. of Int'l Conf. on Ontologies, DBs and Applications of Semantics.
6. Croitoru, M., and Compatangelo, E. 2004. A combinatorial approach to conceptual graph projection checking. In Proc. of the 24th Int'l Conf. of the Brit. Comp. Soc. Spec. Group on Artif. Intell. (AI'2004), 130-143. Springer.
7. Gottlob, G.; Leone, N.; and Scarcello, F. 2001. Hypertree Decompositions: A Survey. In Proc. of the 26th Int'l Symp. on Mathematical Foundations of Computer Science, 37-57. Springer.
8. Mineau, G.; Missaoui, R.; and Godin, R. 2000. Conceptual Modeling for Data and Knowledge Management. Data & Knowl. Eng. 33(2):137-168.
9. Mugnier, M.-L. 1995. On generalization/specialization for conceptual graphs. Jour. of Exp. and Theor. Comp. Sci. 7:325-344.
10. Salvat, E. 1997. Raisonner avec des oṕerations de graphes: graphes conceptuels et r̀egles d'inf́erence. Ph.D. Dissertation, LIRMM, Universit́e Montpellier II.
11. Sowa, J. F. 1984. Conceptual Structures: Information Processing in Mind and Machine. Addison-Wesley.
12. Sowa, J. 2000. Knowledge Representation: Logical, Philosophical, and Computational Foundations. Brooks Cole Publishing Co.
13. Willems, M. 1995. Projection and unification for conceptual graphs. In Proc. of the 3rd Int'l Conf. on Conceptual Structures (ICCL'95), 278-292.