Remember Me
Or use your Academic/Social account:


Or use your Academic/Social account:


You have just completed your registration at OpenAire.

Before you can login to the site, you will need to activate your account. An e-mail will be sent to you with the proper instructions.


Please note that this site is currently undergoing Beta testing.
Any new content you create is not guaranteed to be present to the final version of the site upon release.

Thank you for your patience,
OpenAire Dev Team.

Close This Message


Verify Password:
Verify E-mail:
*All Fields Are Required.
Please Verify You Are Human:
fbtwitterlinkedinvimeoflicker grey 14rssslideshare1
Nguyen, Hai Hoang
Languages: English
Types: Unknown
Truth Maintenance Systems (TMS) have been applied in a wide range of domains, from diagnosing electric circuits to belief revision in agent systems. There also has been work on using the TMS in modern Knowledge-Based Systems such as intelligent agents and ontologies. This thesis investigates the applications of TMSs in such systems.\ud For intelligent agents, we use a “light-weight” TMS to support query caching in agent programs. The TMS keeps track of the dependencies between a query and the facts used to derive it so that when the agent updates its database, only affected queries are invalidated and removed from the cache. The TMS employed here is “light-weight” as it does not maintain all intermediate reasoning results. Therefore, it is able to reduce memory consumption and to improve performance in a dynamic setting such as in multi-agent systems.\ud For ontologies, this work extends the Assumption-based Truth Maintenance System (ATMS) to tackle the problem of axiom pinpointing and debugging in ontology-based systems with different levels of expressivity. Starting with finding all errors in auto-generated ontology mappings using a “classic” ATMS [23], we extend the ATMS to solve the axiom pinpointing problem in Description Logics-based Ontologies. We also attempt this approach to solve the axiom pinpointing problem in a more expressive upper ontology, SUMO, whose underlying logic is undecidable.
  • The results below are discovered through our pilot algorithms. Let us know how we are doing!

    • [6] F. Baader, D. Calvanese, D. L. Mcguinness, D. Nardi, and P. F. PatelSchneider. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, 2007.
    • [7] F. Baader and B. Hollunder. A terminological knowledge representation system with complete inference algorithms. In H. Boley and M. Richter, editors, Processing Declarative Knowledge, volume 567 of Lecture Notes in Computer Science, pages 67-86. Springer Berlin / Heidelberg, 1991.
    • [8] F. Baader and W. Nutt. Basic description logics. In F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. Patel-Schneider, editors, Description Logic Handbook, pages 47-100. Cambridge University Press, 2002.
    • [9] F. Baader and R. Peñaloza. Axiom pinpointing in general tableaux. Journal of Logic and Computation, 20(1):5-34, 2010. Special Issue: Tableaux and Analytic Proof Methods.
    • [10] S. Bail, M. Horridge, B. Parsia, and U. Sattler. The justificatory structure of the ncbo bioportal ontologies. In ISWC 2011 - Proceedings of the 10th International Semantic Web Conference (ISWC 2011), volume 7031 of Lecture Notes in Computer Science, pages 67-82. Springer, 2011.
    • [11] T. M. Behrens, J. Dix, J. Hübner, and M. Köster. Special issue: The multiagent programming contest: Environment interface and contestants in 2010, editorial. Annals of Mathematics and Artificial Intelligence, 61(4):257- 260, 2011.
    • [12] T. Berners-Lee, J. Hendler, and O. Lassila. The semantic web. Scientific American, 284(5):34-43, 2001.
    • [13] R. H. Bordini, L. Braubach, M. Dastani, A. E. Fallah-Seghrouchni, J. J. GÃs¸mez-Sanz, J. Leite, G. M. P. O'Hare, A. Pokahr, and A. Ricci. A survey of programming languages and platforms for multi-agent systems. Informatica (Slovenia), 30(1):33-44, 2006. 161
    • [14] R. H. Bordini, J. F. Hubner, and M. Wooldridge. Programming Multi-Agent Systems in AgentSpeak using Jason. Wiley, 2007.
    • [24] J. de Kleer. Extending the ATMS. Artificial Intelligence, 28(2):163-196, 1986.
    • [25] J. de Kleer. A General Labeling Algorithm for Assumption-Based Truth Maintenance. In Proceedings of the 7th National Conference on Artificial Intelligence (AAAI'88), pages 188-192. AAAI Press / The MIT Press, 1988.
    • [26] J. de Kleer. An improved incremental algorithm for generating prime implicates. In Proceedings of the 10th National Conference on Artificial Intelligence (AAAI'92), pages 780-785. The AAAI Press / The MIT Press, 1992.
    • [27] J. de Kleer and B. C. Williams. Diagnosing multiple faults. Artificial Intelligence, 32(1):97 - 130, 1987.
    • [28] J. de Kleer and B. C. Williams. Diagnosis with behavioral modes. In Proceedings of the 11th International Joint Conference on Artificial Intelligence (IJCAI'89), pages 1324-1330. Morgan Kaufmann, 1989.
    • [29] S. Dixon and N. Foo. Connections between the ATMS and AGM belief revision. In Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1, IJCAI'93, pages 534-539, San Francisco, CA, USA, 1993. Morgan Kaufmann Publishers Inc.
    • [30] J. Doyle. A truth maintenance system. Artificial Intelligence, 12(3):231-272, 1979.
    • [34] H. Du, S. Anand, N. Alechina, J. G. Morley, G. Hart, D. G. Leibovici, M. Jackson, and J. M. Ware. Geospatial information integration for authoritative and crowd sourced road vector data. T. GIS, 16(4):455-476, 2012.
    • [36] C. G. Fernandes, V. Furtado, A. Glass, and D. L. McGuinness. Towards the generation of explanations for semantic web services in OWL-S. In R. L. Wainwright and H. Haddad, editors, Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16- 20, 2008, pages 2350-2351. ACM, 2008.
    • [56] A. Kalyanpur, B. Parsia, M. Horridge, and E. Sirin. Finding all justifications of OWL DL entailments. The Semantic Web, pages 267-280, 2008.
    • [57] A. Kalyanpur, B. Parsia, E. Sirin, and J. Hendler. Debugging unsatisfiable classes in OWL ontologies. Journal of Web Semantics, 3(4):268-293, 2005.
    • [58] G. Kelleher and L. van der Gaag. The LazyRMS: Avoiding work in the ATMS. Computational Intelligence, 9(3):239-253, 1993.
    • [59] J. S. C. Lam, D. H. Sleeman, J. Z. Pan, and W. W. Vasconcelos. A finegrained approach to resolving unsatisfiable ontologies. Journal of Data Semantics, 10:62-95, 2008.
    • [60] S. C. Lam, J. Z. Pan, D. Sleeman, and W. Vasconcelos. A fine-grained approach to resolving unsatisfiable ontologies. In WI '06: Proceedings of the 2006 IEEE/WIC/ACM International Conference on Web Intelligence, pages 428- 434, Washington, DC, USA, 2006. IEEE Computer Society.
    • [61] B. Malheiro, N. R. Jennings, and E. Oliveira. Belief revision in multi-agent systems. In Proceedings of the 11th European Conference on Artificial Intelligence (ECAI-94), pages 294-298, 1994.
    • [73] R. D. F. (RDF). http://www.w3.org/RDF/, 2011.
    • [74] R. Reiter. On closed world data bases. pages 55-76, 1977.
    • [75] R. Reiter. A theory of diagnosis from first principles. Artificial Intelligence, 32(1):57-95, April 1987.
    • [76] R. Reiter and J. de Kleer. Foundations of assumption-based truth maintenance systems: Preliminary report. In Proceedings of the 6th National Conference on Artificial Intelligence, AAAI'87, pages 183-189, 1987.
    • [83] M. Schmidt-Schauß and G. Smolka. Attributive concept descriptions with complements. Artificial Intelligence, 48(1):1 - 26, 1991.
    • [84] S. Schulz. E - a brainiac theorem prover. Journal of AI Communications, 15(2-3):111-126, 2002.
    • [85] S. C. Shapiro. Belief revision and truth maintenance systems: An overview and a proposal. Technical report, SUNY-Buffalo, 1998.
    • [86] E. Sirin, B. Parsia, B. C. Grau, A. Kalyanpur, and Y. Katz. Pellet: A practical OWL-DL reasoner. Web Semantics, 5(2):51-53, June 2007.
    • [87] L. Sterling and E. Shapiro. The art of Prolog (2nd ed.): advanced programming techniques. MIT Press, Cambridge, MA, USA, 1994.
    • [88] SWI-Prolog. http://www.swi-prolog.org/, 2011.
  • Inferred research data

    The results below are discovered through our pilot algorithms. Let us know how we are doing!

    Title Trust
  • No similar publications.
  • BioEntity Site Name

Share - Bookmark

Cite this article