Dynamic, automatic, first-order ontology repair by diagnosis of failed plan execution

International Journal on Semantic Web and Information Systems

Volumn 3, Issue 3, 2007, Pages 1-35

  McNeill, Fiona ^a   Bundy, Alan ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

Diagnosis; Ontology matching; Ontology repair; Plan execution failure

Indexed keywords

AUTONOMOUS AGENTS; DIAGNOSIS; DYNAMICS; REPAIR;

AUTOMATIC ONTOLOGY; CURRENT LIMITATION; DYNAMIC POPULATION; INTERACTING AGENTS; MATCHING MECHANISMS; ONTOLOGY MATCHING; PLAN EXECUTION; REPAIR MECHANISM;

ONTOLOGY;

EID: 65649098647     PISSN: 15526283     EISSN: 15526291     Source Type: Journal    
DOI: 10.4018/jswis.2007070101     Document Type: Article

References (27)

1. Bohannon, P., Fan, W., Flaster, M., & Rastogi, R. (2005). A cost-based model and effective heuristic for value-based constraint repair. In Proceedings of the 2005 Special Interest Group on Management of Data. Baltimore:
2. Bundy, A., & McNeill, F. (2006). Representation as a fluent: An AI challenge for the next half century. IEEE Intelligent Systems, 85-87.
3. Cali, A., Calvanese, D., Giacomo, G. D., & Lenzerini, M. (2002). Data integration under integrity constraints. In Proceedings of the 14th Conference on Advanced Information Systems Engineering (CAiSE 2002).
4. Campbell, A. E., & Shapiro, S. C. (1998). Algorithms for ontological mediation. In Proceedings of the COLING-ACL Workshop (pp. 102-107). Montreal, Canada.
5. Chang, C.-C. K., & García-Molina, H. (1999). Mind your vocabulary: Query mapping across heterogeneous information sources. In Proceedings of the 1999 Special Interest Group on Management of Data (pp. 335-346). Philadelphia, PA.
6. diSessa, A. (1983). Phenomenology and the evolution of intuition. In A. Stevens & D. Gentner (Eds.), Mental models (p. 15-33). Erlbaum.
7. Doan, A., Madhavan, J., Dhamankar, R., Domingos, P., & Halevy, A. (2003). Learning to match ontologies on the semantic web. The VLDB Journal, 12(4), 303-319.
8. Fox, M., & Long, D. (2003). PDDL2.1: An extension of PDDL for expressing temporal planning domains. Journal of AI Research, 20, 61-124.
9. Genesereth, M. R., & Fikes, R. E. (1992). Knowledge interchange format, version 3.0 reference manual (Tech. Rep. No. Logic 92-1). CA: Stanford.
10. Giunchiglia, F., & Shvaiko, P. (2003). Semantic matching. In F. Giunchiglia, A. Gomez-perez, A. Pease, H. Stuckenschmidt, Y. Sure, & S. Willmott (Eds.), Workshop on ontologies and distributed systems (ods 2003). Acapulco, Mexico:
11. Giunchiglia, F., Shvaiko, P., & Yatskevich, M. (2005). S-match: An algorithm and an implementation of semantic matching. In Y. Kalfoglou, M. Schorlemmer, A. Sheth, S. Staab, & M. Uschold (Eds.), Semantic interoperability and integration. Germany: Internationales Begegnungs- und Forschungszentrum (IBFI), Schloss Dagstuhl
12. Giunchiglia, F., & Walsh, T. (1990). The use of abstraction in automatic inference. In Proceedings of UK Conference on Information Technology (IT-90).
13. Giunchiglia, F., Yatskevich, M., & McNeill, F. (2007). Structure preserving semantic matching (Informatics Research Report EDI-INF-RR-0955). University of Edinburgh.
14. Greco, G., Greco, S., & Zumpano, E. (2003). A logical framework for querying and repairing inconsistent databases. IEEE Transactions on Knowledge and Data Engineering, 15(6), 1389-1408.
15. Hayes-Roth, F. (1983). Using proofs and refutations to learn from experience. In Machine learning (pp. 221-240). Palo Alto, CA: Tioga.
16. Kalfoglou, Y., & Schorlemmer, M. (2003). If-map: An ontology mapping method based on information flow theory. Journal on Data Semantics, 1(1), 98-127.
17. Klein, M. (2001). Combing and relating ontologies: An analysis of problems and solutions. In Proceedings of IJCAI Workshop on Ontologies and Information Sharing. Seattle, WA:
18. McNeill, F., Bundy, A., & Walton, C. (2004). An automatic translator from KIF to PDDL. In Proceedings of the 23rd Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG 2004). Cork, Ireland:
19. McNeill, F., Bundy, A., Walton, C., & Schorlemmer, M. (2003). Plan execution failure analysis using plan deconstruction. In Proceedings of the 22nd Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG 2003).
20. Patterson, L. I., Turner, R. S., & Hyatt, R. M. (1993). Construction of a fault-tolerant distributed tuplespace. In Proceedings of the 1993 ACM/SIGAPP Symposium on Applied Computing: States of the Art and Practice. Indianapolis, IN:
21. Shapiro, E. Y. (1982). Algorithmic program debugging. The MIT Press.
22. van der Krogt, R., & de Weerdt, M.. (2005a). Coordination through plan repair. In M. Gleizes, G. Kaminka, A. Nowe, S. Ossowski, K. Tuyls, & K. Verbeeck (Eds.), Proceedings of the Third European Workshop on Multiagent Systems (EUMAS) (pp. 509-510). Koninklijke Vlaamse Academie van Belgie voor de Wetenschappen en Kunsten.
23. van der Krogt, R. & de Weerdt, M.. (2005b). Coordination through plan repair. In Gelbukh, de Albornoz, & Terashima- Marin (Eds.), Micai 2005: Advances in artificial intelligence (Vol. 3789, pp. 264-274). Springer.
24. Visser, P., Jones, D., Bench-Capon, T., & Shave, M. (1998). Assessing heterogeneity by classifying ontology mismatches. In Proceedings of the 1st International Conference on Formal Ontology in Information Systems (FOIS) (pp. 148-162). Trento, Italy
25. Wiesman, F., Roos, N., & Vogt, P. (2002). Automatic ontology mapping for agent communication. In Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (pp. 563-564). New York: ACM Press.
26. Wijsen, J. (2003). Condensed representation of database repairs for consistent query answering. In Proceedings of the Ninth International Conference on Database Theory (ICDT2003) (pp. 378-393). London, UK: Springer-Verlag.
27. Zhang, Z., He, B., & Chang, K.C.-C. (2005). Lightweight domain-based form assistant: Querying Web databases on the fly. In Proceedings of the 31st Very Large Databases Conference (VLDB 2005) (pp. 97-108). Trondheim, Norway.