Abstract
The language of dl-programs is a latest effort in developing an expressive representation for Web-based ontologies. It allows to build answer set programming (ASP) on top of description logic and thus some attractive features of ASP can be employed in the design of the Semantic Web architecture. In this paper we first generalize dl-programs by allowing multiple knowledge bases and then accordingly, define the answer set semantics for the dl-programs. A novel technique called forgetting is developed in the setting of dl-programs and applied to ontology merging and aligning.
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
Antoniou, G., Wagner, G.: 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), pp. 111–120 (2003)
Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook. Cambridge University Press, Cambridge (2002)
Connolly, D., van Harmelen, F., Horrocks, I., McGuinness, D.L., Patel-Schneider, P.F., Stein, L.A.: Daml+oil reference description. W3C Note (December 18, 2001), http://www.w3.org/tr/2001/note-daml+oilreference-20011218.html
Dean, M., Connolly, D., van Harmelen, F., Hendler, J., Horrocks, I., McGuinness, D., Patel-Schneider, P., Stein, L.: Owl web ontology language reference, 3C Recommendation ( February10 2004), http://www.w3.org/tr/2004/rec-owl-ref-20040210/
Donini, F., Lenzerini, M., Nardi, D., Schaerf, A.: AL-log: Integrating datalog and description logics. Journal of Intelligent Information Systems 10(3), 227–252 (1998)
Eiter, T., Leone, N., Mateis, C., Pfeifer, G., Scarcello, F.: A kr system dlv: Progress report, comparisons and benchmarks. In: Proceedings of the Sixth International Conference on the Principles of Knowledge Representation and Reasoning, pp. 406–417. Morgan Kaufmann Publishers, San Francisco (1998)
Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: 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, pp. 141–151 (2004)
Fikes, R., Farquhar, A.: Large-scale repositories of highly expressive reusable knowledge. IEEE Intelligent Systems 14(2), 73–79 (1999)
Gelfond, M., Lifschitz, V.: Logic programs with classical negation. In: Proceedings of the International Conference on Logic Programming, pp. 579–597 (1990)
Grau, B., Parsia, B., Sirin, E.: Combining owl ontologies using e-connections. Technical Report TR-2005-01, University of Maryland Institute for Advanced Computer Studies (UMIACS) (January 2005)
Grosof, B., Horrocks, I., Volz, R., Decker, S.: Description logic programs: Combining logic programs with description logics. In: Proceedings of the 12th International World Wide Web Conference, pp. 48–57 (2003)
Lang, J., Liberatore, P., Marquis, P.: Propositional independence: Formula-variable independence and forgetting. Journal of Artificial Intelligence Research 18, 391–443 (2003)
Lenat, D.: Cyc: A large-scale investment in knowledge infrastructure. Communications of ACM 38(11), 33–38 (1995)
Niemelä, I., Simons, P.: Smodels: An implementation of the stable model and well-founded semantics for normal logic programs. In: Dix, J., Furbach, U., Nerode, A. (eds.) Proceedings of the Fourth International Conference on Logic Programming and Nonmonotonic Reasoning, pp. 420–429. Springer, Heidelberg (1997)
Noy, N., Musen, M.: An algorithm for merging and aligning ontologies: Automation and tool support. In: Proceedings of the Workshop on Ontology Management at AAAI 1999 (1999)
Swift, T.: Deduction in ontologies via asp. In: Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning, Springer, Heidelberg (2004)
Wang, K., Sattar, A., Su, K.: A theory of forgetting in logic programming. In: Proceedings of the AAAI National Conference on Artificial Intelligence, AAAI Press, Menlo Park (2005)
Zhang, Y., Foo, N., Wang, K.: Solving logic program conflicts through strong and weak forgettings. In: Proceedings of the International Joint Conference on Artificial Intelligence, pp. 627–632. The Professional Book Centre, USA (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wang, K., Antoniou, G., Topor, R., Sattar, A. (2005). Merging and Aligning Ontologies in dl-Programs. In: Adi, A., Stoutenburg, S., Tabet, S. (eds) Rules and Rule Markup Languages for the Semantic Web. RuleML 2005. Lecture Notes in Computer Science, vol 3791. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11580072_13
Download citation
DOI: https://doi.org/10.1007/11580072_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29922-6
Online ISBN: 978-3-540-32270-2
eBook Packages: Computer ScienceComputer Science (R0)