Merging and aligning ontologies in dl-programs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3791 LNCS, Issue , 2005, Pages 160-171

  Wang, Kewen ^a   Antoniou, Grigoris ^b   Topor, Rodney ^a   Sattar, Abdul ^a  

^a GRIFFITH UNIVERSITY   (Australia)

^b UNIVERSITY OF CRETE   (Greece)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; SEMANTICS; SET THEORY; WORLD WIDE WEB;

ANSWER SET PROGRAMMING; DL-PROGRAMS; ONTOLOGY; SEMANTIC WEB ARCHITECTURE;

COMPUTER SCIENCE;

EID: 33646841488     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11580072_13     Document Type: Conference Paper

References (18)

1. G. Antoniou and G. Wagner. A rule-based approach to the semantic web (preliminary report). In Proceedings of the 2nd Workshop on Rules and Rule Markup Languages for the Semantic Web (RuleML2003), pages 111-120, 2003.
2. F. Baader, D. Calvanese, D.McGuinness, D, Nardi, and P. Patel-Schneider. The Description Logic Handbook. Cambridge University Press, 2002.
3. D. Connolly, F. van Harmelen, I. Horrocks, D. L. McGuinness, P. F. Patel-Schneider, and L. A. Stein. Daml+oil reference description. http://www.w3.org/tr/2001/note-daml-t-oil-reference-20011218.html, W3C Note, 18 December 2001.
4. M. Dean, D. Connolly, F. van Harmelen, J. Hendler, I. Horrocks, D. McGuinness, P. Patel-Schneider, and L. Stein. Owl web ontology language reference. http://www.w3.org/tr/2004/rec-owl-ref-20040210/, 3C Recommendation, 10 February 2004.
5. F. Donini, M. Lenzerini, D. Nardi, and A. Schaerf. AL-log: Integrating datalog and description logics. Journal of Intelligent Information Systems, 10(3):227-252, 1998.
6. T. Eiter, N. Leone, C. Mateis, G. Pfeifer, and F. Scarcello. A kr system dlv: Progress report, comparisons and benchmarks. In Proceedings of the Sixth International Conference on the Principles of Knowledge Representation and Reasoning, pages 406-417. Morgan Kaufmann Publishers, 1998.
7. T. Eiter, T. Lukasiewicz, R. Schindlauer, and H. Tompits. Combining answer set programming with description logics for the semantic web. In Proceedings of the 9th International Conference on Principles of Knowledge Representation and Reasoning, pages 141-151, 2004.
8. R. Fikes and A. Farquhar. Large-scale repositories of highly expressive reusable knowledge. IEEE Intelligent Systems, 14(2):73-79, 1999.
9. M. Gelfond and V. Lifschitz. Logic programs with classical negation. In Proceedings of the International Conference on Logic Programming, pages 579-597, 1990.
10. B. Grau, B. Parsia, and E. Sirin. Combining owl ontologies using e-connections. Technical Report TR-2005-01, University of Maryland Institute for Advanced Computer Studies (UMIACS), January 2005.
11. B. Grosof, I. Horrocks, R. Volz, and S. Decker. Description logic programs: Combining logic programs with description logics. In Proceedings of the 12th International World Wide Web Conference, pages 48-57, 2003.
12. J. Lang, P, Liberatore, and P. Marquis. Propositional independence: Formula-variable independence and forgetting. Journal of Artificial Intelligence Research, 18:391-443, 2003.
13. D. Lenat. Cyc: A large-scale investment in knowledge infrastructure. Communications of ACM, 38(11):33-38,1995.
14. I. Niemelä and P. Simons. Smodels: An implementation of the stable model and well-founded semantics for normal logic programs. In J. Dix, U. Furbach, and A. Nerode, editors, Proceedings of the Fourth International Conference on Logic Programming and Nonmonotonic Reasoning, pages 420-429. Springer-Verlag, 1997.
15. N. Noy and M. Musen. An algorithm for merging and aligning ontologies: Automation and tool support. In Proceedings of the Workshop on Ontology Management at AAAI-99,1999.
16. T. Swift. Deduction in ontologies via asp. In Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning. Springer-Verlag, 2004.
17. K. Wang, A. Sattar, and K. Su. A theory of forgetting in logic programming. In Proceedings of the AAAI National Conference on Artificial Intelligence. AAAI Press, 2005.
18. Y. Zhang, N. Foo, and K. Wang. Solving logic program conflicts through strong and weak forgettings. In Proceedings of the International Joint Conference on Artificial Intelligence, pages 627-632. the Professional Book Centre, USA, 2005.