Encoding DL-Atoms in RuleML

Samy SaJoão Alcântara

We consider Description Logic Programs (DLPs) as consisting of a description logic knowledge base L and a generalized extended logic program P , which may contain queries to L through the DL-Atoms. Aiming to provide general syntax for representing rules, RuleML is a markup language and candidate for a standard exchange rule language in the Web. Currently under development from version 0.91 to version 1.0, its syntax still lacks the ability to express DL-Atoms and, consequently, DL-Programs. In order to overcome this gap, we propose an extension for RuleML expressive enough to represent all sorts of DL-Atoms.

Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato:
     Mantida por: