Encoding DL-Atoms in RuleML

• Samy Sá UFC
• João Alcântara UFC

Resumo

Consideramos Description Logic Programs (DLPs) como estes que consistem em uma base de conhecimento L em Lógica Descritiva e um programa em lógica estendido generalizado P, o qual pode conter consultas a L através de DL-Átomos. Objetivando prover sintaxe geral para a representação de regras, RuleML é uma linguagem candidata a padrão para troca de regras na Web. Atualmente em desenvolvimento da versão 0.91 para 1.0, sua sintaxe ainda não tem a habilidade de expressar DL-Átomos e, consequentemente, DL-Programs. Para superar esse obstáculo, nós propomos uma extensão para RuleML expressiva o suficiente para representar todos os tipos de DL-Átomos.

Referências

Alsaç, G. and Baral, C. (2002). Reasoning in description logics using declarative logic programming. Technical report, Arizona State University, Arizona.

Antoniou, G. and van Harmelen, F. (2008). A Semantic Web Primer. MIT Press, Cambridge, MA, 2. edition.

Baader, F., Calvanese, D., McGuinness, D. L., Nardi, D., and Patel-Schneider, P. F., editors (2003). The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press.

Berners-Lee, T. and Fischetti, M. (1999). Weaving the Web. Harper.

Boley et al, H. (2004). The first-order logic web language v0.9. [link].

Boley et al, H. (2010). Ruleml v1.0 specification. [link].

Chen, W., Kifer, M., and Warren, D. S. (1993). HILOG: A foundation for higher-order logic programming. JOURNAL OF LOGIC PROGRAMMING, 15(3):187–230.

Damásio, C. V., Pan, J. Z., Stoilos, G., and Straccia, U. (2006). An approach to representing uncertainty rules in ruleml. In Eiter, T., Franconi, E., Hodgson, R., and Stephens, S., editors, RuleML. IEEE Computer Society.

Dema, T. and Hirtle, D. (2006). Content models for ruleml 0.91. [link].

Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R., and Tompits, H. (2008). Combining answer set programming with description logics for the semantic web. Artif. Intell., 172(12-13):1495–1539.

Eiter, T., Lukasiewicz, T., Schindlauer, R., and Tompits, H. (2004). Well-founded semantics for description logic programs in the semantic web. In Antoniou, G. and Boley, H., editors, RuleML, volume 3323 of LNCS, pages 81–97. Springer.

Gelfond, M. and Lifschitz, V. (1991). Classical negation in logic programs and disjunctive databases. New Generation Comput., 9(3/4):365–386.

Grosof, B., Horrocks, I., Volz, R., and Decker, S. (2003). Description logic programs: Combining logic programs with description logics. In Proceedings of the World Wide Web Conference (WWW2003), Hungary.

Heymans, S. and Vermeir, D. (2003). Integrating description logics and answer set programming. In Bry, F., Henze, N., and Maluszynski, J., editors, Proc. of International Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR 2003), volume 2901 of LNCS, pages 146–159. Springer.

Hustadt, U., Motik, B., and Sattler, U. (2007). Reasoning in description logics by a reduction to disjunctive datalog. J. Autom. Reason., 39(3):351–384.

Lloyd, J. (1987). Foundations of Logic Programming (2nd Extended Edition). Springer-Verlag.

Silberschatz, A., Korth, H., and Sudarshan, S. (2001). Database System Concepts, 4th Edition. McGraw-Hill.

Tabet, S., Boley, H., and Wagner, G. (2001). Design rationale of RuleML: A markup language for semantic web rules. In Cruz, I. F., Decker, S., Euzenat, J., and McGuinness, D. L., editors, Proc. Semantic Web Working Symposium, Stanford University, California.