Abstract
In this paper we present a visual formalism for representing constraints over knowledge intensive domains. Our approach is based on Conceptual Graphs and consequently benefits from their visual and semantic properties. By expressing constraint satisfaction problems using conceptual graphs we can use effective hybrid strategies to solve them. Central to this approach is the possibility of using projection (i.e. subsumption) to reason with constraints in conjunction with other CSP strategies. We present our framework formally, illustrating it with an example, and then discuss its limitations, as well as possible future work.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
F. Baader et al., editors. The Description Logic Handbook. Cambridge Univ. Press, 2003.
J.-F. Baget and M.-L. Mugnier. Extensions of Simple Conceptual Graphs: the Complexity of Rules and Constraints. Jour, of Artif. IntelL Res., 16:425–465, 2002.
J.-F. Baget et al. A Pure Graph-Based Solution to the SCG-1 Initiative. In Proc. of the 7th Int’l Conf. on Conceptual Structures (ICCS’99), pages 355–376, 1999.
S. Bechhofer et al. Oil Ed: a Reason-able Ontology Editor for the Semantic Web. In Proc. of the Joint German/Austrian Conf. on Artif. Intell. (KI’2001), number 2174 in Lect. Notes in Comp. Sei., pages 396-408. Springer, 2001.
M. Chein and M.-L. Mugnier. Conceptual graphs: Fundamental notions. Revue dTntelligence Artificielle, 6(4):365–406, 1992.
M. Chein and M.-L. Mugnier. Conceptual Graphs are also Graphs. Research report, LIRMM, 1995.
M Croitoru et al. Hierarchical knowledge integration using layered conceptual graphs. In Proc. of the 13th Int’l Conf. on Conceptual Structures (ICCS’2005), number 3596 in Lect. Notes in Artif. Intel!., pages 267-280. Springer, 2005.
Rina Dechter. Constraint Processing. Morgan Kaufmann, 2003.
D. W. Fowler et al. The Designers’ Workbench: Using Ontologies and Constraints for Configuration. In AI2004: The Twenty-fourth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Cambridge, UK, December 2004.
C. McKenzie et al. Extending swrl to express fully-quantified constraints. In G Antoniou and H. Boley, editors, Rules and Rule Markup Languages for the Semantic Web (RuleML 2004), pages 139–154. Springer, 2004.
S. Mittal and B. Falkenhainer. Dynamic constraint satisfaction problems. In Proceedings of the 8th National Conference on Artificial Intelligence, pages 25–32. AAAI Press, 1989.
Natalya F. Noy et al. Creating semantic web contents with protege-2000. IEEE Meli Syst., 2(16):60–71, 2001.
J. K. Pearson and P. G. Jeavons. A survey of tractable constraint satisfaction problems. Technical Report CSD-TR-97-15, Royal Holloway University of Lon-don, 1997.
D. Sabin and E. D. Freuder. Configuration as Composite Constraint Satisfaction. In George F. Luger, editor, Proceedings of the ( 1st) Artificial Intelligence and Manufacturing ResearchPlanning Workshop, pages 153–161. AAAI Press, 1996, 1996. ISBN 1-57735-003-0.
Derek Sleeman and Stuart Chalmers. Assisting domain experts to formulate k solve constraint satisfaction problems. In To appear: 15th International Conference on Knowledge Engineering and Knowledge Management, Podebrady (near Prague), Czech Republic, October 2006.
B. Smith. Modelling for Constraint Programming. 1st Constraint Programming Summer School, September 2005.
J. Sowa. Knowledge Representation: Logical, Philosophical, and Computational Foundations. Brooks Cole Publishing Co., 2000.
J. F. Sowa. Conceptual Structures: Information Processing in Mind and Machine. Addison-Wesley, 1984.
E. P. K. Tkang. Foundations of Constraint Satisfaction. Academic Press, 1993.
W3C RDF Primer. RDF Primer — W3C Recommendation 10/2/2004, 2004. URL http://www.w3.org/TR/rdf-primer/.
W3C SWRL. SWRL: A Semantic Web Rule Language Combining OWL and RuleML, 2004. URL http://www.w3.org/Submission/SWRL/.
R. Wille. Conceptual Graphs and Formal Concept Analysis. In Proc. of the 5th Int’l Conf. on Conceptual Structures (ICCS’97), pages 290–303, 1997.
World Wide Web Consortium. Web Ontology language (OWL), current Aug. 2005. URL http://www.w3.org/2004/0WL/.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2007 Springer-Verlag London Limited
About this paper
Cite this paper
Croitoru, M., Compatangelo, E. (2007). Ontology Constraint Satisfaction Problem using Conceptual Graphs. In: Bramer, M., Coenen, F., Tuson, A. (eds) Research and Development in Intelligent Systems XXIII. SGAI 2006. Springer, London. https://doi.org/10.1007/978-1-84628-663-6_17
Download citation
DOI: https://doi.org/10.1007/978-1-84628-663-6_17
Publisher Name: Springer, London
Print ISBN: 978-1-84628-662-9
Online ISBN: 978-1-84628-663-6
eBook Packages: Computer ScienceComputer Science (R0)